{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:28:36Z","timestamp":1761611316319},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642351006"},{"type":"electronic","value":"9783642351013"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-35101-3_46","type":"book-chapter","created":{"date-parts":[[2012,11,29]],"date-time":"2012-11-29T11:40:16Z","timestamp":1354189216000},"page":"543-554","source":"Crossref","is-referenced-by-count":1,"title":["A General Representation and Approximate Inference Algorithm for Sensing Actions"],"prefix":"10.1007","author":[{"given":"Hanne","family":"Vlaeminck","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Joost","family":"Vennekens","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marc","family":"Denecker","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"46_CR1","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"515","DOI":"10.1007\/3-540-39963-1_54","volume-title":"Foundations of Intelligent Systems","author":"R. Demolombe","year":"2000","unstructured":"Demolombe, R., del Pilar Pozos Parra, M.: A Simple and Tractable Extension of Situation Calculus to Epistemic Logic. In: Ohsuga, S., Ra\u015b, Z.W. (eds.) ISMIS 2000. LNCS (LNAI), vol.\u00a01932, pp. 515\u2013524. Springer, Heidelberg (2000)"},{"issue":"5-6","key":"46_CR2","doi-asserted-by":"publisher","first-page":"332","DOI":"10.1016\/j.artint.2007.02.002","volume":"171","author":"M. Denecker","year":"2007","unstructured":"Denecker, M., Ternovska, E.: Inductive situation calculus. Artificial Intelligence\u00a0171(5-6), 332\u2013360 (2007)","journal-title":"Artificial Intelligence"},{"issue":"2","key":"46_CR3","doi-asserted-by":"crossref","first-page":"14","DOI":"10.1145\/1342991.1342998","volume":"9","author":"M. Denecker","year":"2008","unstructured":"Denecker, M., Ternovska, E.: A logic of nonmonotone inductive definitions. ACM Transactions on Computational Logic (TOCL)\u00a09(2), Article 14 (2008)","journal-title":"ACM Transactions on Computational Logic (TOCL)"},{"key":"46_CR4","doi-asserted-by":"crossref","unstructured":"van Ditmarsch, H., van der Hoek, W., Kooi, B.: Dynamic Epistemic Logic, 1st edn. Springer (2007) (incorporated)","DOI":"10.1007\/978-1-4020-5839-4"},{"key":"46_CR5","unstructured":"Herzig, A., Lang, J., Marquis, P.: Action representation and partially observable planning using epistemic logic. In: IJCAI, pp. 1067\u20131072 (2003)"},{"key":"46_CR6","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1613\/jair.3132","volume":"40","author":"A. Hunter","year":"2011","unstructured":"Hunter, A., Delgrande, J.P.: Iterated belief change due to actions and observations. J. Artif. Intell. Res (JAIR)\u00a040, 269\u2013304 (2011)","journal-title":"J. Artif. Intell. Res. (JAIR)"},{"key":"46_CR7","unstructured":"Lakemeyer, G., Levesque, H.J.: Aol: A logic of acting, sensing, knowing, and only knowing. In: KR, pp. 316\u2013329 (1998)"},{"key":"46_CR8","unstructured":"Liu, Y., Levesque, H.: Tractable reasoning with incomplete first-order knowledge in dynamic systems with context-dependent actions. In: IJCAI, pp. 522\u2013527 (2005)"},{"key":"46_CR9","unstructured":"Moore, R.C.: A Formal Theory of Knowledge and Action. In: Formal Theories of the Commonsense World, pp. 319\u2013358 (1985)"},{"key":"46_CR10","unstructured":"Petrick, R.P.A., Bacchus, F.: Extending the knowledge-based approach to planning with incomplete information and sensing. In: ICAPS, pp. 2\u201311 (2004)"},{"key":"46_CR11","unstructured":"Petrick, R.P.A., Levesque, H.J.: Knowledge equivalence in combined action theories. In: KR, pp. 303\u2013314 (2002)"},{"key":"46_CR12","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"},{"issue":"1-2","key":"46_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. Artif. Intell.\u00a0125(1-2), 19\u201391 (2001)","journal-title":"Artif. Intell."},{"key":"46_CR14","unstructured":"Thielscher, M.: Representing the knowledge of a robot. In: KR, pp. 109\u2013120 (2000)"},{"issue":"4","key":"46_CR15","first-page":"377","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. TPLP\u00a07(4), 377\u2013450 (2007)","journal-title":"TPLP"},{"key":"46_CR16","doi-asserted-by":"crossref","unstructured":"Vlaeminck, H., Vennekens, J., Denecker, M., Bruynooghe, M.: An approximate inference method for solving \u2203\u2009\u2200SO satisfiability problems. Technical Report (2012)","DOI":"10.1613\/jair.3658"},{"key":"46_CR17","unstructured":"Wittocx, J., Denecker, M., Bruynooghe, M.: Constraint propagation for extended first-order logic. CoRR, abs\/1008.2121 (2010)"}],"container-title":["Lecture Notes in Computer Science","AI 2012: Advances in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-35101-3_46","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,9]],"date-time":"2019-05-09T05:59:19Z","timestamp":1557381559000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-35101-3_46"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642351006","9783642351013"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-35101-3_46","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}