3693 search results - page 50 / 739 » Splitting a Logic Program |
121
click to vote
JAVA
2000
Springer
15 years 8 months ago
2000
Springer
This paper describes the design, implementation, and performance of a Java framework for supporting a style of parallel programming in which problems are solved by (recursively) s...
165
click to vote
AGP
2003
IEEE
15 years 9 months ago
2003
IEEE
Many NP-complete problems can be encoded in the answer set semantics of logic programs in a very concise way, where the encoding reflects the typical “guess and check” nature ...
140
click to vote
ACL
1998
15 years 5 months ago
1998
There exist several methods of calculating a similarity curve, or a sequence of similarity values, representing the lexical cohesion of successive text constituents, e.g., paragra...
176
click to vote
IOR
2011
14 years 11 months ago
2011
In this paper, we give a finite disjunctive programming procedure to obtain the convex hull of general mixed-integer linear programs (MILP) with bounded integer variables. We prop...
131
click to vote
CLIMA
2007
15 years 6 months ago
2007
Over the years, Logic Programming has proved to be a good and natural tool for expressing, querying and manipulating explicit knowledge in many areas of computer science. However, ...