REVISE: Logic Programming and Diagnosis
Carlos Viegas Damasio, Luis Moniz Pereira, Michael Schroeder
Abstract:
In this article we describe the non-monotonic reasoning system REVISE
that revises contradictory extended logic programs. We sketch the
REVISE algorithm and evaluate it in the domain of digital circuits.
Full
Paper
Last modified: 7.5.1996