Putting ABox Updates into Action.

Conrad Drescher Hongkai Liu Franz Baader Steffen Guhlemann Uwe Petersohn Peter Steinke Michael Thielscher

Published in: FroCoS (2009)

Keyphrases

description logics
reasoning about actions
expressive description logics
computer vision
domain knowledge
logic programming
human actions
action selection
dl lite
update semantics
action descriptions