Sciweavers

3566 search results - page 172 / 714

» Signed Logic Programs

91

Voted

SAS
1997
Springer

103views Formal Methods» more SAS 1997»

An Algebraic Approach to Sharing Analysis of Logic Programs

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

97

Voted

AADEBUG
1993
Springer

123views Software Engineering» more AADEBUG 1993»

Debugging Logic Programs Using Specifications

15 years 6 months ago

Debugging Logic Programs Using Specifications

Download www.cs.tau.ac.il

Yuh-Jeng Lee, Nachum Dershowitz

claim paper

Read More »

110

Voted

ECML
1993
Springer

73views Machine Learning» more ECML 1993»

Inductive Logic Programming: Derivations, Successes and Shortcomings

15 years 6 months ago

Inductive Logic Programming: Derivations, Successes and Shortcomings

Download www.doc.ic.ac.uk

Stephen Muggleton

claim paper

Read More »

81

Voted

EPIA
1993
Springer

86views Artificial Intelligence» more EPIA 1993»

Diagnosis and Debugging as Contradiction Removal in Logic Programs

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

120

Voted

ICLP
1993
Springer

146views Automated Reasoning» more ICLP 1993»

Some Paradigms for Visualizing Parallel Execution of Logic Programs

15 years 6 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 172 / 714 Last » Next »