2962 search results - page 472 / 593 » Reasoning on Association Rules |
170
click to vote
COSIT
2009
Springer
16 years 29 days ago
2009
Springer
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,...
157
click to vote
LPNMR
2009
Springer
16 years 28 days ago
2009
Springer
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...
152
click to vote
LPNMR
2009
Springer
16 years 28 days ago
2009
Springer
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...
194
click to vote
EDBTW
2010
Springer
16 years 27 days ago
2010
Springer
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...
142
click to vote
IROS
2008
IEEE
16 years 24 days ago
2008
IEEE
Abstract— Knowledge of the driving environment is essential for robotic vehicles to comply with traffic rules while autonomously traversing intersections. However, due to limite...