Search Sciweavers | Sciweavers

344 search results - page 4 / 69

» Probabilistic Inductive Logic Programming

click to vote

CADE
2010
Springer

251views Logical Reasoning» more CADE 2010»

Automated Synthesis of Induction Axioms for Programs with Second-Order Recursion

13 years 7 months ago

Download www.mais.informatik.tu-darmstadt.de

In order to support the verification of programs, verification tools such as ACL2 or Isabelle try to extract suitable induction axioms from the definitions of terminating, recursiv...

Markus Aderhold

claim paper

Read More »

click to vote

AWIC
2005
Springer

127views Internet Technology» more AWIC 2005»

Tuples Extraction from HTML Using Logic Wrappers and Inductive Logic Programming

13 years 11 months ago

Download software.ucv.ro

This paper presents an approach for applying inductive logic programming to information extraction from HTML documents structured as unranked ordered trees. We consider information...

Costin Badica, Amelia Badica, Elvira Popescu

claim paper

Read More »

click to vote

ICML
2005
IEEE

102views Machine Learning» more ICML 2005»

Learning the structure of Markov logic networks

14 years 6 months ago

Download www.cs.washington.edu

Markov logic networks (MLNs) combine logic and probability by attaching weights to first-order clauses, and viewing these as templates for features of Markov networks. In this pap...

Stanley Kok, Pedro Domingos

claim paper

Read More »

click to vote

LLL
1999
Springer

357views Automated Reasoning» more LLL 1999»

An Introduction to Inductive Logic Programming and Learning Language in Logic

13 years 10 months ago

Download www-users.cs.york.ac.uk

Saso Dzeroski, James Cussens, Suresh Manandhar

claim paper

Read More »