This paper presents an axiomatic formalization of a theory of top-level relations between
three categories of entities: individuals, universals, and collections. We deal with a variety of …

Objective Geographic information technology is evolving from a Geographic Information
System to aGeographic Information Service, given the increasingly widespread use of the …

In this paper we present by a case study an approach to the verification of security protocols
based on Abductive Logic Programming. We start from the perspective of open multi-agent …

In the previous chapters, we studied movement data from several perspectives: the
application opportunities, the type of analytical questions, the modeling requirements, and …

目的随着互联网的广泛应用, 地理信息技术已经从地理信息系统向地理信息服务转变.
人们不仅希望从网络上获取地理空间数据和信息, 同时也希望在网络上获取地理空间知识 …

Rule interchange between information systems is expanding as new interoperable rule
formats are emerging from research. However, existing spatial inference systems generally …

Dipartimento di Informatica-Università degli Studi del Piemonte Orientale high on the
research agenda a few years ago, like integration of Machine Learning and Statistics, have …

Advances in GIS and databases for dealing with spatiotemporal frameworks are leading to
efficient querying, analyzing, and reasoning about moving objects/agents. However …

There is great potential for the development of many new applications using data on mobile
objects and mobile regions. To promote these kinds of applications advanced data …

With the development of geoscience, users are eager to obtain preferred service from
geospatial information intelligently and automatically. However, the information grows …