5378 search results - page 87 / 1076 » Base Logics in Argumentation |
140
click to vote
ECOOP
1998
Springer
15 years 10 months ago
1998
Springer
Predicate dispatching generalizes previous method dispatch mechanisms by permitting arbitrary predicates to control method applicability and by using logical implication between pr...
169
click to vote
JURIX
2008
15 years 7 months ago
2008
In this paper we present an approach to abductive reasoning in law by examining it in the context of an argumentation scheme for practical reasoning. We present a particular scheme...
162
click to vote
ICALP
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. Given an ML function f : (int->int)->int how can we rigorously specify that f is pure, i.e., produces no side-effects other than those arising from calling its func...
134
click to vote
DCC
2010
IEEE
15 years 6 months ago
2010
IEEE
We investigate unconditional security for message authentication protocols that are designed using two-channel cryptography. We look at both noninteractive message authentication ...
