Computing Circumscription Revisited: Preliminary Report.

Patrick Doherty Witold Lukaszewicz Andrzej Szalas

Published in: IJCAI (1995)

Keyphrases

default logic
image processing
case study
multiscale
theorem prover
database
real world
computer vision
information systems
logic programming
deductive databases
default reasoning