1094 search results - page 20 / 219 » On Computing Explanations in Argumentation |
108
click to vote
KSEM
2010
Springer
14 years 10 months ago
2010
Springer
We examine the practicality for a user of using Answer Set Programming (ASP) for representing logical formalisms. Our example is a formalism aiming at capturing causal explanation...
150
Voted
IBERAMIA
2010
Springer
14 years 10 months ago
2010
Springer
In a recent paper [2] the authors have formalized a recursive semantics for warranted conclusions in a general defeasible argumentation framework based on a propositional logic. Th...
95
Voted
AI
2002
Springer
15 years 10 days ago
2002
Springer
ko et al. have recently proposed an abstract framework for default reasoning. Besides capturing most existing formalisms and proving that their standard semantics all coincide, th...
115
click to vote
ATAL
2010
Springer
15 years 1 months ago
2010
Springer
We propose a method for constructing Dempster-Shafer belief functions modeling the trust of a given agent (the evaluator) in another (the target) by combining statistical informat...
127
Voted
EXACT
2009
14 years 10 months ago
2009
Across many fields involving complex computing, software systems are being augmented with workflow logging functionality. The log data can be effectively organized using declarativ...