Specifying Over-Constrained Problems in Default Logic.

Abdul Sattar Aditya Ghose Randy Goebel

Published in: Over-Constrained Systems (1995)

Keyphrases

default logic
default theories
default reasoning
logic programming
nonmonotonic reasoning
autoepistemic logic
nonmonotonic logics
modal logic
default rules
fixed point
classical logic
extended logic programs
defeasible logic
incomplete information
general purpose
truth maintenance systems
artificial intelligence