2765 search results - page 183 / 553 » Spatio-temporal Models and Languages: An Approach Based on C... |
163
click to vote
TCS
2002
15 years 6 months ago
2002
The new Associative Language Description (ALD) model, a combination of locally testable and constituent structure ideas, is proposed, arguing that in practice it equals context-fr...
263
click to vote
VLDB
2007
ACM
16 years 6 months ago
2007
ACM
Several recent papers have focused on OLAP over imprecise data, where each fact can be a region, instead of a point, in a multidimensional space. They have provided a multiple-wor...
182
click to vote
FMOODS
2000
15 years 8 months ago
2000
This paper presents a logic, called BOTL (Object-Based Temporal Logic), that facilitates the specification of dynamic and static properties of object-based systems. The logic is ba...
175
click to vote
JOLLI
2007
15 years 6 months ago
2007
This paper presents an approach to artificial intelligence planning based on linear temporal logic (LTL). A simple and easy-to-use planning language is described, PDDL-K (Planning...
180
Voted
ICLP
2005
Springer
16 years 3 days ago
2005
Springer
We present a methodology for the modeling of complex program behavior in CLP. In the first part we present an informal description about how to represent a system in CLP. At its ...