Search Sciweavers | Sciweavers

12745 search results - page 185 / 2549

» Automating test automation

163

click to vote

EWCBR
1994
Springer

144views Automated Reasoning» more EWCBR 1994»

A CBR Knowledge Representation for Practical Ethics

15 years 11 months ago

Download www.cs.cmu.edu

Kevin D. Ashley, Bruce M. McLaren

claim paper

Read More »

170

Voted

ICLP
1993
Springer

146views Automated Reasoning» more ICLP 1993»

Some Paradigms for Visualizing Parallel Execution of Logic Programs

15 years 11 months ago

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

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

claim paper

Read More »

136

click to vote

ICLP
1994
Springer

111views Automated Reasoning» more ICLP 1994»

A Database Interface for Complex Objects

15 years 11 months ago

Download www.hpl.hp.com

Marcel Holsheimer, Rolf A. de By, Hassan Aït-...

claim paper

Read More »

140

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 11 months ago

Download www-philo.univ-paris1.fr

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

claim paper

Read More »

127

click to vote

KR
1994
Springer

93views Automated Reasoning» more KR 1994»

GSAT and Dynamic Backtracking

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers