Keyphrases
- predicate calculus
- logic programming
- classical logic
- operational semantics
- modal logic
- database
- artificial intelligence
- high level
- digital circuits
- personal information
- logical framework
- automated reasoning
- database language
- epistemic logic
- set theory
- social context
- description logics
- programming language
- information systems
- real time