Preferential Logics are X-logics.
Lionel ForgetVincent RischPierre SiegelPublished in: J. Log. Comput. (2001)
Keyphrases
- expressive power
- inference rules
- modal logic
- epistemic logic
- propositional dynamic logic
- propositional calculus
- machine learning
- natural language
- decision trees
- temporal logic
- image processing
- search engine
- classical logic
- computational properties
- nonmonotonic logics
- conditional logic
- artificial intelligence
- proof theory
- neural network