Keyphrases
- logic programming
- modal logic
- databases
- automated reasoning
- linear temporal logic
- epistemic logic
- digital circuits
- machine learning
- evolutionary algorithm
- relational databases
- multi agent
- multiscale
- classical logic
- computational properties
- defeasible logic
- artificial intelligence
- predicate logic
- proof theory
- neural network