Search Sciweavers | Sciweavers

4573 search results - page 130 / 915

» Automated Reasoning

131

Voted

GIS
2008
ACM

103views Automated Reasoning» more GIS 2008»

Towards provenance-aware geographic information systems

15 years 1 months ago

Download www.ncsa.illinois.edu

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

claim paper

Read More »

110

Voted

RR
2010
Springer

265views Automated Reasoning» more RR 2010»

Inconsistency-Tolerant Semantics for Description Logics

15 years 1 months ago

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

Domenico Lembo, Maurizio Lenzerini, Riccardo Rosat...

claim paper

Read More »

Voted

DLOG
2010

122views Automated Reasoning» more DLOG 2010»

Mastro at Work: Experiences on Ontology-Based Data Access

15 years 1 months ago

Download www.cs.uwaterloo.ca

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

claim paper

Read More »

Voted

DLOG
2010

109views Automated Reasoning» more DLOG 2010»

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

15 years 1 months ago

Download sisinflab.poliba.it

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

claim paper

Read More »

Voted

GIS
2010
ACM

122views Automated Reasoning» more GIS 2010»

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

15 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers