Search Sciweavers | Sciweavers

4573 search results - page 87 / 915

» Automated Reasoning

139

click to vote

CSL
2001
Springer

135views Automated Reasoning» more CSL 2001»

Local Reasoning about Programs that Alter Data Structures

15 years 10 months ago

Download www.cse.ohio-state.edu

Peter W. O'Hearn, John C. Reynolds, Hongseok Yang

claim paper

Read More »

128

click to vote

ECSQARU
2001
Springer

104views Automated Reasoning» more ECSQARU 2001»

Probabilistic Logic under Coherence, Model-Theoretic Probabilistic Logic, and Default Reasoning

15 years 10 months ago

Download www.kr.tuwien.ac.at

Veronica Biazzo, Angelo Gilio, Thomas Lukasiewicz,...

claim paper

Read More »

148

click to vote

LPAR
2001
Springer

110views Automated Reasoning» more LPAR 2001»

Reasoning about Evolving Nonmonotonic Knowledge Bases

15 years 10 months ago

Download www.kr.tuwien.ac.at

Thomas Eiter, Michael Fink, Giuliana Sabbatini, Ha...

claim paper

Read More »

117

click to vote

CL
2000
Springer

114views Automated Reasoning» more CL 2000»

Reasoning about Duplicate Elimination with Description Logic

15 years 10 months ago

Download www.inf.unibz.it

Vitaliy L. Khizder, David Toman, Grant E. Weddell

claim paper

Read More »

148

click to vote

GIS
1992
ACM

129views Automated Reasoning» more GIS 1992»

Reasoning about Gradual Changes of Topological Relationships

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers