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

14 years 13 days 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

14 years 13 days 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

14 years 13 days 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

14 years 12 days ago

Download www.cs.tau.ac.il

Yuh-Jeng Lee, Nachum Dershowitz

claim paper

Read More »

click to vote

ECML
1993
Springer

73views Machine Learning» more ECML 1993»

Inductive Logic Programming: Derivations, Successes and Shortcomings

14 years 12 days ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers