5 search results - page 1 / 1 » Constraint Deduction in an Interval-based Temporal Logic |
IJCAI
1993
13 years 6 months ago
1993
WLP
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. We present a framework for a declarative approach to spatiotemporal reasoning on geographical data, based on the constraint logical language STACLP, which offers deducti...
ICTL
1994
13 years 8 months ago
1994
Commonsense knowledge often omits the temporal incidence of facts, and even the ordering between occurrences is only available for some of their instances. Reasoning about the temp...
DEXAW
1999
IEEE
13 years 9 months ago
1999
IEEE
Recent efforts in the Conceptual Modelling community have been devoted to properly capturing time-varying information, and several proposals of temporally enhanced Entity-Relation...
ROBOCUP
1999
Springer
13 years 9 months ago
1999
Springer
In this paper, we present a multi-layered architecture for spatial and temporal agents. The focus is laid on the declarativity of the approach, which makes agent scripts expressive...