480 search results - page 4 / 96 » Introducing Temporal Description Logics |
AIEDAM
1999
13 years 6 months ago
1999
A temporal logic for representing and reasoning on a robotic domain is presented. Actions are represented by describing what is true while the action itself is occurring, and plan...
AIML
2008
13 years 8 months ago
2008
Most temporal logics, particularly interval temporal logics, are not expressive enough to capture meanings of natural language constructions, and they are not convenient to represe...
FROCOS
2009
Springer
14 years 1 months ago
2009
Springer
DLOG
2010
13 years 5 months ago
2010
FROCOS
2005
Springer
14 years 15 days ago
2005
Springer
Abstract. In this paper, we introduce a spatial and temporal logic for reasoning about distributed computation. The logic is a combination of an extension of hybrid logic, that all...