257 search results - page 23 / 52 » The Connectionist Inductive Learning and Logic Programming S... |
134
click to vote
CORR
2010
Springer
15 years 2 months ago
2010
Springer
Proof search has been used to specify a wide range of computation systems. In order to build a framework for reasoning about such specifications, we make use of a sequent calculus...
123
click to vote
CORR
2007
Springer
15 years 2 months ago
2007
Springer
This is to present work on modifying the Aleph ILP system so that it evaluates the hypothesised clauses in parallel by distributing the data-set among the nodes of a parallel or di...
116
click to vote
ICML
2009
IEEE
16 years 3 months ago
2009
IEEE
We describe an algorithm for constructing a set of acyclic conjunctive relational features by combining smaller conjunctive blocks. Unlike traditional level-wise approaches which ...
115
click to vote
UAI
2003
15 years 3 months ago
2003
Abstract. In Datalog, missing values are represented by Skolem constants. More generally, in logic programming missing values, or existentially quantified variables, are represent...
115
click to vote
IJCNN
2007
IEEE
15 years 8 months ago
2007
IEEE
— The assessment of highly-risky situations at road intersections have been recently revealed as an important research topic within the context of the automotive industry. In thi...