Sciweavers

32 search results - page 1 / 7
» Weak Representations of Interval Algebras
Sort
View
AAAI
1990
13 years 4 months ago
Weak Representations of Interval Algebras
Ladkin and Maddux [LaMa87] showed how to interpret the calculus of time intervals defined by Allen [AZ2831 in terms of representations of a particular relation algebra, and proved...
Gerard Ligozat
ICCI
1993
13 years 7 months ago
Interval-Set Algebra for Qualitative Knowledge Representation
The notion of interval sets is introduced as a new kind of sets, represented by a pair of sets, namely, the lower and upper bounds. The interval-set algebra may be regarded as a c...
Y. Y. Yao
AAAI
2000
13 years 5 months ago
An Interval Algebra for Indeterminate Time
Temporal indeterminacy is an inherent problem which arises when capturing and manipulating temporal data in many application areas. As such, representation and manipulation of tim...
Wes Cowley, Dimitris Plexousakis
JSYML
2006
98views more  JSYML 2006»
13 years 3 months ago
On weak and strong interpolation in algebraic logics
We show that there is a restriction, or modification of the finite-variable fragments of First Order Logic in which a weak form of Craig's Interpolation Theorem holds but a s...
Saharon Shelah, Gábor Sági
CIRA
2007
IEEE
136views Robotics» more  CIRA 2007»
13 years 10 months ago
Algebraic interval constraint driven exploration in human-agent collaborative problem solving
—To enable effective human-agent collaboration, new human-centric computing paradigms are needed. This paper presents a soft constraint representation scheme based on generalized...
Yan Wang