Keyphrases
- logic programming
- modal logic
- logical framework
- classical logic
- formal theory
- databases
- delay insensitive
- multi valued
- predicate logic
- defeasible logic
- propositional dynamic logic
- proof theory
- asynchronous circuits
- computational properties
- automated reasoning
- globally optimal
- natural language
- image sequences
- neural network