New Proofs in Default Logic Theory.

Grigoris Antoniou Elmar Langetepe Volker Sperschneider

Published in: Ann. Math. Artif. Intell. (1994)

Keyphrases

default logic
nonmonotonic reasoning
default reasoning
default theories
autoepistemic logic
causal reasoning
commonsense reasoning
default rules
truth maintenance systems
logic programming
nonmonotonic logics
fixed point
modal logic
minimal models
theorem prover
dynamic programming