Keyphrases
- computer algebra
- mathematical theory
- modal logic
- classical logic
- logic programming
- automated reasoning
- mathematical expressions
- multi valued
- mathematical models
- epistemic logic
- predicate logic
- computational properties
- logical framework
- award winning
- learning algorithm
- sound and complete axiomatization
- data structures and algorithms
- proof theory
- delay insensitive
- real world
- deontic logic
- abductive reasoning
- data model
- relational databases
- expert systems
- data structure
- website
- genetic algorithm