Search Sciweavers | Sciweavers

3856 search results - page 17 / 772

» Models for Automated Earthmoving

129

Voted

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 »

118

Voted

ICLP
1992
Springer

85views Automated Reasoning» more ICLP 1992»

The Stable Models of a Predicate Logic Program

15 years 10 months ago

Download www.cs.uky.edu

V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel

claim paper

Read More »

138

click to vote

LICS
1992
IEEE

78views Automated Reasoning» more LICS 1992»

Symbolic Model Checking for Real-time Systems

15 years 10 months ago

Download mtc.epfl.ch

Thomas A. Henzinger, Xavier Nicollin, Joseph Sifak...

claim paper

Read More »

127

click to vote

GIS
1998
ACM

104views Automated Reasoning» more GIS 1998»

Abstract and Discrete Modeling of Spatio-Temporal Data Types

15 years 9 months ago

Download web.engr.oregonstate.edu

Martin Erwig, Ralf Hartmut Güting, Markus Sch...

claim paper

Read More »

147

click to vote

DLOG
2007

82views Automated Reasoning» more DLOG 2007»

Modal vs. Propositional Reasoning for model checking with Description Logics

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers