{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:15:09Z","timestamp":1725664509182},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540632559"},{"type":"electronic","value":"9783540692492"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/3-540-63255-7_26","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T23:23:06Z","timestamp":1330298586000},"page":"353-362","source":"Crossref","is-referenced-by-count":10,"title":["REVISE: Logic programming and diagnosis"],"prefix":"10.1007","author":[{"given":"Carlos Viegas","family":"Dam\u00e1sio","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luis Moniz","family":"Pereira","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Schroeder","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"key":"26_CR1","unstructured":"J. J. Alferes, C. V. Dam\u00e1sio, and L. M. Pereira. Top-down query evaluation for well-founded semantics with explicit negation. In A. Conn, editor, Proc. of the European Conference on Artificial Intelligence'94, pages 140\u2013144. John Wiley & Sons, August 1994."},{"key":"26_CR2","unstructured":"J. J. Alferes, C. V. Dam\u00e1sio, and L. M. Pereira. A top-down derivation procedure for programs with explicit negation. In M. Bruynooghe, editor, Proc. of the International Logic Programming Symposium'94, pages 424\u2013438. MIT Press, November 1994."},{"issue":"1","key":"26_CR3","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1007\/BF00883931","volume":"14","author":"J. J. Alferes","year":"1995","unstructured":"J. J. Alferes, C. V. Dam\u00e1sio, and L. M. Pereira. A logic programming system for non-monotonic reasoning. Journal of Automated Reasoning, 14(1):93\u2013147, 1995.","journal-title":"Journal of Automated Reasoning"},{"key":"26_CR4","unstructured":"F. Brglez, P. Pownall, and R. Hum. Accelerated ATPG and fault grading via testability analysis. In Proceedings of IEEE Int. Symposium on Circuits and Systems, pages 695\u2013698, 1985. The ISCAS85 benchmark netlists are available via ftp mcnc.mcnc.org."},{"key":"26_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":"J. de Kleer. An assumption-based TMS. Artificial Intelligence, 28:127\u2013162, 1986.","journal-title":"Artificial Intelligence"},{"key":"26_CR6","first-page":"607","volume-title":"Knowledge Representation and Reasoning","author":"C. V. Dam\u00e1sio","year":"1994","unstructured":"Carlos Viegas Dam\u00e1sio, Wolfgang Nejdl, and Lu's Moniz Pereira. REVISE: An extended logic programming system for revising knowledge bases. In J. Doyle, E. Sandewall, and P. Torasso, editors, Knowledge Representation and Reasoning, pages 607\u2013618, Bonn, Germany, May 1994. Morgan Kaufmann."},{"key":"26_CR7","unstructured":"C. V. Dam\u00e1sio, W. Nejdl, L. Pereira, and M. Schroeder. Model-based diagnosis preferences and strategies representation with meta logic programming. In Krzysztof R. Apt and Franco Turini, editors, Meta-logics and Logic Programming, chapter 11, pages 269\u2013311. The MIT Press, 1995."},{"key":"26_CR8","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0004-3702(79)90008-0","volume":"12","author":"J. Doyle","year":"1979","unstructured":"J. Doyle. A truth maintenace system. Artificial Intelligence, 12:231\u2013272, 1979.","journal-title":"Artificial Intelligence"},{"key":"26_CR9","unstructured":"K. Eshghi and R. Kowalski. Abduction compared with negation by failure. In 6th Int. Conf. on LP. MIT Press, 1989."},{"key":"26_CR10","unstructured":"Peter Fr\u00f6hlich, Wolfgang Nejdl, and Michael Schroeder. A formal semantics for preferences and strategies in model-based diagnosis. In 5th International Workshop on Principles of Diagnosis (DX-94), pages 106\u2013113, New Paltz, NY, October 1994."},{"key":"26_CR11","doi-asserted-by":"crossref","unstructured":"Allen Van Gelder, Kenneth Ross, and John S. Schlipf. Unfounded sets and well-founded semantics for general logic programs. In Proceeding of the 7th ACM Symposium on Principles of Databse Systems, pages 221\u2013230. Austin, Texas, 1988.","DOI":"10.1145\/308386.308444"},{"key":"26_CR12","first-page":"409","volume-title":"Progress in Artificial Intelligence, 7th Portuguese Conference on Artificial Intelligence EPIA95, volume LNAI990","author":"I. A. M\u00f3ra","year":"1995","unstructured":"I. A. M\u00f3ra and J. J. Alferes. Diagnosis of distributed systems using logic programming. In C. Pinto-Ferreira and N.J. Mamede, editors, Progress in Artificial Intelligence, 7th Portuguese Conference on Artificial Intelligence EPIA95, volume LNAI990, pages 409\u2013428. Springer-Verlag, Funchal, Portugal, 1995."},{"key":"26_CR13","unstructured":"Igor Mozetic and Christian Holzbauer. Controlling the complexity in model-based diagnosis. Annals of Mathematics and Artificial Intelligence, 1993."},{"key":"26_CR14","unstructured":"Wolfgang Nejdl, Peter Fr\u00f6hlich, and Michael Schroeder. A formal framework for representing diagnosis strategies in model-based diagnosis systems. In International Joint Conference on Artificial Intelligence, Montreal, August 1995."},{"key":"26_CR15","unstructured":"Lu's Moniz Pereira and Jos\u00e9 J\u00falio Alferes. Well founded semantics for logic programs with explicit negation. In B. Neumann (Ed.), European Conference on Artificial Intelligence, pages 102\u2013106. John Wiley & Sons, 1992."},{"key":"26_CR16","first-page":"105","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"L. M. Pereira","year":"1991","unstructured":"Lu's Moniz Pereira, Jos\u00e9 J\u00falio Alferes, and Joaquim Apar'cio. Contradiction Removal within Well Founded Semantics. In A. Nerode, W. Marek, and V. S. Subrahmanian, editors, Logic Programming and Nonmonotonic Reasoning, pages 105\u2013119, Washington, USA, June 1991. MIT Press."},{"key":"26_CR17","doi-asserted-by":"crossref","unstructured":"L. M. Pereira, J. N. Apar'cio, and J. J. Alferes. Non-monotonic reasoning with logic programming. Journal of Logic Programming. Special issue on Nonmonotonic reasoning, 17(2, 3 & 4), 1993.","DOI":"10.1016\/0743-1066(93)90032-C"},{"key":"26_CR18","doi-asserted-by":"crossref","first-page":"334","DOI":"10.7551\/mitpress\/4307.001.0001","volume-title":"2nd Int. Workshop on Logic Programming and Non-Monotonic Reasoning","author":"L. M. Pereira","year":"1993","unstructured":"L. M. Pereira, C. V. Dam\u00e1sio, and J. J. Alferes. Diagnosis and debugging as contradiction removal. In L. M. Pereira and A. Nerode, editors, 2nd Int. Workshop on Logic Programming and Non-Monotonic Reasoning, pages 334\u2013348, Lisboa, Portugal, June 1993. MIT Press."}],"container-title":["Lecture Notes in Computer Science","Logic Programming And Nonmonotonic Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-63255-7_26.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:43:25Z","timestamp":1619574205000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-63255-7_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540632559","9783540692492"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-63255-7_26","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}