Actions over a Constructive Semantics for ALC.
Loris BozzatoMauro FerrariPaola VillaPublished in: Description Logics (2008)
Keyphrases
- fuzzy description logics
- action language
- description logics
- action theories
- speech acts
- formal semantics
- situation calculus
- upper bound
- reasoning about actions
- action descriptions
- logic programming
- knowledge base
- model theoretic
- reasoning tasks
- goal directed
- plan recognition
- semantic information
- atomic actions
- kripke models
- decision theoretic
- human activities
- query language
- database systems