39 search results - page 7 / 8 » Ordering Constraints over Feature Trees Expressed in Second-... |
AI
2010
Springer
15 years 14 days ago
2010
Springer
Combining constraints using logical connectives such as disjunction is ubiquitous in constraint programming, because it adds considerable expressive power to a constraint language...
113
Voted
ECAI
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Interval temporal logics formalize reasoning about interval structures over (usually) linearly ordered domains, where time intervals are the primitive ontological entitie...
143
click to vote
SAS
1992
Springer
15 years 4 months ago
1992
Springer
Abstract Constraint logic programming (CLP) is a generalization of the pure logic programming paradigm, having similar model-theoretic, fixpoint and operational semantics [9]. Sinc...
107
click to vote
CADE
2008
Springer
16 years 19 days ago
2008
Springer
We propose a procedure for automated implicit inductive theorem proving for equational specifications made of rewrite rules with conditions and constraints. The constraints are int...
99
Voted
ISSTA
2004
ACM
15 years 5 months ago
2004
ACM
Constraints in predicate or relational logic can be translated into boolean logic and solved with a SAT solver. For faster solving, it is common to exploit the typing of predicate...