Theory and Applications of Formal Argumentation
4th International Workshop, TAFA 2017, Melbourne, VIC, Australia, August 19-20, 2017, Revised Selected Papers
Published on 6. March 2018
Book
Paperback/Softback
X, 227 pages
978-3-319-75552-6 (ISBN)
Description
This book constitutes the refereed proceedings of the 4th International Workshop on the Theory and Applications of Formal Argumentation, TAFA 2017, held in Melbourne, VIC, Australia, in August 2017. The workshop was co-located with International Joint Conference on Artifi cial Intelligence(IJCAI 2017). The 15 revised full papers presented were carefully reviewed and selected from 20 submissions.
The workshops covers the subjects such as non-monotonic reasoning, decision making, inter-agent communication, the semantic web, grid applications, ontologies, recommender systems, machine learning, neural networks, trust computing, normative systems, social choice theory, judgement aggregation and game theory, and law and medicine.
More details
Series
Edition
2018 ed.
Language
English
Place of publication
Cham
Switzerland
Publishing group
Springer International Publishing
Target group
Professional and scholarly
Illustrations
47 s/w Abbildungen
X, 227 p. 47 illus.
Dimensions
Height: 235 mm
Width: 155 mm
Thickness: 14 mm
Weight
371 gr
ISBN-13
978-3-319-75552-6 (9783319755526)
DOI
10.1007/978-3-319-75553-3
Schweitzer Classification
Other editions
Additional editions
Elizabeth Black | Sanjay Modgil | Nir Oren
Theory and Applications of Formal Argumentation
4th International Workshop, TAFA 2017, Melbourne, VIC, Australia, August 19-20, 2017, Revised Selected Papers
E-Book
03/2018
Springer
€53.49
Available for download
Content
An Investigation of Argumentation Framework Characteristics.- Hypersequent-based Argumentation: An Instantiation in the Relevance Logic RM.- On the Interaction between Logic and Preference in StructuredArgumentation.- ASPIC-END: Structured Argumentation with Explanations and Natural Deduction.- On the links between argumentation-based reasoning and nonmonotonic reasoning.- Extended Explanatory Argumentation Frameworks.- Probabilities on Extensions in Abstract Argumentation.- A Forward Propagation Algorithm for Semantic Computation of Argumentation Frameworks.- The Formal Argumentation Libraries of Tweety.- Heureka: A General Heuristic Backtracking Solver for Abstract Argumentation.- EqArgSolver - System Description.- Team Persuasion.- Towards a General Framework for Dialogues that Accommodate Reasoning About Preferences.- Enumerating preferred extensions: A case study of human reasoning.- A Dynamic Model of Trust in Dialogues.