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
- Title:
- 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)
- Main Title:
- Theory and applications of formal argumentation : 4th International Workshop, TAFA 2017, Melbourne, VIC, Australia, August 19-20, 2017, Revised selected papers
- 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.
- View Content:
- Available online (eLD content is only available in our Reading Rooms) ↗
- Physical Locations:
- British Library HMNTS - ELD.DS.367181
- Ingest File:
- 01_341.xml