Theory and Applications of Formal Argumentation [[electronic resource] ] : 4th International Workshop, TAFA 2017, Melbourne, VIC, Australia, August 19-20, 2017, Revised Selected Papers / / edited by Elizabeth Black, Sanjay Modgil, Nir Oren |
Edizione | [1st ed. 2018.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
Descrizione fisica | 1 online resource (X, 227 p. 47 illus.) |
Disciplina | 004.0151 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Computer logic Programming languages (Electronic computers) Mathematical statistics Artificial Intelligence Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Probability and Statistics in Computer Science |
ISBN | 3-319-75553-6 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996465518103316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Theory and Applications of Formal Argumentation : 4th International Workshop, TAFA 2017, Melbourne, VIC, Australia, August 19-20, 2017, Revised Selected Papers / / edited by Elizabeth Black, Sanjay Modgil, Nir Oren |
Edizione | [1st ed. 2018.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
Descrizione fisica | 1 online resource (X, 227 p. 47 illus.) |
Disciplina | 004.0151 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Computer logic Programming languages (Electronic computers) Mathematical statistics Artificial Intelligence Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Probability and Statistics in Computer Science |
ISBN | 3-319-75553-6 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910349458303321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Theory and Applications of Formal Argumentation [[electronic resource] ] : Third International Workshop, TAFA 2015, Buenos Aires, Argentina, July 25-26, 2015, Revised Selected Papers / / edited by Elizabeth Black, Sanjay Modgil, Nir Oren |
Edizione | [1st ed. 2015.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
Descrizione fisica | 1 online resource (X, 261 p. 48 illus. in color.) |
Disciplina | 004.0151 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Computers Application software Information storage and retrieval Artificial Intelligence Theory of Computation Information Systems Applications (incl. Internet) Information Storage and Retrieval |
ISBN | 3-319-28460-6 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
Intro -- Preface -- Organization -- Contents -- Comparing and Integrating Argumentation-Based with Matrix-Based Decision Support in Arg&Dec -- 1 Introduction -- 2 Background -- 3 QuAD Frameworks and Decision Matrices: Comparison and Transformation -- 3.1 Different Methods for Different Problems? -- 3.2 Combining Strengths: An Integrated View Through Transformation -- 4 Rankings in QuAD Frameworks and Decision Matrices -- 5 The Arg&Dec Web Application -- 6 Discussion and Conclusions -- References -- Reasons and Options for Updating an Opponent Model in Persuasion Dialogues -- 1 Introduction -- 2 Simple Persuasion Dialogues -- 3 Updating and Using an Opponent Model -- 4 Generating Dialogues -- 5 Performance of Model Update Mechanisms -- 5.1 Performance of Mechanisms for Accurate Scenarios -- 5.2 Performance of Mechanisms for Scenarios that are Not Accurate -- 6 Discussion -- References -- Abstract Solvers for Dung's Argumentation Frameworks -- 1 Introduction -- 2 Preliminaries -- 3 Algorithms for Preferred Semantics -- 3.1 SAT-Based Algorithm for Enumeration -- 3.2 SAT-Based Algorithm for Acceptance -- 3.3 Dedicated Approach for Enumeration -- 3.4 Combining Algorithms -- 4 Discussion and Conclusions -- References -- A Discussion Game for Grounded Semantics -- 1 Introduction -- 2 Formal Preliminaries -- 3 The Grounded Discussion Game -- 3.1 Soundness -- 3.2 Completeness -- 3.3 Efficiency -- 4 Discussion and Related Work -- 4.1 The Standard Grounded Game -- 4.2 The Grounded Persuasion Game -- 4.3 Summary and Analysis -- References -- An Axiomatic Approach to Support in Argumentation -- 1 Introduction -- 2 Background on Abstract Bipolar Argumentation Systems -- 2.1 Dung's Framework -- 2.2 Abstract Bipolar Argumentation Systems -- 3 Axiomatic Approach for Handling Necessary Support -- 4 New Frameworks for Handling Necessary Supports.
4.1 Handling Conflicting Sets of Arguments -- 4.2 A Meta-Framework Encoding Necessary Support -- 4.3 A Framework with Complex Attacks -- 4.4 Comparison Between the Different Frameworks -- 5 Conclusion and Future Works -- References -- Non-Monotonic Inference Properties for Assumption-Based Argumentation -- 1 Introduction -- 2 Background -- 3 Inference Properties for ABA -- 3.1 Strict Cumulative Transitivity and Cautious Monotonicity -- 3.2 Defeasible Cumulative Transitivity and Cautious Monotonicity -- 3.3 Assumption Cumulative Transitivity and Cautious Monotonicity -- 4 Related Work -- 5 Conclusions -- References -- On Explanations for Non-Acceptable Arguments -- 1 Introduction -- 2 Background -- 3 Two Different Notions of Explanation -- 4 Obtaining Explanations from Dispute Trees -- 5 Discussion -- 6 Related Work -- 7 Conclusion -- References -- Building Support-Based Opponent Models in Persuasion Dialogues -- 1 Introduction -- 2 Background -- 2.1 ASPIC+ -- 2.2 The Dialogue Framework -- 3 Modelling Support Relationships -- 3.1 Abstract Support Relationships -- 3.2 Logical Support Relationships -- 4 Quantification of Support Relationships -- 5 Related Work -- 6 Conclusions and Future Work -- References -- The Hidden Power of Abstract Argumentation Semantics -- 1 Introduction -- 2 Background -- 3 Implicit Conflicts -- 4 Rejected Arguments -- 5 Discussion -- References -- Argument Mining: A Machine Learning Perspective -- 1 Introduction -- 2 Problem Formulation -- 3 Methods -- 3.1 Argumentative Sentence Detection -- 3.2 Argument Boundaries Detection -- 3.3 Argument Structure Prediction -- 4 Corpora -- 5 Challenges -- 6 Conclusions -- References -- Arguing from Similar Positions: An Empirical Analysis -- 1 Introduction -- 2 Deliberation Dialogues -- 2.1 Argumentation Model -- 2.2 Dialogue System -- 3 Investigating Similarity -- 4 Results. 4.1 Dialogues Tend to Fail with Many Arguments -- 4.2 Dialogues are Less Successful as Sim increases -- 4.3 The Impact of Similarity Increases with the Number of Values -- 4.4 Success Most Likely at Around 50% of Maximum Total Arguments -- 5 Related Work -- 6 Discussion -- References -- ArgP2P: An Argumentative Approach for Intelligent Query Routing in P2P Networks -- 1 Introduction and Motivations -- 2 P2P Networks for Thematic Search: Overview -- 2.1 Formalizing the Notion of P2P Network -- 3 Assumption-Based Argumentation: Fundamentals -- 4 The ArgP2P Framework -- 5 Case Study -- 6 Discussion and Related Work -- 7 Conclusions and Future Work -- References -- Persistence and Monotony Properties of Argumentation Semantics -- 1 Introduction -- 2 Preliminaries -- 2.1 Extension-Based Semantics -- 2.2 Labelling-Based Semantics -- 3 Addition Persistence Properties -- 4 Removal Persistence -- 5 Skeptical Monotony -- 6 Related Work -- 7 Conclusion and Future Work -- References -- Argumentation-based Normative Practical Reasoning -- 1 Introduction -- 2 A Formal Model for Normative Practical Reasoning -- 2.1 The Model -- 2.2 Semantics of the Model -- 3 Argument Scheme and Critical Questions -- 3.1 Formal Model of Arguments -- 3.2 Argument Interactions -- 3.3 Grounded Extension and Properties of Plan Arguments -- 4 Persuasion Dialogue for Grounded Semantics -- 5 Illustrative Example -- 6 Related Work -- 7 Conclusion and Future Work -- References -- The Matrix Approach for Abstract Argumentation Frameworks -- 1 Introduction -- 2 Background on Abstract AFs -- 3 The Matrix Representation -- 4 Characterizing the Extensions of an AF -- 4.1 Characterizing the Conflict-Free Subsets -- 4.2 Characterizing the Stable Extensions -- 4.3 Characterizing the Admissible Subsets -- 4.4 Characterizing the Complete Extensions -- 4.5 The Standard Forms of the Matrix M(AF). 5 Matrix Reduction -- 5.1 Matrix Reduction Based on Contraction of AFs -- 5.2 Matrix Reduction Based on Division of AFs -- 6 Concluding Remarks and Future Works -- References -- Author Index. |
Record Nr. | UNISA-996466360903316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Theory and Applications of Formal Argumentation : Third International Workshop, TAFA 2015, Buenos Aires, Argentina, July 25-26, 2015, Revised Selected Papers / / edited by Elizabeth Black, Sanjay Modgil, Nir Oren |
Edizione | [1st ed. 2015.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
Descrizione fisica | 1 online resource (X, 261 p. 48 illus. in color.) |
Disciplina | 004.0151 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Computers Application software Information storage and retrieval Artificial Intelligence Theory of Computation Information Systems Applications (incl. Internet) Information Storage and Retrieval |
ISBN | 3-319-28460-6 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
Intro -- Preface -- Organization -- Contents -- Comparing and Integrating Argumentation-Based with Matrix-Based Decision Support in Arg&Dec -- 1 Introduction -- 2 Background -- 3 QuAD Frameworks and Decision Matrices: Comparison and Transformation -- 3.1 Different Methods for Different Problems? -- 3.2 Combining Strengths: An Integrated View Through Transformation -- 4 Rankings in QuAD Frameworks and Decision Matrices -- 5 The Arg&Dec Web Application -- 6 Discussion and Conclusions -- References -- Reasons and Options for Updating an Opponent Model in Persuasion Dialogues -- 1 Introduction -- 2 Simple Persuasion Dialogues -- 3 Updating and Using an Opponent Model -- 4 Generating Dialogues -- 5 Performance of Model Update Mechanisms -- 5.1 Performance of Mechanisms for Accurate Scenarios -- 5.2 Performance of Mechanisms for Scenarios that are Not Accurate -- 6 Discussion -- References -- Abstract Solvers for Dung's Argumentation Frameworks -- 1 Introduction -- 2 Preliminaries -- 3 Algorithms for Preferred Semantics -- 3.1 SAT-Based Algorithm for Enumeration -- 3.2 SAT-Based Algorithm for Acceptance -- 3.3 Dedicated Approach for Enumeration -- 3.4 Combining Algorithms -- 4 Discussion and Conclusions -- References -- A Discussion Game for Grounded Semantics -- 1 Introduction -- 2 Formal Preliminaries -- 3 The Grounded Discussion Game -- 3.1 Soundness -- 3.2 Completeness -- 3.3 Efficiency -- 4 Discussion and Related Work -- 4.1 The Standard Grounded Game -- 4.2 The Grounded Persuasion Game -- 4.3 Summary and Analysis -- References -- An Axiomatic Approach to Support in Argumentation -- 1 Introduction -- 2 Background on Abstract Bipolar Argumentation Systems -- 2.1 Dung's Framework -- 2.2 Abstract Bipolar Argumentation Systems -- 3 Axiomatic Approach for Handling Necessary Support -- 4 New Frameworks for Handling Necessary Supports.
4.1 Handling Conflicting Sets of Arguments -- 4.2 A Meta-Framework Encoding Necessary Support -- 4.3 A Framework with Complex Attacks -- 4.4 Comparison Between the Different Frameworks -- 5 Conclusion and Future Works -- References -- Non-Monotonic Inference Properties for Assumption-Based Argumentation -- 1 Introduction -- 2 Background -- 3 Inference Properties for ABA -- 3.1 Strict Cumulative Transitivity and Cautious Monotonicity -- 3.2 Defeasible Cumulative Transitivity and Cautious Monotonicity -- 3.3 Assumption Cumulative Transitivity and Cautious Monotonicity -- 4 Related Work -- 5 Conclusions -- References -- On Explanations for Non-Acceptable Arguments -- 1 Introduction -- 2 Background -- 3 Two Different Notions of Explanation -- 4 Obtaining Explanations from Dispute Trees -- 5 Discussion -- 6 Related Work -- 7 Conclusion -- References -- Building Support-Based Opponent Models in Persuasion Dialogues -- 1 Introduction -- 2 Background -- 2.1 ASPIC+ -- 2.2 The Dialogue Framework -- 3 Modelling Support Relationships -- 3.1 Abstract Support Relationships -- 3.2 Logical Support Relationships -- 4 Quantification of Support Relationships -- 5 Related Work -- 6 Conclusions and Future Work -- References -- The Hidden Power of Abstract Argumentation Semantics -- 1 Introduction -- 2 Background -- 3 Implicit Conflicts -- 4 Rejected Arguments -- 5 Discussion -- References -- Argument Mining: A Machine Learning Perspective -- 1 Introduction -- 2 Problem Formulation -- 3 Methods -- 3.1 Argumentative Sentence Detection -- 3.2 Argument Boundaries Detection -- 3.3 Argument Structure Prediction -- 4 Corpora -- 5 Challenges -- 6 Conclusions -- References -- Arguing from Similar Positions: An Empirical Analysis -- 1 Introduction -- 2 Deliberation Dialogues -- 2.1 Argumentation Model -- 2.2 Dialogue System -- 3 Investigating Similarity -- 4 Results. 4.1 Dialogues Tend to Fail with Many Arguments -- 4.2 Dialogues are Less Successful as Sim increases -- 4.3 The Impact of Similarity Increases with the Number of Values -- 4.4 Success Most Likely at Around 50% of Maximum Total Arguments -- 5 Related Work -- 6 Discussion -- References -- ArgP2P: An Argumentative Approach for Intelligent Query Routing in P2P Networks -- 1 Introduction and Motivations -- 2 P2P Networks for Thematic Search: Overview -- 2.1 Formalizing the Notion of P2P Network -- 3 Assumption-Based Argumentation: Fundamentals -- 4 The ArgP2P Framework -- 5 Case Study -- 6 Discussion and Related Work -- 7 Conclusions and Future Work -- References -- Persistence and Monotony Properties of Argumentation Semantics -- 1 Introduction -- 2 Preliminaries -- 2.1 Extension-Based Semantics -- 2.2 Labelling-Based Semantics -- 3 Addition Persistence Properties -- 4 Removal Persistence -- 5 Skeptical Monotony -- 6 Related Work -- 7 Conclusion and Future Work -- References -- Argumentation-based Normative Practical Reasoning -- 1 Introduction -- 2 A Formal Model for Normative Practical Reasoning -- 2.1 The Model -- 2.2 Semantics of the Model -- 3 Argument Scheme and Critical Questions -- 3.1 Formal Model of Arguments -- 3.2 Argument Interactions -- 3.3 Grounded Extension and Properties of Plan Arguments -- 4 Persuasion Dialogue for Grounded Semantics -- 5 Illustrative Example -- 6 Related Work -- 7 Conclusion and Future Work -- References -- The Matrix Approach for Abstract Argumentation Frameworks -- 1 Introduction -- 2 Background on Abstract AFs -- 3 The Matrix Representation -- 4 Characterizing the Extensions of an AF -- 4.1 Characterizing the Conflict-Free Subsets -- 4.2 Characterizing the Stable Extensions -- 4.3 Characterizing the Admissible Subsets -- 4.4 Characterizing the Complete Extensions -- 4.5 The Standard Forms of the Matrix M(AF). 5 Matrix Reduction -- 5.1 Matrix Reduction Based on Contraction of AFs -- 5.2 Matrix Reduction Based on Division of AFs -- 6 Concluding Remarks and Future Works -- References -- Author Index. |
Record Nr. | UNINA-9910484070103321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Theory and Applications of Formal Argumentation [[electronic resource] ] : Second International Workshop, TAFA 2013, Beijing, China, August 3-5, 2013, Revised Selected Papers / / edited by Elizabeth Black, Sanjay Modgil, Nir Oren |
Edizione | [1st ed. 2014.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 |
Descrizione fisica | 1 online resource (X, 209 p. 43 illus.) |
Disciplina | 006.3 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Computers Artificial Intelligence Theory of Computation |
Soggetto genere / forma |
Kongress2013.Peking
Conference papers and proceedings. |
ISBN | 3-642-54373-1 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Abstract argumentation frameworks -- Social abstract argumentation with votes on attacks.- A normal form of argumentation frameworks -- Assumption-based argumentation -- Argument schemes for normative practical reasoning. |
Record Nr. | UNISA-996205172203316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Theory and Applications of Formal Argumentation : Second International Workshop, TAFA 2013, Beijing, China, August 3-5, 2013, Revised Selected Papers / / edited by Elizabeth Black, Sanjay Modgil, Nir Oren |
Edizione | [1st ed. 2014.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 |
Descrizione fisica | 1 online resource (X, 209 p. 43 illus.) |
Disciplina | 006.3 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Computers Artificial Intelligence Theory of Computation |
Soggetto genere / forma |
Kongress2013.Peking
Conference papers and proceedings. |
ISBN | 3-642-54373-1 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Abstract argumentation frameworks -- Social abstract argumentation with votes on attacks.- A normal form of argumentation frameworks -- Assumption-based argumentation -- Argument schemes for normative practical reasoning. |
Record Nr. | UNINA-9910484963703321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|