Keyphrases
- logic programming
- proof theory
- modal logic
- deontic logic
- automated reasoning
- predicate logic
- formal language
- classical logic
- defeasible logic
- propositional dynamic logic
- data mining
- asynchronous circuits
- formal theory
- digital circuits
- computational properties
- temporal relations
- multi valued
- evolutionary algorithm
- natural language
- database systems
- knowledge base
- information systems