6554 search results - page 50 / 1311 » Constraint Logic Programming |
141
click to vote
CPAIOR
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Logic-based Benders decomposition can combine mixed integer programming and constraint programming to solve planning and scheduling problems much faster than either metho...
98
Voted
FOSSACS
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Logics that can reason about sets and their cardinality bounds are useful in program analysis, program verification, databases, and knowledge bases. This paper presents ...
133
Voted
ICLP
2003
Springer
15 years 7 months ago
2003
Springer
Concurrent constraint programming (ccp) is a model of concurrency for systems in which agents (also called processes) interact with one another by telling and asking information in...
110
Voted
ICLP
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. We propose a generic type system for the Constraint Handling Rules (CHR), a rewriting rule language for implementing constraint solvers. CHR being a high-level extension ...
109
click to vote
FAABS
2000
Springer
15 years 6 months ago
2000
Springer
This paper integrates research in robot programming and reasoning about action with research in model-based reasoning about physical systems to provide a capability for modeling an...