740 search results - page 90 / 148 » A Spatial Logic for Concurrency |
KR
1998
Springer
13 years 12 months ago
1998
Springer
A theory is elaboration tolerant to the extent that new information can be incorporated with only simple changes. The simplest change is conjoining new information, and only conju...
KR
2004
Springer
14 years 1 months ago
2004
Springer
Several logical languages have been considered in AI for encoding compactly preference relations over a set of alternatives. In this paper, we analyze both the expressiveness and ...
3DIC
2009
IEEE
13 years 11 months ago
2009
IEEE
This paper presents an analysis and comparison between synchronous and delay-insensitive asynchronous logic circuits on thermal distributions for investigating novel solutions to t...
CP
2008
Springer
13 years 9 months ago
2008
Springer
This paper presents a global constraint that enforces rules written in a language based on arithmetic and first-order logic to hold among a set of objects. In a first step, the rul...
ECAI
2008
Springer
13 years 9 months ago
2008
Springer
Reasoning about perception of depth and about spatial relations between moving physical objects is a challenging problem. We investigate the representation of depth and motion by m...