Search Sciweavers | Sciweavers

4617 search results - page 96 / 924

» Automation of Diagrammatic Reasoning

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

Download www.spatial.maine.edu

Max J. Egenhofer, Khaled K. Al-Taha

claim paper

Read More »

148

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

Download dl.kr.org

Shoham Ben-David, Richard J. Trefler, Grant E. Wed...

claim paper

Read More »

133

click to vote

DLOG
2007

100views Automated Reasoning» more DLOG 2007»

Combining Two Formalism for Reasoning about Concepts

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers