{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,15]],"date-time":"2025-08-15T01:22:12Z","timestamp":1755220932043,"version":"3.43.0"},"reference-count":25,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2001,3,1]],"date-time":"2001-03-01T00:00:00Z","timestamp":983404800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2001,3,1]],"date-time":"2001-03-01T00:00:00Z","timestamp":983404800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Studia Logica"],"published-print":{"date-parts":[[2001,3]]},"DOI":"10.1023\/a:1010595019595","type":"journal-article","created":{"date-parts":[[2002,12,23]],"date-time":"2002-12-23T12:42:08Z","timestamp":1040647328000},"page":"179-214","source":"Crossref","is-referenced-by-count":1,"title":["Removing Inconsistencies in Assumption-based Theories Through Knowledge-Gathering Actions"],"prefix":"10.1007","volume":"67","author":[{"given":"J\u00e9r\u00f4me","family":"Lang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pierre","family":"Marquis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"352855_CR1","doi-asserted-by":"crossref","unstructured":"Antoniou, G., \u2018On the dynamics of default reasoning\u2019, Proc. of ECSQARU'99, 1\u201310.","DOI":"10.1007\/3-540-48747-6_1"},{"key":"352855_CR2","unstructured":"Brewka, G. \u2018Preferred subtheories: an extended logical framework for default reasoning\u2019, Proc. of IJCAI'89, 1043\u20131048."},{"key":"352855_CR3","unstructured":"Benferhat, S., C. Cayrol, D. Dubois, J. Lang and H. Prade, \u2018Inconsistency management and prioritized syntax-based entailment\u2019, Proc. of IJCAI'93, 640\u2013645."},{"key":"352855_CR4","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1016\/0004-3702(87)90063-4","volume":"32","author":"J. de Kleer","year":"1987","unstructured":"de Kleer, J., and B. Williams, \u2018Diagnosing multiple faults\u2019, Artificial Intelligence 32 (1987), 97\u2013130.","journal-title":"Artificial Intelligence"},{"key":"352855_CR5","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1016\/0004-3702(92)90027-U","volume":"56","author":"J. de Kleer","year":"1992","unstructured":"de Kleer, J., A. Mackworth and R. Reiter, \u2018Characterizing diagnoses and systems\u2019, Artificial Intelligence 56 (1992), 197\u2013222.","journal-title":"Artificial Intelligence"},{"issue":"1","key":"352855_CR6","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1145\/200836.200838","volume":"42","author":"T. Eiter","year":"1995","unstructured":"Eiter, Th., and G. Gottlob, \u2018The complexity of logic-based abduction\u2019, JACM 42(1) (1995), 3\u201342.","journal-title":"JACM"},{"key":"352855_CR7","doi-asserted-by":"crossref","first-page":"397","DOI":"10.1093\/logcom\/2.3.397","volume":"2","author":"G. Gottlob","year":"1992","unstructured":"Gottlob, G., \u2018Complexity results for nonmonotonic logics\u2019, Journal of Logic and Computation 2 (1992), 397\u2013425.","journal-title":"Journal of Logic and Computation"},{"key":"352855_CR8","first-page":"85","volume-title":"Reducibility among combinatorial problems","author":"R. Karp","year":"1977","unstructured":"Karp, R., \u2018Complexity of computer computations\u2019, in Reducibility among combinatorial problems, Plenum Press, New York, pp. 85\u2013103, 1977."},{"key":"352855_CR9","unstructured":"Kean, A., \u2018A formal characterization of a domain independent abductive reasoning system\u2019, Ph.D. thesis, University of British Columbia, 1992."},{"key":"352855_CR10","unstructured":"Lang, L., and P. Marquis, \u2018Complexity results for independence and definability in propositional logic\u2019, Proc. of KR'98, 356\u2013367."},{"key":"352855_CR11","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1007\/978-94-017-1737-3_3","volume":"5","author":"P. Marquis","year":"2000","unstructured":"Marquis, P., \u2018Consequence finding algorithms\u2019, in vol. 5, Handbook of Defeasible Reasoning and Uncertainty Management Systems, Kluwer Academic, 2000, 41\u2013145.","journal-title":"Handbook of Defeasible Reasoning and Uncertainty Management Systems"},{"key":"352855_CR12","doi-asserted-by":"crossref","unstructured":"Mcilraith, S., \u2018Generating tests using abduction\u2019, Proc. of KR'94, 449\u2013460.","DOI":"10.1016\/B978-1-4832-1452-8.50137-8"},{"key":"352855_CR13","unstructured":"Mcilraith, S., and R. Reiter, \u2018On tests for hypothetical reasoning\u2019, Readings in model-based diagnosis, Morgan Kaufman, 89\u201396, 1992."},{"key":"352855_CR14","unstructured":"Moore, R. C., \u2018A formal theory of knowledge and action\u2019, Readings in Planning, Morgan Kaufmann, 480\u2013519, 1990."},{"key":"352855_CR15","unstructured":"Nebel, B., \u2018Belief revision and default reasoning: syntax-based approaches\u2019, Proc. of KR'91, 417\u2013428."},{"key":"352855_CR16","unstructured":"Papadimitriou, Ch., Computational Complexity, Addison-Wesley, 1994."},{"key":"352855_CR17","doi-asserted-by":"crossref","unstructured":"Poole, D., \u2018A logical framework for default reasoning\u2019, Artificial Intelligence 36 (1987), 27\u201347.","DOI":"10.1016\/0004-3702(88)90077-X"},{"key":"352855_CR18","doi-asserted-by":"crossref","unstructured":"Poole, D., \u2018Normality and faults in logic-based diagnosis\u2019, Readings in model-based diagnosis, Morgan Kaufman, pp. 71\u201377, 1992.","DOI":"10.1016\/B978-0-08-041050-0.50013-3"},{"issue":"1","key":"352855_CR19","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., \u2018A theory of diagnosis from first principles\u2019, Artificial Intelligence 32(1) (1987), 57\u201396.","journal-title":"Artificial Intelligence"},{"key":"352855_CR20","unstructured":"Rymon, R., \u2018Search through systematic set enumeration\u2019, Proc. of KR'92, 539\u2013550."},{"key":"352855_CR21","unstructured":"Scherl R. B., and H. J. Levesque, \u2018The frame problem and knowledge-producing actions\u2019, Proc. of AAAI'93, 689\u2013695."},{"key":"352855_CR22","unstructured":"Stillman, J., \u2018The complexity of propositional default logics\u2019, Proc. of AAAI'92, 794\u2013799."},{"key":"352855_CR23","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0304-3975(76)90061-X","volume":"3","author":"L. J. Stockmeyer","year":"1977","unstructured":"Stockmeyer, L. J., \u2018The polynomial hierarchy\u2019, TCS 3 (1977), 1\u201322.","journal-title":"TCS"},{"key":"352855_CR24","unstructured":"van Linder, B., W. van der Hoek and J.-J. Meyer, \u2018Tests as epistemic updates\u2019, Proc. of ECAI'94, 331\u2013335."},{"key":"352855_CR25","unstructured":"Williams M. A., and G. Antoniou, \u2018A strategy for revising default theory extensions\u2019, Proc. of KR'98, 24\u201333."}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1010595019595.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1010595019595\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1010595019595.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,8]],"date-time":"2025-08-08T05:16:21Z","timestamp":1754630181000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1010595019595"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001,3]]},"references-count":25,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2001,3]]}},"alternative-id":["352855"],"URL":"https:\/\/doi.org\/10.1023\/a:1010595019595","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"type":"print","value":"0039-3215"},{"type":"electronic","value":"1572-8730"}],"subject":[],"published":{"date-parts":[[2001,3]]}}}