Sciweavers

2303 search results - page 38 / 461
» On the logic of argumentation theory
Sort
View
LREC
2008
120views Education» more  LREC 2008»
15 years 3 months ago
Language Resources for Studying Argument
This paper describes the development of a written corpus of argumentative reasoning. Arguments in the corpus have been analysed using state of the art techniques from argumentatio...
Chris Reed, Raquel Mochales Palau, Glenn Rowe, Mar...
LICS
1999
IEEE
15 years 6 months ago
First-Order Logic vs. Fixed-Point Logic in Finite Set Theory
The ordered conjecture states that least fixed-point logic LFP is strictly more expressive than first-order logic FO on every infinite class of ordered finite structures. It has b...
Albert Atserias, Phokion G. Kolaitis
ARGMAS
2007
Springer
15 years 8 months ago
Defeasible Argumentation Support for an Extended BDI Architecture
Abstract. In this work, an agent architecture that combines defeasible argumentation and the BDI model is described. Argumentation will be used as a mechanism for reasoning about b...
Nicolás D. Rotstein, Alejandro Javier Garc&...
KR
2000
Springer
15 years 5 months ago
Finding Admissible and Preferred Arguments Can be Very Hard
Bondarenko et al. have recently proposed an extension of the argumentation-theoretic semantics of admissible and preferred arguments, originally proposed for logic programming onl...
Yannis Dimopoulos, Bernhard Nebel, Francesca Toni
SYNTHESE
2008
83views more  SYNTHESE 2008»
15 years 1 months ago
The early Russell on the metaphysics of substance in Leibniz and Bradley
While considerable ink has been spilt over the rejection of idealism by Bertrand Russell and G.E. Moore at the end of the 19th Century, relatively little attention has been directe...
T. Allan Hillman