Search Sciweavers | Sciweavers

3738 search results - page 196 / 748

» Parametrized Logic Programming

click to vote

LFCS
1997
Springer

94views Artificial Intelligence» more LFCS 1997»

Basic Forward Chaining Construction for Logic Programs

15 years 6 months ago

Download www.cs.uky.edu

V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel

claim paper

Read More »

click to vote

LOPSTR
1997
Springer

76views Automated Reasoning» more LOPSTR 1997»

Preserving Termination of Tabled Logic Programs While Unfolding

15 years 6 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 6 months ago

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

Michael Codish, Vitaly Lagoon, Francisco Bueno

claim paper

Read More »

click to vote

AADEBUG
1993
Springer

123views Software Engineering» more AADEBUG 1993»

Debugging Logic Programs Using Specifications

15 years 6 months ago

Download www.cs.tau.ac.il

Yuh-Jeng Lee, Nachum Dershowitz

claim paper

Read More »

107

click to vote

ECML
1993
Springer

73views Machine Learning» more ECML 1993»

Inductive Logic Programming: Derivations, Successes and Shortcomings

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers