Sciweavers

Share
28 search results - page 1 / 6
» A Formal Analysis of Logic-Based Argumentation Systems
Sort
View
SUM
2010
Springer
9 years 12 days ago
A Formal Analysis of Logic-Based Argumentation Systems
Dung's abstract argumentation model consists of a set of arguments and a binary relation encoding attacks among arguments. Different acceptability semantics have been defined ...
Leila Amgoud, Philippe Besnard
SRDS
1999
IEEE
9 years 6 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
COMMA
2010
8 years 9 months ago
A formal analysis of the AIF in terms of the ASPIC framework
In order to support the interchange of ideas and data between different projects and applications in the area of computational argumentation, a common ontology for computational ar...
Floris Bex, Henry Prakken, Chris Reed
ASM
2010
ASM
9 years 7 months ago
Formal Probabilistic Analysis: A Higher-Order Logic Based Approach
Traditionally, simulation is used to perform probabilistic analysis. However, it provides less accurate results and cannot handle large-scale problems due to the enormous CPU time ...
Osman Hasan, Sofiène Tahar
JAPLL
2010
98views more  JAPLL 2010»
9 years 1 months ago
Formalization of the ad hominem argumentation scheme
In this paper, several examples from the literature, and one central new one, are used as case studies of texts of discourse containing an argumentation scheme that has now been w...
Douglas Walton
books