Contradiction Resolving for Extended Logic Programs and Default Theories.

Jia-Huai You Li-Yan Yuan

Published in: ILPS (1993)

Keyphrases

extended logic programs
default logic
default theories
nonmonotonic reasoning
logic programming
default reasoning
nonmonotonic logics
defeasible logic
fixed point
modal logic
logic programs
answer set programming
answer sets
classical logic
inference rules
artificial intelligence
reasoning tasks
distributed systems