Sciweavers

27 search results - page 1 / 6
» An Anytime Algorithm for Interpreting Arguments
Sort
View
PRICAI
2004
Springer
13 years 10 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
SOFTWARE
2002
13 years 4 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
IJCAI
1997
13 years 5 months ago
Reasoning Symbolically About Partially Matched Cases
In teaching case-based argumentation skills, the CATO program, an intelligent learning environment, guides students' assessments of partial matches between problems and cases...
Kevin D. Ashley, Vincent Aleven
ICDE
2001
IEEE
120views Database» more  ICDE 2001»
14 years 5 months ago
A Split Operator for Now-Relative Bitemporal Databases
The timestamps of now-relative bitemporal databases are modeled as growing, shrinking, or rectangular regions. The shape of these regions makes it a challenge to design bitemporal...
Mikkel Agesen, Michael H. Böhlen, Lasse Pouls...
FGCS
1992
107views more  FGCS 1992»
13 years 5 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