654 search results - page 69 / 131 » Ordered Sets and Complete Lattices |
AAAI
2006
15 years 1 months ago
2006
We present a new propagator achieving bound consistency for the INTER-DISTANCE constraint. This constraint ensures that, among a set of variables X1, . . . , Xn, the difference be...
102
click to vote
FLAIRS
2004
15 years 1 months ago
2004
This paper presents a new method of interactive refinement of a knowledge base. The first step of our method is a validation stage which checks the consistency and the completenes...
AICOM
2010
15 years 6 hour ago
2010
SOLAR (SOL for Advanced Reasoning) is a first-order clausal consequence finding system based on the SOL (Skip Ordered Linear) tableau calculus. The ability to find non-trivial cons...
109
click to vote
CORR
2007
Springer
14 years 12 months ago
2007
Springer
We study the existence of automatic presentations for various algebraic structures. An automatic presentation of a structure is a description of the universe of the structure by a...
132
click to vote
INFSOF
2006
14 years 12 months ago
2006
Interaction testing is widely used in screening for faults. In software testing, it provides a natural mechanism for testing systems to be deployed on a variety of hardware and so...