Towards a First Order Equilibrium Logic for Nonmonotonic Reasoning.
David PearceAgustín ValverdePublished in: JELIA (2004)
Keyphrases
- nonmonotonic reasoning
- conditional logic
- logic programming
- default reasoning
- belief revision
- commonsense reasoning
- default logic
- nonmonotonic inference
- defeasible reasoning
- first order logic
- higher order
- inheritance reasoning
- possibility theory
- nonmonotonic logics
- autoepistemic logic
- abductive reasoning
- proof theoretic
- causal inference
- expert systems
- probabilistic logic
- horn clauses
- knowledge representation
- probabilistic model
- database