Search Sciweavers | Sciweavers

3572 search results - page 184 / 715

» Nominal Logic Programming

click to vote

LOPSTR
1997
Springer

76views Automated Reasoning» more LOPSTR 1997»

Preserving Termination of Tabled Logic Programs While Unfolding

15 years 7 months ago

Download repository.readscheme.org

Michael Leuschel, Bern Martens, Konstantinos F. Sa...

claim paper

Read More »

click to vote

SAS
1997
Springer

103views Formal Methods» more SAS 1997»

An Algebraic Approach to Sharing Analysis of Logic Programs

15 years 7 months ago

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

Michael Codish, Vitaly Lagoon, Francisco Bueno

claim paper

Read More »

101

click to vote

AADEBUG
1993
Springer

123views Software Engineering» more AADEBUG 1993»

Debugging Logic Programs Using Specifications

15 years 7 months ago

Download www.cs.tau.ac.il

Yuh-Jeng Lee, Nachum Dershowitz

claim paper

Read More »

113

click to vote

ECML
1993
Springer

73views Machine Learning» more ECML 1993»

Inductive Logic Programming: Derivations, Successes and Shortcomings

15 years 7 months ago

Download www.doc.ic.ac.uk

Stephen Muggleton

claim paper

Read More »

click to vote

EPIA
1993
Springer

86views Artificial Intelligence» more EPIA 1993»

Diagnosis and Debugging as Contradiction Removal in Logic Programs

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers