Search Sciweavers | Sciweavers

3693 search results - page 178 / 739

» Splitting a Logic Program

143

click to vote

ICLP
1997
Springer

70views Automated Reasoning» more ICLP 1997»

Optimization of Logic Programs with Dynamic Scheduling

15 years 10 months ago

Download clip.dia.fi.upm.es

Germán Puebla, Maria J. García de la...

claim paper

Read More »

131

click to vote

ILP
1997
Springer

116views Automated Reasoning» more ILP 1997»

Normal Forms for Inductive Logic Programming

15 years 10 months ago

Download www.cs.bris.ac.uk

Peter A. Flach

claim paper

Read More »

127

click to vote

LFCS
1997
Springer

94views Artificial Intelligence» more LFCS 1997»

Basic Forward Chaining Construction for Logic Programs

15 years 10 months ago

Download www.cs.uky.edu

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

claim paper

Read More »

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

Sciweavers

Explore & Download

Productivity Tools

Sciweavers