Non-Deterministic Semantics for First-Order Paraconsistent Logics.
Anna ZamanskyArnon AvronPublished in: KR (2006)
Keyphrases
- valued logic
- conditional logic
- logic programming
- valued semantics
- classical first order logic
- classical logic
- sound and complete with respect
- first order logic
- propositional logic
- default reasoning
- model theoretic
- inference rules
- default logic
- logic programs
- higher order logic
- possibilistic logic
- consistent query answering
- propositional dynamic logic
- epistemic logic
- nonmonotonic reasoning
- modal logic
- proof theory
- truth values
- belief revision
- nonmonotonic logics
- expressive power
- proof theoretic
- higher order
- fixpoint semantics
- deductive databases
- multi valued
- formal semantics
- datalog programs
- proof procedures
- dl lite
- answer set programming
- decision procedures
- automated reasoning
- logical formulas
- knowledge base
- stable models
- semantic information