Keyphrases
- logic programming
- modal logic
- multi valued
- classical logic
- data mining
- information retrieval
- artificial intelligence
- decision trees
- sound and complete axiomatization
- database
- asynchronous circuits
- epistemic logic
- formal theory
- defeasible logic
- automated reasoning
- probability theory
- programming language
- multi agent systems
- data sets