2911 search results - page 97 / 583 » A Logic of Graph Constraints |
126
Voted
DLOG
2008
15 years 2 months 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...
121
click to vote
ADBIS
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. We present for the first-order theory of atomic Boolean algebras of sets with linear cardinality constraints a quantifier elimination algorithm. In the case of atomic Boo...
92
Voted
CP
2008
Springer
15 years 2 months ago
2008
Springer
Constraint programming often involves global constraints, for which various custom filtering algorithms have been published. This work presents a semi-automatic generation of CHR s...
92
Voted
ICLP
1992
Springer
15 years 4 months ago
1992
Springer
CFT is a new constraint system providing records as logical data structure for constraint (logic) programming. It can be seen as a generalization of the rational tree system emplo...
91
Voted
APIN
2002
15 years 14 days ago
2002
Abstract. In this paper, we describe how to realise alarm-correlation in cellular phone networks using extended logic programming which provides integrity constraints, implicit and...