A Model-Theoretic Semantics for Defeasible Logic.
Michael J. MaherPublished in: Paraconsistent Computational Logic (2002)
Keyphrases
- model theoretic
- defeasible logic
- deductive databases
- description logics
- default reasoning
- nonmonotonic reasoning
- operational semantics
- proof theoretic
- knowledge representation and reasoning
- defeasible reasoning
- decision procedures
- logic programs
- fixpoint
- default logic
- rule base
- nonmonotonic logics
- probabilistic reasoning
- business rules
- belief revision
- automated reasoning
- legal reasoning
- query evaluation
- integrity constraints
- knowledge base
- neural network