Search Sciweavers | Sciweavers

4617 search results - page 141 / 924

» Automation of Diagrammatic Reasoning

183

click to vote

CSL
2002
Springer

105views Automated Reasoning» more CSL 2002»

Trading Probability for Fairness

15 years 6 months ago

Download mtc.epfl.ch

d Abstract) Marcin Jurdzi

Marcin Jurdzinski, Orna Kupferman, Thomas A. Henzi...

claim paper

Read More »

139

click to vote

GIS
1998
ACM

69views Automated Reasoning» more GIS 1998»

A Geographical Information System for a GPS Based Personal Guidance System

15 years 6 months ago

Download www.geog.ucsb.edu

Reginald G. Golledge, Roberta L. Klatzky, Jack M. ...

claim paper

Read More »

164

click to vote

GIS
2008
ACM

103views Automated Reasoning» more GIS 2008»

Towards provenance-aware geographic information systems

15 years 4 months ago

Download www.ncsa.illinois.edu

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

claim paper

Read More »

143

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 »

116

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

Sciweavers

Explore & Download

Productivity Tools

Sciweavers