Search Sciweavers | Sciweavers

3470 search results - page 87 / 694

» Head-Elementary-Set-Free Logic Programs

125

click to vote

COCO
1997
Springer

81views Algorithms» more COCO 1997»

Complexity and Expressive Power of Logic Programming

15 years 10 months ago

Download cs.roosevelt.edu

Evgeny Dantsin, Thomas Eiter, Georg Gottlob, Andre...

claim paper

Read More »

144

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 »

133

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

Sciweavers

Explore & Download

Productivity Tools

Sciweavers