Keyphrases
- logical properties
- logical language
- formal semantics
- logic programming
- logical rules
- model theoretic
- predicate calculus
- probabilistic logic
- databases
- logical operations
- probabilistic knowledge
- dynamic logic
- relational query languages
- logical reasoning
- logical structure
- logical framework
- logic programs
- logical formulas
- default reasoning
- belief revision
- denotational semantics
- case study