Analytic Tableaux for KLM Preferential and Cumulative Logics.
Laura GiordanoValentina GliozziNicola OlivettiGian Luca PozzatoPublished in: LPAR (2005)
Keyphrases
- modal logic
- decision procedures
- sequent calculi
- propositional logic
- temporal logic
- classical first order logic
- nonmonotonic logics
- inference rules
- classical logic
- tableau calculus
- default logic
- logic programming
- epistemic logic
- expressive power
- situation calculus
- conditional logic
- model checking
- theorem proving
- data mining
- machine learning
- horn logic
- neural network
- decision making
- modal operators
- nonmonotonic reasoning
- data sets
- functional dependencies
- database systems