|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
Results
Found 39 publication records. Showing 39 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Wolfgang Dvorák, Matthias König 0002, Stefan Woltran |
Deletion-Backdoors for Argumentation Frameworks with Collective Attacks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFA@COMMA ![In: Proceedings of the Fourth International Workshop on Systems and Algorithms for Formal Argumentation co-located with the 9th International Conference on Computational Models of Argument (COMMA 2022), Cardiff, Wales, United Kingdom, September 13, 2022., pp. 98-110, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
1 | Martin Caminada, Sri Harikrishnan |
Strong Admissibility, a Tractable Algorithmic Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFA@COMMA ![In: Proceedings of the Fourth International Workshop on Systems and Algorithms for Formal Argumentation co-located with the 9th International Conference on Computational Models of Argument (COMMA 2022), Cardiff, Wales, United Kingdom, September 13, 2022., pp. 33-44, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
1 | Sarah Alice Gaggl, Jean-Guy Mailly, Matthias Thimm, Johannes Peter Wallner (eds.) |
Proceedings of the Fourth International Workshop on Systems and Algorithms for Formal Argumentation co-located with the 9th International Conference on Computational Models of Argument (COMMA 2022), Cardiff, Wales, United Kingdom, September 13, 2022. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFA@COMMA ![CEUR-WS.org The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
1 | Johannes Klaus Fichte |
Model Counting, its Relationship to Symbolic Quantitative AI, and a Glimpse into Practical Solving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFA@COMMA ![In: Proceedings of the Fourth International Workshop on Systems and Algorithms for Formal Argumentation co-located with the 9th International Conference on Computational Models of Argument (COMMA 2022), Cardiff, Wales, United Kingdom, September 13, 2022., pp. 1-4, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
1 | Hao Wu 0056, Bruno Yun, Nir Oren |
Improving Reasoning Efficiency in ASPIC+ with Backwards Chaining and Partial Arguments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFA@COMMA ![In: Proceedings of the Fourth International Workshop on Systems and Algorithms for Formal Argumentation co-located with the 9th International Conference on Computational Models of Argument (COMMA 2022), Cardiff, Wales, United Kingdom, September 13, 2022., pp. 86-97, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
1 | Kazuko Takahashi |
Odd or Even: Handling N-lemmas in a Dynamic Argumentation Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFA@COMMA ![In: Proceedings of the Fourth International Workshop on Systems and Algorithms for Formal Argumentation co-located with the 9th International Conference on Computational Models of Argument (COMMA 2022), Cardiff, Wales, United Kingdom, September 13, 2022., pp. 5-18, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
1 | Martin Diller, Sarah Alice Gaggl, Piotr Gorczyca |
Strategies in Flexible Dispute Derivations for Assumption-Based Argumentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFA@COMMA ![In: Proceedings of the Fourth International Workshop on Systems and Algorithms for Formal Argumentation co-located with the 9th International Conference on Computational Models of Argument (COMMA 2022), Cardiff, Wales, United Kingdom, September 13, 2022., pp. 59-72, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
1 | Kenneth Skiba, Matthias Thimm, Tjitze Rienstra, Jesse Heyninck, Gabriele Kern-Isberner |
Realisability of Rankings-based Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFA@COMMA ![In: Proceedings of the Fourth International Workshop on Systems and Algorithms for Formal Argumentation co-located with the 9th International Conference on Computational Models of Argument (COMMA 2022), Cardiff, Wales, United Kingdom, September 13, 2022., pp. 73-85, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
1 | Sylvie Doutre, Marie-Christine Lagasquie-Schiex |
Computing the Labellings of Higher-Order Abstract Argumentation Frameworks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFA@COMMA ![In: Proceedings of the Fourth International Workshop on Systems and Algorithms for Formal Argumentation co-located with the 9th International Conference on Computational Models of Argument (COMMA 2022), Cardiff, Wales, United Kingdom, September 13, 2022., pp. 45-58, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
1 | Lukas Kinder, Matthias Thimm, Bart Verheij |
A Labeling Based Backtracking Solver for Abstract Argumentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFA@COMMA ![In: Proceedings of the Fourth International Workshop on Systems and Algorithms for Formal Argumentation co-located with the 9th International Conference on Computational Models of Argument (COMMA 2022), Cardiff, Wales, United Kingdom, September 13, 2022., pp. 111-123, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
1 | Andreas Xydis, Christopher Hampson, Sanjay Modgil, Elizabeth Black |
A Sound and Complete Dialogue System for Handling Misunderstandings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFA@COMMA ![In: Proceedings of the Fourth International Workshop on Systems and Algorithms for Formal Argumentation co-located with the 9th International Conference on Computational Models of Argument (COMMA 2022), Cardiff, Wales, United Kingdom, September 13, 2022., pp. 19-32, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
1 | Sarah Alice Gaggl, Matthias Thimm, Mauro Vallati (eds.) |
Proceedings of the Third International Workshop on Systems and Algorithms for Formal Argumentation co-located with the 8th International Conference on Computational Models of Argument (COMMA 2020), September 8, 2020. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFA@COMMA ![CEUR-WS.org The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
1 | Ringo Baumann, Maximilian Heinrich |
A Python Script for Abstract Dialectical Frameworks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFA@COMMA ![In: Proceedings of the Third International Workshop on Systems and Algorithms for Formal Argumentation co-located with the 8th International Conference on Computational Models of Argument (COMMA 2020), September 8, 2020., pp. 74-79, 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
1 | Timotheus Kampik, Dov M. Gabbay |
Towards DiArg: An Argumentation-based Dialogue Reasoning Engine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFA@COMMA ![In: Proceedings of the Third International Workshop on Systems and Algorithms for Formal Argumentation co-located with the 8th International Conference on Computational Models of Argument (COMMA 2020), September 8, 2020., pp. 14-21, 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
1 | Jean-Marie Lagniez, Emmanuel Lonca, Jean-Guy Mailly, Julien Rossit |
Introducing the Fourth International Competition on Computational Models of Argumentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFA@COMMA ![In: Proceedings of the Third International Workshop on Systems and Algorithms for Formal Argumentation co-located with the 8th International Conference on Computational Models of Argument (COMMA 2020), September 8, 2020., pp. 80-85, 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
1 | Matthias Thimm, Tjitze Rienstra |
Approximate Reasoning with ASPIC+ by Argument Sampling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFA@COMMA ![In: Proceedings of the Third International Workshop on Systems and Algorithms for Formal Argumentation co-located with the 8th International Conference on Computational Models of Argument (COMMA 2020), September 8, 2020., pp. 22-33, 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
1 | Markus Brenneis, Maike Behrendt, Stefan Harmeling, Martin Mauve |
How Much Do I Argue Like You? Towards a Metric on Weighted Argumentation Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFA@COMMA ![In: Proceedings of the Third International Workshop on Systems and Algorithms for Formal Argumentation co-located with the 8th International Conference on Computational Models of Argument (COMMA 2020), September 8, 2020., pp. 2-13, 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
1 | Francesca Toni |
From Computational Argumentation to Explanation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFA@COMMA ![In: Proceedings of the Third International Workshop on Systems and Algorithms for Formal Argumentation co-located with the 8th International Conference on Computational Models of Argument (COMMA 2020), September 8, 2020., pp. 1, 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
1 | Wolfgang Dvorák, Anna Rapberger, Johannes Peter Wallner |
Labelling-based Algorithms for SETAFs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFA@COMMA ![In: Proceedings of the Third International Workshop on Systems and Algorithms for Formal Argumentation co-located with the 8th International Conference on Computational Models of Argument (COMMA 2020), September 8, 2020., pp. 34-46, 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
1 | Max Rapp, Axel Adrian, Michael Kohlhase |
Context Graphs for Legal Reasoning and Argumentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFA@COMMA ![In: Proceedings of the Third International Workshop on Systems and Algorithms for Formal Argumentation co-located with the 8th International Conference on Computational Models of Argument (COMMA 2020), September 8, 2020., pp. 56-67, 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
1 | Serigne Gning, Jean-Guy Mailly |
On the Impact of SAT Solvers on Argumentation Solvers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFA@COMMA ![In: Proceedings of the Third International Workshop on Systems and Algorithms for Formal Argumentation co-located with the 8th International Conference on Computational Models of Argument (COMMA 2020), September 8, 2020., pp. 68-73, 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
1 | Lars Malmqvist, Tommy Yuan, Peter Nightingale, Suresh Manandhar |
Determining the Acceptability of Abstract Arguments with Graph Convolutional Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFA@COMMA ![In: Proceedings of the Third International Workshop on Systems and Algorithms for Formal Argumentation co-located with the 8th International Conference on Computational Models of Argument (COMMA 2020), September 8, 2020., pp. 47-56, 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
1 | Matthias Thimm, Federico Cerutti 0001, Mauro Vallati (eds.) |
Proceedings of the Second International Workshop on Systems and Algorithms for Formal Argumentation (SAFA 2018) co-located with the 7th International Conference on Computational Models of Argument (COMMA 2018), Warsaw, Poland, September 11, 2018. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFA@COMMA ![CEUR-WS.org The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Stefano Bistarelli, Lars Kotthoff, Francesco Santini 0001, Carlo Taticchi |
Containerisation and Dynamic Frameworks in ICCMA'19. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFA@COMMA ![In: Proceedings of the Second International Workshop on Systems and Algorithms for Formal Argumentation (SAFA 2018) co-located with the 7th International Conference on Computational Models of Argument (COMMA 2018), Warsaw, Poland, September 11, 2018., pp. 4-9, 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Wolfgang Dvorák, Alexander Greßler, Stefan Woltran |
Evaluating SETAFs via Answer-Set Programming ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFA@COMMA ![In: Proceedings of the Second International Workshop on Systems and Algorithms for Formal Argumentation (SAFA 2018) co-located with the 7th International Conference on Computational Models of Argument (COMMA 2018), Warsaw, Poland, September 11, 2018., pp. 10-21, 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Grzegorz Lisowski, Sylvie Doutre, Umberto Grandi |
Preventing Manipulation in Aggregating Audiences in Value-Based Argumentation Frameworks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFA@COMMA ![In: Proceedings of the Second International Workshop on Systems and Algorithms for Formal Argumentation (SAFA 2018) co-located with the 7th International Conference on Computational Models of Argument (COMMA 2018), Warsaw, Poland, September 11, 2018., pp. 48-59, 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Odinaldo Rodrigues, Elizabeth Black, Michael Luck, Josh Murphy |
On Structural Properties of Argumentation Frameworks: Lessons from ICCMA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFA@COMMA ![In: Proceedings of the Second International Workshop on Systems and Algorithms for Formal Argumentation (SAFA 2018) co-located with the 7th International Conference on Computational Models of Argument (COMMA 2018), Warsaw, Poland, September 11, 2018., pp. 22-35, 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Sosuke Moriguchi, Kazuko Takahashi |
Expressing the Characteristics of an Argumentation Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFA@COMMA ![In: Proceedings of the Second International Workshop on Systems and Algorithms for Formal Argumentation (SAFA 2018) co-located with the 7th International Conference on Computational Models of Argument (COMMA 2018), Warsaw, Poland, September 11, 2018., pp. 60-71, 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Tastuki Kawasaki, Sosuke Moriguchi, Kazuko Takahashi |
Transformation from PROLEG to a Bipolar Argumentation Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFA@COMMA ![In: Proceedings of the Second International Workshop on Systems and Algorithms for Formal Argumentation (SAFA 2018) co-located with the 7th International Conference on Computational Models of Argument (COMMA 2018), Warsaw, Poland, September 11, 2018., pp. 36-47, 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Matti Järvisalo |
SAT for Argumentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFA@COMMA ![In: Proceedings of the Second International Workshop on Systems and Algorithms for Formal Argumentation (SAFA 2018) co-located with the 7th International Conference on Computational Models of Argument (COMMA 2018), Warsaw, Poland, September 11, 2018., pp. 1-3, 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Sarah Alice Gaggl, Thomas Linsbichler, Marco Maratea, Stefan Woltran |
Introducing the Second International Competition on Computational Models of Argumentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFA@COMMA ![In: Proceedings of the First International Workshop on Systems and Algorithms for Formal Argumentation (SAFA) co-located with the 6th International Conference on Computational Models of Argument (COMMA 2016), Potsdam, Germany, September 13, 2016., pp. 4-9, 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
1 | Matthias Thimm, Federico Cerutti 0001, Hannes Strass, Mauro Vallati (eds.) |
Proceedings of the First International Workshop on Systems and Algorithms for Formal Argumentation (SAFA) co-located with the 6th International Conference on Computational Models of Argument (COMMA 2016), Potsdam, Germany, September 13, 2016. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFA@COMMA ![CEUR-WS.org The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
1 | Stefan Woltran |
Towards Advanced Systems for Abstract Argumentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFA@COMMA ![In: Proceedings of the First International Workshop on Systems and Algorithms for Formal Argumentation (SAFA) co-located with the 6th International Conference on Computational Models of Argument (COMMA 2016), Potsdam, Germany, September 13, 2016., pp. 1-3, 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
1 | Carl Corea, Matthias Thimm |
Using Matrix Exponentials for Abstract Argumentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFA@COMMA ![In: Proceedings of the First International Workshop on Systems and Algorithms for Formal Argumentation (SAFA) co-located with the 6th International Conference on Computational Models of Argument (COMMA 2016), Potsdam, Germany, September 13, 2016., pp. 10-21, 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
1 | Antonio Rago 0001, Kristijonas Cyras, Francesca Toni |
Adapting the DF-QuAD Algorithm to Bipolar Argumentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFA@COMMA ![In: Proceedings of the First International Workshop on Systems and Algorithms for Formal Argumentation (SAFA) co-located with the 6th International Conference on Computational Models of Argument (COMMA 2016), Potsdam, Germany, September 13, 2016., pp. 34-39, 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
1 | Odinaldo Rodrigues |
Introducing EqArgSolver: An argumentation solver using equational semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFA@COMMA ![In: Proceedings of the First International Workshop on Systems and Algorithms for Formal Argumentation (SAFA) co-located with the 6th International Conference on Computational Models of Argument (COMMA 2016), Potsdam, Germany, September 13, 2016., pp. 22-33, 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
1 | Matti Berthold |
Extending the DIAMOND System to work with GRAPPA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFA@COMMA ![In: Proceedings of the First International Workshop on Systems and Algorithms for Formal Argumentation (SAFA) co-located with the 6th International Conference on Computational Models of Argument (COMMA 2016), Potsdam, Germany, September 13, 2016., pp. 52-62, 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
1 | Philippe Besnard, Sylvie Doutre, Van Hieu Ho, Dominique Longin |
SESAME - A System for Specifying Semantics in Abstract Argumentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFA@COMMA ![In: Proceedings of the First International Workshop on Systems and Algorithms for Formal Argumentation (SAFA) co-located with the 6th International Conference on Computational Models of Argument (COMMA 2016), Potsdam, Germany, September 13, 2016., pp. 40-51, 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
1 | Federico Cerutti 0001, Alexis Palmer, Ariel Rosenfeld, Jan Snajder, Francesca Toni |
A Pilot Study in Using Argumentation Frameworks for Online Debates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFA@COMMA ![In: Proceedings of the First International Workshop on Systems and Algorithms for Formal Argumentation (SAFA) co-located with the 6th International Conference on Computational Models of Argument (COMMA 2016), Potsdam, Germany, September 13, 2016., pp. 63-74, 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
Displaying result #1 - #39 of 39 (100 per page; Change: )
|
|