{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:28:53Z","timestamp":1761611333027},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642405631"},{"type":"electronic","value":"9783642405648"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-40564-8_29","type":"book-chapter","created":{"date-parts":[[2013,9,12]],"date-time":"2013-09-12T11:21:30Z","timestamp":1378984890000},"page":"290-303","source":"Crossref","is-referenced-by-count":6,"title":["Approximate Epistemic Planning with Postdiction as Answer-Set Programming"],"prefix":"10.1007","author":[{"given":"Manfred","family":"Eppe","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mehul","family":"Bhatt","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Frank","family":"Dylla","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"29_CR1","doi-asserted-by":"publisher","first-page":"625","DOI":"10.1111\/j.1467-8640.1995.tb00052.x","volume":"11","author":"C. B\u00e4ckstr\u00f6m","year":"1995","unstructured":"B\u00e4ckstr\u00f6m, C., Nebel, B.: Complexity results for SAS+ planning. Computational Intelligence\u00a011, 625\u2013655 (1995)","journal-title":"Computational Intelligence"},{"key":"29_CR2","doi-asserted-by":"crossref","unstructured":"Baral, C., Kreinovich, V., Trejo, R.: Computational complexity of planning and approximate planning in the presence of incompleteness. Artificial Intelligence\u00a0122 (2000)","DOI":"10.1016\/S0004-3702(00)00043-6"},{"key":"29_CR3","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1016\/S0004-3702(02)00374-0","volume":"147","author":"A. Cimatti","year":"2003","unstructured":"Cimatti, A., Pistore, M., Roveri, M., Traverso, P.: Weak, strong, and strong cyclic planning via symbolic model checking. Artificial Intelligence\u00a0147, 35\u201384 (2003)","journal-title":"Artificial Intelligence"},{"key":"29_CR4","unstructured":"Eppe, M., Bhatt, M.: Narrative based Postdictive Reasoning for Cognitive Robotics. In: 11th Int\u2019l Symposium on Logical Formalizations of Commonsense Reasoning (2013)"},{"key":"29_CR5","unstructured":"Eppe, M., Bhatt, M., Dylla, F.: h-approximation: History-Based Approximation to Possible World Semantics as ASP. Technical report, arXiv:1304.4925v1 (2013)"},{"key":"29_CR6","doi-asserted-by":"crossref","unstructured":"Gebser, M., Kaminski, R., Kaufmann, B., Schaub, T.: Answer Set Solving in Practice. Morgan and Claypool (2012)","DOI":"10.1007\/978-3-642-20832-4_6"},{"key":"29_CR7","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. The Journal of Logic Programming\u00a017, 301\u2013321 (1993)","journal-title":"The Journal of Logic Programming"},{"key":"29_CR8","unstructured":"Hoffmann, J., Brafman, R.I.: Contingent planning via heuristic forward search with implicit belief states. In: ICAPS Proceedings (2005)"},{"key":"29_CR9","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1024\/1662-9647\/a000009","volume":"23","author":"B. Krieg-Br\u00fcckner","year":"2010","unstructured":"Krieg-Br\u00fcckner, B., R\u00f6fer, T., Shi, H., Gersdorf, B.: Mobility Assistance in the Bremen Ambient Assisted Living Lab. Journal of GeroPsyc\u00a023, 121\u2013130 (2010)","journal-title":"Journal of GeroPsyc"},{"key":"29_CR10","doi-asserted-by":"crossref","first-page":"571","DOI":"10.1613\/jair.3489","volume":"43","author":"J. Lee","year":"2012","unstructured":"Lee, J., Palla, R.: Reformulating the situation calculus and the event calculus in the general theory of stable models and in answer set programming. JAIR\u00a043, 571\u2013620 (2012)","journal-title":"JAIR"},{"key":"29_CR11","unstructured":"Liu, Y., Levesque, H.J.: Tractable reasoning with incomplete first-order knowledge in dynamic systems with context-dependent actions. In: IJCAI Proceedings (2005)"},{"key":"29_CR12","first-page":"129","volume":"1","author":"J. Lobo","year":"2001","unstructured":"Lobo, J., Mendez, G., Taylor, S.: Knowledge and the Action Description Language A. Theory and Practice of Logic Programming\u00a01, 129\u2013184 (2001)","journal-title":"Theory and Practice of Logic Programming"},{"key":"29_CR13","unstructured":"McCarthy, J.: Elaboration tolerance. In: Commonsense Reasoning (1998)"},{"key":"29_CR14","unstructured":"Miller, R., Morgenstern, L., Patkos, T.: Reasoning About Knowledge and Action in an Epistemic Event Calculus. In: 11th Int\u2019l Symposium on Logical Formalizations of Commonsense Reasoning (2013)"},{"key":"29_CR15","unstructured":"Moore, R.: A formal theory of knowledge and action. In: Hobbs, J., Moore, R. (eds.) Formal Theories of the Commonsense World, Ablex, Norwood, NJ, pp. 319\u2013358 (1985)"},{"key":"29_CR16","unstructured":"Patkos, T., Plexousakis, D.: Reasoning with Knowledge, Action and Time in Dynamic and Uncertain Domains. In: IJCAI Proceedings, pp. 885\u2013890 (2009)"},{"key":"29_CR17","unstructured":"Petrick, R., Bacchus, F.: Extending the knowledge-based approach to planning with incomplete information and sensing. In: ICAPS Proceedings (2004)"},{"key":"29_CR18","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1016\/j.robot.2005.09.004","volume":"53","author":"O. Pettersson","year":"2005","unstructured":"Pettersson, O.: Execution monitoring in robotics: A survey. Robotics and Autonomous Systems\u00a053, 73\u201388 (2005)","journal-title":"Robotics and Autonomous Systems"},{"key":"29_CR19","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0004-3702(02)00365-X","volume":"144","author":"R.B. Scherl","year":"2003","unstructured":"Scherl, R.B., Levesque, H.J.: Knowledge, action, and the frame problem. Artificial Intelligence\u00a0144, 1\u201339 (2003)","journal-title":"Artificial Intelligence"},{"key":"29_CR20","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, 19\u201391 (2001)","journal-title":"Artificial Intelligence"},{"key":"29_CR21","unstructured":"Thielscher, M.: Representing the knowledge of a robot. In: Proc. of KR (2000)"},{"key":"29_CR22","unstructured":"To, S.T.: On the impact of belief state representation in planning under uncertainty. In: IJCAI Proceedings (2011)"},{"key":"29_CR23","doi-asserted-by":"publisher","first-page":"377","DOI":"10.1017\/S1471068406002948","volume":"7","author":"P.H. Tu","year":"2007","unstructured":"Tu, P.H., Son, T.C., Baral, C.: Reasoning and planning with sensing actions, incomplete information, and static causal laws using answer set programming. Theory and Practice of Logic Programming\u00a07, 377\u2013450 (2007)","journal-title":"Theory and Practice of Logic Programming"},{"key":"29_CR24","doi-asserted-by":"crossref","unstructured":"Vlaeminck, H., Vennekens, J., Denecker, M.: A general representation and approximate inference algorithm for sensing actions. In: Australasian Conference on AI (2012)","DOI":"10.1007\/978-3-642-35101-3_46"}],"container-title":["Lecture Notes in Computer Science","Logic Programming and Nonmonotonic Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-40564-8_29","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,17]],"date-time":"2019-05-17T06:33:57Z","timestamp":1558074837000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-40564-8_29"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642405631","9783642405648"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-40564-8_29","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}