Sciweavers

3671 search results - page 201 / 735

» On Garbage and Program Logic

156

ECML
1993
Springer

73views Machine Learning» more ECML 1993»

Inductive Logic Programming: Derivations, Successes and Shortcomings

15 years 11 months ago

Inductive Logic Programming: Derivations, Successes and Shortcomings

Download www.doc.ic.ac.uk

Stephen Muggleton

claim paper

Read More »

127

Voted

EPIA
1993
Springer

86views Artificial Intelligence» more EPIA 1993»

Diagnosis and Debugging as Contradiction Removal in Logic Programs

15 years 11 months ago

Diagnosis and Debugging as Contradiction Removal in Logic Programs

Download centria.di.fct.unl.pt

Luís Moniz Pereira, Carlos Viegas Dam&aacut...

claim paper

Read More »

166

Voted

ICLP
1993
Springer

146views Automated Reasoning» more ICLP 1993»

Some Paradigms for Visualizing Parallel Execution of Logic Programs

15 years 11 months ago

Some Paradigms for Visualizing Parallel Execution of Logic Programs

Download www.clip.dia.fi.upm.es

Manuel Carro, Luis Manuel Gómez Henrí...

claim paper

Read More »

141

Voted

ICLP
1993
Springer

79views Automated Reasoning» more ICLP 1993»

A Monotonicity Theorem for Extended Logic Programs

15 years 11 months ago

A Monotonicity Theorem for Extended Logic Programs

Download www.d.umn.edu

Hudson Turner

claim paper

Read More »

149

COLT
1992
Springer

99views Machine Learning» more COLT 1992»

PAC-Learnability of Determinate Logic Programs

15 years 11 months ago

PAC-Learnability of Determinate Logic Programs

Download www.doc.ic.ac.uk

Saso Dzeroski, Stephen Muggleton, Stuart J. Russel...

claim paper

Read More »

« Prev « First page 201 / 735 Last » Next »