An experiential logic for nonmonotonic reasoning (abstract and regerences only).
Zuoquan LinPublished in: ACM Conference on Computer Science (1991)
Keyphrases
- nonmonotonic reasoning
- logic programming
- commonsense reasoning
- nonmonotonic logics
- conditional logic
- proof theoretic
- abductive reasoning
- nonmonotonic inference
- default reasoning
- defeasible logic
- autoepistemic logic
- logic programs
- belief revision
- default logic
- classical logic
- proof theory
- defeasible reasoning
- truth maintenance systems
- deductive databases
- programming language
- knowledge representation and reasoning
- default theories
- knowledge base
- knowledge representation
- extended logic programs
- inheritance reasoning
- modal logic
- argumentation systems
- possibility theory
- answer sets
- causal inference
- minimal models
- linear logic
- logical framework
- answer set programming
- software engineering
- query language