Sciweavers

206 search results - page 2 / 42
» Specification and Complexity of Strategic-Based Reasoning Us...
Sort
View
COMMA
2008
13 years 6 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
CADE
2008
Springer
14 years 5 months ago
Specification Predicates with Explicit Dependency Information
Specifications of programs use auxiliary symbols to encapsulate concepts for a variety of reasons: readability, reusability, structuring and, in particular, for writing recursive d...
Richard Bubel, Reiner Hähnle, Peter H. Schmit...
DALT
2008
Springer
13 years 6 months ago
Strategic Agent Communication: An Argumentation-Driven Approach
Abstract. This paper proposes a formal framework for agent communication where agents can reason about their goals using strategic reasoning. This reasoning is argumentation-based ...
Jamal Bentahar, Mohamed Mbarki, John-Jules Ch. Mey...
AIR
2010
95views more  AIR 2010»
13 years 5 months ago
A taxonomy of argumentation models used for knowledge representation
Understanding argumentation and its role in human reasoning has been a continuous subject of investigation for scholars from the ancient Greek philosophers to current researchers ...
Jamal Bentahar, Bernard Moulin, Micheline Bé...
HT
2000
ACM
13 years 9 months ago
Arguments in hypertext: a rhetorical approach
The qualities of non-sequentiality that make hypertext so appealing to writers and readers of informative and literary texts are also those that problematize arguments in the same...
Locke M. Carter