421 search results - page 53 / 85 » Extension of Ontologies Assisted by Automated Reasoning Syst... |
NMR
2004
Springer
15 years 4 months ago
2004
Springer
The action language A is a simple high-level language for describing transition systems. In this paper, we extend the action language A by allowing a unary modal operator in the u...
198
click to vote
GIS
2008
ACM
16 years 5 days ago
2008
ACM
Geospatial information integration is not a trivial task. An integrated view must be able to describe various heterogeneous data sources and its interrelation to obtain shared con...
CADE
2006
Springer
15 years 11 months ago
2006
Springer
Church's Higher Order Logic is a basis for proof assistants -- HOL and PVS. Church's logic has a simple set-theoretic semantics, making it trustworthy and extensible. We ...
84
Voted
GIS
2000
ACM
15 years 2 months ago
2000
ACM
Uncertainty management for geometric data is currently an important problem for (extensible) databases in general and for spatial databases, image databases, and GIS in particular...
LPAR
2010
Springer
14 years 9 months ago
2010
Springer
We consider a mild extension of universal algebra in which terms are built both from deterministic and probabilistic variables, and are interpreted as distributions. We formulate a...