Search Sciweavers | Sciweavers

7213 search results - page 20 / 1443

» Automated model grouping

118

click to vote

CL
2000
Springer

85views Automated Reasoning» more CL 2000»

Partial Models of Extended Generalized Logic Programs

15 years 10 months ago

Download centria.di.fct.unl.pt

José Júlio Alferes, Heinrich Herre, ...

claim paper

Read More »

131

click to vote

LICS
1996
IEEE

96views Automated Reasoning» more LICS 1996»

Model-Checking of Correctness Conditions for Concurrent Objects

15 years 10 months ago

Download www.cadence.com

Rajeev Alur, Kenneth L. McMillan, Doron Peled

claim paper

Read More »

128

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 »

116

click to vote

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 »

135

click to vote

LICS
1992
IEEE

78views Automated Reasoning» more LICS 1992»

Symbolic Model Checking for Real-time Systems

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers