Computing Circumscription Revisited: A Reduction Algorithm.

Patrick Doherty Witold Lukaszewicz Andrzej Szalas

Published in: J. Autom. Reason. (1997)

Keyphrases

theorem prover
logic programming
computer vision
default logic
default reasoning
search algorithm
logic programs
integrity constraints
modal logic