{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T05:24:46Z","timestamp":1725686686062},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642307423"},{"type":"electronic","value":"9783642307430"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"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":[[2012]]},"DOI":"10.1007\/978-3-642-30743-0_36","type":"book-chapter","created":{"date-parts":[[2012,6,2]],"date-time":"2012-06-02T03:49:46Z","timestamp":1338608986000},"page":"527-542","source":"Crossref","is-referenced-by-count":2,"title":["A Language for Default Reasoning about Actions"],"prefix":"10.1007","author":[{"given":"Hannes","family":"Strass","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Thielscher","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"2\/3&4","key":"36_CR1","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1016\/0743-1066(93)90035-F","volume":"17","author":"M. Gelfond","year":"1993","unstructured":"Gelfond, M., Lifschitz, V.: Representing Action and Change by Logic Programs. Journal of Logic Programming\u00a017(2\/3&4), 301\u2013321 (1993)","journal-title":"Journal of Logic Programming"},{"key":"36_CR2","unstructured":"Gelfond, M., Lifschitz, V.: Action Languages. Electronic Transactions on Artificial Intelligence\u00a03 (1998)"},{"key":"36_CR3","first-page":"623","volume-title":"Proceedings of the Fifteenth National Conference on Artificial Intelligence (AAAI 1998)","author":"E. Giunchiglia","year":"1998","unstructured":"Giunchiglia, E., Lifschitz, V.: An Action Language Based on Causal Explanation: Preliminary Report. In: Proceedings of the Fifteenth National Conference on Artificial Intelligence (AAAI 1998), pp. 623\u2013630. American Association for Artificial Intelligence, Menlo Park (1998)"},{"issue":"1\u20133","key":"36_CR4","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1016\/S0743-1066(96)00138-0","volume":"31","author":"A. Kakas","year":"1997","unstructured":"Kakas, A., Miller, R.: A Simple Declarative Language for Describing Narratives with Actions. Journal of Logic Programming\u00a031(1\u20133), 157\u2013200 (1997); Reasoning about Actions and Change","journal-title":"Journal of Logic Programming"},{"issue":"1-2","key":"36_CR5","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1016\/j.artint.2002.12.001","volume":"153","author":"E. Giunchiglia","year":"2004","unstructured":"Giunchiglia, E., Lee, J., Lifschitz, V., McCain, N., Turner, H.: Nonmonotonic Causal Theories. Artificial Intelligence\u00a0153(1-2), 49\u2013104 (2004)","journal-title":"Artificial Intelligence"},{"key":"36_CR6","doi-asserted-by":"publisher","first-page":"206","DOI":"10.1145\/976706.976708","volume":"5","author":"T. Eiter","year":"2004","unstructured":"Eiter, T., Faber, W., Leone, N., Pfeifer, G., Polleres, A.: A Logic Programming Approach to Knowledge-State Planning: Semantics and Complexity. ACM Transactions on Computational Logic\u00a05, 206\u2013263 (2004)","journal-title":"ACM Transactions on Computational Logic"},{"key":"36_CR7","unstructured":"McCarthy, J.: Epistemological Problems of Artificial Intelligence. In: Proceedings of the Fifth International Joint Conference on Artificial Intelligence (IJCAI 1977), pp. 1038\u20131044 (1977)"},{"key":"36_CR8","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","volume":"13","author":"R. Reiter","year":"1980","unstructured":"Reiter, R.: A Logic for Default Reasoning. Artificial Intelligence\u00a013, 81\u2013132 (1980)","journal-title":"Artificial Intelligence"},{"key":"36_CR9","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1007\/BF03037169","volume":"9","author":"M. Gelfond","year":"1991","unstructured":"Gelfond, M., Lifschitz, V.: Classical Negation in Logic Programs and Disjunctive Databases. New Generation Computing\u00a09, 365\u2013385 (1991)","journal-title":"New Generation Computing"},{"key":"36_CR10","series-title":"Automated Reasoning Series","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1007\/978-94-011-3488-0_8","volume-title":"Automated Reasoning","author":"M. Gelfond","year":"1991","unstructured":"Gelfond, M., Lifschitz, V., Rabinov, A.: What Are the Limitations of the Situation Calculus? In: Boyer, R.S., Pase, W. (eds.) Automated Reasoning. Automated Reasoning Series, vol.\u00a01, pp. 167\u2013179. Springer, Netherlands (1991)"},{"key":"36_CR11","unstructured":"Thielscher, M.: Causality and the Qualification Problem. In: Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning (KR), Cambridge, MA, pp. 51\u201362 (November 1996)"},{"key":"36_CR12","unstructured":"Baumann, R., Brewka, G., Strass, H., Thielscher, M., Zaslawski, V.: State Defaults and Ramifications in the Unifying Action Calculus. In: Proceedings of the Twelfth International Conference on the Principles of Knowledge Representation and Reasoning, Toronto, Canada, pp. 435\u2013444 (May 2010)"},{"key":"36_CR13","doi-asserted-by":"crossref","unstructured":"Mueller, E.: Commonsense Reasoning. Morgan Kaufmann (2006)","DOI":"10.1016\/B978-012369388-4\/50072-2"},{"key":"36_CR14","doi-asserted-by":"crossref","unstructured":"Lakemeyer, G., Levesque, H.: A Semantical Account of Progression in the Presence of Defaults. In: Proceedings of the Twenty-first International Joint Conference on Artificial Intelligence (IJCAI 2009), pp. 842\u2013847 (2009)","DOI":"10.1007\/978-3-642-02463-4_6"},{"key":"36_CR15","unstructured":"Michael, L., Kakas, A.: A Unified Argumentation-Based Framework for Knowledge Qualification. In: Davis, E., Doherty, P., Erdem, E. (eds.) Proceedings Commonsense, Stanford, CA (March 2011)"},{"key":"36_CR16","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1016\/j.entcs.2011.10.006","volume":"278","author":"K. Britz","year":"2011","unstructured":"Britz, K., Meyer, T., Varzinczak, I.: Preferential Reasoning for Modal Logics. Electronic Notes in Theoretical Computer Science\u00a0278, 55\u201369 (2011)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"36_CR17","unstructured":"Kim, T.W., Lee, J., Palla, R.: Circumscriptive Event Calculus as Answer Set Programming. In: IJCAI, pp. 823\u2013829 (July 2009)"},{"key":"36_CR18","doi-asserted-by":"crossref","unstructured":"Lee, J., Palla, R.: Situation Calculus as Answer Set Programming. In: Proceedings of the Twenty-Fourth Conference on Artificial Intelligence (AAAI 2010), pp. 309\u2013314 (July 2010)","DOI":"10.1609\/aaai.v24i1.7601"},{"key":"36_CR19","unstructured":"Casolary, M., Lee, J.: Representing the Language of the Causal Calculator in Answer Set Programming. In: Proceedings of the Twenty-Seventh International Conference on Logic Programming (ICLP 2011) (July 2011)"}],"container-title":["Lecture Notes in Computer Science","Correct Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-30743-0_36","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,23]],"date-time":"2023-06-23T02:01:09Z","timestamp":1687485669000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-30743-0_36"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642307423","9783642307430"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-30743-0_36","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}