Keyphrases
- logic programming
- modal logic
- defeasible logic
- artificial intelligence
- proof theory
- predicate logic
- asynchronous circuits
- automated reasoning
- epistemic logic
- deontic logic
- formal theory
- classical logic
- real world
- dynamic logic
- update semantics
- delay insensitive
- database
- abductive reasoning
- computational properties
- multi valued
- database systems
- website
- information retrieval