Computational models of argument :: Proceedings of COMMA 2012 /
The subject of argumentation has been studied since ancient times, but it has seen major innovations since the advent of the computer age. Software already exists which can create and evaluate arguments in high-stake situations, such as medical diagnosis and criminal investigation; formal systems ca...
Gespeichert in:
| Körperschaften: | , |
|---|---|
| Weitere Verfasser: | , , |
| Format: | Elektronisch Tagungsbericht E-Book |
| Sprache: | English |
| Veröffentlicht: |
Amsterdam ; Washington, D.C. :
IOS Press,
2012.
|
| Schriftenreihe: | Frontiers in artificial intelligence and applications ;
v. 245. |
| Schlagworte: | |
| Online-Zugang: | DE-862 DE-863 |
| Zusammenfassung: | The subject of argumentation has been studied since ancient times, but it has seen major innovations since the advent of the computer age. Software already exists which can create and evaluate arguments in high-stake situations, such as medical diagnosis and criminal investigation; formal systems can help us appreciate the role of the value judgments which underlie opposing positions; and it is even possible to enter into argumentative dialogues as if playing a computer game. This book presents the 28 full papers, 17 short papers and a number of system demonstrations, described in an extended abstract, from the 2012 biennial Computational Models of Argument (COMMA) conference, held in Vienna, Austria. Papers by the invited speakers Professor Trevor Bench-Capon, Professor Erik Krabbe and Professor Keith Stenning are also included. This year, for the first time, COMMA invited the submission of papers for an innovative applications track, and those which were accepted for presentation are included in this volume. Argumentation can be studied from many angles, including the artificial, natural and theoretical systems perspective. Presentations at the 2012 conference addressed the subject from these perspectives and many more. |
| Beschreibung: | International conference proceedings. Includes author index. |
| Beschreibung: | 1 online resource |
| Bibliographie: | Includes bibliographical references and author index. |
| ISBN: | 9781614991113 1614991111 9781614991106 1614991103 1299333303 9781299333307 |
Internformat
MARC
| LEADER | 00000cam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | ZDB-4-EBA-ocn812179149 | ||
| 003 | OCoLC | ||
| 005 | 20250103110447.0 | ||
| 006 | m o d | ||
| 007 | cr cn||||||||| | ||
| 008 | 121008s2012 ne ob 101 0 eng d | ||
| 040 | |a IOSPR |b eng |e pn |c IOSPR |d IOSPR |d N$T |d YDXCP |d EBLCP |d OCLCQ |d E7B |d IDEBK |d OCLCF |d OCLCQ |d DEBSZ |d OCLCQ |d OCLCO |d OCL |d OCLCQ |d AZK |d AGLDB |d OCLCQ |d MOR |d PIFAG |d OCLCQ |d MERUC |d OCLCQ |d ZCU |d U3W |d STF |d WRM |d VTS |d NRAMU |d ICG |d INT |d VT2 |d AU@ |d JBG |d OCLCQ |d WYU |d TKN |d OCLCQ |d DKC |d OCLCQ |d M8D |d OCL |d OCLCQ |d AJS |d OCLCQ |d OCLCO |d QGK |d OCLCQ |d OCLCO |d OCLCL |d SFB |d OCLCL |d OCLCO | ||
| 016 | 7 | |a 016222511 |2 Uk | |
| 019 | |a 961490696 |a 962640229 |a 1055365373 |a 1065650534 |a 1081215698 |a 1228580699 |a 1259082560 | ||
| 020 | |a 9781614991113 |q (electronic bk.) | ||
| 020 | |a 1614991111 |q (electronic bk.) | ||
| 020 | |a 9781614991106 | ||
| 020 | |a 1614991103 | ||
| 020 | |a 1299333303 | ||
| 020 | |a 9781299333307 | ||
| 035 | |a (OCoLC)812179149 |z (OCoLC)961490696 |z (OCoLC)962640229 |z (OCoLC)1055365373 |z (OCoLC)1065650534 |z (OCoLC)1081215698 |z (OCoLC)1228580699 |z (OCoLC)1259082560 | ||
| 037 | |a 9781614991113 |b IOS Press |n http://www.iospress.nl | ||
| 050 | 4 | |a Q334 |b .C66 2012 | |
| 072 | 7 | |a COM |x 004000 |2 bisacsh | |
| 072 | 7 | |a COM |x 005030 |2 bisacsh | |
| 082 | 7 | |a 006.3 |2 23 | |
| 049 | |a MAIN | ||
| 111 | 2 | |a COMMA 2012 |d (2012 : |c Vienna, Austria) | |
| 245 | 1 | 0 | |a Computational models of argument : |b Proceedings of COMMA 2012 / |c edited by Bart Verheij, Stefan Szeider and Stefan Woltran. |
| 246 | 3 | |a COMMA 2012 | |
| 260 | |a Amsterdam ; |a Washington, D.C. : |b IOS Press, |c 2012. | ||
| 300 | |a 1 online resource | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 347 | |a data file | ||
| 490 | 1 | |a Frontiers in artificial intelligence and applications ; |v v. 245 | |
| 500 | |a International conference proceedings. | ||
| 500 | |a Includes author index. | ||
| 504 | |a Includes bibliographical references and author index. | ||
| 505 | 0 | |a Machine generated contents note: pt. I Invited Talks -- The Long and Winding Road: Forty Years of Argumentation / Trevor Bench-Capon -- Formal Dialectic: From Aristotle to Pragma-Dialectics, and Beyond / Erik C.W. Krabbe -- Multiple Logics Within Argument: Liow Defeasible and Classical Reasoning Work Together / Keith Stenning -- pt. II Innovative Applications -- Some Facets of Argument Mining for Opinion Analysis / Patrick Saint-Dizier -- An Inquiry Learning Environment for Scientific Argumentation / Nancy L. Green -- Semi-Automated Argumentative Analysis of Online Product Reviews / Trevor Bench-Capon -- Arguing with Preferences in EcoBioCap / Nir Oren -- An Analysis and Hypothesis Generation Platform for Heterogeneous Cancer Databases / Chris Reed -- Making Sense of Macro- and Micro-Argumentation in Policy-Deliberation: Visualisation Techniques and Representation Formats / Ann Macintosh -- Towards an Argument-Based Music Recommender System / Guillermo R. Simari. | |
| 505 | 0 | |a Note continued: Arguing About Firewall Policy / Simon Parsons -- pt. III Regular Papers -- A General QBF-Based Formalization of Abstract Argumentation Theory / Martin W.A. Caminada -- Some Foundations for Probabilistic Abstract Argumentation / Anthony Hunter -- Argument Aggregation: Basic Axioms and Complexity Results / Michael Wooldridge -- The Equational Approach to CF2 Semantics / Dov M. Gabbay -- Argumentation Games for Admissibility and Cogency Criteria / Guillermo R. Simari -- Uniform Argumentation Frameworks / Paul E. Dunne -- Dishonest Arguments in Debate Games / Chiaki Sakama -- On the Use of Presumptions in Structured Defeasible Reasoning / Guillermo R. Simari -- Automated Deployment of Argumentation Protocols / Michael Rovatsos -- On Preferred Extension Enumeration in Abstract Argumentation / Katie Atkinson -- Towards Experimental Algorithms for Abstract Argumentation / Katie Atkinson. | |
| 505 | 0 | |a Note continued: A Dialogue Game for Coalition Structure Generation with Self-Interested Agents / Terry R. Payne -- Complexity of Logic-Based Argumentation in Schaefer's Framework / Johannes Schmidt -- Argumentation Dialogues for Two-Agent Conflict Resolution / Francesca Toni -- Comparing the Expressiveness of Argumentation Semantics / Christof Spanring -- Computational Aspects of cf2 and stage2 Argumentation Semantics / Sarah Alice Gaggl -- Tactics and Concessions for Argumentation-Based Negotiation / Pavlos Moraitis -- Default Reasoning About Actions via Abstract Argumentation / Hannes Strass -- Resolutions in Structured Argumentation / Henry Prakken -- Mechanism Design for Argumentation-Based Persuasion / Francesca Toni -- Persuasion Strategies for Argumentation About Plans / Trevor Bench-Capon -- Selecting Extensions in Weighted Argumentation Frameworks / Mohand Akli Ouali -- Group Persuasion Through Uncertain Audience Modelling / Hengfei Li. | |
| 505 | 0 | |a Note continued: On Input/Output Argumentation Frameworks / Serena Villata -- Dialogue Templates for Automatic Argument Processing / Chris Reed -- Valued-Based Argumentation for Tree-Like Value Graphs / Sebastian Ordyniak -- Interchanging Arguments Between Carneades and AIF / Chris Reed -- Towards Argument-Based Foundation for Sceptical and Credulous Dialogue Games / N.D. Hung -- The Structure of Ad Hominem Dialogues / Chris Reed -- Towards Argumentation About Subjective Probabilities / Jeroen Keppens -- Argument Schemes for Reasoning About Trust / Elizabeth Sklar -- Clarifying Some Misconceptions on the ASPIC? Framework / Sanjay Modgil -- Generating Abstract Arguments: A Natural Language Approach / Serena Villata -- Towards Argumentation with Symbolic Dempster-Shafer Evidence / Munindar Singh -- Conditional Acceptance Functions / Leendert van der Torre -- Grounded Semantics as Persuasion Dialogue / Mikolaj Podlaszewski. | |
| 505 | 0 | |a Note continued: Picking the Right Expert to Make a Debate Uncontroversial / Pavlos Moraitis -- pt. IV Demonstrations -- The Synergy: A Platform for Argumentation-Based Group Decision Making / Andrii Rubtsov -- Critiquing Justifications for Action Using a Semantic Model: Demonstration / Trevor Bench-Capon -- Evaluating Abstract Dialectical Frameworks with ASP / Johannes Peter Wallner -- dynPARTIX 2.0 -- Dynamic Programming Argumentation Reasoning Tool / Wolfgang Dvorak -- TOAST: Online ASPIC+ Implementation / Chris Reed -- Implementing ArguBlogging / Chris Reed -- Dialogues on the Argument Web: Mixed Initiative Argumentation with Arvina / Chris Reed -- AIFdb: Infrastructure for the Argument Web / Mark Snaith -- The Cameades Web Service / Thomas F. Gordon -- Argumentation-Based Reinforcement Learning for RoboCup Keepaway / Robert Craven. | |
| 546 | |a English. | ||
| 520 | |a The subject of argumentation has been studied since ancient times, but it has seen major innovations since the advent of the computer age. Software already exists which can create and evaluate arguments in high-stake situations, such as medical diagnosis and criminal investigation; formal systems can help us appreciate the role of the value judgments which underlie opposing positions; and it is even possible to enter into argumentative dialogues as if playing a computer game. This book presents the 28 full papers, 17 short papers and a number of system demonstrations, described in an extended abstract, from the 2012 biennial Computational Models of Argument (COMMA) conference, held in Vienna, Austria. Papers by the invited speakers Professor Trevor Bench-Capon, Professor Erik Krabbe and Professor Keith Stenning are also included. This year, for the first time, COMMA invited the submission of papers for an innovative applications track, and those which were accepted for presentation are included in this volume. Argumentation can be studied from many angles, including the artificial, natural and theoretical systems perspective. Presentations at the 2012 conference addressed the subject from these perspectives and many more. | ||
| 650 | 0 | |a Artificial intelligence |x Computer simulation |v Congresses. | |
| 650 | 0 | |a Reasoning |x Computer simulation |v Congresses. | |
| 650 | 6 | |a Intelligence artificielle |x Simulation par ordinateur |v Congrès. | |
| 650 | 7 | |a COMPUTERS |x Enterprise Applications |x Business Intelligence Tools. |2 bisacsh | |
| 650 | 7 | |a COMPUTERS |x Intelligence (AI) & Semantics. |2 bisacsh | |
| 650 | 7 | |a Artificial intelligence |x Computer simulation |2 fast | |
| 650 | 7 | |a Reasoning |x Computer simulation |2 fast | |
| 655 | 7 | |a Conference papers and proceedings |2 fast | |
| 700 | 1 | |a Verheij, Bart. |1 https://id.oclc.org/worldcat/entity/E39PBJhRCVwQQc8xQgwJpffTHC |0 http://id.loc.gov/authorities/names/no2002052908 | |
| 700 | 1 | |a Szeider, Stefan. |1 https://id.oclc.org/worldcat/entity/E39PCjKcBXgCqWkWBD7YJwk6fC |0 http://id.loc.gov/authorities/names/nb2005010858 | |
| 700 | 1 | |a Woltran, Stefan. | |
| 710 | 2 | |a IOS Press. |1 https://id.oclc.org/worldcat/entity/E39QH7Jmq4CDTK3QFTckWWjytg |0 http://id.loc.gov/authorities/names/no2015091156 | |
| 758 | |i has work: |a Computational models of argument (Text) |1 https://id.oclc.org/worldcat/entity/E39PCG3FBjQXbXhdDf3tccVqDC |4 https://id.oclc.org/worldcat/ontology/hasWork | ||
| 776 | 0 | 8 | |i Print version: |a COMMA 2012 (2012 : Vienna, Austria). |t Computational models of argument. |d Amsterdam ; Washington, D.C. : IOS Press, 2012 |w (DLC) 2012945580 |
| 830 | 0 | |a Frontiers in artificial intelligence and applications ; |v v. 245. |0 http://id.loc.gov/authorities/names/n92019289 | |
| 966 | 4 | 0 | |l DE-862 |p ZDB-4-EBA |q FWS_PDA_EBA |u https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=489960 |3 Volltext |
| 966 | 4 | 0 | |l DE-863 |p ZDB-4-EBA |q FWS_PDA_EBA |u https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=489960 |3 Volltext |
| 938 | |a EBL - Ebook Library |b EBLB |n EBL1035231 | ||
| 938 | |a ebrary |b EBRY |n ebr10607571 | ||
| 938 | |a EBSCOhost |b EBSC |n 489960 | ||
| 938 | |a ProQuest MyiLibrary Digital eBook Collection |b IDEB |n cis25073276 | ||
| 938 | |a YBP Library Services |b YANK |n 9781958 | ||
| 994 | |a 92 |b GEBAY | ||
| 912 | |a ZDB-4-EBA | ||
| 049 | |a DE-862 | ||
| 049 | |a DE-863 | ||
Datensatz im Suchindex
| DE-BY-FWS_katkey | ZDB-4-EBA-ocn812179149 |
|---|---|
| _version_ | 1829094937880166400 |
| adam_text | |
| any_adam_object | |
| author2 | Verheij, Bart Szeider, Stefan Woltran, Stefan |
| author2_role | |
| author2_variant | b v bv s s ss s w sw |
| author_GND | http://id.loc.gov/authorities/names/no2002052908 http://id.loc.gov/authorities/names/nb2005010858 |
| author_corporate | COMMA 2012 Vienna, Austria IOS Press |
| author_corporate_role | |
| author_facet | Verheij, Bart Szeider, Stefan Woltran, Stefan COMMA 2012 Vienna, Austria IOS Press |
| author_sort | COMMA 2012 Vienna, Austria |
| building | Verbundindex |
| bvnumber | localFWS |
| callnumber-first | Q - Science |
| callnumber-label | Q334 |
| callnumber-raw | Q334 .C66 2012 |
| callnumber-search | Q334 .C66 2012 |
| callnumber-sort | Q 3334 C66 42012 |
| callnumber-subject | Q - General Science |
| collection | ZDB-4-EBA |
| contents | Machine generated contents note: pt. I Invited Talks -- The Long and Winding Road: Forty Years of Argumentation / Trevor Bench-Capon -- Formal Dialectic: From Aristotle to Pragma-Dialectics, and Beyond / Erik C.W. Krabbe -- Multiple Logics Within Argument: Liow Defeasible and Classical Reasoning Work Together / Keith Stenning -- pt. II Innovative Applications -- Some Facets of Argument Mining for Opinion Analysis / Patrick Saint-Dizier -- An Inquiry Learning Environment for Scientific Argumentation / Nancy L. Green -- Semi-Automated Argumentative Analysis of Online Product Reviews / Trevor Bench-Capon -- Arguing with Preferences in EcoBioCap / Nir Oren -- An Analysis and Hypothesis Generation Platform for Heterogeneous Cancer Databases / Chris Reed -- Making Sense of Macro- and Micro-Argumentation in Policy-Deliberation: Visualisation Techniques and Representation Formats / Ann Macintosh -- Towards an Argument-Based Music Recommender System / Guillermo R. Simari. Note continued: Arguing About Firewall Policy / Simon Parsons -- pt. III Regular Papers -- A General QBF-Based Formalization of Abstract Argumentation Theory / Martin W.A. Caminada -- Some Foundations for Probabilistic Abstract Argumentation / Anthony Hunter -- Argument Aggregation: Basic Axioms and Complexity Results / Michael Wooldridge -- The Equational Approach to CF2 Semantics / Dov M. Gabbay -- Argumentation Games for Admissibility and Cogency Criteria / Guillermo R. Simari -- Uniform Argumentation Frameworks / Paul E. Dunne -- Dishonest Arguments in Debate Games / Chiaki Sakama -- On the Use of Presumptions in Structured Defeasible Reasoning / Guillermo R. Simari -- Automated Deployment of Argumentation Protocols / Michael Rovatsos -- On Preferred Extension Enumeration in Abstract Argumentation / Katie Atkinson -- Towards Experimental Algorithms for Abstract Argumentation / Katie Atkinson. Note continued: A Dialogue Game for Coalition Structure Generation with Self-Interested Agents / Terry R. Payne -- Complexity of Logic-Based Argumentation in Schaefer's Framework / Johannes Schmidt -- Argumentation Dialogues for Two-Agent Conflict Resolution / Francesca Toni -- Comparing the Expressiveness of Argumentation Semantics / Christof Spanring -- Computational Aspects of cf2 and stage2 Argumentation Semantics / Sarah Alice Gaggl -- Tactics and Concessions for Argumentation-Based Negotiation / Pavlos Moraitis -- Default Reasoning About Actions via Abstract Argumentation / Hannes Strass -- Resolutions in Structured Argumentation / Henry Prakken -- Mechanism Design for Argumentation-Based Persuasion / Francesca Toni -- Persuasion Strategies for Argumentation About Plans / Trevor Bench-Capon -- Selecting Extensions in Weighted Argumentation Frameworks / Mohand Akli Ouali -- Group Persuasion Through Uncertain Audience Modelling / Hengfei Li. Note continued: On Input/Output Argumentation Frameworks / Serena Villata -- Dialogue Templates for Automatic Argument Processing / Chris Reed -- Valued-Based Argumentation for Tree-Like Value Graphs / Sebastian Ordyniak -- Interchanging Arguments Between Carneades and AIF / Chris Reed -- Towards Argument-Based Foundation for Sceptical and Credulous Dialogue Games / N.D. Hung -- The Structure of Ad Hominem Dialogues / Chris Reed -- Towards Argumentation About Subjective Probabilities / Jeroen Keppens -- Argument Schemes for Reasoning About Trust / Elizabeth Sklar -- Clarifying Some Misconceptions on the ASPIC? Framework / Sanjay Modgil -- Generating Abstract Arguments: A Natural Language Approach / Serena Villata -- Towards Argumentation with Symbolic Dempster-Shafer Evidence / Munindar Singh -- Conditional Acceptance Functions / Leendert van der Torre -- Grounded Semantics as Persuasion Dialogue / Mikolaj Podlaszewski. Note continued: Picking the Right Expert to Make a Debate Uncontroversial / Pavlos Moraitis -- pt. IV Demonstrations -- The Synergy: A Platform for Argumentation-Based Group Decision Making / Andrii Rubtsov -- Critiquing Justifications for Action Using a Semantic Model: Demonstration / Trevor Bench-Capon -- Evaluating Abstract Dialectical Frameworks with ASP / Johannes Peter Wallner -- dynPARTIX 2.0 -- Dynamic Programming Argumentation Reasoning Tool / Wolfgang Dvorak -- TOAST: Online ASPIC+ Implementation / Chris Reed -- Implementing ArguBlogging / Chris Reed -- Dialogues on the Argument Web: Mixed Initiative Argumentation with Arvina / Chris Reed -- AIFdb: Infrastructure for the Argument Web / Mark Snaith -- The Cameades Web Service / Thomas F. Gordon -- Argumentation-Based Reinforcement Learning for RoboCup Keepaway / Robert Craven. |
| ctrlnum | (OCoLC)812179149 |
| dewey-full | 006.3 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 006 - Special computer methods |
| dewey-raw | 006.3 |
| dewey-search | 006.3 |
| dewey-sort | 16.3 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Electronic Conference Proceeding eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>09872cam a2200793 a 4500</leader><controlfield tag="001">ZDB-4-EBA-ocn812179149</controlfield><controlfield tag="003">OCoLC</controlfield><controlfield tag="005">20250103110447.0</controlfield><controlfield tag="006">m o d </controlfield><controlfield tag="007">cr cn|||||||||</controlfield><controlfield tag="008">121008s2012 ne ob 101 0 eng d</controlfield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">IOSPR</subfield><subfield code="b">eng</subfield><subfield code="e">pn</subfield><subfield code="c">IOSPR</subfield><subfield code="d">IOSPR</subfield><subfield code="d">N$T</subfield><subfield code="d">YDXCP</subfield><subfield code="d">EBLCP</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">E7B</subfield><subfield code="d">IDEBK</subfield><subfield code="d">OCLCF</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">DEBSZ</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCL</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">AZK</subfield><subfield code="d">AGLDB</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">MOR</subfield><subfield code="d">PIFAG</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">MERUC</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">ZCU</subfield><subfield code="d">U3W</subfield><subfield code="d">STF</subfield><subfield code="d">WRM</subfield><subfield code="d">VTS</subfield><subfield code="d">NRAMU</subfield><subfield code="d">ICG</subfield><subfield code="d">INT</subfield><subfield code="d">VT2</subfield><subfield code="d">AU@</subfield><subfield code="d">JBG</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">WYU</subfield><subfield code="d">TKN</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">DKC</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">M8D</subfield><subfield code="d">OCL</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">AJS</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">QGK</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCL</subfield><subfield code="d">SFB</subfield><subfield code="d">OCLCL</subfield><subfield code="d">OCLCO</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">016222511</subfield><subfield code="2">Uk</subfield></datafield><datafield tag="019" ind1=" " ind2=" "><subfield code="a">961490696</subfield><subfield code="a">962640229</subfield><subfield code="a">1055365373</subfield><subfield code="a">1065650534</subfield><subfield code="a">1081215698</subfield><subfield code="a">1228580699</subfield><subfield code="a">1259082560</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781614991113</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1614991111</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781614991106</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1614991103</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1299333303</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781299333307</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)812179149</subfield><subfield code="z">(OCoLC)961490696</subfield><subfield code="z">(OCoLC)962640229</subfield><subfield code="z">(OCoLC)1055365373</subfield><subfield code="z">(OCoLC)1065650534</subfield><subfield code="z">(OCoLC)1081215698</subfield><subfield code="z">(OCoLC)1228580699</subfield><subfield code="z">(OCoLC)1259082560</subfield></datafield><datafield tag="037" ind1=" " ind2=" "><subfield code="a">9781614991113</subfield><subfield code="b">IOS Press</subfield><subfield code="n">http://www.iospress.nl</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">Q334</subfield><subfield code="b">.C66 2012</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">COM</subfield><subfield code="x">004000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">COM</subfield><subfield code="x">005030</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="082" ind1="7" ind2=" "><subfield code="a">006.3</subfield><subfield code="2">23</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">MAIN</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">COMMA 2012</subfield><subfield code="d">(2012 :</subfield><subfield code="c">Vienna, Austria)</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Computational models of argument :</subfield><subfield code="b">Proceedings of COMMA 2012 /</subfield><subfield code="c">edited by Bart Verheij, Stefan Szeider and Stefan Woltran.</subfield></datafield><datafield tag="246" ind1="3" ind2=" "><subfield code="a">COMMA 2012</subfield></datafield><datafield tag="260" ind1=" " ind2=" "><subfield code="a">Amsterdam ;</subfield><subfield code="a">Washington, D.C. :</subfield><subfield code="b">IOS Press,</subfield><subfield code="c">2012.</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">computer</subfield><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">online resource</subfield><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="347" ind1=" " ind2=" "><subfield code="a">data file</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Frontiers in artificial intelligence and applications ;</subfield><subfield code="v">v. 245</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">International conference proceedings.</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes author index.</subfield></datafield><datafield tag="504" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references and author index.</subfield></datafield><datafield tag="505" ind1="0" ind2=" "><subfield code="a">Machine generated contents note: pt. I Invited Talks -- The Long and Winding Road: Forty Years of Argumentation / Trevor Bench-Capon -- Formal Dialectic: From Aristotle to Pragma-Dialectics, and Beyond / Erik C.W. Krabbe -- Multiple Logics Within Argument: Liow Defeasible and Classical Reasoning Work Together / Keith Stenning -- pt. II Innovative Applications -- Some Facets of Argument Mining for Opinion Analysis / Patrick Saint-Dizier -- An Inquiry Learning Environment for Scientific Argumentation / Nancy L. Green -- Semi-Automated Argumentative Analysis of Online Product Reviews / Trevor Bench-Capon -- Arguing with Preferences in EcoBioCap / Nir Oren -- An Analysis and Hypothesis Generation Platform for Heterogeneous Cancer Databases / Chris Reed -- Making Sense of Macro- and Micro-Argumentation in Policy-Deliberation: Visualisation Techniques and Representation Formats / Ann Macintosh -- Towards an Argument-Based Music Recommender System / Guillermo R. Simari.</subfield></datafield><datafield tag="505" ind1="0" ind2=" "><subfield code="a">Note continued: Arguing About Firewall Policy / Simon Parsons -- pt. III Regular Papers -- A General QBF-Based Formalization of Abstract Argumentation Theory / Martin W.A. Caminada -- Some Foundations for Probabilistic Abstract Argumentation / Anthony Hunter -- Argument Aggregation: Basic Axioms and Complexity Results / Michael Wooldridge -- The Equational Approach to CF2 Semantics / Dov M. Gabbay -- Argumentation Games for Admissibility and Cogency Criteria / Guillermo R. Simari -- Uniform Argumentation Frameworks / Paul E. Dunne -- Dishonest Arguments in Debate Games / Chiaki Sakama -- On the Use of Presumptions in Structured Defeasible Reasoning / Guillermo R. Simari -- Automated Deployment of Argumentation Protocols / Michael Rovatsos -- On Preferred Extension Enumeration in Abstract Argumentation / Katie Atkinson -- Towards Experimental Algorithms for Abstract Argumentation / Katie Atkinson.</subfield></datafield><datafield tag="505" ind1="0" ind2=" "><subfield code="a">Note continued: A Dialogue Game for Coalition Structure Generation with Self-Interested Agents / Terry R. Payne -- Complexity of Logic-Based Argumentation in Schaefer's Framework / Johannes Schmidt -- Argumentation Dialogues for Two-Agent Conflict Resolution / Francesca Toni -- Comparing the Expressiveness of Argumentation Semantics / Christof Spanring -- Computational Aspects of cf2 and stage2 Argumentation Semantics / Sarah Alice Gaggl -- Tactics and Concessions for Argumentation-Based Negotiation / Pavlos Moraitis -- Default Reasoning About Actions via Abstract Argumentation / Hannes Strass -- Resolutions in Structured Argumentation / Henry Prakken -- Mechanism Design for Argumentation-Based Persuasion / Francesca Toni -- Persuasion Strategies for Argumentation About Plans / Trevor Bench-Capon -- Selecting Extensions in Weighted Argumentation Frameworks / Mohand Akli Ouali -- Group Persuasion Through Uncertain Audience Modelling / Hengfei Li.</subfield></datafield><datafield tag="505" ind1="0" ind2=" "><subfield code="a">Note continued: On Input/Output Argumentation Frameworks / Serena Villata -- Dialogue Templates for Automatic Argument Processing / Chris Reed -- Valued-Based Argumentation for Tree-Like Value Graphs / Sebastian Ordyniak -- Interchanging Arguments Between Carneades and AIF / Chris Reed -- Towards Argument-Based Foundation for Sceptical and Credulous Dialogue Games / N.D. Hung -- The Structure of Ad Hominem Dialogues / Chris Reed -- Towards Argumentation About Subjective Probabilities / Jeroen Keppens -- Argument Schemes for Reasoning About Trust / Elizabeth Sklar -- Clarifying Some Misconceptions on the ASPIC? Framework / Sanjay Modgil -- Generating Abstract Arguments: A Natural Language Approach / Serena Villata -- Towards Argumentation with Symbolic Dempster-Shafer Evidence / Munindar Singh -- Conditional Acceptance Functions / Leendert van der Torre -- Grounded Semantics as Persuasion Dialogue / Mikolaj Podlaszewski.</subfield></datafield><datafield tag="505" ind1="0" ind2=" "><subfield code="a">Note continued: Picking the Right Expert to Make a Debate Uncontroversial / Pavlos Moraitis -- pt. IV Demonstrations -- The Synergy: A Platform for Argumentation-Based Group Decision Making / Andrii Rubtsov -- Critiquing Justifications for Action Using a Semantic Model: Demonstration / Trevor Bench-Capon -- Evaluating Abstract Dialectical Frameworks with ASP / Johannes Peter Wallner -- dynPARTIX 2.0 -- Dynamic Programming Argumentation Reasoning Tool / Wolfgang Dvorak -- TOAST: Online ASPIC+ Implementation / Chris Reed -- Implementing ArguBlogging / Chris Reed -- Dialogues on the Argument Web: Mixed Initiative Argumentation with Arvina / Chris Reed -- AIFdb: Infrastructure for the Argument Web / Mark Snaith -- The Cameades Web Service / Thomas F. Gordon -- Argumentation-Based Reinforcement Learning for RoboCup Keepaway / Robert Craven.</subfield></datafield><datafield tag="546" ind1=" " ind2=" "><subfield code="a">English.</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">The subject of argumentation has been studied since ancient times, but it has seen major innovations since the advent of the computer age. Software already exists which can create and evaluate arguments in high-stake situations, such as medical diagnosis and criminal investigation; formal systems can help us appreciate the role of the value judgments which underlie opposing positions; and it is even possible to enter into argumentative dialogues as if playing a computer game. This book presents the 28 full papers, 17 short papers and a number of system demonstrations, described in an extended abstract, from the 2012 biennial Computational Models of Argument (COMMA) conference, held in Vienna, Austria. Papers by the invited speakers Professor Trevor Bench-Capon, Professor Erik Krabbe and Professor Keith Stenning are also included. This year, for the first time, COMMA invited the submission of papers for an innovative applications track, and those which were accepted for presentation are included in this volume. Argumentation can be studied from many angles, including the artificial, natural and theoretical systems perspective. Presentations at the 2012 conference addressed the subject from these perspectives and many more.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Artificial intelligence</subfield><subfield code="x">Computer simulation</subfield><subfield code="v">Congresses.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Reasoning</subfield><subfield code="x">Computer simulation</subfield><subfield code="v">Congresses.</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Intelligence artificielle</subfield><subfield code="x">Simulation par ordinateur</subfield><subfield code="v">Congrès.</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS</subfield><subfield code="x">Enterprise Applications</subfield><subfield code="x">Business Intelligence Tools.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS</subfield><subfield code="x">Intelligence (AI) & Semantics.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Artificial intelligence</subfield><subfield code="x">Computer simulation</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Reasoning</subfield><subfield code="x">Computer simulation</subfield><subfield code="2">fast</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="a">Conference papers and proceedings</subfield><subfield code="2">fast</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Verheij, Bart.</subfield><subfield code="1">https://id.oclc.org/worldcat/entity/E39PBJhRCVwQQc8xQgwJpffTHC</subfield><subfield code="0">http://id.loc.gov/authorities/names/no2002052908</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Szeider, Stefan.</subfield><subfield code="1">https://id.oclc.org/worldcat/entity/E39PCjKcBXgCqWkWBD7YJwk6fC</subfield><subfield code="0">http://id.loc.gov/authorities/names/nb2005010858</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Woltran, Stefan.</subfield></datafield><datafield tag="710" ind1="2" ind2=" "><subfield code="a">IOS Press.</subfield><subfield code="1">https://id.oclc.org/worldcat/entity/E39QH7Jmq4CDTK3QFTckWWjytg</subfield><subfield code="0">http://id.loc.gov/authorities/names/no2015091156</subfield></datafield><datafield tag="758" ind1=" " ind2=" "><subfield code="i">has work:</subfield><subfield code="a">Computational models of argument (Text)</subfield><subfield code="1">https://id.oclc.org/worldcat/entity/E39PCG3FBjQXbXhdDf3tccVqDC</subfield><subfield code="4">https://id.oclc.org/worldcat/ontology/hasWork</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Print version:</subfield><subfield code="a">COMMA 2012 (2012 : Vienna, Austria).</subfield><subfield code="t">Computational models of argument.</subfield><subfield code="d">Amsterdam ; Washington, D.C. : IOS Press, 2012</subfield><subfield code="w">(DLC) 2012945580</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Frontiers in artificial intelligence and applications ;</subfield><subfield code="v">v. 245.</subfield><subfield code="0">http://id.loc.gov/authorities/names/n92019289</subfield></datafield><datafield tag="966" ind1="4" ind2="0"><subfield code="l">DE-862</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FWS_PDA_EBA</subfield><subfield code="u">https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=489960</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="4" ind2="0"><subfield code="l">DE-863</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FWS_PDA_EBA</subfield><subfield code="u">https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=489960</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">EBL - Ebook Library</subfield><subfield code="b">EBLB</subfield><subfield code="n">EBL1035231</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">ebrary</subfield><subfield code="b">EBRY</subfield><subfield code="n">ebr10607571</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">EBSCOhost</subfield><subfield code="b">EBSC</subfield><subfield code="n">489960</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">ProQuest MyiLibrary Digital eBook Collection</subfield><subfield code="b">IDEB</subfield><subfield code="n">cis25073276</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">9781958</subfield></datafield><datafield tag="994" ind1=" " ind2=" "><subfield code="a">92</subfield><subfield code="b">GEBAY</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-4-EBA</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-862</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-863</subfield></datafield></record></collection> |
| genre | Conference papers and proceedings fast |
| genre_facet | Conference papers and proceedings |
| id | ZDB-4-EBA-ocn812179149 |
| illustrated | Not Illustrated |
| indexdate | 2025-04-11T08:41:04Z |
| institution | BVB |
| institution_GND | http://id.loc.gov/authorities/names/no2015091156 |
| isbn | 9781614991113 1614991111 9781614991106 1614991103 1299333303 9781299333307 |
| language | English |
| oclc_num | 812179149 |
| open_access_boolean | |
| owner | MAIN DE-862 DE-BY-FWS DE-863 DE-BY-FWS |
| owner_facet | MAIN DE-862 DE-BY-FWS DE-863 DE-BY-FWS |
| physical | 1 online resource |
| psigel | ZDB-4-EBA FWS_PDA_EBA ZDB-4-EBA |
| publishDate | 2012 |
| publishDateSearch | 2012 |
| publishDateSort | 2012 |
| publisher | IOS Press, |
| record_format | marc |
| series | Frontiers in artificial intelligence and applications ; |
| series2 | Frontiers in artificial intelligence and applications ; |
| spelling | COMMA 2012 (2012 : Vienna, Austria) Computational models of argument : Proceedings of COMMA 2012 / edited by Bart Verheij, Stefan Szeider and Stefan Woltran. COMMA 2012 Amsterdam ; Washington, D.C. : IOS Press, 2012. 1 online resource text txt rdacontent computer c rdamedia online resource cr rdacarrier data file Frontiers in artificial intelligence and applications ; v. 245 International conference proceedings. Includes author index. Includes bibliographical references and author index. Machine generated contents note: pt. I Invited Talks -- The Long and Winding Road: Forty Years of Argumentation / Trevor Bench-Capon -- Formal Dialectic: From Aristotle to Pragma-Dialectics, and Beyond / Erik C.W. Krabbe -- Multiple Logics Within Argument: Liow Defeasible and Classical Reasoning Work Together / Keith Stenning -- pt. II Innovative Applications -- Some Facets of Argument Mining for Opinion Analysis / Patrick Saint-Dizier -- An Inquiry Learning Environment for Scientific Argumentation / Nancy L. Green -- Semi-Automated Argumentative Analysis of Online Product Reviews / Trevor Bench-Capon -- Arguing with Preferences in EcoBioCap / Nir Oren -- An Analysis and Hypothesis Generation Platform for Heterogeneous Cancer Databases / Chris Reed -- Making Sense of Macro- and Micro-Argumentation in Policy-Deliberation: Visualisation Techniques and Representation Formats / Ann Macintosh -- Towards an Argument-Based Music Recommender System / Guillermo R. Simari. Note continued: Arguing About Firewall Policy / Simon Parsons -- pt. III Regular Papers -- A General QBF-Based Formalization of Abstract Argumentation Theory / Martin W.A. Caminada -- Some Foundations for Probabilistic Abstract Argumentation / Anthony Hunter -- Argument Aggregation: Basic Axioms and Complexity Results / Michael Wooldridge -- The Equational Approach to CF2 Semantics / Dov M. Gabbay -- Argumentation Games for Admissibility and Cogency Criteria / Guillermo R. Simari -- Uniform Argumentation Frameworks / Paul E. Dunne -- Dishonest Arguments in Debate Games / Chiaki Sakama -- On the Use of Presumptions in Structured Defeasible Reasoning / Guillermo R. Simari -- Automated Deployment of Argumentation Protocols / Michael Rovatsos -- On Preferred Extension Enumeration in Abstract Argumentation / Katie Atkinson -- Towards Experimental Algorithms for Abstract Argumentation / Katie Atkinson. Note continued: A Dialogue Game for Coalition Structure Generation with Self-Interested Agents / Terry R. Payne -- Complexity of Logic-Based Argumentation in Schaefer's Framework / Johannes Schmidt -- Argumentation Dialogues for Two-Agent Conflict Resolution / Francesca Toni -- Comparing the Expressiveness of Argumentation Semantics / Christof Spanring -- Computational Aspects of cf2 and stage2 Argumentation Semantics / Sarah Alice Gaggl -- Tactics and Concessions for Argumentation-Based Negotiation / Pavlos Moraitis -- Default Reasoning About Actions via Abstract Argumentation / Hannes Strass -- Resolutions in Structured Argumentation / Henry Prakken -- Mechanism Design for Argumentation-Based Persuasion / Francesca Toni -- Persuasion Strategies for Argumentation About Plans / Trevor Bench-Capon -- Selecting Extensions in Weighted Argumentation Frameworks / Mohand Akli Ouali -- Group Persuasion Through Uncertain Audience Modelling / Hengfei Li. Note continued: On Input/Output Argumentation Frameworks / Serena Villata -- Dialogue Templates for Automatic Argument Processing / Chris Reed -- Valued-Based Argumentation for Tree-Like Value Graphs / Sebastian Ordyniak -- Interchanging Arguments Between Carneades and AIF / Chris Reed -- Towards Argument-Based Foundation for Sceptical and Credulous Dialogue Games / N.D. Hung -- The Structure of Ad Hominem Dialogues / Chris Reed -- Towards Argumentation About Subjective Probabilities / Jeroen Keppens -- Argument Schemes for Reasoning About Trust / Elizabeth Sklar -- Clarifying Some Misconceptions on the ASPIC? Framework / Sanjay Modgil -- Generating Abstract Arguments: A Natural Language Approach / Serena Villata -- Towards Argumentation with Symbolic Dempster-Shafer Evidence / Munindar Singh -- Conditional Acceptance Functions / Leendert van der Torre -- Grounded Semantics as Persuasion Dialogue / Mikolaj Podlaszewski. Note continued: Picking the Right Expert to Make a Debate Uncontroversial / Pavlos Moraitis -- pt. IV Demonstrations -- The Synergy: A Platform for Argumentation-Based Group Decision Making / Andrii Rubtsov -- Critiquing Justifications for Action Using a Semantic Model: Demonstration / Trevor Bench-Capon -- Evaluating Abstract Dialectical Frameworks with ASP / Johannes Peter Wallner -- dynPARTIX 2.0 -- Dynamic Programming Argumentation Reasoning Tool / Wolfgang Dvorak -- TOAST: Online ASPIC+ Implementation / Chris Reed -- Implementing ArguBlogging / Chris Reed -- Dialogues on the Argument Web: Mixed Initiative Argumentation with Arvina / Chris Reed -- AIFdb: Infrastructure for the Argument Web / Mark Snaith -- The Cameades Web Service / Thomas F. Gordon -- Argumentation-Based Reinforcement Learning for RoboCup Keepaway / Robert Craven. English. The subject of argumentation has been studied since ancient times, but it has seen major innovations since the advent of the computer age. Software already exists which can create and evaluate arguments in high-stake situations, such as medical diagnosis and criminal investigation; formal systems can help us appreciate the role of the value judgments which underlie opposing positions; and it is even possible to enter into argumentative dialogues as if playing a computer game. This book presents the 28 full papers, 17 short papers and a number of system demonstrations, described in an extended abstract, from the 2012 biennial Computational Models of Argument (COMMA) conference, held in Vienna, Austria. Papers by the invited speakers Professor Trevor Bench-Capon, Professor Erik Krabbe and Professor Keith Stenning are also included. This year, for the first time, COMMA invited the submission of papers for an innovative applications track, and those which were accepted for presentation are included in this volume. Argumentation can be studied from many angles, including the artificial, natural and theoretical systems perspective. Presentations at the 2012 conference addressed the subject from these perspectives and many more. Artificial intelligence Computer simulation Congresses. Reasoning Computer simulation Congresses. Intelligence artificielle Simulation par ordinateur Congrès. COMPUTERS Enterprise Applications Business Intelligence Tools. bisacsh COMPUTERS Intelligence (AI) & Semantics. bisacsh Artificial intelligence Computer simulation fast Reasoning Computer simulation fast Conference papers and proceedings fast Verheij, Bart. https://id.oclc.org/worldcat/entity/E39PBJhRCVwQQc8xQgwJpffTHC http://id.loc.gov/authorities/names/no2002052908 Szeider, Stefan. https://id.oclc.org/worldcat/entity/E39PCjKcBXgCqWkWBD7YJwk6fC http://id.loc.gov/authorities/names/nb2005010858 Woltran, Stefan. IOS Press. https://id.oclc.org/worldcat/entity/E39QH7Jmq4CDTK3QFTckWWjytg http://id.loc.gov/authorities/names/no2015091156 has work: Computational models of argument (Text) https://id.oclc.org/worldcat/entity/E39PCG3FBjQXbXhdDf3tccVqDC https://id.oclc.org/worldcat/ontology/hasWork Print version: COMMA 2012 (2012 : Vienna, Austria). Computational models of argument. Amsterdam ; Washington, D.C. : IOS Press, 2012 (DLC) 2012945580 Frontiers in artificial intelligence and applications ; v. 245. http://id.loc.gov/authorities/names/n92019289 |
| spellingShingle | Computational models of argument : Proceedings of COMMA 2012 / Frontiers in artificial intelligence and applications ; Machine generated contents note: pt. I Invited Talks -- The Long and Winding Road: Forty Years of Argumentation / Trevor Bench-Capon -- Formal Dialectic: From Aristotle to Pragma-Dialectics, and Beyond / Erik C.W. Krabbe -- Multiple Logics Within Argument: Liow Defeasible and Classical Reasoning Work Together / Keith Stenning -- pt. II Innovative Applications -- Some Facets of Argument Mining for Opinion Analysis / Patrick Saint-Dizier -- An Inquiry Learning Environment for Scientific Argumentation / Nancy L. Green -- Semi-Automated Argumentative Analysis of Online Product Reviews / Trevor Bench-Capon -- Arguing with Preferences in EcoBioCap / Nir Oren -- An Analysis and Hypothesis Generation Platform for Heterogeneous Cancer Databases / Chris Reed -- Making Sense of Macro- and Micro-Argumentation in Policy-Deliberation: Visualisation Techniques and Representation Formats / Ann Macintosh -- Towards an Argument-Based Music Recommender System / Guillermo R. Simari. Note continued: Arguing About Firewall Policy / Simon Parsons -- pt. III Regular Papers -- A General QBF-Based Formalization of Abstract Argumentation Theory / Martin W.A. Caminada -- Some Foundations for Probabilistic Abstract Argumentation / Anthony Hunter -- Argument Aggregation: Basic Axioms and Complexity Results / Michael Wooldridge -- The Equational Approach to CF2 Semantics / Dov M. Gabbay -- Argumentation Games for Admissibility and Cogency Criteria / Guillermo R. Simari -- Uniform Argumentation Frameworks / Paul E. Dunne -- Dishonest Arguments in Debate Games / Chiaki Sakama -- On the Use of Presumptions in Structured Defeasible Reasoning / Guillermo R. Simari -- Automated Deployment of Argumentation Protocols / Michael Rovatsos -- On Preferred Extension Enumeration in Abstract Argumentation / Katie Atkinson -- Towards Experimental Algorithms for Abstract Argumentation / Katie Atkinson. Note continued: A Dialogue Game for Coalition Structure Generation with Self-Interested Agents / Terry R. Payne -- Complexity of Logic-Based Argumentation in Schaefer's Framework / Johannes Schmidt -- Argumentation Dialogues for Two-Agent Conflict Resolution / Francesca Toni -- Comparing the Expressiveness of Argumentation Semantics / Christof Spanring -- Computational Aspects of cf2 and stage2 Argumentation Semantics / Sarah Alice Gaggl -- Tactics and Concessions for Argumentation-Based Negotiation / Pavlos Moraitis -- Default Reasoning About Actions via Abstract Argumentation / Hannes Strass -- Resolutions in Structured Argumentation / Henry Prakken -- Mechanism Design for Argumentation-Based Persuasion / Francesca Toni -- Persuasion Strategies for Argumentation About Plans / Trevor Bench-Capon -- Selecting Extensions in Weighted Argumentation Frameworks / Mohand Akli Ouali -- Group Persuasion Through Uncertain Audience Modelling / Hengfei Li. Note continued: On Input/Output Argumentation Frameworks / Serena Villata -- Dialogue Templates for Automatic Argument Processing / Chris Reed -- Valued-Based Argumentation for Tree-Like Value Graphs / Sebastian Ordyniak -- Interchanging Arguments Between Carneades and AIF / Chris Reed -- Towards Argument-Based Foundation for Sceptical and Credulous Dialogue Games / N.D. Hung -- The Structure of Ad Hominem Dialogues / Chris Reed -- Towards Argumentation About Subjective Probabilities / Jeroen Keppens -- Argument Schemes for Reasoning About Trust / Elizabeth Sklar -- Clarifying Some Misconceptions on the ASPIC? Framework / Sanjay Modgil -- Generating Abstract Arguments: A Natural Language Approach / Serena Villata -- Towards Argumentation with Symbolic Dempster-Shafer Evidence / Munindar Singh -- Conditional Acceptance Functions / Leendert van der Torre -- Grounded Semantics as Persuasion Dialogue / Mikolaj Podlaszewski. Note continued: Picking the Right Expert to Make a Debate Uncontroversial / Pavlos Moraitis -- pt. IV Demonstrations -- The Synergy: A Platform for Argumentation-Based Group Decision Making / Andrii Rubtsov -- Critiquing Justifications for Action Using a Semantic Model: Demonstration / Trevor Bench-Capon -- Evaluating Abstract Dialectical Frameworks with ASP / Johannes Peter Wallner -- dynPARTIX 2.0 -- Dynamic Programming Argumentation Reasoning Tool / Wolfgang Dvorak -- TOAST: Online ASPIC+ Implementation / Chris Reed -- Implementing ArguBlogging / Chris Reed -- Dialogues on the Argument Web: Mixed Initiative Argumentation with Arvina / Chris Reed -- AIFdb: Infrastructure for the Argument Web / Mark Snaith -- The Cameades Web Service / Thomas F. Gordon -- Argumentation-Based Reinforcement Learning for RoboCup Keepaway / Robert Craven. Artificial intelligence Computer simulation Congresses. Reasoning Computer simulation Congresses. Intelligence artificielle Simulation par ordinateur Congrès. COMPUTERS Enterprise Applications Business Intelligence Tools. bisacsh COMPUTERS Intelligence (AI) & Semantics. bisacsh Artificial intelligence Computer simulation fast Reasoning Computer simulation fast |
| title | Computational models of argument : Proceedings of COMMA 2012 / |
| title_alt | COMMA 2012 |
| title_auth | Computational models of argument : Proceedings of COMMA 2012 / |
| title_exact_search | Computational models of argument : Proceedings of COMMA 2012 / |
| title_full | Computational models of argument : Proceedings of COMMA 2012 / edited by Bart Verheij, Stefan Szeider and Stefan Woltran. |
| title_fullStr | Computational models of argument : Proceedings of COMMA 2012 / edited by Bart Verheij, Stefan Szeider and Stefan Woltran. |
| title_full_unstemmed | Computational models of argument : Proceedings of COMMA 2012 / edited by Bart Verheij, Stefan Szeider and Stefan Woltran. |
| title_short | Computational models of argument : |
| title_sort | computational models of argument proceedings of comma 2012 |
| title_sub | Proceedings of COMMA 2012 / |
| topic | Artificial intelligence Computer simulation Congresses. Reasoning Computer simulation Congresses. Intelligence artificielle Simulation par ordinateur Congrès. COMPUTERS Enterprise Applications Business Intelligence Tools. bisacsh COMPUTERS Intelligence (AI) & Semantics. bisacsh Artificial intelligence Computer simulation fast Reasoning Computer simulation fast |
| topic_facet | Artificial intelligence Computer simulation Congresses. Reasoning Computer simulation Congresses. Intelligence artificielle Simulation par ordinateur Congrès. COMPUTERS Enterprise Applications Business Intelligence Tools. COMPUTERS Intelligence (AI) & Semantics. Artificial intelligence Computer simulation Reasoning Computer simulation Conference papers and proceedings |
| work_keys_str_mv | AT comma2012viennaaustria computationalmodelsofargumentproceedingsofcomma2012 AT verheijbart computationalmodelsofargumentproceedingsofcomma2012 AT szeiderstefan computationalmodelsofargumentproceedingsofcomma2012 AT woltranstefan computationalmodelsofargumentproceedingsofcomma2012 AT iospress computationalmodelsofargumentproceedingsofcomma2012 AT comma2012viennaaustria comma2012 AT verheijbart comma2012 AT szeiderstefan comma2012 AT woltranstefan comma2012 AT iospress comma2012 |