Sciweavers

3470 search results - page 88 / 694

» Head-Elementary-Set-Free Logic Programs

124

SAS
1997
Springer

103views Formal Methods» more SAS 1997»

An Algebraic Approach to Sharing Analysis of Logic Programs

15 years 10 months ago

An Algebraic Approach to Sharing Analysis of Logic Programs

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

Michael Codish, Vitaly Lagoon, Francisco Bueno

claim paper

Read More »

129

AADEBUG
1993
Springer

123views Software Engineering» more AADEBUG 1993»

Debugging Logic Programs Using Specifications

15 years 10 months ago

Debugging Logic Programs Using Specifications

Download www.cs.tau.ac.il

Yuh-Jeng Lee, Nachum Dershowitz

claim paper

Read More »

142

ECML
1993
Springer

73views Machine Learning» more ECML 1993»

Inductive Logic Programming: Derivations, Successes and Shortcomings

15 years 10 months ago

Inductive Logic Programming: Derivations, Successes and Shortcomings

Download www.doc.ic.ac.uk

Stephen Muggleton

claim paper

Read More »

115

EPIA
1993
Springer

86views Artificial Intelligence» more EPIA 1993»

Diagnosis and Debugging as Contradiction Removal in Logic Programs

15 years 10 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 »

150

ICLP
1993
Springer

146views Automated Reasoning» more ICLP 1993»

Some Paradigms for Visualizing Parallel Execution of Logic Programs

15 years 10 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 »

« Prev « First page 88 / 694 Last » Next »