Sciweavers

3 search results - page 1 / 1
» A Query-Driven Anytime Algorithm for Argumentative and Abduc...
Sort
View
88
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
79
Voted
PRICAI
2004
Springer
15 years 2 months ago
An Anytime Algorithm for Interpreting Arguments
Abstract. The problem of interpreting Natural Language (NL) discourse is generally of exponential complexity. However, since interactions with users must be conducted in real time,...
Sarah George, Ingrid Zukerman, Michael Niemann
FGCS
1992
107views more  FGCS 1992»
14 years 10 months ago
Logic Programming, Abduction and Probability
Probabilistic Horn abduction is a simple framework to combine probabilistic and logical reasoning into a coherent practical framework. The numbers can be consistently interpreted ...
David Poole