{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,2]],"date-time":"2022-04-02T13:55:36Z","timestamp":1648907736768},"reference-count":36,"publisher":"Springer Science and Business Media LLC","issue":"1-4","license":[{"start":{"date-parts":[[1994,3,1]],"date-time":"1994-03-01T00:00:00Z","timestamp":762480000000},"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":[[1994,3]]},"DOI":"10.1007\/bf01530737","type":"journal-article","created":{"date-parts":[[2005,4,19]],"date-time":"2005-04-19T00:37:15Z","timestamp":1113871035000},"page":"51-74","source":"Crossref","is-referenced-by-count":6,"title":["Consistency-based and abductive diagnoses as generalised stable models"],"prefix":"10.1007","volume":"11","author":[{"given":"Chris","family":"Preist","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kave","family":"Eshghi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bruno","family":"Bertolino","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","unstructured":"B. Bertolino and C. Menchini, Some equivalence results for non-monotonic fault diagnosis, Hewlett-Packard Labs. Tech. Rep. HPL-92-12."},{"key":"CR2","unstructured":"P. Besnard and M.O. Cordier, Explanatory diagnoses and their computation by circumscription,Proc. 10th European Conf. on Artificial Intelligence, 1992, pp. 724?728."},{"key":"CR3","doi-asserted-by":"crossref","unstructured":"K.L. Clark, Negation as failure, in: H. Gallaire and J. Minker (eds),Logic and Databases (Plenum Press, New York) pp. 293?322.","DOI":"10.1007\/978-1-4684-3384-5_11"},{"key":"CR4","unstructured":"L. Console, D. Theseider Dupre and P. Torasso, A completion semantics for object-level abduction,Proc. AAAI Symposium in Automated Abduction, 1990."},{"key":"CR5","doi-asserted-by":"crossref","unstructured":"L. Console, D. Theseider Dupre and P. Torasso, On the relationship between abduction and deduction, J. Logic and Comput. 2(5) (1991).","DOI":"10.1093\/logcom\/1.5.661"},{"key":"CR6","unstructured":"L. Console and P. Torasso, Integrating models of the correct behaviour into abductive diagnosis,Proc. 9th European Conf. on Artificial Intelligence, 1990."},{"key":"CR7","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1111\/j.1467-8640.1991.tb00388.x","volume":"7","author":"L. Console","year":"1991","unstructured":"L. Console and P. Torasso, A spectrum of logical definitions of model-based diagnosis, Comput. Intelligence 7 (1991) 133?141.","journal-title":"Comput. Intelligence"},{"key":"CR8","doi-asserted-by":"crossref","unstructured":"P.T. Cox and T. Pietrzykowski, Causes for events: their computation and application,Proc. 8th Conf. on Computer Aided Design and Engineering, 1986.","DOI":"10.1007\/3-540-16780-3_125"},{"key":"CR9","doi-asserted-by":"crossref","first-page":"347","DOI":"10.1016\/0004-3702(84)90042-0","volume":"24","author":"R. Davis","year":"1984","unstructured":"R. Davis, Diagnostic reasoning based on structure and behaviour, Artificial Intelligence 24 (1984) 347?410.","journal-title":"Artificial Intelligence"},{"key":"CR10","doi-asserted-by":"crossref","unstructured":"J. de Kleer, A. Mackworth and R. Reiter, Characterizing diagnoses,Proc. 8th Nat. US Conf. on Artificial Intelligence, Boston, 1990.","DOI":"10.1007\/3-540-53104-1_27"},{"key":"CR11","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1016\/0004-3702(87)90063-4","volume":"32","author":"J. Kleer de","year":"1987","unstructured":"J. de Kleer and B. Williams, Diagnosing multiple faults, Artificial Intelligence 32 (1987) 97?130.","journal-title":"Artificial Intelligence"},{"key":"CR12","unstructured":"J. de Kleer and B. Williams, Diagnosis with behavioural modes.Proc. 11th Int. Joint Conf. on Artificial Intelligence, Detroit, 1989."},{"key":"CR13","doi-asserted-by":"crossref","unstructured":"O. Dressler, Computing diagnoses as coherent assumption sets,Proc. 1st Int. Workshop on Principles of Diagnosis, Menlo Park 1990.","DOI":"10.1007\/3-540-53104-1_30"},{"key":"CR14","unstructured":"O. Dressler and P. Struss, Back to defaults: Characterizing and computing diagnoses as coherent assumption sets,Proc. 10th ECAI, 1992, pp. 719?723."},{"key":"CR15","unstructured":"P.M. Dung, Negation as hypotheses: An abductive foundation for logic programming,Proc. ICLP, 1991. pp. 3?18."},{"key":"CR16","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1016\/0004-3702(90)90086-F","volume":"43","author":"C. Elkan","year":"1990","unstructured":"C. Elkan, A rational reconstruction of non-monotonic truth maintenance systems, Artificial Intelligence 43 (1990) pp. 219?234.","journal-title":"Artificial Intelligence"},{"key":"CR17","unstructured":"K. Eshghi, Diagnoses as stable models,Proc. 1st Int. Workshop on Principles of Diagnosis, Menlo Park, 1990."},{"key":"CR18","unstructured":"K. Eshghi and R. Kowalski, Abduction compared with negation as failure,Proc. 6th Int. Conf. on Logic Programming, Lisbon, 1989, pp. 234?254."},{"key":"CR19","unstructured":"K. Eshghi and C. Preist, The Cachebus experiment: Model based diagnosis applied to a real problem, in:Industrial Applications of Knowledge-Based Diagnosis, eds. Guida and Stefanini (Elsevier, 1992)."},{"key":"CR20","unstructured":"M. Gelfond and V. Lifschitz, The stable model semantics for logic programming,Proc. 5th Int. Conf. on Logic Programming, 1988."},{"key":"CR21","unstructured":"A. Kakas and P. Mancarella, Generalised stable models: A semantics for abduction,Proc. 9th European Conf. on Artificial Intelligence, 1990."},{"key":"CR22","unstructured":"A. Kakas and P. Mancarella, On the relation between truth maintenance and abduction,Proc. PRICAI, 1990."},{"key":"CR23","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1007\/BF03037383","volume":"4","author":"R.A. Kowalski","year":"1986","unstructured":"R.A. Kowalski and M. Sergot, A logic-based calculus of events, New Generation Comput. 4 (1986) 67.","journal-title":"New Generation Comput."},{"key":"CR24","unstructured":"Y. Ohta and K. Inoue, A forward-chaining hypothetical reasoner based on upside-down metainterpretation,Proc. Int. Conf. on Fifth Generation Computer Systems, 1992, pp. 522?529."},{"key":"CR25","doi-asserted-by":"crossref","unstructured":"L.M. Pereira, C.V. Damasio and J.J. Alferes, Diagnosis and debugging as contradiction removal in logic programs, in: L.M. Pereira and A. Nerode (eds.),Logic Programming and Non-monotonic Reasoning, Proc. 2nd Int. Workshop, Lisbon, 1993 (MIT Press, 1993) pp. 316?330.","DOI":"10.1007\/3-540-57287-2_47"},{"key":"CR26","doi-asserted-by":"crossref","unstructured":"D. Poole, R. Goebel and R. Aleliunas, Theorist: A logical reasoning system for defaults and diagnosis, in: N. Cereone and G. McCalla (eds.),The Knowledge Frontier: Essays in the Representation of Knowledge, (1987) pp. 331?352.","DOI":"10.1007\/978-1-4612-4792-0_13"},{"key":"CR27","unstructured":"D. Poole, Representing knowledge for logic-based diagnosis,Proc. Int. Conf. on Fifth Generation Computer Systems, 1988, pp. 1282?1290."},{"key":"CR28","unstructured":"D. Poole, Normality and faults in logic-based diagnosis,Proc. 11th IJCAI, 1989, pp. 1304?1310."},{"key":"CR29","unstructured":"C. Preist and K. Eshghi, Consistency-based and abductive diagnoses as generalised stable models,Proc. Int. Conf. on Fifth Generation Computer Systems, 1992, pp. 514?521."},{"key":"CR30","doi-asserted-by":"crossref","unstructured":"R. Reiter, A theory of diagnosis from first principles, Artificial Intelligence 32 (1987).","DOI":"10.1016\/0004-3702(87)90062-2"},{"key":"CR31","doi-asserted-by":"crossref","first-page":"437","DOI":"10.1016\/S0020-7373(83)80065-0","volume":"19","author":"J.A. Reggia","year":"1983","unstructured":"J.A. Reggia, D.S. Nau and P.Y. Wang, Diagnostic expert systems based on a set covering model, Int. J. Man Machine Stud. 19 (1983) 437?460.","journal-title":"Int. J. Man Machine Stud."},{"key":"CR32","unstructured":"K. Satoh and N. Iwayama, Computing abduction by using the TMS,Proc. 8th Int. Conf. on Logic Programming, 1991."},{"key":"CR33","doi-asserted-by":"crossref","unstructured":"K. Satoh and N. Iwayama, A correct top-down proof procedure for a general logic program with integrity constraints,Proc. 3rd Int. Workshop on Extensions of Logic Programming, 1992.","DOI":"10.1007\/3-540-56454-3_2"},{"key":"CR34","unstructured":"M. Shanahan, Prediction is deduction by explanation is abduction,Proc. 11th Int. Joint Conf. on Artificial Intelligence, Detroit, 1989."},{"key":"CR35","doi-asserted-by":"crossref","unstructured":"J.C. Sheperdson, Negation in logic programming,Foundations of Deductive Databases and Logic Programming, ed. J. Minker (Morgan Kaufmann, 1988) pp. 19?88.","DOI":"10.1016\/B978-0-934613-40-8.50005-1"},{"key":"CR36","unstructured":"D.C. van Soest, R.R. Bakker, F. van Raalte and N.J.I. Mars, Improving effectiveness of modelbased diagnosis,Proc. 10th Int. Workshop on Expert Systems and their Applications, Avignon, 1990."}],"container-title":["Annals of Mathematics and Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01530737\/fulltext.html","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01530737.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01530737\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01530737","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,7]],"date-time":"2020-04-07T00:01:44Z","timestamp":1586217704000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01530737"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994,3]]},"references-count":36,"journal-issue":{"issue":"1-4","published-print":{"date-parts":[[1994,3]]}},"alternative-id":["BF01530737"],"URL":"https:\/\/doi.org\/10.1007\/bf01530737","relation":{},"ISSN":["1012-2443","1573-7470"],"issn-type":[{"value":"1012-2443","type":"print"},{"value":"1573-7470","type":"electronic"}],"subject":[],"published":{"date-parts":[[1994,3]]}}}