Sciweavers

3446 search results - page 6 / 690
» A Reasoning Algorithm for pD*
Sort
View
ICLP
1992
Springer
15 years 1 months ago
Multistage Indexing Algorithms for Speeding Prolog Execution
Ta Chen, I. V. Ramakrishnan, R. Ramesh
89
Voted
SOFTWARE
2002
14 years 9 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
ESWS
2007
Springer
15 years 3 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