159 search results - page 1 / 32 » Dynamic Description Logic: Embracing Actions into Descriptio... |
DLOG
2007
13 years 7 months ago
2007
CAEPIA
2003
Springer
13 years 8 months ago
2003
Springer
Abstract. The following problem will be considered: from scattered examples on the behavior of a dynamic system induce a description of the system. For the induced description to b...
KI
2007
Springer
13 years 10 months ago
2007
Springer
General action languages, like e.g. the Situation Calculus, use full classical logic to represent knowledge of actions and their effects in dynamic domains. Description Logics, on...
ECAI
2006
Springer
13 years 8 months ago
2006
Springer
Abstract. In this work we address the problem of elaborating domain descriptions (alias action theories), in particular those that are expressed in dynamic logic. We define a gener...
ER
2007
Springer
13 years 8 months ago
2007
Springer
The paper presents an unified Description Logic (DL) model for databases. Describing database models using DLs is a fundamental problem in many areas because it turns databases to...