1151 search results - page 22 / 231 » Collaborative Programming: Applications of Logic and Automat... |
168
click to vote
ICLP
1999
Springer
15 years 10 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...
141
Voted
CADE
2002
Springer
16 years 6 months ago
2002
Springer
124
click to vote
ELP
1989
15 years 10 months ago
1989
BSTRACTION, FUNCTION VARIABLES, AND SIMPLE UNIFICATION: Abstract Draft, 20 September 1989 Dale Miller Department of Computer and Information Science University of Pennsylvania Phil...
147
click to vote
FLOPS
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. In this paper, we propose more flexible applicability conditions for the folding rule that increase the power of existing unfold/fold systems for normal logic programs. O...