1144 search results - page 69 / 229 » Logic programming for combinatorial problems |
146
click to vote
SIGCSE
2002
ACM
15 years 2 months ago
2002
ACM
This paper describes a tutorial program that serves a double role as an educational tool and a research environment. First, it introduces students to fundamental concepts of propo...
119
click to vote
GECCO
2004
Springer
15 years 7 months ago
2004
Springer
We present a new method of Logic-Based Genetic Programming (LBGP). Using the intrinsic mechanism of backtracking in Prolog, we utilize large individual programs with redundant clau...
127
click to vote
ILP
2005
Springer
15 years 7 months ago
2005
Springer
Recursive loops in a logic program present a challenging problem to the PLP framework. On the one hand, they loop forever so that the PLP backward-chaining inferences would never s...
153
click to vote
CORR
2004
Springer
15 years 2 months ago
2004
Springer
In this paper we analyze the relationship between cyclic definitions and consistency in GelfondLifschitz's answer sets semantics (initially defined as `stable model semantics...
123
click to vote
IJCAI
2007
15 years 3 months ago
2007
We present a fully connectionist system for the learning of first-order logic programs and the generation of corresponding models: Given a program and a set of training examples,...