{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T06:51:24Z","timestamp":1743058284799,"version":"3.40.3"},"publisher-location":"Cham","reference-count":11,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319242576"},{"type":"electronic","value":"9783319242583"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-24258-3_70","type":"book-chapter","created":{"date-parts":[[2015,9,7]],"date-time":"2015-09-07T04:41:24Z","timestamp":1441600884000},"page":"609-612","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Teaching Syllogistics Through Gamification and\u00a0Interactive Proofs"],"prefix":"10.1007","author":[{"given":"Peter","family":"\u00d8hrstr\u00f8m","sequence":"first","affiliation":[]},{"given":"Ulrik","family":"Sandborg-Petersen","sequence":"additional","affiliation":[]},{"given":"Steinar","family":"Thorvaldsen","sequence":"additional","affiliation":[]},{"given":"Thomas","family":"Ploug","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,11,26]]},"reference":[{"key":"70_CR1","unstructured":"Aristotle: Prior analytics (1994\u20132000), translated by A.J. Jenkinson. The Internet Classics Archive. http:\/\/classics.mit.edu\/Aristotle\/prior.html"},{"key":"70_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"540","DOI":"10.1007\/10722280_37","volume-title":"Conceptual Structures: Logical, Linguistic, and Computational Issues","author":"A Kabbaj","year":"2000","unstructured":"Kabbaj, A., Janta-Polczynski, M.: From prolog++ to prolog+cg: A cg object-oriented logic programming language. In: Ganter, B., Mineau, G.W. (eds.) ICCS 2000. LNCS, vol. 1867, pp. 540\u2013554. Springer, Heidelberg (2000)"},{"key":"70_CR3","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"346","DOI":"10.1007\/3-540-44583-8_25","volume-title":"Conceptual Structures: Broadening the Base","author":"A Kabbaj","year":"2001","unstructured":"Kabbaj, A., Moulin, B., Gancet, J., Nadeau, D., Rouleau, O.: Uses, improvements, and extensions of Prolog+CG : case studies. In: Delugach, H.S., Stumme, G. (eds.) ICCS 2001. LNCS (LNAI), vol. 2120, pp. 346\u2013359. Springer, Heidelberg (2001)"},{"key":"70_CR4","unstructured":"\u00d8hrstr\u00f8m, P., Sandborg-Petersen, U., Ploug, T.: Syllog - a tool for logic teaching. In: Proceedings of Artificial Intelligence Workshops 2010 (AIW 2010), pp. 42\u201355. Mimos Berhad (2010)"},{"key":"70_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1007\/978-3-642-35786-2_4","volume-title":"Conceptual Structures for STEM Research and Education","author":"P \u00d8hrstr\u00f8m","year":"2013","unstructured":"\u00d8hrstr\u00f8m, P., Sandborg-Petersen, U., Thorvaldsen, S., Ploug, T.: Classical syllogisms in logic teaching. In: Pfeiffer, H.D., Ignatov, D.I., Poelmans, J., Gadiraju, N. (eds.) ICCS 2013. LNCS, vol. 7735, pp. 31\u201343. Springer, Heidelberg (2013)"},{"key":"70_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"410","DOI":"10.1007\/978-3-642-40814-4_32","volume-title":"Scaling up Learning for Sustained Impact","author":"P \u00d8hrstr\u00f8m","year":"2013","unstructured":"\u00d8hrstr\u00f8m, P., Sandborg-Petersen, U., Thorvaldsen, S., Ploug, T.: Teaching logic through web-based and gamified quizzing of formal arguments. In: Hern\u00e1ndez-Leo, D., Ley, T., Klamma, R., Harrer, A. (eds.) EC-TEL 2013. LNCS, vol. 8095, pp. 410\u2013423. Springer, Heidelberg (2013)"},{"key":"70_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1007\/978-3-319-08389-6_18","volume-title":"Graph-Based Representation and Reasoning","author":"P \u00d8hrstr\u00f8m","year":"2014","unstructured":"\u00d8hrstr\u00f8m, P., Sandborg-Petersen, U., Thorvaldsen, S., Ploug, T.: Teaching syllogistics using conceptual graphs. In: Hernandez, N., J\u00e4schke, R., Croitoru, M. (eds.) ICCS 2014. LNCS, vol. 8577, pp. 217\u2013230. Springer, Heidelberg (2014)"},{"key":"70_CR8","volume-title":"Aristotelian Logic","author":"W Parry","year":"1991","unstructured":"Parry, W., Hacker, E.: Aristotelian Logic. State University of New York Press, Albany (1991)"},{"key":"70_CR9","unstructured":"Petersen, U.: Prolog+CG: a maintainer\u2019s perspective. In: de Moor, A., Polovina, S., Delugach, H. (eds.) First Conceptual Structures Interoperability Workshop (CS-TIW 2006), Proceedings, Aalborg University Press (2006)"},{"key":"70_CR10","unstructured":"Sandborg-Petersen, U., \u00d8hrstr\u00f8m, P.: The syllog code, open Source Software. http:\/\/syllog.sourceforge.net\/"},{"key":"70_CR11","unstructured":"Sandborg-Petersen, U., \u00d8hrstr\u00f8m, P., Ploug, T., Thorvaldsen, S.: Two experiments using syllog. http:\/\/syllog.emergence.dk\/2015\/"}],"container-title":["Lecture Notes in Computer Science","Design for Teaching and Learning in a Networked World"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-24258-3_70","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,11,17]],"date-time":"2023-11-17T07:03:59Z","timestamp":1700204639000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-24258-3_70"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319242576","9783319242583"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-24258-3_70","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"26 November 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}