213 search results - page 21 / 43 » Automated Termination Analysis for Logic Programs with Cut |
105
click to vote
ICLP
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Information about the nondeterminism behavior of a functional logic program is important for various reasons. For instance, a nondeterministic choice in I/O operations re...
118
click to vote
LOPSTR
2004
Springer
15 years 6 months ago
2004
Springer
We propose an analysis for detecting procedures and goals that are deterministic (i.e. that produce at most one solution), or predicates whose clause tests are mutually exclusive (...
126
click to vote
IJCAI
2003
15 years 2 months ago
2003
We overview the development of first-order automated reasoning systems starting from their early years. Based on the analysis of current and potential applications of such systems...
116
click to vote
CL
2000
Springer
15 years 5 months ago
2000
Springer
In this paper, an algorithm for obtaining consistent answers to queries posed to inconsistent relational databases is presented. The algorith is proven to be sound, terminating and...
147
click to vote
ACSAC
2007
IEEE
15 years 7 months ago
2007
IEEE
We present an extension of traditional "black box" fuzz testing using a genetic algorithm based upon a Dynamic Markov Model fitness heuristic. This heuristic allows us t...