5378 search results - page 78 / 1076 » Base Logics in Argumentation |
192
click to vote
SAC
2011
ACM
14 years 8 months ago
2011
ACM
Higher-Order Logic (HOL) is based on a small logic kernel, whose
173
click to vote
FOIKS
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. In this paper we recast the formalism of argumentation formalism known as DeLP (Defeasible Logic Programming) in game-theoretic terms. By considering a game between a Pro...
163
click to vote
CLIMA
2010
15 years 7 months ago
2010
Simple type theory is suited as framework for combining classical and non-classical logics. This claim is based on the observation that various prominent logics, including (quantif...
177
click to vote
LICS
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract—Maximality is a desirable property of paraconsistent logics, motivated by the aspiration to tolerate inconsistencies, but at the same time retain as much as possible fro...