REVISE: Logic programming and diagnosis

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1265, Issue , 1997, Pages 353-362

  Damásio, Carlos Viegas ^a,b   Pereira, Luis Moniz ^a   Schroeder, Michael ^c  

^a UNIVERSIDADE NOVA DE LISBOA   (Portugal)

^b UNIVERSIDADE ABERTA   (Portugal)

^c LEIBNIZ UNIVERSITY HANNOVER   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

LOGIC PROGRAMMING; PROGRAM DIAGNOSTICS;

EXTENDED LOGIC; NON-MONOTONIC REASONING;

COMPUTER CIRCUITS;

EID: 84946730307     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-63255-7_26     Document Type: Conference Paper

References (18)

1. J. J. Alferes, C. V. Damásio, 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-144. John Wiley & Sons, August 1994.
2. J. J. Alferes, C. V. Damásio, 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-438. MIT Press, November 1994.
3. J. J. Alferes, C. V. Damásio, and L. M. Pereira. A logic programming system for non-monotonic reasoning. Journal of Automated Reasoning, 14(1):93-147, 1995.
4. 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-698,1985. The ISCAS85 benchmark netlists are available via ftp mcnc. mcnc. org.
5. J. de Kleer. An assumption-based TMS. Artificial Intelligence, 28:127-162, 1986.
6. Carlos Viegas Damásio, Wolfgang Nejdl, and Lu’s Moniz Pereira. REVISE: An ex-tended logic programming system for revising knowledge bases. In J. Doyle, E. Sande-wall, and P. Torasso, editors, Knowledge Representation and Reasoning, pages 607-618, Bonn, Germany, May 1994. Morgan Kaufmann.
7. C. V. Damásio, W. Nejdl, L. Pereira, and M. Schroeder. Model-based diagnosis pref-erences and strategies representation with.meta logic programming. In Krzysztof R. Apt and Franco Turini, editors, Meta-logics and Logic Programming, chapter 11, pages 269-311. The MIT Press, 1995.
8. J. Doyle. A truth maintenace system. Artificial Intelligence, 12:231-272, 1979.
9. K. Eshghi and R. Kowalski. Abduction compared with negation by failure. In 6th Int. Conf. on LP. MIT Press, 1989.
10. Peter Fröhlich, Wolfgang Nejdl, and Michael Schroeder. A formal semantics for pref-erences and strategies in model-based diagnosis. In 5th International Workshop on Principles of Diagnosis (DX-94), pages 106-113, New Paltz, NY, October 1994.
11. 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 Sympo-sium on Principles of Databse Systems, pages 221-230. Austin, Texas, 1988.
12. I. A. Mòra and J. J. Alferes. Diagnosis of distributed systems using logic pro-gramming. In C. Pinto-Ferreira and NJ. Mamede, editors, Progress in Artificial Intelligence, 7th Portuguese Conference on Artificial Intelligence EPIA95, volume LNAI990, pages 409-428. Springer-Verlag, Funchal, Portugal, 1995.
13. Igor Mozetic and Christian Holzbauer. Controlling the complexity in model-based diagnosis. Annals of Mathematics and Artificial Intelligence, 1993.
14. Wolfgang Nejdl, Peter Fröhlich, 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.
15. Lu’s Moniz Pereira and José Júlio Alferes. Well founded semantics for logic programs with explicit negation. In B. Neumann (Ed.), European Conference on Artificial Intelligence, pages 102-106. John Wiley & Sons, 1992.
16. Lu’s Moniz Pereira, José Julio 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-119, Washing-ton, USA, June 1991. MIT Press.
17. 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 rea-soning, 17(2, 3 & 4), 1993.
18. L. M. Pereira, C. V. Damásio, and J. J. Alferes. Diagnosis and debugging as contra-diction removal. In L. M. Pereira and A. Nerode, editors, 2nd Int. Workshop on Logic Programming and Non-Monotonic Reasoning, pages 334-348, Lisboa, Portugal, June 1993. MIT Press.