Theory and applications of formal argumentation : 4th International Workshop, TAFA 2017, Melbourne, VIC, Australia, August 19-20, 2017, Revised selected papers /: 4th International Workshop, TAFA 2017, Melbourne, VIC, Australia, August 19-20, 2017, Revised selected papers. (2018)

• Record Type: Book
• Other Titles: TAFA 2017
• Further Information: Note: Elizabeth Black, Sanjay Modgil, Nir Oren (eds.).
• Editors: (Lecturer in Computer Science), Black, Elizabeth; Modgil, Sanjay; Oren, Nir
• Other Names: TAFA (Workshop), 4th
• Contents: 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.
• Publisher Details: Cham, Switzerland : Springer
• Publication Date: 2018
• Extent: 1 online resource (x, 227 pages), illustrations
• Subjects: 006.3; Computer science; Formal methods (Computer science) -- Congresses; Computer logic -- Congresses; Artificial intelligence -- Congresses; Artificial intelligence; Computer logic; Formal methods (Computer science); Probability and Statistics in Computer Science; Computers -- Programming -- General; Computers -- Programming Languages -- General; Computers -- Mathematical & Statistical Software; Computer programming / software development; Programming & scripting languages: general; Maths for computer scientists; Artificial intelligence; Logic design; Computers -- Intelligence (AI) & Semantics; Artificial intelligence; Electronic books; Conference papers and proceedings
• Languages: English
• ISBNs: 9783319755533; 3319755536; 3319755528; 9783319755526
• Related ISBNs: 9783319755526
• Notes: Note: Online resource; title from PDF title page (SpringerLink, viewed March 15, 2018).
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.