Search Sciweavers | Sciweavers

4573 search results - page 130 / 915

» Automated Reasoning

166

click to vote

GIS
2008
ACM

103views Automated Reasoning» more GIS 2008»

Towards provenance-aware geographic information systems

15 years 5 months ago

Download www.ncsa.illinois.edu

Shaowen Wang, Anand Padmanabhan, James D. Myers, W...

claim paper

Read More »

144

click to vote

RR
2010
Springer

265views Automated Reasoning» more RR 2010»

Inconsistency-Tolerant Semantics for Description Logics

15 years 4 months ago

Download acsi-project.haifa.il.ibm.com

Domenico Lembo, Maurizio Lenzerini, Riccardo Rosat...

claim paper

Read More »

117

click to vote

DLOG
2010

122views Automated Reasoning» more DLOG 2010»

Mastro at Work: Experiences on Ontology-Based Data Access

15 years 4 months ago

Download www.cs.uwaterloo.ca

Domenico Fabio Savo, Domenico Lembo, Maurizio Lenz...

claim paper

Read More »

118

click to vote

DLOG
2010

109views Automated Reasoning» more DLOG 2010»

Second-Order Description Logics: Semantics, Motivation, and a Calculus

15 years 4 months ago

Download sisinflab.poliba.it

Simona Colucci, Tommaso Di Noia, Eugenio Di Sciasc...

claim paper

Read More »

126

click to vote

GIS
2010
ACM

122views Automated Reasoning» more GIS 2010»

Show me how you move and I will tell you who you are

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers