Sciweavers

2836 search results - page 58 / 568
» Evaluating a Qualitative Reasoner
Sort
View
CORR
2010
Springer
106views Education» more  CORR 2010»
15 years 6 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 11 months ago
Fast Query Evaluation with (Lazy) Control Flow Compilation
Remko Tronçon, Gerda Janssens, Henk Vandeca...
CADE
2001
Springer
15 years 10 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 9 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