Sciweavers

4978 search results - page 17 / 996
» Logical models of argument
Sort
View
ICTAI
2010
IEEE
13 years 5 months ago
On the Role of Preferences in Argumentation Frameworks
The aim of this paper is to study how preferences, which are used to model intrinsic strengths of arguments, can be used in argumentation. We show that they play two roles: i) to r...
Leila Amgoud, Srdjan Vesic
BSL
2004
100views more  BSL 2004»
13 years 7 months ago
Forcing in proof theory
Paul Cohen's method of forcing, together with Saul Kripke's related semantics for modal and intuitionistic logic, has had profound effects on a number of branches of mat...
Jeremy Avigad
EKAW
2000
Springer
13 years 11 months ago
Conflict Resolution in the Collaborative Design of Terminological Knowledge Bases
Designing a terminological knowledge base consists in collecting terms and associating them to their definition. Our objective is to define a process model to support this design ...
Gilles Falquet, Claire-Lise Mottaz Jiang
ISMIS
2005
Springer
14 years 1 months ago
The Chisholm Paradox and the Situation Calculus
Deontic logic is appropriate to model a wide variety of legal arguments, however this logic suffers form certain paradoxes of which the so-called Chisholm is one of the most notor...
Robert Demolombe, Maria del Pilar Pozos Parra
COMMA
2008
13 years 9 months ago
Requirements for reflective argument visualization tools: A Case for Using Validity as a Normative Standard
This paper formulates in the first part some requirements for a certain sort of computational argumentation systems, namely those which are designed for a very specific purpose: to...
Michael H. G. Hoffmann