{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T17:46:20Z","timestamp":1725471980825},"reference-count":22,"publisher":"Springer US","isbn-type":[{"type":"print","value":"9780387346540"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-0-387-34747-9_5","type":"book-chapter","created":{"date-parts":[[2006,10,8]],"date-time":"2006-10-08T23:56:39Z","timestamp":1160351799000},"page":"41-50","source":"Crossref","is-referenced-by-count":0,"title":["Detecting and Repairing Anomalous Evolutions in Noisy Environments: Logic Programming Formalization and Complexity Results"],"prefix":"10.1007","author":[{"given":"Fabrizio","family":"Angiulli","sequence":"first","affiliation":[]},{"given":"Gianluigi","family":"Greco","sequence":"additional","affiliation":[]},{"given":"Luigi","family":"Palopoli","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"5_CR1","unstructured":"F. Angiulli, R. Ben-Eliyahu-Zohary, and L. Palopoli. Outlier detection using default logic. in Proc of IJCAI\u201903, pp. 833\u2013838."},{"issue":"1\u20132","key":"5_CR2","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1016\/S0004-3702(99)00031-4","volume":"111","author":"F. Bacchus","year":"1999","unstructured":"F. Bacchus, J.Y. Halpern, and H.J. Levesque. Reasoning about noisy sensors and effectors in the situation calculus. Artificial Intelligence, 111(1\u20132): 171\u2013208, 1999.","journal-title":"Artificial Intelligence"},{"issue":"4\u20135","key":"5_CR3","first-page":"425","volume":"3","author":"M. Balduccini","year":"2003","unstructured":"M. Balduccini and M. Gelfond. Diagnostic reasoning with a-prolog. TPLP, 3(4\u20135): 425\u2013461, 2003.","journal-title":"TPLP"},{"key":"5_CR4","unstructured":"C. Baral, S.A. McIlraith, and T.C. Son. Formulating diagnostic problem solving using an action language with narratives and sensing, in Proc of KR\u201902, pp. 311\u2013322."},{"key":"5_CR5","unstructured":"C. Baral, N. Tran, and L.C. Tuan. Reasoning about actions in a probabilistic setting. in Proc. of AAAI\/IAAI\u201902, pp. 507\u2013512."},{"key":"5_CR6","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1613\/jair.575","volume":"11","author":"C. Boutilier","year":"1999","unstructured":"C. Boutilier, R. Dean, and S. Hanks. Planning under uncertainty: structural assumptions and computational leverage. JAIR, 11: 1\u201394, 1999.","journal-title":"JAIR"},{"key":"5_CR7","unstructured":"C. Boutilier, R. Reiter, and B. Price. Symbolic dynamic programming for first-order MDPs. IJCAI\u201901, pp. 690\u2013700."},{"issue":"2\u20134","key":"5_CR8","first-page":"371","volume":"57","author":"M. Fichtner","year":"2003","unstructured":"M. Fichtner, A. Gro\u00dfmann, and M, Thielscher. Intelligent execution monitoring in dynamic environments, Fundamenta Informaticae, 57(2\u20134):371\u2013392. 2003.","journal-title":"Fundamenta Informaticae"},{"issue":"3\u20134","key":"5_CR9","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1007\/BF03037169","volume":"9","author":"M. Gelfond","year":"1991","unstructured":"M. Gelfond and V. Lifschitz. Classical Negation in Logic Programs and Disjunctive Databases. New Generation Comput., 9(3\u20134): 365\u2013386, 1991.","journal-title":"New Generation Comput."},{"key":"5_CR10","unstructured":"G. Gottlob. Complexity and Expressive Power of Disjunctive Logic Programming. in Proc of ILPS\u201994, pp. 453\u2013465."},{"issue":"1\u20132","key":"5_CR11","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1016\/j.artint.2002.12.001","volume":"153","author":"E. Giunchiglia","year":"2004","unstructured":"E. Giunchiglia, J. Lee, V. Lifschitz, N. McCain, and H. Turner. Nonmonotonic Causal Theories. Artificial Intelligence, 153(1\u20132): 49\u2013104, 2004.","journal-title":"Artificial Intelligence"},{"key":"5_CR12","doi-asserted-by":"crossref","unstructured":"L. Iocchi, T. Lukasiewicz, D. Nardi, and R. Rosati. Reasoning about Actions with Sensing under Qualitative and Probabilistic Uncertainty. in Proc of ECAI\u201904, pp. 818\u2013822.","DOI":"10.1145\/1459010.1459015"},{"key":"5_CR13","doi-asserted-by":"crossref","unstructured":"N. Leone, G. Pfeifer, W. Faber, F. Calimeri, T. Dell\u2019Armi, T. Eiter, G. Gottlob, G. Ianni, G. Ielpa, C. Koch, S. Perri, and A. Polleres. The dlv system for knowledge representation and reasoning. in Proc. of JELIA\u201902, pp. 537\u2013540.","DOI":"10.1007\/3-540-45757-7_50"},{"key":"5_CR14","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1613\/jair.505","volume":"9","author":"M.L. Littman","year":"1998","unstructured":"M.L. Littman, J. Goldsmith, and M. Mundhenk. The Computational Complexity of Probabilistic Planning. JAIR 9:1\u201336, 1998.","journal-title":"JAIR"},{"key":"5_CR15","unstructured":"J. Lobo. COPLAS: a Conditional PLannner with Sensing Actions. FS-98-02, AAAI, 1998."},{"issue":"1\u20132","key":"5_CR16","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1016\/S0004-3702(02)00379-X","volume":"147","author":"S.M. Majercik","year":"2003","unstructured":"S.M. Majercik and M.L. Littman. Contingent planning under uncertainty via stochastic satisfiability. Artificial Intelligence, 147(1\u20132):119\u2013162, 2003.","journal-title":"Artificial Intelligence"},{"key":"5_CR17","doi-asserted-by":"crossref","unstructured":"I. Niemel\u00e4 and P. Simons. Smodels: An implementation of the stable model and well-founded semantics for normal LP. in Proc. of LPNMR\u2019 97, pp. 420\u2013429.","DOI":"10.1007\/3-540-63255-7_32"},{"key":"5_CR18","unstructured":"J. Rintanen. Expressive Equivalence of Formalisms for Planning with Sensing. in Proc. of ICAPS\u201903, pp. 185\u2013194."},{"key":"5_CR19","doi-asserted-by":"crossref","first-page":"323","DOI":"10.1613\/jair.591","volume":"10","author":"J. Rintanen","year":"2000","unstructured":"J. Rintanen. Constructing conditional plans by a theorem prover. JAIR, 10:323\u2013352, 2000.","journal-title":"JAIR"},{"key":"5_CR20","doi-asserted-by":"crossref","unstructured":"T.C. Son, P.H. Tu, and C. Baral. Planning with Sensing Actions and Incomplete Information Using Logic Programming. in Proc of LPNMR\u201904, pp. 261\u2013274.","DOI":"10.1007\/978-3-540-24609-1_23"},{"issue":"1\u20132","key":"5_CR21","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1016\/S0004-3702(00)00080-1","volume":"125","author":"T.C. Son","year":"2001","unstructured":"T.C. Son and C. Baral. Formalizing sensing actions A transition function based approach. Artificial Intelligence, 125(1\u20132):19\u201391, 2001.","journal-title":"Artificial Intelligence"},{"key":"5_CR22","unstructured":"M. Thielscher. Programming of Reasoning and Planning Agents with FLUX. in Proc. of KR\u2019 02."}],"container-title":["IFIP International Federation for Information Processing","Artificial Intelligence in Theory and Practice"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-0-387-34747-9_5.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:44:53Z","timestamp":1605649493000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-0-387-34747-9_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9780387346540"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-0-387-34747-9_5","relation":{},"subject":[]}}