241 search results - page 1 / 49 » Bounded Nondeterminism of Logic Programs |
92
Voted
ICLP
1999
Springer
15 years 3 months ago
1999
Springer
We introduce the notion of bounded nondeterminism for logic programs and queries. A program and a query have bounded nondeterminism if there are finitely many refutations for the...
67
Voted
PPDP
2000
Springer
15 years 2 months ago
2000
Springer
99
Voted
COCO
2003
Springer
15 years 4 months ago
2003
Springer
We give machine characterisations and logical descriptions of a number of parameterized complexity classes. The focus of our attention is the class W[P], which we characterise as ...
85
Voted
ICLP
2005
Springer
15 years 4 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...
85
Voted
PODS
1990
ACM
15 years 2 months ago
1990
ACM
Previous researchers have proposed generalizations of Horn clause logic to support negation and nondeterminism as two separate extensions. In this paper, we show that the stable m...