Keyphrases
- semantic information
- model theoretic
- logic programming
- general theory
- speech acts
- closed world assumption
- proof theory
- formal semantics
- theoretical basis
- theoretical framework
- artificial intelligence
- logical properties
- database query languages
- abstract argumentation
- operational semantics
- bayesian networks
- modal operators
- abstract argumentation frameworks
- real time