Keyphrases
- logic programming
- data sets
- databases
- modal logic
- proof theory
- artificial intelligence
- automated reasoning
- classical logic
- computational properties
- sound and complete axiomatization
- complementarity problems
- epistemic logic
- abductive reasoning
- predicate logic
- logical framework
- probability theory
- multi agent
- decision trees