Search Sciweavers | Sciweavers

4617 search results - page 105 / 924

» Automation of Diagrammatic Reasoning

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 »

135

click to vote

TPHOL
1993
IEEE

97views Automated Reasoning» more TPHOL 1993»

Toward a Super Duper Hardware Tactic

15 years 10 months ago

Download dblab.mgt.ncu.edu.tw

Mark Aagaard, Miriam Leeser, Phillip J. Windley

claim paper

Read More »

147

click to vote

EWCBR
1994
Springer

144views Automated Reasoning» more EWCBR 1994»

A CBR Knowledge Representation for Practical Ethics

15 years 10 months ago

Download www.cs.cmu.edu

Kevin D. Ashley, Bruce M. McLaren

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 »

116

click to vote

ICLP
1994
Springer

111views Automated Reasoning» more ICLP 1994»

A Database Interface for Complex Objects

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers