{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T05:09:57Z","timestamp":1725858597462},"publisher-location":"Cham","reference-count":11,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319416489"},{"type":"electronic","value":"9783319416496"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-41649-6_19","type":"book-chapter","created":{"date-parts":[[2016,6,25]],"date-time":"2016-06-25T23:40:33Z","timestamp":1466898033000},"page":"192-201","source":"Crossref","is-referenced-by-count":0,"title":["Embracing Inference as Action: A Step Towards Human-Level Reasoning"],"prefix":"10.1007","author":[{"given":"John","family":"Licato","sequence":"first","affiliation":[]},{"given":"Maxwell","family":"Fowler","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,6,25]]},"reference":[{"issue":"1","key":"19_CR1","first-page":"47","volume":"3","author":"K Arkoudas","year":"2009","unstructured":"Arkoudas, K., Bringsjord, S.: Propositional attitudes and causation. Int. J. Softw. Inf. 3(1), 47\u201365 (2009)","journal-title":"Int. J. Softw. Inf."},{"unstructured":"Barker-Plummer, D., Barwise, J., Etchemendy, J.: Language Proof and Logic. Center for the Study of Language and Inf, 2 edn., October 2011","key":"19_CR2"},{"unstructured":"Bringsjord, S., Govindarajulu, N.S., Licato, J., Sen, A., Johnson, J., Bringsjord, A., Taylor, J.: On logicist agent-based economics. In: Proceedings of Artificial Economics 2015 (AE 2015). University of Porto, Porto, Portugal (2015)","key":"19_CR3"},{"unstructured":"Gibson, J.: The theory of affordances. In: Shaw, R., Bransford, J. (eds.) Perceiv-ing, Acting, and Knowing: Toward an Ecological Psychology. Erlbaum, Hillsdale, NJ (1977)","key":"19_CR4"},{"issue":"1","key":"19_CR5","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1007\/BF03037383","volume":"4","author":"R Kowalski","year":"1986","unstructured":"Kowalski, R., Sergot, M.: A logic-based calculus of events. New Gener. Comput. 4(1), 67\u201394 (1986)","journal-title":"New Gener. Comput."},{"unstructured":"Licato, J.: Analogical Constructivism: The Emergence of Reasoning Through Analogy and Action Schemas. Ph.D. thesis, Rensselaer Polytechnic Institute, Troy, NY, May 2015","key":"19_CR6"},{"key":"19_CR7","volume-title":"Analogy-Making as Perception: A Computer Model","author":"M Mitchell","year":"1993","unstructured":"Mitchell, M.: Analogy-Making as Perception: A Computer Model. The MIT Press, Cambridge, Massachusetts (1993)"},{"key":"19_CR8","volume-title":"Commonsense Reasoning: An Event Calculus Based Approach","author":"ET Mueller","year":"2015","unstructured":"Mueller, E.T.: Commonsense Reasoning: An Event Calculus Based Approach, 2nd edn. Morgan Kaufmann, Waltham (2015)","edition":"2"},{"key":"19_CR9","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511801174","volume-title":"An Introduction to Non-Classical Logic: From If to Is","author":"G Priest","year":"2008","unstructured":"Priest, G.: An Introduction to Non-Classical Logic: From If to Is, 2nd edn. Cambridge University Press, Cambridge (2008)","edition":"2"},{"unstructured":"Priest, G., Tanaka, K., Weber, Z.: Paraconsistent logic. In: Zalta, E.N. (ed.) The Stanford Encyclopedia of Philosophy. spring 2015th edn. (2015). http:\/\/plato.stanford.edu\/archives\/spr2015\/entries\/logic-paraconsistent","key":"19_CR10"},{"issue":"1","key":"19_CR11","doi-asserted-by":"crossref","first-page":"130","DOI":"10.1515\/jagi-2015-0007","volume":"6","author":"P Stefaneas","year":"2015","unstructured":"Stefaneas, P., Vandoulakis, I.M.: On mathematical proving. J. Artif. Gen. Intell. 6(1), 130\u2013149 (2015)","journal-title":"J. Artif. Gen. Intell."}],"container-title":["Lecture Notes in Computer Science","Artificial General Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-41649-6_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,10]],"date-time":"2019-09-10T06:08:27Z","timestamp":1568095707000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-41649-6_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319416489","9783319416496"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-41649-6_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}