Search Sciweavers | Sciweavers

4573 search results - page 96 / 915

» Automated Reasoning

click to vote

LOPSTR
1997
Springer

76views Automated Reasoning» more LOPSTR 1997»

Preserving Termination of Tabled Logic Programs While Unfolding

15 years 7 months ago

Download repository.readscheme.org

Michael Leuschel, Bern Martens, Konstantinos F. Sa...

claim paper

Read More »

101

Voted

TPHOL
1993
IEEE

97views Automated Reasoning» more TPHOL 1993»

Toward a Super Duper Hardware Tactic

15 years 7 months ago

Download dblab.mgt.ncu.edu.tw

Mark Aagaard, Miriam Leeser, Phillip J. Windley

claim paper

Read More »

115

click to vote

EWCBR
1994
Springer

144views Automated Reasoning» more EWCBR 1994»

A CBR Knowledge Representation for Practical Ethics

15 years 7 months ago

Download www.cs.cmu.edu

Kevin D. Ashley, Bruce M. McLaren

claim paper

Read More »

121

click to vote

ICLP
1993
Springer

146views Automated Reasoning» more ICLP 1993»

Some Paradigms for Visualizing Parallel Execution of Logic Programs

15 years 7 months ago

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

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

claim paper

Read More »

click to vote

ICLP
1994
Springer

111views Automated Reasoning» more ICLP 1994»

A Database Interface for Complex Objects

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers