Sciweavers

981 search results - page 85 / 197
» Negation in Spatial Reasoning
Sort
View
AI
2011
Springer
13 years 5 months ago
Stable models and circumscription
The concept of a stable model provided a declarative semantics for Prolog programs with negation as failure and became a starting point for the development of answer set programmi...
Paolo Ferraris, Joohyung Lee, Vladimir Lifschitz
ERCIMDL
2003
Springer
124views Education» more  ERCIMDL 2003»
14 years 3 months ago
A Digital GeoLibrary: Integrating Keywords and Place Names
A digital library typically includes a set of keywords (or subject terms) for each document in its collection(s). For some applications, including natural resource management, geog...
Mathew Weaver, Lois M. L. Delcambre, Leonard D. Sh...
GIS
1995
ACM
14 years 1 months ago
Measuring the Complexity of Polygonal Objects
Polygonal objects are characterized by the following well-known parameters: number of vertices, area, perimeter and so on. These parameters describe the data sets that are used in...
Thomas Brinkhoff, Hans-Peter Kriegel, Ralf Schneid...
GIS
2008
ACM
14 years 11 months ago
Computing isochrones in multi-modal, schedule-based transport networks
Isochrones are defined as the set of all points from which a specific point of interest is reachable within a given time span. This demo paper presents a solution to compute isoch...
Veronika Bauer, Johann Gamper, Roberto Loperfido, ...
APIN
2006
109views more  APIN 2006»
13 years 10 months ago
Visual analogy: Viewing analogical retrieval and mapping as constraint satisfaction problems
The core issue of analogical reasoning is the transfer of relational knowledge from a source case to a target problem. Visual analogical reasoning pertains to problems containing ...
Patrick W. Yaner, Ashok K. Goel