1097 search results - page 121 / 220 » Revision Programming = Logic Programming Integrity Constra... |
126
click to vote
CP
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. We present a cooperation technique using an accurate management of nogoods to solve a hard real-time problem which consists in assigning periodic tasks to processors in t...
140
Voted
CADE
2011
Springer
14 years 3 months ago
2011
Springer
Abstract. Methods exploiting problem symmetries have been very successful in several areas including constraint programming and SAT solving. We here recast a technique to enhance t...
108
Voted
LPNMR
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. The logic FO(ID) uses ideas from the field of logic programming to extend first order logic with non-monotone inductive definitions. The goal of this paper is to exten...
125
Voted
TLDI
2009
ACM
16 years 8 days ago
2009
ACM
We propose a dependent type theory that integrates programming, specifications, and reasoning about higher-order concurrent programs with shared transactional memory. The design ...
235
Voted
GECCO
2003
Springer
15 years 8 months ago
2003
Springer
This paper proposes a method for dealing with numerical attributes in inductive concept learning systems based on genetic algorithms. The method uses constraints for restricting th...