Sciweavers

2836 search results - page 58 / 568
» Evaluating a Qualitative Reasoner
Sort
View
CORR
2010
Springer
106views Education» more  CORR 2010»
14 years 10 months ago
Spatial logics with connectedness predicates
Abstract. We consider quantifier-free spatial logics, designed for qualitative spatial representation and reasoning in AI, and extend them with the means to represent topological c...
Roman Kontchakov, Ian Pratt-Hartmann, Frank Wolter...
ICLP
2004
Springer
15 years 3 months ago
Fast Query Evaluation with (Lazy) Control Flow Compilation
Remko Tronçon, Gerda Janssens, Henk Vandeca...
CADE
2001
Springer
15 years 2 months ago
On the Evaluation of Indexing Techniques for Theorem Proving
Robert Nieuwenhuis, Thomas Hillenbrand, Alexandre ...
ICDE
1991
IEEE
175views Database» more  ICDE 1991»
15 years 1 months ago
Constraint-Based Reasoning in Deductive Databases
— Constraints play an important role in the efficient query evaluation in deductive databases. In this paper, constraint-based query evaluation in deductive databases is investi...
Jiawei Han