{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T14:09:24Z","timestamp":1725458964300},"publisher-location":"Berlin\/Heidelberg","reference-count":42,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540543058"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0037029","type":"book-chapter","created":{"date-parts":[[2006,1,25]],"date-time":"2006-01-25T15:39:32Z","timestamp":1138203572000},"page":"54-70","source":"Crossref","is-referenced-by-count":5,"title":["Knowledge assimilation and abduction"],"prefix":"10.1007","author":[{"given":"A. C.","family":"Kakas","sequence":"first","affiliation":[]},{"given":"P.","family":"Mancarella","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"4_CR1","unstructured":"Brewka G., Preferred Subtheories: An Extended Logical Framework for Default Reasoning, in Proceedings IJCAI-89 (1989) p 1043."},{"key":"4_CR2","doi-asserted-by":"crossref","unstructured":"Cox P.T. and Pietrzykowski T., Causes for Events: Their Computation and Applications, in Proceedings CADE-86, p 608.","DOI":"10.1007\/3-540-16780-3_125"},{"key":"4_CR3","unstructured":"Charniak E. and Goldman R., A Semantics for Probabilistic Quantifier-Free First-Order Languages, with Particular Application to Story Understanding, in Proceedings IJCAI-89 (1989) p1074."},{"key":"4_CR4","unstructured":"Console L., Dupre D.T. and Torasso P., A Theory of Diagnosis for Incomplete Causal Models, in Proceedings IJCAI89 (1989) p. 1311."},{"key":"4_CR5","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1016\/0004-3702(86)90080-9","volume":"28","author":"J. Kleer de","year":"1986","unstructured":"de Kleer J., An Assumption-Based TMS, Artificial Intelligence 28 (1986), p 127.","journal-title":"Artificial Intelligence"},{"key":"4_CR6","unstructured":"de Kleer J., A General Labelling Algorithm for Assumption-Based Truth Maintenance, in Proceedings of AAAI-88 (1988) p. 188."},{"key":"4_CR7","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0004-3702(79)90008-0","volume":"12","author":"J. Doyle","year":"1979","unstructured":"Doyle J., A Truth Maintenance System, Artificial Intelligence 12 (1979), p 231.","journal-title":"Artificial Intelligence"},{"key":"4_CR8","unstructured":"Dressler O., Extending the basic ATMS, in Proceedings of ECAI-88 (1988)."},{"key":"4_CR9","unstructured":"Eshghi K., Abductive Planning with Event Calculus, in Proceedings 5th International Conference on Logic Programming (1988), p 562."},{"key":"4_CR10","unstructured":"Eshghi K. and Kowalski R.A., Abduction Compared with Negation by Failure, in Proceedings 6th International Conference on Logic Programming (1989), p 234."},{"key":"4_CR11","unstructured":"Evans C. and Kakas A.C., Hypothetico-Deductive Reasoning, Imperial College preprint, (1990)."},{"key":"4_CR12","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1016\/0004-3702(90)90086-F","volume":"43","author":"Elkan","year":"1990","unstructured":"Elkan, A Rational Reconstruction of Non-Monotonic Truth Maintenance Systems, Artificial Intelligence 43 (1990), p 219.","journal-title":"Artificial Intelligence"},{"key":"4_CR13","unstructured":"Finger J.J. and Genesereth M.R., RESIDUE: A Deductive Approach to Design Synthesis, Stanford University Report no. CS-85-1035. (1985)."},{"key":"4_CR14","unstructured":"Fujiwara Y. and Honiden S., Relating the TMS to Autoepistemic Logic, in Proceedings IJCAI-89 (1989) p 1199."},{"key":"4_CR15","unstructured":"Gelfond M., and Lifschitz V., The Stable Model Semantics for Logic Programming, in Proceedings 5th International Conference on Logic Programming (1988), p 1070."},{"key":"4_CR16","unstructured":"Giordano L. and Martelli A., An Abductive Characterization of the TMS, in Proceedings of the nineth European Conference on Artificial Intelligence, ECAI-90, Stockholm, (1990) p 308."},{"key":"4_CR17","unstructured":"Goebel R.G., Goodwin S.D>, Applying Theory Formation to the Planning Problem, in The Frame Problem in Arificial Intelligence: Proc. 1987 Workshop, (ed.) F. Brown, Morgan Kaufman, Los Altos, CA, (1987)."},{"key":"4_CR18","doi-asserted-by":"crossref","unstructured":"Hobbs J.R., Stickel M., Martin P. and Edwards D., Interpetation as Abduction, in Proceedings of the 26th Annual Meeting of the ACL, (1988), p 95.","DOI":"10.3115\/982023.982035"},{"key":"4_CR19","unstructured":"Inoue K., An Abductive Procedure for the CMS\/ATMS, this volume."},{"key":"4_CR20","unstructured":"Junker U., A Correct Non-Monotonic ATMS, in Proceedings IJCAI-89 (1989) p 1049."},{"key":"4_CR21","unstructured":"Junker U. and Konolige K., Computing the Extensions of Autoepistemic and Default Logics with a TMS, in Proceedings of Conference on Theoretical Aspects of Reasoning about Knowledge, Asilomar, CA, (1990)."},{"key":"4_CR22","unstructured":"Kakas A.C., Belief Revision for Deductive Databases, in Proceedings of the first International Workshop on the Deductive Approach to Information Systems and Databases, Barcelona, Spain, (1990) p 111."},{"key":"4_CR23","unstructured":"Kakas A.C. and Mancarella P., Anomalous models and Abduction, in Proceedings 2nd International Symposium on Artificial Intelligence, Monterrey, Mexico, 23\u201327 October 1989."},{"key":"4_CR24","unstructured":"Kakas A.C. and Mancarella P., Database Updates through Abduction, in Proceedings of the 16th International Conference on Very Large Databases, VLDB-90, Brisbane, Australia, (1990) p 48."},{"key":"4_CR25","unstructured":"Kakas A.C. and Mancarella P., Generalized Stable Models: a Semantics for Abduction, in Proceedings of the ninth European Conference on Artificial Intelligence, ECAI-90, Stockholm, (1990) p 385."},{"key":"4_CR26","unstructured":"Kautz H., The Logic of Persistence, in Proceedings AAAI-86, (1986) p 401."},{"key":"4_CR27","doi-asserted-by":"crossref","first-page":"343","DOI":"10.1016\/0004-3702(88)90021-5","volume":"35","author":"K. Konolige","year":"1988","unstructured":"Konolige K., On the relation between Default and Autoepistemic Logic, Artificial Intelligence 35 (1988), p 343.","journal-title":"Artificial Intelligence"},{"key":"4_CR28","unstructured":"Levesque H.J., A Knowledge-level Account of Abduction, in Proceedings IJCAI-89 (1989), p 1061."},{"key":"4_CR29","doi-asserted-by":"crossref","unstructured":"Lloyd J.W., Foundations of Logic Programming, Second Edition, Springer Verlag (1987).","DOI":"10.1007\/978-3-642-83189-8"},{"key":"4_CR30","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1016\/0004-3702(85)90042-6","volume":"25","author":"R.C. Moore","year":"1985","unstructured":"Moore R.C., Semantical Considerations on Nonmonotonic Logic Artificial Intelligence, Artificial Intelligence 25 (1985), p 75.","journal-title":"Artificial Intelligence"},{"key":"4_CR31","doi-asserted-by":"crossref","first-page":"383","DOI":"10.1016\/0004-3702(88)90022-7","volume":"35","author":"P.H. Mooris","year":"1988","unstructured":"Mooris P.H., The Anomalous Extension Problem in Default Reasoning, Artificial Intelligence 35 (1988), p 383.","journal-title":"Artificial Intelligence"},{"key":"4_CR32","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1016\/0004-3702(88)90077-X","volume":"36","author":"D.L. Poole","year":"1988","unstructured":"Poole D.L., A Logical Framework for Default Reasoning, Artificial Intelligence 36 (1988), p 27.","journal-title":"Artificial Intelligence"},{"key":"4_CR33","volume-title":"The Logic of Scientific Discovery","author":"K. Popper","year":"1959","unstructured":"Popper K., The Logic of Scientific Discovery, Basic Books, New York, 1959."},{"key":"4_CR34","unstructured":"Pimentel S.G. and Cuadrado J.L., A Truth Maintenance System Based on Stable Models, in Proceedings of North American Conference on Logic Programming (1989), p 274."},{"key":"4_CR35","unstructured":"Reinfrank M., Dressler O. and Brewka G., On the Relation between Truth Maintenance and Autoepistemic logic, in Proceedings IJCAI-89 (1989) p1206."},{"key":"4_CR36","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","volume":"13","author":"R. Reiter","year":"1980","unstructured":"Reiter R., A Logic for Default Reasoning, Artificial Intelligence 13 (1980), p 81.","journal-title":"Artificial Intelligence"},{"key":"4_CR37","unstructured":"Reiter R., On Integrity Constraints, in Proceedings of 2nd Conference on Theoretical Aspects of Reasoning about Knowledge, Asilomar, CA (1988), p 97."},{"key":"4_CR38","unstructured":"Reiter R., J. de Kleer, Foundations of Assumption-Based Truth Manintenance Systems, in Proceedings AAAI-87, Seattle, WA,(1987), p183."},{"key":"4_CR39","unstructured":"Sattar A. and Goebel R., Using Crucial Literals to Select Better Theories, University of Alberta preprint (1989)."},{"key":"4_CR40","unstructured":"Sergot M., A Query-the-User Facility for Logic Programming\u201d in Integrated Interractive Computer Systems, (eds.) P. Degano and E. Sandewell North Holland Press (1983)."},{"key":"4_CR41","unstructured":"Shanahan M.P., Prediction is Deduction but Explanation is Abduction, in Proceedings IJCAI-89 (1989)."},{"key":"4_CR42","unstructured":"Southwick R.W., ABRMS: A Reason Maintenance System for Backward Reasoning Systems, Imperial College preprint (1990)."}],"container-title":["Lecture Notes in Computer Science","Truth Maintenance Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0037029.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T22:21:52Z","timestamp":1607552512000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0037029"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540543058"],"references-count":42,"URL":"https:\/\/doi.org\/10.1007\/bfb0037029","relation":{},"subject":[]}}