977 search results - page 157 / 196 » Logic programming with infinite sets |
121
click to vote
GECCO
2009
Springer
15 years 7 months ago
2009
Springer
Most of the software developed in the world follows the object-oriented (OO) paradigm. However, the existing work on evolutionary testing is mainly targeted to procedural language...
110
Voted
ICLP
2007
Springer
15 years 6 months ago
2007
Springer
This paper describes the dlvhex SPARQL plugin, a query processor for the upcoming Semantic Web query language standard by W3C. We report on the implementation of this languages usi...
84
Voted
LCPC
2001
Springer
15 years 5 months ago
2001
Springer
Integer division, modulo, and remainder operations are expressive and useful operations. They are logical candidates to express complex data accesses such as the wrap-around behav...
110
click to vote
CORR
2010
Springer
15 years 17 days ago
2010
Springer
Testing is a vital part of the software development process. Test Case Generation (TCG) is the process of automatically generating a collection of test-cases which are applied to ...
140
click to vote
AI
2011
Springer
14 years 7 months ago
2011
Springer
This paper describes our methodology for building conformant planners, which is based on recent advances in the theory of action and change and answer set programming. The develop...