Keyphrases
- formal theory
- computer algebra
- commonsense reasoning
- proof theory
- artificial intelligence
- logic programming
- asynchronous circuits
- theoretical framework
- set theory
- logical framework
- general theory
- database
- probability theory
- theoretical basis
- modal logic
- formal methods
- classical logic
- computational properties
- predicate logic
- information theory
- modal operators
- information systems
- information retrieval
- neural network