754 search results - page 54 / 151 » An Ordered Logic Program Solver |
136
Voted
GECCO
2004
Springer
15 years 10 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...
124
click to vote
JELIA
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Tabled evaluation is a recognized and powerful implementation technique that overcomes some limitations of traditional Prolog systems in dealing with recursion and redund...
161
Voted
ICML
2007
IEEE
16 years 5 months ago
2007
IEEE
The paper presents a kernel for learning from ordered hypergraphs, a formalization that captures relational data as used in Inductive Logic Programming (ILP). The kernel generaliz...
172
Voted
OPODIS
2003
15 years 6 months ago
2003
Detecting whether a finite execution trace (or a computation) of a distributed program satisfies a given predicate, called predicate detection, is a fundamental problem in distr...
159
click to vote
ISMIS
1994
Springer
15 years 8 months ago
1994
Springer
We assume that safety of information stored in a database depends on the reliability of the agents who have performed the insertions in the database. We present a logic S to repres...