1094 search results - page 59 / 219 » On Computing Explanations in Argumentation |
82
Voted
MVA
1992
15 years 2 days ago
1992
Module-1 :Computation of gradient directions. Reconstruction of a set of imperfect contour curves which is extracted :Assignment of discreteheight to contourcurves. from a topograp...
69
Voted
IEAAIE
1998
Springer
15 years 3 months ago
1998
Springer
Abstract. This paper has as main goal to develop a hybrid expert system to minimize some of the complexity problems related to arti cial intelligence eld. For instance, we can ment...
106
Voted
ITS
2010
Springer
15 years 3 months ago
2010
Springer
In this study, we describe a conversational agent designed to support collaborative learning interactions between pairs of students. We describe a study in which we independently m...
85
Voted
AAAI
2008
2008
Abduction with Bounded Treewidth: From Theoretical Tractability to Practically Efficient Computation
15 years 1 months ago
Abductive diagnosis is an important method to identify explanations for a given set of observations. Unfortunately, most of the algorithmic problems in this area are intractable. ...
104
click to vote
FOCS
2002
IEEE
15 years 3 months ago
2002
IEEE
We show new lower bounds and impossibility results for general (possibly non-black-box) zero-knowledge proofs and arguments. Our main results are that, under reasonable complexity...