Search Sciweavers | Sciweavers

1313 search results - page 17 / 263

» Prioritized Reasoning in Logic Programming

117

click to vote

CL
2000
Springer

85views Automated Reasoning» more CL 2000»

Partial Models of Extended Generalized Logic Programs

15 years 10 months ago

Download centria.di.fct.unl.pt

José Júlio Alferes, Heinrich Herre, ...

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 »

149

click to vote

ICLP
1993
Springer

146views Automated Reasoning» more ICLP 1993»

Some Paradigms for Visualizing Parallel Execution of Logic Programs

15 years 10 months ago

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

Manuel Carro, Luis Manuel Gómez Henrí...

claim paper

Read More »

120

click to vote

ICLP
1992
Springer

98views Automated Reasoning» more ICLP 1992»

Query Restricted Bottom-Up Evaluation of Normal Logic Programs

15 years 10 months ago

Download reference.kfupm.edu.sa

David B. Kemp, Peter J. Stuckey, Divesh Srivastava

claim paper

Read More »

116

click to vote

ICLP
1992
Springer

85views Automated Reasoning» more ICLP 1992»

The Stable Models of a Predicate Logic Program

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers