{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T10:34:37Z","timestamp":1725791677948},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642549052"},{"type":"electronic","value":"9783642549069"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-642-54906-9_29","type":"book-chapter","created":{"date-parts":[[2014,4,18]],"date-time":"2014-04-18T18:39:22Z","timestamp":1397846362000},"page":"351-365","source":"Crossref","is-referenced-by-count":0,"title":["Axiomatizing Complex Concepts from Fundamentals"],"prefix":"10.1007","author":[{"given":"Jerry R.","family":"Hobbs","sequence":"first","affiliation":[]},{"given":"Andrew","family":"Gordon","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"29_CR1","first-page":"63","volume-title":"Radical Pragmatics","author":"E. Bach","year":"1981","unstructured":"Bach, E.: On Time, Tense, and Aspect: An Essay in English Metaphysics. In: Cole, P. (ed.) Radical Pragmatics, pp. 63\u201381. Academic Press, New York (1981)"},{"key":"29_CR2","unstructured":"Common Logic Working Group. Common Logic Standard (2010), http:\/\/common-logic.org\/"},{"key":"29_CR3","unstructured":"Cycorp (2008), http:\/\/www.cyc.com\/"},{"key":"29_CR4","doi-asserted-by":"crossref","first-page":"81","DOI":"10.2307\/jj.13027259.6","volume-title":"The Logic of Decision and Action","author":"D. Davidson","year":"1967","unstructured":"Davidson, D.: The Logical Form of Action Sentences. In: Rescher, N. (ed.) The Logic of Decision and Action, pp. 81\u201395. University of Pittsburgh Press, Pittsburgh (1967)"},{"key":"29_CR5","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1016\/0004-3702(71)90010-5","volume":"2","author":"R. Fikes","year":"1971","unstructured":"Fikes, R., Nilsson, N.: STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving. Artificial Intelligence\u00a02, 189\u2013208 (1971)","journal-title":"Artificial Intelligence"},{"key":"29_CR6","unstructured":"Gordon, A., Hobbs, J.: How We Think We Think: Formalizing Commonsense Psychology (2010) (in progress)"},{"key":"29_CR7","doi-asserted-by":"crossref","unstructured":"Hobbs, J.: Ontological Promiscuity. In: Proceedings of the 23rd Annual Meeting of the Association for Computational Linguistics, Chicago, Illinois, pp. 61\u201369 (1985)","DOI":"10.3115\/981210.981218"},{"key":"29_CR8","unstructured":"Hobbs, J.: Monotone Decreasing Quantifiers in a Scope-Free Logical Form. In: van Deemter, K., Peters, S. (eds.) Semantic Ambiguity and Underspecification, Stanford, California. CSLI Lecture Notes No. 55, pp. 55\u201376 (1995)"},{"key":"29_CR9","unstructured":"Hobbs, J.: The Logical Notation: Ontological Promiscuity (2003), http:\/\/www.isi.edu\/~hobbs\/disinf-tc.html"},{"key":"29_CR10","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1093\/jos\/ffh024","volume":"22","author":"J. Hobbs","year":"2005","unstructured":"Hobbs, J.: Toward a Useful Concept of Causality for Lexical Semantics. Journal of Semantics\u00a022, 181\u2013209 (2005)","journal-title":"Journal of Semantics"},{"key":"29_CR11","unstructured":"Hobbs, J.: Encoding Commonsense Knowledge (2005), http:\/\/www.isi.edu\/~hobbs\/csk.html"},{"issue":"1","key":"29_CR12","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1145\/1017068.1017073","volume":"3","author":"J. Hobbs","year":"2004","unstructured":"Hobbs, J., Pan, F.: An Ontology of Time for the Semantic Web. ACM Transactions on Asian Language Information Processing\u00a03(1), 66\u201385 (2004)","journal-title":"ACM Transactions on Asian Language Information Processing"},{"issue":"1-2","key":"29_CR13","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1016\/0004-3702(93)90015-4","volume":"63","author":"J. Hobbs","year":"1993","unstructured":"Hobbs, J., Stickel, M., Appelt, D., Martin, P.: Interpretation as Abduction. Artificial Intelligence\u00a063(1-2), 69\u2013142 (1993)","journal-title":"Artificial Intelligence"},{"key":"29_CR14","unstructured":"Lenat, D., Guha, R.: Building Large Knowledge-Based Systems: Representation and Inference in the Cyc Project. Addison-Wesley (1990)"},{"key":"29_CR15","first-page":"129","volume-title":"Machine Intelligence 9","author":"J. McCarthy","year":"1979","unstructured":"McCarthy, J.: First Order Theories of Individual Concepts and Propositions. In: Hayes, J., Michie, D., Mikulich, L. (eds.) Machine Intelligence 9, pp. 129\u2013147. John Wiley and Sons, New York (1979)"},{"key":"29_CR16","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1016\/0004-3702(80)90011-9","volume":"13","author":"J. McCarthy","year":"1980","unstructured":"McCarthy, J.: Circumscription: A Form of Nonmonotonic Reasoning. Artificial Intelligence\u00a013, 27\u201339 (1980)","journal-title":"Artificial Intelligence"},{"key":"29_CR17","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1207\/s15516709cog1402_2","volume":"14","author":"Y. Shoham","year":"1990","unstructured":"Shoham, Y.: Nonmonotonic Reasoning and Causation. Cognitive Science\u00a014, 213\u2013252 (1990)","journal-title":"Cognitive Science"}],"container-title":["Lecture Notes in Computer Science","Computational Linguistics and Intelligent Text Processing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-54906-9_29","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,5,26]],"date-time":"2024-05-26T00:22:13Z","timestamp":1716682933000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-54906-9_29"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783642549052","9783642549069"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-54906-9_29","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}