2974 search results - page 277 / 595 » Model-Driven Constraint Programming |
180
click to vote
ENDM
2000
15 years 6 months ago
2000
Planning and scheduling attracts an unceasing attention of computer science community. Several research areas like Artificial Intelligence, Operations Research and Constraint Prog...
181
click to vote
CONSTRAINTS
1998
15 years 6 months ago
1998
This paper describes an architecture that begins with enough general knowledge to play any board game as a novice, and then shifts its decision-making emphasis to learned, game-sp...
171
click to vote
JFP
2008
15 years 5 months ago
2008
The HM(X) system is a generalization of the Hindley/Milner system parameterized in the constraint domain X. Type inference is performed by generating constraints out of the progra...
166
click to vote
SPIN
2007
Springer
16 years 22 days ago
2007
Springer
We propose an algorithm to compute a counterexample of minimal size to some property in a finite state program, using the same space constraints than SPIN. This algorithm uses nes...
160
click to vote
LPNMR
2005
Springer
16 years 3 days ago
2005
Springer
Given two classes of logic programs, we may be interested in modular translations from one class into the other that are sound wth respect to the answer set semantics. The main the...