Bridging the Gap between Theory and Practice: REVISE Progress Report
Download:
|
|
by Carlos Viegas Dam'asio, Lu'is Moniz Pereira, Michael Schroeder
http://centria.fct.unl.pt/~cd/publicacoes/online-papers/aisb.ps.gz
Add To MetaCart
Abstract:
Introduction REVISE is an extended logic programming system for revising knowledge bases. It is based on logic programming with explicit negation and integrity constraints and provides a two- or three-valued assumption revision to remove contradictions from the knowledge base. It has been tested on a spate of examples with an emphasis in model-based diagnosis.
Citations
| 36 | SLX: a top-down derivation procedure for programs with explicit negation – Alferes, Damasio, et al. - 1994 |
| 36 | REVISE: An extended logic programming system for revising knowledge bases – Dam'asio, Nejdl, et al. - 1994 |
| 34 | Accelerated ATPG and Fault Grading via Testability Analysis – Brglez, Pownall, et al. |
| 25 | Top-down query evaluation for well-founded semantics with explicit negation – Alferes, Damasio, et al. - 1994 |
| 22 | Model-based diagnosis preferences and strategies representation with meta logic programming – Dam'asio, Nejdl, et al. - 1995 |
| 17 | A formal framework for representing diagnosis strategies in model-based diagnosis systems – Nejdl, Frohlich, et al. - 1995 |
| 11 | A formal semantics for preferences and strategies in model-based diagnosis – Frohlich, Nejdl, et al. - 1994 |
