A System for Computing Constrained Default Logic Extensions.

Grigoris Antoniou Allen P. Courtney Jörg Ernst Mary-Anne Williams

Published in: JELIA (1996)

Keyphrases

default logic
default theories
logic programming
default reasoning
nonmonotonic reasoning
knowledge representation formalisms
nonmonotonic logics
default rules
autoepistemic logic
fixed point
truth maintenance systems
modal logic
higher order
classical logic
defeasible logic