5378 search results - page 75 / 1076 » Base Logics in Argumentation |
149
click to vote
ACNS
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. In voting based on homomorphic threshold encryption, the voter encrypts his vote and sends it in to the authorities that tally the votes. If voters can send in arbitrary ...
156
click to vote
KI
2008
Springer
15 years 5 months ago
2008
Springer
ed from context by seeing an explanation inferentially, much in the same way that early expert systems saw an explanation as chaining of inferences. This approach omitted, for the ...
131
click to vote
WOLLIC
2009
Springer
16 years 13 days ago
2009
Springer
Abstract. We introduce a tree-sequent calculus for inquisitive logic (Groenendijk 2008) as a special form of labelled deductive system (Gabbay 1996). In particular, we establish th...
204
click to vote
AAMAS
2012
Springer
14 years 1 months ago
2012
Springer
In this paper we demonstrate how a qualitative framework for decision making can be used to model scenarios from experimental economic studies and we show how our approach explains...