A Proof-Theoretic Framework for Nonmonotonic Reasoning and Logic Programming.
Li-Yan YuanJia-Huai YouCheng Hui WangPublished in: ICCI (1991)
Keyphrases
- theoretic framework
- nonmonotonic reasoning
- logic programming
- linear logic
- logic programs
- information theoretic
- classical first order logic
- default reasoning
- answer set programming
- programming language
- deductive databases
- defeasible reasoning
- knowledge representation
- default logic
- constraint logic programming
- reasoning tasks
- probabilistic reasoning
- answer sets
- extended logic programs
- possibility theory
- classical logic
- autoepistemic logic
- conditional logic
- knowledge base
- default theories
- nonmonotonic logics
- stable models
- abductive reasoning
- theorem prover
- defeasible logic
- general purpose
- data model
- graphical models
- fixpoint
- mutual information
- background knowledge