705 search results - page 9 / 141 » Constraint-based Modeling and Ambiguity |
111
click to vote
WFLP
2009
Springer
15 years 4 months ago
2009
Springer
Numerous computational and deductive frameworks use the notion of strategy to guide reduction and search space exploration, making the macro scale control of micro operations an ex...
108
Voted
CP
2000
Springer
15 years 4 months ago
2000
Springer
The Constraint-Based Agent (CBA) framework is a set of tools for designing, simulating, building, verifying, optimizing, learning and debugging controllers for agents embedded in a...
84
Voted
CP
1998
Springer
15 years 3 months ago
1998
Springer
In this paper we describe a paradigm for contentfocused matchmaking, based on a recently proposed model for constraint acquisition-and-satisfaction. Matchmaking agents are conceiv...
112
click to vote
CAV
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. This paper presents a constraint-based technique for discovering a rich class of inductive invariants (boolean combinations of polynomial inequalities of bounded degree) ...
107
click to vote
CORR
2012
Springer
13 years 7 months ago
2012
Springer
We present a novel approach to constraintbased causal discovery, that takes the form of straightforward logical inference, applied to a list of simple, logical statements about ca...