{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T03:06:27Z","timestamp":1761620787423,"version":"3.43.0"},"reference-count":33,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2001,4,1]],"date-time":"2001-04-01T00:00:00Z","timestamp":986083200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2001,4,1]],"date-time":"2001-04-01T00:00:00Z","timestamp":986083200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Studia Logica"],"published-print":{"date-parts":[[2001,4]]},"DOI":"10.1023\/a:1010512415344","type":"journal-article","created":{"date-parts":[[2002,12,23]],"date-time":"2002-12-23T12:42:08Z","timestamp":1040647328000},"page":"333-384","source":"Crossref","is-referenced-by-count":32,"title":["Mid-Sized Axiomatizations of Commonsense Problems: A Case Study in Egg Cracking"],"prefix":"10.1007","volume":"67","author":[{"given":"Leora","family":"Morgenstern","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"355875_CR1","doi-asserted-by":"crossref","unstructured":"Amir, E., 2000, \u2018Towards a formalization of elaboration tolerance: Adding and deleting axioms\u2019, in M.-A. Williams and H. Rott, editors, Frontiers of Belief Revision, Kluwer.","DOI":"10.1007\/978-94-015-9817-0_7"},{"key":"355875_CR2","unstructured":"Bell, J., 1997, \u2018Eating on an airplane\u2019, The Commonsense Problem Page, http:\/\/www-formal.stanford.edu\/leora\/cs"},{"key":"355875_CR3","unstructured":"Davis, E., \u2018The egg cracking problem\u2019, Commonsense Problem Page."},{"issue":"3","key":"355875_CR4","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1016\/0954-1810(88)90029-5","volume":"3","author":"E. Davis","year":"1988","unstructured":"Davis, E., 1988, \u2018A logical framework for commonsense predictions of solid object behavior\u2019, Artificial Intelligence in Engineering 3 (3):125-140.","journal-title":"Artificial Intelligence in Engineering"},{"issue":"34","key":"355875_CR5","doi-asserted-by":"crossref","first-page":"253","DOI":"10.1007\/BF01530935","volume":"9","author":"E. Davis","year":"1993","unstructured":"Davis, E., 1993, \u2018The kinematics of cutting solid objects\u2019, Annals of Mathematics and Artificial Intelligence 9 (3,4):253-305.","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"355875_CR6","unstructured":"Davis, E., 1997, \u2018Falling objects\u2019, Commonsense Problem Page, http:\/\/www-formal.stanford.edu\/leora\/cs"},{"issue":"4","key":"355875_CR7","first-page":"51","volume":"19","author":"E. Davis","year":"1998","unstructured":"Davis, E., 1998, \u2018The naive physics perplex\u2019, AI Magazine 19 (4):51-79.","journal-title":"AI Magazine"},{"key":"355875_CR8","unstructured":"Davis, E., 1999, \u2018Guide to axiomatizing domains in first-order logic\u2019, Electronic Newsletter on Reasoning about Actions and Change 99002. At http:\/\/www.etaij.org\/rac\/"},{"key":"355875_CR9","unstructured":"de Kleer, J., 1977, \u2018Multiple representations of knowledge in a mechanics problem solver\u2019, in Proceedings of the Fifth International Joint Conference or Artificial Intelligence, IJCAI-77, pages 299-304."},{"key":"355875_CR10","volume-title":"Qualitative Reasoning about Physical Systems","author":"J. de Kleer","year":"1985","unstructured":"de Kleer, J., and J.S. Brown, 1985, \u2018A qualitative physics based on confluences\u2019, in D. Bobrow, editor, Qualitative Reasoning about Physical Systems, MIT Press, Cambridge, Massachusetts."},{"key":"355875_CR11","unstructured":"Forbus, K., 1980, \u2018Spatial and qualitative aspects of reasoning about motion\u2019, in Proceedings of the First National Conference os Artificial Intelligence, AAAI 1980, pages 436-442."},{"key":"355875_CR12","doi-asserted-by":"crossref","first-page":"379","DOI":"10.1016\/0004-3702(87)90043-9","volume":"33","author":"S. Hanks","year":"1997","unstructured":"Hanks, S., and D. McDermott, 1997, \u2018Nonomonotonic logic and temporal projection\u2019, Artificial Intelligence 33:379-412.","journal-title":"Artificial Intelligence"},{"key":"355875_CR13","first-page":"71","volume-title":"Formal Theories of the Commonsense World","author":"P. Hayes","year":"1985","unstructured":"Hayes, P., 1985a, \u2018Naive physics I: Ontology for liquids\u2019, in J. Hobbs and R. Moore, editors, Formal Theories of the Commonsense World, pages 71-107, Ablex, Norwood, New Jersey."},{"key":"355875_CR14","first-page":"1","volume-title":"Formal Theories of the Commonsense World","author":"P. Hayes","year":"1985","unstructured":"Hayes, P., 1985b, \u2018The second naive physics manifesto\u2019, in J. Hobbs and R. Moore, editors, Formal Theories of the Commonsense World, pages 1-36, Ablex, Norwood, New Jersey."},{"issue":"1","key":"355875_CR15","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1007\/BF03037383","volume":"4","author":"R. A. Kowalski","year":"1986","unstructured":"Kowalski, R. A., and M. J. sergot, 1986, \u2018A logic-based calculus of events\u2019, New Generation Computing 4 (1):67-95.","journal-title":"New Generation Computing"},{"key":"355875_CR16","volume-title":"Building Large Knowledge-Based Systems: Representation and Inference in the Cyc Project","author":"D. Lenat","year":"1990","unstructured":"Lenat, D., and R. V. guha, 1990, Building Large Knowledge-Based Systems: Representation and Inference in the Cyc Project, Addison-Wesley, Reading, Massachusetts."},{"key":"355875_CR17","unstructured":"Lifschitz, V., 1998, \u2018Cracking an egg: An exercise in commonsense reasoning\u2019, Fourth International Symposium on Logical Formalizations of Commonsense Reasoning, http:\/\/www.cs.utexas.edu\/users\/vlmypapers\/egg.ps"},{"key":"355875_CR18","unstructured":"lin, f., 1995, \u2018embracing causality in specifying the indirect effects of action\u2019, in proceedings of the fourteenth international joint conference on artificial intelligence, ijcai95, pages 1985-1993."},{"key":"355875_CR19","unstructured":"McCain, N., and H. Turner, 1995, \u2018A causal theory of ramifications and qualifications\u2019, in Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, IJCAI 95, pages 1978-1984."},{"key":"355875_CR20","unstructured":"McCarthy, J., 1959, \u2018Programs with common sense\u2019, in Proceedings of the Teddington Conference on the Mechanization of Thought Processes, pages 75-91, London. Her Majesty's Stationary Office."},{"key":"355875_CR21","unstructured":"McCarthy, J., 1988, \u2018Mathematical logic in artificial intelligence\u2019, Daedalus, pages 297-311."},{"key":"355875_CR22","first-page":"463","volume-title":"Machine Intelligence 4","author":"J. McCarthy","year":"1969","unstructured":"McCarthy, J., and P.J. hayes, 1969, \u2018Some philosophical problems from the standpoint of artificial intelligence\u2019, in B. Meltzer and D. Michie, editors, Machine Intelligence 4, pages 463-502, Edinburgh University Press, Edinburgh."},{"key":"355875_CR23","unstructured":"Miller, R., and L. Morgenstern, 1997, \u2018The commonsense problem page\u2019, http:\/\/www-formal.stanford.edu\/leora\/cs"},{"key":"355875_CR24","unstructured":"Morgenstern, L., 1998, \u2018Beyond toy problems: A logical formalization of the eggcracking domain\u2019, Fourth International Symposium on Logical Formalizations of Commonsense Reasoning, http:\/\/www-formal.stanford.edu\/leora\/cs98\/egg.a.ps"},{"key":"355875_CR25","unstructured":"Morgenstern, L., and L.A. Stein, 1988, \u2018When things go wrong: A formal theory of causal reasoning\u2019, in Proceedings of AAAI-1988, pages 518-523."},{"key":"355875_CR26","volume-title":"The Structure of Science","author":"E. Nagel","year":"1961","unstructured":"Nagel, E., 1961, The Structure of Science, Harcourt, Brace, and Co., New York."},{"key":"355875_CR27","unstructured":"Pease, A., V. Chaudhri, F. Lehmann, and A. Farquhar, 2000, \u2018Practical knowledge representation and the DARPA high performance knowledge bases project\u2019, in Proceedings of the Seventh International Conference on Principles of Knowledge Representation and Reasoning."},{"key":"355875_CR28","volume-title":"Features and Fluents","author":"E. Sandewall","year":"1994","unstructured":"Sandewall, E., 1994, Features and Fluents, Oxford University Press, Oxford, England."},{"key":"355875_CR29","unstructured":"Sandewall, E., 1999, \u2018Logic modelling workshop\u2019, Electronic Colloquium on Reasoning about Actions and Change, http:\/\/www.ida.liu.se\/ext\/eta\/lmw"},{"key":"355875_CR30","volume-title":"Logic-Based Artificial Intelligence","author":"E. Sandewall","year":"2000","unstructured":"Sandewall, E., 2000, \u2018On the methodology of research in knowledge representation and commonsense reasoning\u2019, in J. Minker, editor, Logic-Based Artificial Intelligence, Kluwer Academic Publishers, Dordrecht (forthcoming)."},{"key":"355875_CR31","volume-title":"Solving the Frame Problem","author":"M. Shanahan","year":"1997","unstructured":"Shanahan, M., 1997, Solving the Frame Problem, MIT Press, Cambridge, Massachusetts."},{"key":"355875_CR32","unstructured":"Shanahan, M., 1998, \u2018A logical formalisation of Ernie Davis's egg cracking problem\u2019, Fourth International Symposium on Logical Formalizations of Commonsense Reasoning, http:\/\/www.formal.stanford.edu\/leora\/cs"},{"key":"355875_CR33","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0004-3702(94)90061-2","volume":"71","author":"L. A. Stein","year":"1994","unstructured":"Stein, L. A., and L. Morgenstern, 1994, \u2018Motivated action theory\u2019, Artificial Intelligence 71:1-41.","journal-title":"Artificial Intelligence"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1010512415344.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1010512415344\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1010512415344.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,8]],"date-time":"2025-08-08T05:29:13Z","timestamp":1754630953000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1010512415344"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001,4]]},"references-count":33,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2001,4]]}},"alternative-id":["355875"],"URL":"https:\/\/doi.org\/10.1023\/a:1010512415344","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"type":"print","value":"0039-3215"},{"type":"electronic","value":"1572-8730"}],"subject":[],"published":{"date-parts":[[2001,4]]}}}