Search Sciweavers | Sciweavers

3738 search results - page 197 / 748

» Parametrized Logic Programming

click to vote

EPIA
1993
Springer

86views Artificial Intelligence» more EPIA 1993»

Diagnosis and Debugging as Contradiction Removal in Logic Programs

14 years 12 days ago

Download centria.di.fct.unl.pt

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

claim paper

Read More »

click to vote

ICLP
1993
Springer

146views Automated Reasoning» more ICLP 1993»

Some Paradigms for Visualizing Parallel Execution of Logic Programs

14 years 12 days ago

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

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

claim paper

Read More »

click to vote

ICLP
1993
Springer

79views Automated Reasoning» more ICLP 1993»

A Monotonicity Theorem for Extended Logic Programs

14 years 12 days ago

Download www.d.umn.edu

Hudson Turner

claim paper

Read More »

click to vote

COLT
1992
Springer

99views Machine Learning» more COLT 1992»

PAC-Learnability of Determinate Logic Programs

14 years 12 days ago

Download www.doc.ic.ac.uk

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

claim paper

Read More »

click to vote

LPAR
1993
Springer

92views Automated Reasoning» more LPAR 1993»

Sequentialization of Parallel Logic Programs with Mode Analysis

14 years 12 days ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers