Sciweavers

1912 search results - page 17 / 383
» On the evaluation of argumentation formalisms
Sort
View
ECCE
2007
15 years 1 months ago
Design of argument diagramming for case-based group learning
Argument diagramming tools can improve reasoning and learning. They are likely to have a significant place in future virtual learning environments whose design will be dominated b...
John Dowell, Thomas Gladisch
ESA
2003
Springer
123views Algorithms» more  ESA 2003»
15 years 5 months ago
Experiments on Graph Clustering Algorithms
A promising approach to graph clustering is based on the intuitive notion of intra-cluster density vs. inter-cluster sparsity. While both formalizations and algorithms focusing on ...
Ulrik Brandes, Marco Gaertler, Dorothea Wagner
COLING
2002
14 years 11 months ago
Towards a Noise-Tolerant, Representation-Independent Mechanism for Argument Interpretation
We describe a mechanism for the interpretation of arguments, which can cope with noisy conditions in terms of wording, beliefs and argument structure. This is achieved through the...
Ingrid Zukerman, Sarah George
SRDS
1999
IEEE
15 years 4 months ago
Formal Hazard Analysis of Hybrid Systems in cTLA
Hybrid systems like computer-controlled chemical plants are typical safety critical distributed systems. In present practice, the safety of hybrid systems is guaranteed by hazard ...
Peter Herrmann, Heiko Krumm
FOIKS
2008
Springer
15 years 1 months ago
Defeasible Reasoning and Partial Order Planning
Abstract. Argumentation-based formalisms provide a way of considering the defeasible nature of reasoning with partial and often erroneous knowledge in a given environment. This pro...
Diego R. García, Alejandro Javier Garc&iacu...