Nonmonotonic Reasoning Based on Incomplete Logic.
Tuan-Fang FanBertrand I-Peng LinChurn-Jung LiauPublished in: J. Appl. Non Class. Logics (1997)
Keyphrases
- nonmonotonic reasoning
- logic programming
- commonsense reasoning
- nonmonotonic logics
- abductive reasoning
- proof theoretic
- conditional logic
- defeasible logic
- autoepistemic logic
- nonmonotonic inference
- default logic
- default reasoning
- belief revision
- logic programs
- classical logic
- defeasible reasoning
- truth maintenance systems
- modal logic
- possibility theory
- causal inference
- missing data
- logical framework
- answer set programming
- minimal models
- extended logic programs
- proof theory
- knowledge representation
- argumentation systems
- probabilistic logic
- inheritance reasoning
- default theories
- probabilistic reasoning
- propositional logic
- deductive databases
- programming language
- knowledge base