{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:22:03Z","timestamp":1750306923337,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":30,"publisher":"ACM","license":[{"start":{"date-parts":[[2012,8,28]],"date-time":"2012-08-28T00:00:00Z","timestamp":1346112000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2012,8,28]]},"DOI":"10.1145\/2448136.2448157","type":"proceedings-article","created":{"date-parts":[[2013,3,8]],"date-time":"2013-03-08T15:04:00Z","timestamp":1362755040000},"page":"100-104","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["Hypercube algebra"],"prefix":"10.1145","author":[{"given":"Thierry","family":"Morineau","sequence":"first","affiliation":[{"name":"Universit\u00e9 de Bretagne-Sud, Centre Yves Coppens, Vannes, France"}]}],"member":"320","published-online":{"date-parts":[[2012,8,28]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"crossref","unstructured":"Anellis I. (2004). The genesis of the truth-table device. Russell: the journal of Bertrand Russell 24 55--70.  Anellis I. (2004). The genesis of the truth-table device. Russell: the journal of Bertrand Russell 24 55--70.","DOI":"10.15173\/russell.v24i1.2056"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.2307\/3614533"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"crossref","unstructured":"Blackwell A. (2001). Thinking with diagrams. Dordrecht: Kluwer Academic Publishers.  Blackwell A. (2001). Thinking with diagrams . Dordrecht: Kluwer Academic Publishers.","DOI":"10.1007\/978-94-017-3524-7"},{"volume-title":"Boca Raton: CRC Press.","year":"2004","author":"Burns C. M.","key":"e_1_3_2_1_4_1"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.2307\/2103298"},{"key":"e_1_3_2_1_6_1","unstructured":"Carroll L (1958) Symbolic Logic. New-York: Dover.  Carroll L (1958) Symbolic Logic . New-York: Dover."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1016\/0010-0285(85)90014-3"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0022-5371(69)80069-1"},{"key":"e_1_3_2_1_9_1","first-page":"271","article-title":"An attention based theory to explore affordances of textual and diagrammatic proofs. In A. K. Goel, M. Jamnik, N. H. Narayanan (Eds). Diagrams 2010","volume":"6170","author":"Coppin P.","year":"2010","journal-title":"LNAI"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"crossref","unstructured":"Denis M. (1979). Les images mentales. Paris: Presses Universitaires de France.  Denis M. (1979). Les images mentales . Paris: Presses Universitaires de France.","DOI":"10.3917\/puf.denis.1979.01"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"crossref","unstructured":"Dul J. Bruder R. Buckle P. Carayon P. Falzon P. Marras W. S. Wilson J. R. Van der Doelen B. (2012). A strategy for human factors\/ergonomics: developing the discipline and profession. Ergonomics iFirst article 1--27.  Dul J. Bruder R. Buckle P. Carayon P. Falzon P. Marras W. S. Wilson J. R. Van der Doelen B. (2012). A strategy for human factors\/ergonomics: developing the discipline and profession. Ergonomics iFirst article 1--27.","DOI":"10.1080\/00140139.2012.661087"},{"key":"e_1_3_2_1_12_1","first-page":"1","volume-title":"I. E. Dror & S. Harnad (Eds)","author":"Dror I. E.","year":"2008"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1097\/00001888-200305000-00011"},{"key":"e_1_3_2_1_14_1","unstructured":"Gigerenzer G. (2000). Adaptive thinking: rationality in the real world. Oxford: Oxford University Press.  Gigerenzer G. (2000). Adaptive thinking: rationality in the real world . Oxford: Oxford University Press."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"crossref","unstructured":"Gorayska B. Mey J. L. (1996). Cognitive technology. In search of Human Interface. North Holland: Elsevier.   Gorayska B. Mey J. L. (1996). Cognitive technology. In search of Human Interface. North Holland: Elsevier.","DOI":"10.1007\/978-1-4471-3249-3_18"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1006\/jvlc.1999.0130"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/505168.505185"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.newideapsych.2006.07.004"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1016\/S1364-6613(00)01751-4"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1177\/030631283013001007"},{"key":"e_1_3_2_1_21_1","unstructured":"Lakof G. N\u00fa\u0148ez R. E. (2000). Where mathematics comes from. Basic Books.  Lakof G. N\u00fa\u0148ez R. E. (2000). Where mathematics comes from . Basic Books."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1016\/0010-0277(88)90025-X"},{"volume-title":"AAAI Symposium on Reasoning with Diagrammatic Representations.","year":"1992","author":"Lindsay R. K.","key":"e_1_3_2_1_23_1"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.2307\/2266862"},{"key":"e_1_3_2_1_25_1","unstructured":"Rasmussen J. (1986) Information processing and human-machine interaction: An approach to cognitive engineering. New York: North-Holland   Rasmussen J. (1986) Information processing and human-machine interaction: An approach to cognitive engineering. New York: North-Holland"},{"key":"e_1_3_2_1_26_1","article-title":"Human problem solving performance in a fault diagnosis task","author":"Rouse W. B.","year":"1978","journal-title":"IEEE Transactions on Systems, Man, and Cybernetics, SMC-8, 258--271."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.1989.71501"},{"key":"e_1_3_2_1_28_1","unstructured":"Shin S.-J. Lemon O. (2008). Diagrams In: E. N. Zalta (Ed.) The Standford Encyclopedia of Philosophy Available as http:\/\/plato.standford.edu\/archives\/win2008\/entries\/diagrams\/.  Shin S.-J. Lemon O. (2008). Diagrams In: E. N. Zalta (Ed.) The Standford Encyclopedia of Philosophy Available as http:\/\/plato.standford.edu\/archives\/win2008\/entries\/diagrams\/."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2005.02.022"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1207\/s15516709cog1901_3"}],"event":{"name":"ECCE '12: European Conference on Cognitive Ergonomics","sponsor":["EACE European Association for Cognitive Ergonomics","Edinburgh Napier University, UK Edinburgh Napier University, UK"],"location":"Edinburgh United Kingdom","acronym":"ECCE '12"},"container-title":["Proceedings of the 30th European Conference on Cognitive Ergonomics"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2448136.2448157","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2448136.2448157","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T08:35:24Z","timestamp":1750235724000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2448136.2448157"}},"subtitle":["a diagrammatic and sentential notation to support inferences in logic"],"short-title":[],"issued":{"date-parts":[[2012,8,28]]},"references-count":30,"alternative-id":["10.1145\/2448136.2448157","10.1145\/2448136"],"URL":"https:\/\/doi.org\/10.1145\/2448136.2448157","relation":{},"subject":[],"published":{"date-parts":[[2012,8,28]]},"assertion":[{"value":"2012-08-28","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}