Sciweavers

3446 search results - page 6 / 690
» A Reasoning Algorithm for pD*
Sort
View
95
Voted
ICLP
1992
Springer
15 years 7 months ago
Multistage Indexing Algorithms for Speeding Prolog Execution
Ta Chen, I. V. Ramakrishnan, R. Ramesh
102
Voted
CADE
1990
Springer
15 years 7 months ago
Ritt-Wu's Decomposition Algorithm and Geometry Theorem Proving
Shang-Ching Chou, Xiao-Shan Gao
219
Voted
GIS
2000
ACM
15 years 7 months ago
Clone join and shadow join: two parallel spatial join algorithms
Jignesh M. Patel, David J. DeWitt
SOFTWARE
2002
15 years 3 months ago
A Query-Driven Anytime Algorithm for Argumentative and Abductive Reasoning
Abstract. This paper presents a new approximation method for computing arguments or explanations in the context of logic-based argumentative or abductive reasoning. The algorithm c...
Rolf Haenni
117
Voted
ESWS
2007
Springer
15 years 9 months ago
Algorithms for Paraconsistent Reasoning with OWL
In an open, constantly changing and collaborative environment like the forthcoming Semantic Web, it is reasonable to expect that knowledge sources will contain noise and inaccuraci...
Yue Ma, Pascal Hitzler, Zuoquan Lin