413 search results - page 29 / 83 » Abstract Argumentation Scheme Frameworks |
122
click to vote
FSTTCS
2008
Springer
15 years 3 months ago
2008
Springer
ABSTRACT. In many automated methods for proving inductive theorems, finding a suitable generalization of a conjecture is a key for the success of proof attempts. On the other hand...
114
click to vote
SACRYPT
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. This paper formalizes the security adversarial games for online symmetric cryptosystems in a unified framework for deterministic and probabilistic encryption schemes. On...
107
click to vote
DEON
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. In this paper, following the work of Hare, we consider moral reasoning not as the application of moral norms and principles, but as reasoning about what ought to be done ...
223
click to vote
POPL
2009
ACM
16 years 2 months ago
2009
ACM
We propose a new verification method for temporal properties of higher-order functional programs, which takes advantage of Ong's recent result on the decidability of the mode...
CORR
2004
Springer
15 years 1 months ago
2004
Springer
Abstract-Boltzmann selectionis an important selection mechanism in evolutionary algorithms as it has theoretical properties which help in theoretical analysis. However, Boltzmann s...