Sciweavers

2519 search results - page 232 / 504
» Reasoning with Textual Cases
Sort
View
AMAI
2004
Springer
15 years 6 months ago
Multi-Agent Systems Specification and Certification: A Situation and State Calculus Approach
We address the topic of specifying multi-agent systems using the situation and state calculus (SSC). SSC has been proposed as an extension of the situation calculus to overcome so...
Paula Gouveia, Jaime Ramos
GIS
2000
ACM
15 years 6 months ago
Actor-networks and implementation: examples from conservation GIS in Ecuador
Recommendationsfor implementationand evaluation of Geographical Information Systems (GIS) can bene t from a broader theoretical foundation to support investigation, understanding a...
Eugene W. Martin
GIS
2002
ACM
15 years 6 months ago
Aggregation and comparison of trajectories
Dealing with moving objects necessitates having available complete geographical traces for determining exact or possible locations that objects have had, have or will have. This i...
Nirvana Meratnia, Rolf A. de By
GIS
2002
ACM
15 years 6 months ago
Towards an evaluation of quality for names placement methods
The cartographic labeling problem is the problem of placing text on a map. This includes the positioning of the labels, and determining the shape in the case of line and area feat...
Steven van Dijk, Marc J. van Kreveld, Tycho Strijk...
DLOG
2010
15 years 4 months ago
Correcting Access Restrictions to a Consequence
Recent research has shown that annotations are useful for representing access restrictions to the axioms of an ontology and their implicit consequences. Previous work focused on co...
Martin Knechtel, Rafael Peñaloza