Sciweavers

2962 search results - page 472 / 593
» Reasoning on Association Rules
Sort
View
185
Voted
COSIT
2009
Springer
179views GIS» more  COSIT 2009»
16 years 1 months ago
An Algebraic Approach to Image Schemas for Geographic Space
Formal models of geographic space should support reasoning about its static and dynamic properties, its objects, their behaviors, and the relationships between them. Image schemas,...
Lisa Walton, Michael F. Worboys
174
Voted
LPNMR
2009
Springer
16 years 1 months ago
A Default Approach to Semantics of Logic Programs with Constraint Atoms
We define the semantics of logic programs with (abstract) constraint atoms in a way closely tied to default logic. Like default logic, formulas in rules are evaluated using the cl...
Yi-Dong Shen, Jia-Huai You
LPNMR
2009
Springer
16 years 1 months ago
A Deductive System for FO(ID) Based on Least Fixpoint Logic
Abstract. The logic FO(ID) uses ideas from the field of logic programming to extend first order logic with non-monotone inductive definitions. The goal of this paper is to exten...
Ping Hou, Marc Denecker
EDBTW
2010
Springer
16 years 1 months ago
SPARQL query rewriting for implementing data integration over linked data
There has been lately an increased activity of publishing structured data in RDF due to the activity of the Linked Data community1 . The presence on the Web of such a huge informa...
Gianluca Correndo, Manuel Salvadores, Ian Millard,...
154
Voted
IROS
2008
IEEE
161views Robotics» more  IROS 2008»
16 years 1 months ago
A perception mechanism for supporting autonomous intersection handling in urban driving
Abstract— Knowledge of the driving environment is essential for robotic vehicles to comply with traffic rules while autonomously traversing intersections. However, due to limite...
Young-Woo Seo, Chris Urmson