570 search results - page 31 / 114 » The Complexity of Reasoning with Global Constraints |
CORR
2008
Springer
14 years 9 months ago
2008
Springer
Abstract. For Paradigm models, evolution is just-in-time specified coordination conducted by a special reusable component McPal. Evolution can be treated consistently and on-the-fl...
135
click to vote
ICDT
1995
ACM
15 years 1 months ago
1995
ACM
Abstract. Extension of the relational database model to represent complex data has been a focus of much research in recent years. At the same time, an alternative extension of the ...
99
Voted
DLOG
2008
15 years 14 hour ago
2008
Answering queries posed over knowledge bases is a central problem in knowledge representation and database theory. In databases, query containment is one of the important query op...
ICCBR
2010
Springer
15 years 1 months ago
2010
Springer
The vast majority of research on AI planning has focused on automated plan recognition, in which a planning agent is provided with a set of inputs that include an initial goal (or ...
CORR
2011
Springer
14 years 4 months ago
2011
Springer
We investigate (quantifier-free) spatial constraint languages with equality, contact and connectedness predicates, as well as Boolean operations on regions, interpreted over low-...