Sciweavers

360 search results - page 2 / 72
» Explanations and Proof Trees
Sort
View
ECSQARU
2007
Springer
13 years 10 months ago
Dialectical Explanations in Defeasible Argumentation
Abstract. This work addresses the problem of providing explanation capabilities to an argumentation system. Explanation in defeasible argumentation is an important, and yet undevel...
Alejandro Javier García, Nicolás D. ...
UAI
2008
13 years 6 months ago
Explanation Trees for Causal Bayesian Networks
Bayesian networks can be used to extract explanations about the observed state of a subset of variables. In this paper, we explicate the desiderata of an explanation and confront ...
Ulf H. Nielsen, Jean-Philippe Pellet, André...
BIRTHDAY
2005
Springer
13 years 10 months ago
Natural Language Proof Explanation
Abstract. State-of-the-art proof presentation systems suffer from several deficiencies. First, they simply present the proofs without motivating why the proof is done as it is do...
Armin Fiedler
RR
2007
Springer
13 years 10 months ago
Proof Explanation in the DR-DEVICE System
Trust is a vital feature for the Semantic Web: If users (humans and agents) are to use and integrate system answers, they must trust them. Thus, systems should be able to explain t...
Nick Bassiliades, Grigoris Antoniou, Guido Governa...
DKE
2008
114views more  DKE 2008»
13 years 4 months ago
Proof explanation for a nonmonotonic Semantic Web rules language
In this work, we present the design and implementation of a system for proof explanation in the Semantic Web, based on defeasible reasoning. Trust is a vital feature for Semantic ...
Grigoris Antoniou, Antonis Bikakis, Nikos Dimaresi...