A Resolution-based Procedure for Default Theories with Extensions.

Monica D. Barback Jorge Lobo

Published in: NMELP (1994)

Keyphrases

default theories
default logic
revision operators
answer set programming
nonmonotonic reasoning
default reasoning
nonmonotonic logics
autoepistemic logic
default rules
logic programming
high resolution
low resolution
databases
relational databases