Logics and in Their First-Order Extensions.
Franco MontagnaPublished in: Algebraic and Proof-theoretic Aspects of Non-classical Logics (2006)
Keyphrases
- conditional logic
- first order logic
- default logic
- expressive power
- modal logic
- classical first order logic
- higher order
- inference rules
- knowledge representation formalisms
- default reasoning
- efficient implementation
- valued logic
- knowledge representation
- propositional calculus
- quantifier elimination
- nonmonotonic logics
- classical logic
- decision diagrams
- logic programming
- epistemic logic
- decision procedures
- stochastic dominance
- fuzzy logic
- data sets
- inductive logic programming systems