Search Sciweavers | Sciweavers

5198 search results - page 276 / 1040

» A Logic of Agent Programs

115

click to vote

LOPSTR
1997
Springer

76views Automated Reasoning» more LOPSTR 1997»

Preserving Termination of Tabled Logic Programs While Unfolding

15 years 10 months ago

Download repository.readscheme.org

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

claim paper

Read More »

124

click to vote

SAS
1997
Springer

103views Formal Methods» more SAS 1997»

An Algebraic Approach to Sharing Analysis of Logic Programs

15 years 10 months ago

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

Michael Codish, Vitaly Lagoon, Francisco Bueno

claim paper

Read More »

129

click to vote

AADEBUG
1993
Springer

123views Software Engineering» more AADEBUG 1993»

Debugging Logic Programs Using Specifications

15 years 10 months ago

Download www.cs.tau.ac.il

Yuh-Jeng Lee, Nachum Dershowitz

claim paper

Read More »

141

click to vote

ECML
1993
Springer

73views Machine Learning» more ECML 1993»

Inductive Logic Programming: Derivations, Successes and Shortcomings

15 years 10 months ago

Download www.doc.ic.ac.uk

Stephen Muggleton

claim paper

Read More »

113

click to vote

EPIA
1993
Springer

86views Artificial Intelligence» more EPIA 1993»

Diagnosis and Debugging as Contradiction Removal in Logic Programs

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers