Keyphrases
- first order logic
- logic programming
- logical framework
- automated reasoning
- modal logic
- databases
- delay insensitive
- classical logic
- geometric features
- geometric structure
- search algorithm
- artificial intelligence
- data sets
- geometric constraints
- learning machines
- multi agent
- multi valued
- probabilistic logic
- website
- defeasible logic
- predicate logic
- epistemic logic
- asynchronous circuits
- proof theory
- sound and complete axiomatization