Keyphrases
- classical logic
- intuitionistic logic
- logic programming
- modal logic
- possibilistic logic
- revision operators
- commonsense reasoning
- default logic
- valued logic
- possibility theory
- computer science and artificial intelligence
- pattern recognition
- machine learning
- data mining
- random variables
- autoepistemic logic
- dynamic environments
- sequent calculus
- multi agent
- bayesian networks