Theory and Applications of Formal Argumentation

4th International Workshop, TAFA 2017, Melbourne, VIC, Australia, August 19-20, 2017, Revised Selected Papers
1. Auflage 2018
ISBN: 978-3-319-75552-6
Verlag: Springer International Publishing

Buch, Englisch, Band 10757, 227 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 371 g

Reihe: Lecture Notes in Computer Science

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.

Zielgruppe

Research

Autoren/Hrsg.

Black, Elizabeth

Oren, Nir

Modgil, Sanjay

Fachgebiete

• Mathematik | Informatik EDV | Informatik Informatik Künstliche Intelligenz

Inhaltsverzeichnis

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.