135 search results - page 4 / 27 » Temporal Description Logics: A Survey |
TIME
1999
IEEE
13 years 12 months ago
1999
IEEE
DLOG
2010
13 years 5 months ago
2010
DEXAW
2004
IEEE
13 years 11 months ago
2004
IEEE
In order to obtain a suitable model of the universe of discourse of some information systems, it is important to allow the description of imprecise objects with temporal indetermi...
JOLLI
2010
13 years 6 months ago
2010
This paper surveys the interface between the two major logical trends that describe agents’ intelligent interaction over time: dynamic epistemic logic (DEL) and epistemic tempora...
KI
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. The Unification-based Temporal Grammar is a temporal extension of static unification-based grammars. It defines a hierarchical temporal rule language to express comple...