Search Sciweavers | Sciweavers

4617 search results - page 106 / 924

» Automation of Diagrammatic Reasoning

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 »

112

click to vote

KR
1994
Springer

93views Automated Reasoning» more KR 1994»

GSAT and Dynamic Backtracking

15 years 10 months ago

Download www.aaai.org

Matthew L. Ginsberg, David A. McAllester

claim paper

Read More »

129

click to vote

GIS
1992
ACM

103views Automated Reasoning» more GIS 1992»

A Conceptual Model of Wayfinding Using Multiple Levels of Abstraction

15 years 10 months ago

Download www.spatial.maine.edu

Sabine Timpf, Gary S. Volta, David W. Pollock, Max...

claim paper

Read More »

143

click to vote

ICLP
1992
Springer

87views Automated Reasoning» more ICLP 1992»

Understanding Finiteness Analysis Using Abstract Interpretation

15 years 10 months ago

Download www.cs.arizona.edu

Peter A. Bigot, Saumya K. Debray, Kim Marriott

claim paper

Read More »

115

click to vote

ICLP
1992
Springer

76views Automated Reasoning» more ICLP 1992»

Multistage Indexing Algorithms for Speeding Prolog Execution

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers