DL Actions with GCIs: a Pragmatic Approach.

Hongkai Liu Carsten Lutz Maja Milicic Frank Wolter

Published in: Description Logics (2006)

Keyphrases

description logics
exptime complete
expressive power
goal directed
knowledge base
query language
knowledge representation
decision problems
human actions
decision theoretic
plan recognition
formal logic
real time
action theories
data complexity
human activities
semantic web
np complete