{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T07:35:15Z","timestamp":1725521715863},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540891963"},{"type":"electronic","value":"9783540891970"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"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":[[2008]]},"DOI":"10.1007\/978-3-540-89197-0_34","type":"book-chapter","created":{"date-parts":[[2008,12,3]],"date-time":"2008-12-03T12:23:50Z","timestamp":1228307030000},"page":"358-369","source":"Crossref","is-referenced-by-count":0,"title":["Some Results on the Completeness of Approximation Based Reasoning"],"prefix":"10.1007","author":[{"given":"Cao Son","family":"Tran","sequence":"first","affiliation":[]},{"given":"Enrico","family":"Pontelli","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"4,5","key":"34_CR1","doi-asserted-by":"publisher","first-page":"425","DOI":"10.1017\/S1471068403001807","volume":"3","author":"M. Balduccini","year":"2003","unstructured":"Balduccini, M., Gelfond, M.: Diagnostic Reasoning with A-Prolog. Theory and Practice of Logic Programming\u00a03(4,5), 425\u2013461 (2003)","journal-title":"Theory and Practice of Logic Programming"},{"key":"34_CR2","first-page":"257","volume-title":"Reasoning agents in dynamic domains","author":"C. Baral","year":"2000","unstructured":"Baral, C., Gelfond, M.: Reasoning agents in dynamic domains, pp. 257\u2013279. Kluwer Academic Publishers, Dordrecht (2000)"},{"key":"34_CR3","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1016\/S0004-3702(00)00043-6","volume":"122","author":"C. Baral","year":"2000","unstructured":"Baral, C., Kreinovich, V., Trejo, R.: Computational complexity of planning and approximate planning in the presence of incompleteness. Artificial Intelligence\u00a0122, 241\u2013267 (2000)","journal-title":"Artificial Intelligence"},{"issue":"2,3,4","key":"34_CR4","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 actions and change by logic programs. Journal of Logic Programming\u00a017(2,3,4), 301\u2013323 (1993)","journal-title":"Journal of Logic Programming"},{"key":"34_CR5","first-page":"724","volume-title":"Proceedings of the 13th International Joint Conference on Artificial Intelligence","author":"G. Kartha","year":"1993","unstructured":"Kartha, G.: Soundness and completeness theorems for three formalizations of action. In: Proceedings of the 13th International Joint Conference on Artificial Intelligence, pp. 724\u2013729. Morgan Kaufmann Publishers, San Mateo (1993)"},{"key":"34_CR6","unstructured":"Levesque, H.J.: A completeness result for reasoning with incomplete first-order knowledge bases. In: KR, pp. 14\u201323 (1998)"},{"key":"34_CR7","unstructured":"Liu, Y., Levesque, H.: Tractable reasoning with incomplete first-order knowledge in dynamic systems with context-dependent actions. In: Proceedings of the 19th International Joint Conference on Artificial Intelligence, IJCAI, Edinburgh, Scotland (2005)"},{"key":"34_CR8","unstructured":"McCarthy, J.: Programs with common sense. In: Proceedings\u00a0of the Teddington Conference on the Mechanization of Thought Processes, London, pp. 75\u201391. Her Majesty\u2019s Stationery Office (1959)"},{"key":"34_CR9","first-page":"463","volume-title":"Machine Intelligence","author":"J. McCarthy","year":"1969","unstructured":"McCarthy, J., Hayes, P.: Some philosophical problems from the standpoint of artificial intelligence. In: Meltzer, B., Michie, D. (eds.) Machine Intelligence, vol.\u00a04, pp. 463\u2013502. Edinburgh University Press, Edinburgh (1969)"},{"key":"34_CR10","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1111\/j.1467-8640.1987.tb00183.x","volume":"3","author":"D. McDermott","year":"1987","unstructured":"McDermott, D.: A critique of pure reason. Computational Intelligence\u00a03, 151\u2013160 (1987)","journal-title":"Computational Intelligence"},{"key":"34_CR11","volume-title":"Formal theories of the commonsense world","author":"R. Moore","year":"1985","unstructured":"Moore, R.: A formal theory of knowledge and action. In: Hobbs, J., Moore, R. (eds.) Formal theories of the commonsense world. Ablex, Norwood (1985)"},{"key":"34_CR12","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1016\/B978-0-12-450010-5.50026-8","volume-title":"Artificial Intelligence and Mathematical Theory of Computation","author":"R. Reiter","year":"1991","unstructured":"Reiter, R.: The frame problem in the situation calculus: A simple solution (sometimes) and a completeness result for goal regression. In: Artificial Intelligence and Mathematical Theory of Computation, pp. 359\u2013380. Academic Press, London (1991)"},{"issue":"1-2","key":"34_CR13","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1016\/S0004-3702(00)00080-1","volume":"125","author":"T.C. Son","year":"2001","unstructured":"Son, T.C., Baral, C.: Formalizing sensing actions - a transition function based approach. Artificial Intelligence\u00a0125(1-2), 19\u201391 (2001)","journal-title":"Artificial Intelligence"},{"key":"34_CR14","unstructured":"Son, T.C., Tu, P.H.: On the Completeness of Approximation Based Reasoning and Planning in Action Theories with Incomplete Information. In: Int. Conf. on Principles of Knowledge Representation and Reasoning, pp. 481\u2013491 (2006)"},{"key":"34_CR15","unstructured":"Tu, P.H.: Reasoning and Planning With Incomplete Information in the Presence of Static Causal Laws. Ph.D thesis, New Mexico State University (2007)"}],"container-title":["Lecture Notes in Computer Science","PRICAI 2008: Trends in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-89197-0_34","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,1,17]],"date-time":"2019-01-17T20:07:04Z","timestamp":1547755624000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-89197-0_34"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540891963","9783540891970"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-89197-0_34","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}