Search Sciweavers | Sciweavers

3776 search results - page 67 / 756

» Partition-Based Logical Reasoning

134

click to vote

LOPSTR
1998
Springer

91views Automated Reasoning» more LOPSTR 1998»

Attempto Controlled English - Not Just Another Logic Specification Language

15 years 10 months ago

Download attempto.ifi.uzh.ch

Norbert E. Fuchs, Uta Schwertel, Rolf Schwitter

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 »

150

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 »

124

click to vote

KGC
1993
Springer

72views Automated Reasoning» more KGC 1993»

The Structure of Exponentials: Uncovering the Dynamics of Linear Logic Proofs

15 years 10 months ago

Download www-philo.univ-paris1.fr

Vincent Danos, Jean-Baptiste Joinet, Harold Schell...

claim paper

Read More »

121

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

Sciweavers

Explore & Download

Productivity Tools

Sciweavers