{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,29]],"date-time":"2022-03-29T23:49:39Z","timestamp":1648597779443},"reference-count":80,"publisher":"Springer Science and Business Media LLC","issue":"3-4","license":[{"start":{"date-parts":[[2010,12,1]],"date-time":"2010-12-01T00:00:00Z","timestamp":1291161600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Ann Math Artif Intell"],"published-print":{"date-parts":[[2010,12]]},"DOI":"10.1007\/s10472-010-9220-z","type":"journal-article","created":{"date-parts":[[2011,2,18]],"date-time":"2011-02-18T09:26:23Z","timestamp":1298021183000},"page":"179-228","source":"Crossref","is-referenced-by-count":0,"title":["Detecting and repairing anomalous evolutions in noisy environments"],"prefix":"10.1007","volume":"60","author":[{"given":"Fabrizio","family":"Angiulli","sequence":"first","affiliation":[]},{"given":"Gianluigi","family":"Greco","sequence":"additional","affiliation":[]},{"given":"Luigi","family":"Palopoli","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2011,2,19]]},"reference":[{"issue":"2","key":"9220_CR1","doi-asserted-by":"crossref","first-page":"510","DOI":"10.2307\/2274239","volume":"50","author":"CE Alchourr\u00f3n","year":"1985","unstructured":"Alchourr\u00f3n, C.E., G\u00e4rdenfors, P., Makinson, D.: On the logic of theory change: prtial meet contraction and revision functions. J. Symb. Log. 50(2), 510\u2013530 (1985)","journal-title":"J. Symb. Log."},{"key":"9220_CR2","doi-asserted-by":"crossref","first-page":"14","DOI":"10.1111\/j.1755-2567.1982.tb00480.x","volume":"48","author":"CE Alchourr\u00f3n","year":"1982","unstructured":"Alchourr\u00f3n, C.E., Makinson, D.: The logic of theory change: contraction functions and their associated revision functions. Theoria 48, 14\u201337 (1982)","journal-title":"Theoria"},{"key":"9220_CR3","doi-asserted-by":"crossref","first-page":"405","DOI":"10.1007\/BF00370430","volume":"44","author":"CE Alchourr\u00f3n","year":"1985","unstructured":"Alchourr\u00f3n, C.E., Makinson, D.: On the logic of theory change: safe contraction. Stud. Log. 44, 405\u2013422 (1985)","journal-title":"Stud. Log."},{"key":"9220_CR4","doi-asserted-by":"crossref","unstructured":"Arenas, M., Bertossi, L.E., Chomicki, J.: Consistent query answers in inconsistent databases. In: Proc. of the 18th ACM SIGACT SIGMOD SIGART Symp. on Principles of Database Systems (PODS), pp. 68\u201379 (1999)","DOI":"10.1145\/303976.303983"},{"issue":"1\u20132","key":"9220_CR5","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1016\/S0004-3702(99)00031-4","volume":"111","author":"F Bacchus","year":"1999","unstructured":"Bacchus, F., Halpern, J.Y., Levesque, H.J.: Reasoning about noisy sensors and effectors in the situation calculus. Artif. Intell. 111(1\u20132), 171\u2013208 (1999)","journal-title":"Artif. Intell."},{"issue":"4\u20135","key":"9220_CR6","doi-asserted-by":"crossref","first-page":"425","DOI":"10.1017\/S1471068403001807","volume":"3","author":"M Balduccini","year":"2003","unstructured":"Balduccini, M., Gelfond, M.: Diagnostic reasoning with a-prolog. J. Theory Pract. Log. Program. 3(4\u20135), 425\u2013461 (2003)","journal-title":"J. Theory Pract. Log. Program."},{"issue":"1\u20132","key":"9220_CR7","doi-asserted-by":"crossref","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. Artif. Intell. 122(1\u20132), 241\u2013267 (2000)","journal-title":"Artif. Intell."},{"key":"9220_CR8","unstructured":"Baral, C., McIlraith, S.A., Son, T.C.: Formulating diagnostic problem solving using an action language with narratives and sensing. In: Proc. of the 7th Int. Conf. of Principles of Knowledge Representation and Reasoning (KR), pp. 311\u2013322 (2000)"},{"key":"9220_CR9","unstructured":"Baral, C., Tran, N., Tuan, L.C.: Reasoning about actions in a probabilistic setting. In: Proc. of the 18th Conf. on Artificial Intelligence and 14th Conf. on Innovative Applications of Artificial Intelligence (AAAI\/IAAI), pp. 507\u2013512 (2002)"},{"key":"9220_CR10","unstructured":"Baral, C., Son, T.C.: Approximate reasoning about actions in presence of sensing and incomplete information. In: Proc. of the 1997 International Logic Programming Symposium (ILPS), pp. 387\u2013401 (1997)"},{"issue":"4\u20135","key":"9220_CR11","doi-asserted-by":"crossref","first-page":"407","DOI":"10.1016\/j.is.2008.01.005","volume":"33","author":"L Bertossi","year":"2008","unstructured":"Bertossi, L., Bravo, L., Franconi, E., Lopatenko, A.: The complexity and approximation of fixing numerical attributes in databases under integrity constraints. Inf. Syst. 33(4\u20135), 407\u2013434 (2008)","journal-title":"Inf. Syst."},{"key":"9220_CR12","doi-asserted-by":"crossref","unstructured":"Bertossi, L., Chomicki, J., Cortes, A., Gutierrez, C.: Consistent answers from integrated data sources. In: Proc. of the 6th Int. Conf. on Flexible Query Answering Systems (FQAS), pp. 71\u201385 (2002)","DOI":"10.1007\/3-540-36109-X_6"},{"key":"9220_CR13","doi-asserted-by":"crossref","unstructured":"Bohannon, P., Flaster, M., Fan, W., Rastogi, R.: A cost-based model and effective heuristic for repairing constraints by value modification. In: Proc. of the ACM SIGMOD Int. Conf. on Management of Databooktitle (SIGMOD), pp. 143\u2013154 (2005)","DOI":"10.1145\/1066157.1066175"},{"key":"9220_CR14","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1613\/jair.575","volume":"11","author":"C Boutilier","year":"1999","unstructured":"Boutilier, C., Dean, R., Hanks. S.: Planning under uncertainty: structural assumptions and computational leverage. JAIR 11, 1\u201394 (1999)","journal-title":"JAIR"},{"key":"9220_CR15","unstructured":"Boutilier, C., Reiter, R., Price. B.: Symbolic dynamic programming for first-order MDPs. In: Proc. of the 17th Int. Joint Conf. on Artificial Intelligence (IJCAI), pp. 690\u2013700 (2001)"},{"key":"9220_CR16","unstructured":"Bravo, L., Bertossi, L.: Logic programming for consistently querying data integration systems. In: Proc. of the 18th Int. Joint Conf. on Artificial Intelligence (IJCAI), pp. 10\u201315 (2003)"},{"issue":"5","key":"9220_CR17","doi-asserted-by":"crossref","first-page":"845","DOI":"10.1109\/69.877512","volume":"12","author":"F Buccafurri","year":"2000","unstructured":"Buccafurri, F., Leone, N., Rullo, P.: Enhancing disjunctive datalog by constraints. IEEE Trans. Knowl. Data Eng. 12(5), 845\u2013860 (2000)","journal-title":"IEEE Trans. Knowl. Data Eng."},{"key":"9220_CR18","unstructured":"Cal\u00ec, A., Lembo, D., Rosati, R.: Query rewriting and answering under constraints in data integration systems. In: Proc. of the 18th Int. Joint Conf. on Artificial Intelligence (IJCAI), pp. 16\u201321 (2003)"},{"issue":"2","key":"9220_CR19","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1006\/inco.1995.1087","volume":"119","author":"Z Chen","year":"1995","unstructured":"Chen, Z., Toda, S.: The complexity of selecting maximal solutions. Inf. Comput. 119(2), 231\u2013239 (1995)","journal-title":"Inf. Comput."},{"key":"9220_CR20","doi-asserted-by":"crossref","unstructured":"Damasio, C., Pereira, L.M., Schroeder, M.: Revise: Logic programming and diagnosis. In: Proc. of the 4th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR), pp. 354\u2013363. Dagstuhl, Germany (1997)","DOI":"10.1007\/3-540-63255-7_26"},{"issue":"3","key":"9220_CR21","doi-asserted-by":"crossref","first-page":"374","DOI":"10.1145\/502807.502810","volume":"33","author":"E Dantsin","year":"2001","unstructured":"Dantsin, E., Eiter, T., Gottlob, G., Voronkov, A.: Complexity and expressive power of logic programming. ACM Comput. Surv. 33(3), 374\u2013425 (2001)","journal-title":"ACM Comput. Surv."},{"issue":"2\u20134","key":"9220_CR22","first-page":"345","volume":"57","author":"J Dix","year":"2003","unstructured":"Dix, J., Either, T., Fink, M., Polleres, A., Zhang, Y.: Monitoring agents using declarative planning. Fundam. Inform. 57(2\u20134), 345\u2013370 (2003)","journal-title":"Fundam. Inform."},{"issue":"1","key":"9220_CR23","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1145\/1119439.1119444","volume":"7","author":"J Dix","year":"2006","unstructured":"Dix, J., Kraus, S., Subrahmanian, V.S.: Heterogenous temporal probabilistic agents. ACM Trans. Comput. Log. 7(1), 151\u2013198 (2006)","journal-title":"ACM Trans. Comput. Log."},{"issue":"1","key":"9220_CR24","first-page":"201","volume":"2","author":"J Dix","year":"2000","unstructured":"Dix, J., Nanni, M., Subrahmanian, V.S.: Probabilistic agent reasoning. ACM Trans. Comput. Log. 2(1), 201\u2013245 (2000)","journal-title":"ACM Trans. Comput. Log."},{"key":"9220_CR25","unstructured":"Eiter, T., Erdem, E., Faber, W.: Plan reversals for recovery in execution monitoring. In: Proc. of the 10th Int. Work. on Non-Monotonic Reasoning (NMR), pp. 147\u2013154 (2004)"},{"issue":"1\u20132","key":"9220_CR26","first-page":"99","volume":"12","author":"T Eiter","year":"1999","unstructured":"Eiter, T., Faber, W., Leone, N., Pfeifer, G.: The diagnosis frontend of the dlv system. AI Commun. 12(1\u20132), 99\u2013111 (1999)","journal-title":"AI Commun."},{"issue":"2","key":"9220_CR27","doi-asserted-by":"crossref","first-page":"206","DOI":"10.1145\/976706.976708","volume":"5","author":"T Eiter","year":"2004","unstructured":"Eiter, T., Faber, W., Leone, N., Pfeifer, G., Polleres, A.: A logic programming approach to knowledge-state planning: semantics and complexity. ACM Trans. Comput. Log. 5(2), 206\u2013263 (2004)","journal-title":"ACM Trans. Comput. Log."},{"key":"9220_CR28","doi-asserted-by":"crossref","unstructured":"Eiter, T., Fink, M., Greco, G., Lembo., D.: Repair localization for query answering from inconsistent databases. ACM Trans. Database Syst. 33(2), (2008)","DOI":"10.1145\/1366102.1366107"},{"issue":"3\u20134","key":"9220_CR29","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1007\/BF01536399","volume":"15","author":"T Eiter","year":"1995","unstructured":"Eiter, T., Gottlob, G.: On the computational cost of disjunctive logic programming: propositional case. Ann. Math. Artif. Intell. 15(3\u20134): 289-323 (1995)","journal-title":"Ann. Math. Artif. Intell."},{"issue":"1","key":"9220_CR30","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1145\/200836.200838","volume":"42","author":"T Eiter.","year":"1995","unstructured":"Eiter. T., Gottlob. G.: The complexity of logic-based abduction. J. ACM 42(1), 3\u201342 (1995)","journal-title":"J. ACM"},{"key":"9220_CR31","doi-asserted-by":"crossref","unstructured":"Eiter, T., Mascardi, V., Subrahmanian, V.: Error-tolerant agents. In: Kakas, A.C., Sadri, F. (eds.) Computational Logic. Logic Programming and Beyond, pp. 586\u2013625 (2002)","DOI":"10.1007\/3-540-45628-7_22"},{"issue":"4","key":"9220_CR32","doi-asserted-by":"crossref","first-page":"584","DOI":"10.1016\/j.jcss.2006.10.012","volume":"73","author":"W Faber","year":"2007","unstructured":"Faber, W., Greco, G., Leone, N.: Magic sets and their application to data integration. J. Comput. Syst. Sci. 73(4), 584\u2013609 (2007)","journal-title":"J. Comput. Syst. Sci."},{"issue":"2\u20134","key":"9220_CR33","first-page":"371","volume":"57","author":"M Fichtner","year":"2003","unstructured":"Fichtner, M., Gro\u00dfmann, A., Thielscher, M.: Intelligent execution monitoring in dynamic environments. Fundam. Inform. 57(2\u20134), 371\u2013392 (2003)","journal-title":"Fundam. Inform."},{"key":"9220_CR34","doi-asserted-by":"crossref","unstructured":"Franconi, E., Palma, A.L., Leone, N., Perri, S., Scarcello, S.: Census data repair: a challenging application of disjunctive logic programming. In: Proc. of the 8th Int. Conf. on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR), pp. 561\u2013578 (2001)","DOI":"10.1007\/3-540-45653-8_39"},{"issue":"3\u20134","key":"9220_CR35","doi-asserted-by":"crossref","first-page":"365","DOI":"10.1007\/BF03037169","volume":"9","author":"M Gelfond","year":"1991","unstructured":"Gelfond, M., Lifschitz. V.: Classical negation in logic programs and disjunctive databases. New Gener. Comput. 9(3\u20134): 365\u2013386 (1991)","journal-title":"New Gener. Comput."},{"issue":"2\u20134","key":"9220_CR36","doi-asserted-by":"crossref","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 programming. J. Log. Program. 17(2\u20134), 301\u2013323 (1993)","journal-title":"J. Log. Program."},{"key":"9220_CR37","doi-asserted-by":"crossref","first-page":"411","DOI":"10.1016\/0004-3702(84)90043-2","volume":"24","author":"MR Genesereth","year":"1984","unstructured":"Genesereth, M.R.: The use of design descriptions in automated diagnosis. Artif. Intell. 24, 411\u2013436 (1984)","journal-title":"Artif. Intell."},{"key":"9220_CR38","unstructured":"Giacomo, G.D., Soutchanski, M., Reiter, R.: Execution monitoring of high-level robot programs. In: Proc. of the 6th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR), pp. 453\u2013464 (1998)"},{"key":"9220_CR39","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1016\/j.artint.2002.12.001","volume":"153","author":"E Giunchiglia","year":"2004","unstructured":"Giunchiglia, E., Lee, J., Lifschitz, V., McCain, N., Turner, H.: Nonmonotonic causal theories. Artif. Intell. 153, 49\u2013104 (2004)","journal-title":"Artif. Intell."},{"issue":"6","key":"9220_CR40","doi-asserted-by":"crossref","first-page":"1389","DOI":"10.1109\/TKDE.2003.1245280","volume":"15","author":"G Greco","year":"2003","unstructured":"Greco, G., Greco, S., Zumpano, E.: A logical framework for querying and repairing inconsistent databases. IEEE Trans. Knowl. Data Eng. 15(6), 1389\u20131408 (2003)","journal-title":"IEEE Trans. Knowl. Data Eng."},{"key":"9220_CR41","doi-asserted-by":"crossref","unstructured":"Greco, G., Lembo, D.: Data integration with preferences among sources. In: Proc. of the 23rd International Conference on Conceptual Modeling (ER), pp. 231\u2013244 (2004)","DOI":"10.1007\/978-3-540-30464-7_19"},{"issue":"4","key":"9220_CR42","doi-asserted-by":"crossref","first-page":"917","DOI":"10.1145\/153724.153770","volume":"40","author":"JY Halpern","year":"1993","unstructured":"Halpern, J.Y., Tuttle, M.R.: Knowledge, probability, and adversaries. J. ACM 40(4), 917\u2013962 (1993)","journal-title":"J. ACM"},{"key":"9220_CR43","doi-asserted-by":"crossref","first-page":"413","DOI":"10.1023\/A:1005534223776","volume":"50","author":"SO Hansson","year":"1999","unstructured":"Hansson, S.O.: A survey of non-prioritized belief revision. Erkenntnis 50, 413\u2013427 (1999)","journal-title":"Erkenntnis"},{"key":"9220_CR44","unstructured":"Iocchi, L., Lukasiewicz, T., Nardi, D., Rosati, R.: Reasoning about actions with sensing under qualitative and probabilistic uncertainty. In: Proc. of the 6th European Conf. on Artificial Intelligence (ECAI), pp. 818\u2013822 (2004)"},{"key":"9220_CR45","unstructured":"Janhunen, T., Niemel\u00e4, I., Simons, P., You, J.H.: Unfolding partiality and disjunctions in stable model semantics. In: Proc. of the 7th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR), pp. 411\u2013419 (2000)"},{"key":"9220_CR46","doi-asserted-by":"crossref","unstructured":"Johnson, D.S.: Handbook of Theoretical Computer Science, Volume A: Algorithms and Complexity, chap. A Catalog of Complexity Classes, pp. 67\u2013161. Elsevier and The MIT Press (co-publishers) (1990)","DOI":"10.1016\/B978-0-444-88071-0.50007-2"},{"key":"9220_CR47","unstructured":"Kakas, A.C., Mancarella, P.: Database updates through abduction. In: Proc of. the 16th Int. Conf. on Very Large Data Bases (VLDB), pp. 650\u2013661. Brisbane, Queensland, Australia (1990)"},{"issue":"1","key":"9220_CR48","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1016\/0004-3702(87)90063-4","volume":"32","author":"J Kleer de","year":"1984","unstructured":"de Kleer, J., Williams, B.C.: Diagnosing multiple faults. Artif. Intell. 32(1), 97\u2013130 (1984)","journal-title":"Artif. Intell."},{"key":"9220_CR49","unstructured":"de Kleer, J., Williams, B.C.: Diagnosis with Behavioral Modes, pp. 124\u2013130 (1992)"},{"issue":"3","key":"9220_CR50","doi-asserted-by":"crossref","first-page":"490","DOI":"10.1016\/0022-0000(88)90039-6","volume":"36","author":"MW Krentel","year":"1988","unstructured":"Krentel, M.W.: The complexity of optimization problems. J. Comput. Syst. Sci. 36(3), 490\u2013509 (1988)","journal-title":"J. Comput. Syst. Sci."},{"issue":"3","key":"9220_CR51","doi-asserted-by":"crossref","first-page":"499","DOI":"10.1145\/1149114.1149117","volume":"7","author":"N Leone","year":"2006","unstructured":"Leone, N., Pfeifer, G., Faber, W., Eiter, T., Gottlob, G., Perri, S., Scarcello, F.: The dlv system for knowledge representation and reasoning. ACM Trans. Comput. Log. 7(3), 499\u2013562 (2006)","journal-title":"ACM Trans. Comput. Log."},{"issue":"1\u20132","key":"9220_CR52","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1016\/S0004-3702(02)00227-8","volume":"140","author":"F Lin","year":"2002","unstructured":"Lin, F., You, J.H.: Abduction in logic programming: a new definition and an abductive procedure based on rewriting. Artif. Intell. 140(1\u20132), 175\u2013205 (2002)","journal-title":"Artif. Intell."},{"issue":"1","key":"9220_CR53","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1142\/S0218843098000040","volume":"7","author":"J Lin","year":"1998","unstructured":"Lin, J., Mendelzon, A.O.: Merging databases under constraints. Int. J. Coop. Inf. Syst. 7(1), 55\u201376 (1998)","journal-title":"Int. J. Coop. Inf. Syst."},{"key":"9220_CR54","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1613\/jair.505","volume":"9","author":"ML Littman","year":"1998","unstructured":"Littman, M.L., Goldsmith, J., Mundhenk. M.: The computational complexity of probabilistic planning. JAIR 9, 1\u201336 (1998)","journal-title":"JAIR"},{"key":"9220_CR55","unstructured":"Lobo, J., Mendez, G., Taylor, S.R.: Adding knowledge to the action description language a. In: Proc. of the 14th Conf. on Artificial Intelligence and 9th Conf. on Innovative Applications of Artificial Intelligence (AAAI\/IAAI), pp. 454\u2013459 (1997)"},{"key":"9220_CR56","unstructured":"Lobo. J.: COPLAS: a COnditional PLannner with Sensing Actions. In: FS-98-02. AAAI (1998)"},{"key":"9220_CR57","doi-asserted-by":"crossref","unstructured":"Lopatenko, A., Bertossi, L.: Complexity of consistent query answering in databases under cardinality-based and incremental repair semantics. In: Proc. of 11th Int. Conf. on Database Theory (ICDT), pp. 179\u2013193 (2007)","DOI":"10.1007\/11965893_13"},{"key":"9220_CR58","doi-asserted-by":"crossref","first-page":"14","DOI":"10.1111\/j.1755-2567.1997.tb00737.x","volume":"63","author":"D Makinson","year":"1997","unstructured":"Makinson, D.: Screened revision. Theoria 63, 14\u201323 (1997)","journal-title":"Theoria"},{"key":"9220_CR59","unstructured":"McIlraith, S.: Representing action and state constraints in model-based diagnosis. In: Proc. of the 14th Conf. on Artificial Intelligence and 9th Conf. on Innovative Applications of Artificial Intelligence (AAAI\/IAAI), pp. 43\u201349 (1997)"},{"key":"9220_CR60","unstructured":"Moore, R.C.: A formal theory of knowledge and action. In: Hobbs, J.R., Moore, R.C. (eds.) Formal Theories of the Common Sense World, pp. 319\u2013358 (1985)"},{"issue":"1\u20132","key":"9220_CR61","doi-asserted-by":"crossref","first-page":"427","DOI":"10.1016\/0004-3702(94)00082-C","volume":"76","author":"B Nebel","year":"1995","unstructured":"Nebel, B., Koehler, J.: Plan reuse versus plan generation: a theoretical and empirical analysis. Artif. Intell. 76(1\u20132), 427\u2013454 (1995)","journal-title":"Artif. Intell."},{"key":"9220_CR62","doi-asserted-by":"crossref","unstructured":"Niemel\u00e4, I., Simons, P.: Smodels: an implementation of the stable model and well-founded semantics for normal LP. In: Proc. of the 4th Int. Conf. on Logic Programming and Nonmonotonic Reasoning (LPNMR), pp. 420\u2013429 (1997)","DOI":"10.1007\/3-540-63255-7_32"},{"key":"9220_CR63","unstructured":"Otero, M., Otero, R.P.: Using causality and actions for diagnosis. In: Proc. of 11th Int. Workshop on Principles of Diagnosis, pp. 171\u2013176 (2000)"},{"key":"9220_CR64","volume-title":"Computational Complexity","author":"CH Papadimitriou","year":"1994","unstructured":"Papadimitriou, C.H.: Computational Complexity. Addison-Wesley, Reading, Mass (1994)"},{"key":"9220_CR65","unstructured":"Poole, D.: Representing knowledge for logic-based diagnosis. In: Proc. of the Int. Conf. on Fifth Generation Computing Systems, pp. 1282\u20131290 (1988)"},{"key":"9220_CR66","unstructured":"Poole, D.: Normality and faults in logic-based diagnosis. In: Proc. of the 11th Int. Joint Conf. on Artificial Intelligence (IJCAI), pp. 1304\u20131310 (1989)"},{"issue":"1","key":"9220_CR67","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1016\/0004-3702(87)90062-2","volume":"32","author":"R Reiter","year":"1987","unstructured":"Reiter, R.: A theory of diagnosis from first principles. Artif. Intell. 32(1), 57\u201396 (1987)","journal-title":"Artif. Intell."},{"key":"9220_CR68","doi-asserted-by":"crossref","first-page":"323","DOI":"10.1613\/jair.591","volume":"10","author":"J Rintanen.","year":"2000","unstructured":"Rintanen. J.: Constructing conditional plans by a theorem prover. JAIR 10, 323\u2013352 (2000)","journal-title":"JAIR"},{"issue":"1\u20132","key":"9220_CR69","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S0004-3702(02)00365-X","volume":"144","author":"RB Scherl","year":"2003","unstructured":"Scherl, R.B., Levesque, H.J.: Knowledge, action, and the frame problem. Artif. Intell. 144(1\u20132), 1\u201339 (2003)","journal-title":"Artif. Intell."},{"issue":"2","key":"9220_CR70","doi-asserted-by":"crossref","first-page":"357","DOI":"10.1016\/S0022-0000(05)80009-1","volume":"48","author":"AL Selman","year":"1994","unstructured":"Selman, A.L.: A taxonomy of complexity classes of functions. J. Comput. Syst. Sci. 48(2), 357\u2013381 (1994)","journal-title":"J. Comput. Syst. Sci."},{"key":"9220_CR71","unstructured":"Scherl, R., Levesque, H.J.: Knowledge producing actions. In: Proc. of the 9th Int. Conf. on Knowledge Representation and Reasoning (KR), pp. 1139\u20131146 (1994)"},{"key":"9220_CR72","doi-asserted-by":"crossref","unstructured":"Son, T., Tu, P., Baral, C.: Planning with sensing actions and incomplete information using logic programming. In: Proc. of the 7th Int. Conf. on Logic Programming and Nonmonotonic Reasoning (LPNMR), pp. 261\u2013274 (2004)","DOI":"10.1007\/978-3-540-24609-1_23"},{"issue":"1\u20132","key":"9220_CR73","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1016\/S0004-3702(00)00080-1","volume":"125","author":"TC Son","year":"2001","unstructured":"Son, T.C., Baral, C.: Formalizing sensing actions a transition function based approach. Artif. Intell. 125(1\u20132), 19\u201391 (2001)","journal-title":"Artif. Intell."},{"key":"9220_CR74","doi-asserted-by":"crossref","unstructured":"Son, T.C., Tu, P.H., Baral, C.: Planning with sensing actions and incomplete information using logic programming. In: Proc. of the 7th Int. Conf. on Logic Programming and Nonmonotonic Reasoning (LPNMR), pp. 261\u2013274 (2004)","DOI":"10.1007\/978-3-540-24609-1_23"},{"issue":"4","key":"9220_CR75","doi-asserted-by":"crossref","first-page":"377","DOI":"10.1017\/S1471068406002948","volume":"7","author":"TC Son","year":"2007","unstructured":"Son, T.C., Tu, P.H., Baral, C.: Reasoning and planning with sensing actions, incomplete information, and static causal laws using answer set programming. Theory Pract. Log. Program. 7(4), 377\u2013450 (2007)","journal-title":"Theory Pract. Log. Program."},{"key":"9220_CR76","doi-asserted-by":"crossref","unstructured":"Staworko, S., Chomicki, J., Marcinkowski, J.: Preference-driven querying of inconsistent relational databases. In: Proc. of EDBT Workshops, pp. 318\u2013335 (2006)","DOI":"10.1007\/11896548_26"},{"key":"9220_CR77","unstructured":"Struss, P., Dressler, O.: \u201cPhysical negation\u201d\u2014integrating fault models into the general diagnosis engine. In: Proc. of the 11th Int. Joint Conf. on Artificial Intelligence (IJCAI), pp. 1318\u20131323 (1989)"},{"key":"9220_CR78","unstructured":"Subrahmanian, V.S., Amgoud, L.: A general framework for reasoning about inconsistency. In: Proc. of the 20th Int. Joint Conf. on Artificial Intelligence (IJCAI), pp. 599\u2013504 (2007)"},{"key":"9220_CR79","first-page":"73","volume":"1","author":"M Thielscher","year":"1997","unstructured":"Thielscher, M.: A theory of dynamic diagnosis. Electron. Trans. Numer. Anal. 1, 73\u2013104 (1997)","journal-title":"Electron. Trans. Numer. Anal."},{"issue":"3","key":"9220_CR80","doi-asserted-by":"crossref","first-page":"722","DOI":"10.1145\/1093382.1093385","volume":"30","author":"J Wijsen","year":"2005","unstructured":"Wijsen, J.: Database repairing using updates. ACM Trans. Database Syst. 30(3), 722\u2013768 (2005)","journal-title":"ACM Trans. Database Syst."}],"container-title":["Annals of Mathematics and Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10472-010-9220-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10472-010-9220-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10472-010-9220-z","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,8]],"date-time":"2019-06-08T16:49:06Z","timestamp":1560012546000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10472-010-9220-z"}},"subtitle":["Logic programming formalization and complexity results"],"short-title":[],"issued":{"date-parts":[[2010,12]]},"references-count":80,"journal-issue":{"issue":"3-4","published-print":{"date-parts":[[2010,12]]}},"alternative-id":["9220"],"URL":"https:\/\/doi.org\/10.1007\/s10472-010-9220-z","relation":{},"ISSN":["1012-2443","1573-7470"],"issn-type":[{"value":"1012-2443","type":"print"},{"value":"1573-7470","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,12]]}}}