{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T11:14:51Z","timestamp":1742382891269},"reference-count":28,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1992,1,1]],"date-time":"1992-01-01T00:00:00Z","timestamp":694224000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Artif Intell Rev"],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/bf00155580","type":"journal-article","created":{"date-parts":[[2004,11,6]],"date-time":"2004-11-06T04:24:18Z","timestamp":1099715058000},"page":"67-110","source":"Crossref","is-referenced-by-count":10,"title":["Truth maintenance systems and their application for verifying Expert System Knowledge Bases"],"prefix":"10.1007","volume":"6","author":[{"given":"Neli P.","family":"Zlatareva","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"CR1","volume-title":"Technical report","author":"G. Brewka","year":"1990","unstructured":"Brewka, G. (1990). On minimal change: A critique of the architecture of non-monotonic TMS. Technical report, GMD, Bonn."},{"key":"CR2","doi-asserted-by":"crossref","unstructured":"Brown, A. and Shoham, Y. (1989). New results on semantical nonmonotonic reasoning. In Proc. Second Int. Workshop on Non-monotonic Reasoning, pp. 19?26. Springer-Verlag.","DOI":"10.1007\/3-540-50701-9_17"},{"key":"CR3","first-page":"599","volume-title":"Rule-Based Expert Systems: the MYCIN Experiments of the Stanford Heuristic Programming Project","author":"B. G. Buchanan","year":"1984","unstructured":"Buchanan, B. G. and Shortliffe, E. H. (1984). Human engineering of medical expert systems. In Buchanan, B. G. and Shortliffe, E. H. (Eds.), Rule-Based Expert Systems: the MYCIN Experiments of the Stanford Heuristic Programming Project, Ch. 32, pp. 599?612. Addison-Wesley, Reading MA."},{"issue":"2","key":"CR4","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1016\/0004-3702(86)90080-9","volume":"28","author":"J. Kleer de","year":"1986","unstructured":"deKleer, J. (1986a). An assumption-based TMS. Artificial Intelligence (Netherlands), 28(2), 127?162.","journal-title":"Artificial Intelligence (Netherlands)"},{"issue":"2","key":"CR5","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1016\/0004-3702(86)90082-2","volume":"28","author":"J. Kleer de","year":"1986","unstructured":"deKleer, J. (1986b). Problem solving with the ATMS. Artificial Intelligence (Netherlands), 28(2), 197?224.","journal-title":"Artificial Intelligence (Netherlands)"},{"key":"CR6","unstructured":"de Kleer, J. and Forbus, K. (1990). Truth Maintenance systems. AAAI. Tutorial on TMS presented at AAAI'90."},{"key":"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. (1979). A truth maintenance system. Artificial Intelligence (Netherlands), 12, 231?272.","journal-title":"Artificial Intelligence (Netherlands)"},{"key":"CR8","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1016\/0004-3702(90)90086-F","volume":"43","author":"C. Elkan","year":"1990","unstructured":"Elkan, C. (1990). A rational reconstruction of nonmonotonic truth maintenance systems. Artificial Intelligence (Netherlands), 43, 219?234.","journal-title":"Artificial Intelligence (Netherlands)"},{"key":"CR9","unstructured":"Genesereth, M. and Nilsson, N. (1987). Logical Foundations of Artificial Intelligence. Morgan Kaufmann Pub."},{"key":"CR10","unstructured":"Ginsberg, A. (1987). A new approach to checking knowledge bases for inconsistency and redundancy. In Proc. 3rd Annual Expert Systems in Government Conference, pp. 102?111."},{"key":"CR11","unstructured":"Ginsberg, A. (1988). Knowledge-base reduction: A new approach to checking knowledge bases for inconsistency and redundancy. In Proc. 7th National Conference on Artificial Intelligence (AAAI 88), Vol. 2, pp. 585?589."},{"key":"CR12","series-title":"Technical Report 11354-891229-02TM","volume-title":"Checking quasi-first-order-logic rule-based systems for inconsistency and redundancy","author":"A. Ginsberg","year":"1989","unstructured":"Ginsberg, A. and Williamson, K. (1989). Checking quasi-first-order-logic rule-based systems for inconsistency and redundancy. Technical Report 11354?891229?02TM, AT & T Bell Laboratories, Holmdel, NJ."},{"key":"CR13","unstructured":"Goodwin, J. (1987). A Theory and System for Non-monotonic Reasoning. Ph.D. Thesis, Linkoping University, Sweden."},{"key":"CR14","unstructured":"Junker, U. and Konolige, K. (1990). Computing the extensions of autoepistemic and default theories with a truth maintenance system. In Proc. 8th National Conference on Artificial Intelligence (AAAI '90), pp. 278?283. Morgan Kaufmann Pub."},{"key":"CR15","unstructured":"Martins, J. (1990). The truth, the whole truth, and nothing but the truth. AI Magazine, Special Issue: 7?25."},{"issue":"1","key":"CR16","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1016\/0004-3702(88)90031-8","volume":"35","author":"J. Martins","year":"1988","unstructured":"Martins, J. and Shapiro, S. (1988). A model for belief revision. Artificial Intelligence (Netherlands), 35(1), 25?79.","journal-title":"Artificial Intelligence (Netherlands)"},{"key":"CR17","unstructured":"McAllester, D. (1980). An outlook on truth maintenance. Technical report, AI Laboratory, Massachusetts Institute of Technology."},{"key":"CR18","unstructured":"Nebel, B. (1989). A knowledge level analysis of belief revision. In Proc. First International Conference on Principles of Knowledge Representation and Reasoning, pp. 301?311. Morgan Kaufmann Pub."},{"key":"CR19","unstructured":"Nguyen, T. A., Perkins, W. A., Laffey, T. J., and Pecora, D. (1985). Checking an expert systems knowledge base for consistency and completeness. In Proc. 9th International Joint Conference on Artificial Intelligence (IJCAI 85), Vol. 1, pp. 375?378. AAAI."},{"key":"CR20","unstructured":"Petrie, C. (1987). Revised dependency-directed backtracking for default reasoning. In Proc. 6th National Conference on Artificial Intelligence (AAAII '87), pp. 167?172. Morgan Kaufmann Pub."},{"key":"CR21","unstructured":"Popchev, I., Zlatareva, N., and Mircheva, M. (1990). A truth maintenance theory: An alternative approach. In Proc. 9th European Conference on AI (ECAI '90), pp. 509?514. Pitman Pub."},{"key":"CR22","unstructured":"Rao, A. and Foo, N. (1989). Formal theories of belief revision. In Proc. First International Conference on Principles of Knowledge Representation and Reasoning, pp. 369?380. Morgan Kaufmann Pub."},{"key":"CR23","unstructured":"Reinfrank, M. (1989). Fundamentals and Logical Foundations of Truth Maintenance. Ph.D. Thesis, Linkoping University, Sweden."},{"key":"CR24","unstructured":"Reinfrank, M. and Dressler, O. (1988). Rules and justifications, a uniform approach to reason maintenance and nonmonotonic inference. In Proc. International Conference on Fifth Generation Computer Systems '88."},{"key":"CR25","unstructured":"Reinfrank, M., Dressler, O., and Brewka, G. (1989). On the relationship between truth maintenance and autoepistemic logic. In Proc. 11th International Joint Conference on Artificial Intelligence (IJCAI '89), pp. 1206?1212. Morgan Kaufmann Pub."},{"key":"CR26","series-title":"TASSO-Report","volume-title":"Considerations on representing and handling human common-sense knowledge","author":"N. Zlatareva","year":"1990","unstructured":"Zlatareva, N. (1990). Considerations on representing and handling human common-sense knowledge. TASSO-Report 10, FG Intellektik, Technische Hochschule Darmstadt, Germany."},{"key":"CR27","unstructured":"Zlatareva, N. (1991a). Distributed verification: A new formal approach for verifying knowledge-based systems. In Proc. World Congress on Expert Systems, pp. 1021?1029. Pergamon Press."},{"key":"CR28","volume-title":"Technical report, CENPARMI","author":"N. Zlatareva","year":"1991","unstructured":"Zlatareva, N. (1991b). Truth maintenance and verification of expert system knowledge bases. Technical report, CENPARMI, Concordia University, Montreal, Canada."}],"container-title":["Artificial Intelligence Review"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00155580.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00155580\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00155580","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,3]],"date-time":"2019-04-03T07:24:46Z","timestamp":1554276286000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00155580"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"references-count":28,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1992]]}},"alternative-id":["BF00155580"],"URL":"https:\/\/doi.org\/10.1007\/bf00155580","relation":{},"ISSN":["0269-2821","1573-7462"],"issn-type":[{"value":"0269-2821","type":"print"},{"value":"1573-7462","type":"electronic"}],"subject":[],"published":{"date-parts":[[1992]]}}}