Separability, Expressiveness, and Decidability in the Ambient Logic.
Daniel HirschkoffÉtienne LozesDavide SangiorgiPublished in: LICS (2002)
Keyphrases
- computational properties
- description logics
- expressive power
- ambient intelligence
- query answering
- classical logic
- automated reasoning
- predicate logic
- monadic second order logic
- proof theory
- logic programs
- logic programming
- query language
- sound and complete axiomatization
- deontic logic
- decision procedures
- defeasible logic
- modal logic
- multi valued
- epistemic logic
- dimensionality reduction
- highly expressive
- programming language
- artificial intelligence