{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:40:08Z","timestamp":1725493208497},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540441908"},{"type":"electronic","value":"9783540457572"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45757-7_31","type":"book-chapter","created":{"date-parts":[[2007,10,20]],"date-time":"2007-10-20T17:50:39Z","timestamp":1192902639000},"page":"369-381","source":"Crossref","is-referenced-by-count":4,"title":["Reasoning about Actions in Prioritized Default Theory"],"prefix":"10.1007","author":[{"given":"Tran Cao","family":"Son","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Enrico","family":"Pontelli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,9,20]]},"reference":[{"issue":"12","key":"31_CR1","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1016\/S0004-3702(99)00071-5","volume":"116","author":"F. Bacchus","year":"2000","unstructured":"F. Bacchus and F. Kabanza. Using temporal logics to express search control knowledge for planning. Artificial Intelligence, 116(1,2):123\u2013191, 2000.","journal-title":"Artificial Intelligence"},{"issue":"3\u20134","key":"31_CR2","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1016\/0004-3702(71)90010-5","volume":"2","author":"R. Fikes","year":"1971","unstructured":"R. Fikes and N. Nilson. STRIPS: A new approach to the application of theorem proving to problem solving. Artificial Intelligence, 2(3\u20134):189\u2013208, 1971.","journal-title":"Artificial Intelligence"},{"key":"31_CR3","unstructured":"M. Gelfond and V. Lifschitz. The Stable Model Semantics for Logic Programs. In ILPS, MIT Press, 1988."},{"key":"31_CR4","unstructured":"M. Gelfond and V. Lifschitz. Action languages. ETAI, 3(6), 1998."},{"key":"31_CR5","doi-asserted-by":"crossref","unstructured":"M. Gelfond and T.C. Son. Prioritized default theory. In Selected Papers from the Workshop on Logic Programming and Knowledge Representation, pages 164\u2013223. Springer, 1998.","DOI":"10.1007\/BFb0054795"},{"key":"31_CR6","doi-asserted-by":"crossref","unstructured":"M. Ginsberg and D. Smith. Reasoning about actions I. Artificial Intelligence, 35, 1988.","DOI":"10.1016\/0004-3702(88)90020-3"},{"key":"31_CR7","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1007\/BF03037383","volume":"4","author":"R. Kowalski","year":"1986","unstructured":"R. Kowalski and M. Sergot. A logic-based calculus of events. NGC, 4:67\u201395, 1986.","journal-title":"NGC"},{"key":"31_CR8","doi-asserted-by":"crossref","unstructured":"V. Lifschitz. Answer set planning. In Int. Conf. Logic Programming, pages 23\u201337, 1999.","DOI":"10.1007\/3-540-46767-X_28"},{"key":"31_CR9","unstructured":"V. Lifschitz and H. Turner. Splitting a logic program. In Pascal Van Hentenryck, editor, Proceedings of the Eleventh International Conf. on Logic Programming, pages 23\u201338, 1994."},{"key":"31_CR10","doi-asserted-by":"crossref","unstructured":"V. Lifschitz and H. Turner. Representing transition systems by logic programs. In Proceedings Int. Conf. on Logic Programming and Nonmonotonic Reasoning, pages 92\u2013106, 1999.","DOI":"10.1007\/3-540-46767-X_7"},{"key":"31_CR11","unstructured":"J. McCarthy. Epistemological problems of artificial intelligence. In Proceedings Int. Joint Conference on Artificial Intelligence, pages 1038\u20131044. 1977."},{"key":"31_CR12","first-page":"463","volume":"4","author":"J. McCarthy","year":"1969","unstructured":"J. McCarthy and P. Hayes. Some philosophical problems from the standpoint of artificial intelligence. In Machine Intelligence, volume 4, pages 463\u2013502. 1969.","journal-title":"Machine Intelligence"},{"issue":"34","key":"31_CR13","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1023\/A:1018930122475","volume":"25","author":"I. Niemel\u00e4","year":"1999","unstructured":"I. Niemel\u00e4. Logic programming with stable model semantics as a constraint programming paradigm. Annals of Mathematics and Artificial Intelligence, 25(3,4):241\u2013273, 1999.","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"31_CR14","doi-asserted-by":"crossref","unstructured":"I. Niemel\u00e4 and P. Simons. Smodels-an implementation of the stable model and well-founded semantics for normal logic programs. In Procs. LPNMR, pages 420\u2013429, 1997.","DOI":"10.1007\/3-540-63255-7_32"},{"issue":"5","key":"31_CR15","doi-asserted-by":"publisher","first-page":"467","DOI":"10.1093\/logcom\/4.5.467","volume":"4","author":"E. Pednault","year":"1994","unstructured":"E. Pednault. ADLand the state-transition model of actions. Journal of Logic and Computation, 4(5):467\u2013513, October 1994.","journal-title":"Journal of Logic and Computation"},{"key":"31_CR16","unstructured":"E. Pontelli, G. Gupta, D. Ranjan, and B. Milligan. A Domain Specific Language for Solving Philogenetic Inference Problems. TR-CS-001\/2002, New Mexico State University, 2002."},{"key":"31_CR17","unstructured":"E. Pontelli and T. Son. Navigating HTML Tables: Planning, Reasoning, and Agents. In Int. Conference on Assistive Technologies. ACM Press, 2002."},{"key":"31_CR18","doi-asserted-by":"crossref","unstructured":"T.C. Son, C. Baral, and S. McIlraith. Domain dependent knowledge in planning-an answer set planning approach. In Procs. LPNMR, pages 226\u2013239, Vienna, 2001.","DOI":"10.1007\/3-540-45402-0_17"},{"key":"31_CR19","doi-asserted-by":"crossref","unstructured":"T.C. Son and E. Pontelli. Reasoning About Actions in Prioritized Default Theory. TR-CS-002\/002, New Mexico State U., 2002.","DOI":"10.1007\/3-540-45757-7_31"},{"issue":"1\u20133","key":"31_CR20","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1016\/S0743-1066(96)00125-2","volume":"31","author":"H. Turner","year":"1997","unstructured":"H. Turner. Representing actions in logic programs and default theories. Journal of Logic Programming, 31(1\u20133):245\u2013298, May 1997.","journal-title":"Journal of Logic Programming"}],"container-title":["Lecture Notes in Computer Science","Logics in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45757-7_31","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,3]],"date-time":"2019-05-03T22:08:01Z","timestamp":1556921281000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45757-7_31"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540441908","9783540457572"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/3-540-45757-7_31","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}