132 search results - page 7 / 27 » A System for Abductive Learning of Logic Programs |
103
click to vote
ACL
2012
12 years 12 months ago
2012
Most information extraction (IE) systems identify facts that are explicitly stated in text. However, in natural language, some facts are implicit, and identifying them requires ā...
EPIA
2007
Springer
15 years 3 months ago
2007
Springer
As we face the real possibility of modelling agent systems capable of non-deterministic self-evolution, we are confronted with the problem of having several different possible futu...
JSC
2010
14 years 8 months ago
2010
We study the automated veriļ¬cation of pointer safety for heap-manipulating imperative programs with unknown procedure calls. Given a Hoare-style partial correctness speciļ¬cati...
174
click to vote
PADL
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. For practical applications, the use of top-down query-driven proofprocedures is essential for an efficient use and computation of answers using Logic Programs as knowledg...
APIN
1999
14 years 9 months ago
1999
The Connectionist Inductive Learning and Logic Programming System, C-IL 2 P, integrates the symbolic and connectionist paradigms of Artificial Intelligence through neural networks...