default search action
Search dblp for Publications
export results for "toc:db/conf/comma/safa2022.bht:"
@inproceedings{DBLP:conf/comma/0056YO22, author = {Hao Wu and Bruno Yun and Nir Oren}, editor = {Sarah Alice Gaggl and Jean{-}Guy Mailly and Matthias Thimm and Johannes Peter Wallner}, title = {Improving Reasoning Efficiency in {ASPIC+} with Backwards Chaining and Partial Arguments}, booktitle = {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}, series = {{CEUR} Workshop Proceedings}, volume = {3236}, pages = {86--97}, publisher = {CEUR-WS.org}, year = {2022}, url = {https://ceur-ws.org/Vol-3236/paper7.pdf}, timestamp = {Fri, 10 Mar 2023 16:22:12 +0100}, biburl = {https://dblp.org/rec/conf/comma/0056YO22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/comma/CaminadaH22, author = {Martin Caminada and Sri Harikrishnan}, editor = {Sarah Alice Gaggl and Jean{-}Guy Mailly and Matthias Thimm and Johannes Peter Wallner}, title = {Strong Admissibility, a Tractable Algorithmic Approach}, booktitle = {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}, series = {{CEUR} Workshop Proceedings}, volume = {3236}, pages = {33--44}, publisher = {CEUR-WS.org}, year = {2022}, url = {https://ceur-ws.org/Vol-3236/paper3.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/comma/CaminadaH22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/comma/DillerGG22, author = {Martin Diller and Sarah Alice Gaggl and Piotr Gorczyca}, editor = {Sarah Alice Gaggl and Jean{-}Guy Mailly and Matthias Thimm and Johannes Peter Wallner}, title = {Strategies in Flexible Dispute Derivations for Assumption-Based Argumentation}, booktitle = {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}, series = {{CEUR} Workshop Proceedings}, volume = {3236}, pages = {59--72}, publisher = {CEUR-WS.org}, year = {2022}, url = {https://ceur-ws.org/Vol-3236/paper5.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/comma/DillerGG22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/comma/DoutreL22, author = {Sylvie Doutre and Marie{-}Christine Lagasquie{-}Schiex}, editor = {Sarah Alice Gaggl and Jean{-}Guy Mailly and Matthias Thimm and Johannes Peter Wallner}, title = {Computing the Labellings of Higher-Order Abstract Argumentation Frameworks}, booktitle = {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}, series = {{CEUR} Workshop Proceedings}, volume = {3236}, pages = {45--58}, publisher = {CEUR-WS.org}, year = {2022}, url = {https://ceur-ws.org/Vol-3236/paper4.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/comma/DoutreL22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/comma/Dvorak0W22a, author = {Wolfgang Dvor{\'{a}}k and Matthias K{\"{o}}nig and Stefan Woltran}, editor = {Sarah Alice Gaggl and Jean{-}Guy Mailly and Matthias Thimm and Johannes Peter Wallner}, title = {Deletion-Backdoors for Argumentation Frameworks with Collective Attacks}, booktitle = {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}, series = {{CEUR} Workshop Proceedings}, volume = {3236}, pages = {98--110}, publisher = {CEUR-WS.org}, year = {2022}, url = {https://ceur-ws.org/Vol-3236/paper8.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/comma/Dvorak0W22a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/comma/Fichte22, author = {Johannes Klaus Fichte}, editor = {Sarah Alice Gaggl and Jean{-}Guy Mailly and Matthias Thimm and Johannes Peter Wallner}, title = {Model Counting, its Relationship to Symbolic Quantitative AI, and a Glimpse into Practical Solving}, booktitle = {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}, series = {{CEUR} Workshop Proceedings}, volume = {3236}, pages = {1--4}, publisher = {CEUR-WS.org}, year = {2022}, url = {https://ceur-ws.org/Vol-3236/invited1.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/comma/Fichte22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/comma/KinderTV22, author = {Lukas Kinder and Matthias Thimm and Bart Verheij}, editor = {Sarah Alice Gaggl and Jean{-}Guy Mailly and Matthias Thimm and Johannes Peter Wallner}, title = {A Labeling Based Backtracking Solver for Abstract Argumentation}, booktitle = {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}, series = {{CEUR} Workshop Proceedings}, volume = {3236}, pages = {111--123}, publisher = {CEUR-WS.org}, year = {2022}, url = {https://ceur-ws.org/Vol-3236/paper9.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/comma/KinderTV22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/comma/SkibaTRHK22, author = {Kenneth Skiba and Matthias Thimm and Tjitze Rienstra and Jesse Heyninck and Gabriele Kern{-}Isberner}, editor = {Sarah Alice Gaggl and Jean{-}Guy Mailly and Matthias Thimm and Johannes Peter Wallner}, title = {Realisability of Rankings-based Semantics}, booktitle = {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}, series = {{CEUR} Workshop Proceedings}, volume = {3236}, pages = {73--85}, publisher = {CEUR-WS.org}, year = {2022}, url = {https://ceur-ws.org/Vol-3236/paper6.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/comma/SkibaTRHK22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/comma/Takahashi22, author = {Kazuko Takahashi}, editor = {Sarah Alice Gaggl and Jean{-}Guy Mailly and Matthias Thimm and Johannes Peter Wallner}, title = {Odd or Even: Handling N-lemmas in a Dynamic Argumentation Framework}, booktitle = {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}, series = {{CEUR} Workshop Proceedings}, volume = {3236}, pages = {5--18}, publisher = {CEUR-WS.org}, year = {2022}, url = {https://ceur-ws.org/Vol-3236/paper1.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/comma/Takahashi22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/comma/XydisHMB22, author = {Andreas Xydis and Christopher Hampson and Sanjay Modgil and Elizabeth Black}, editor = {Sarah Alice Gaggl and Jean{-}Guy Mailly and Matthias Thimm and Johannes Peter Wallner}, title = {A Sound and Complete Dialogue System for Handling Misunderstandings}, booktitle = {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}, series = {{CEUR} Workshop Proceedings}, volume = {3236}, pages = {19--32}, publisher = {CEUR-WS.org}, year = {2022}, url = {https://ceur-ws.org/Vol-3236/paper2.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/comma/XydisHMB22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/comma/2022safa, editor = {Sarah Alice Gaggl and Jean{-}Guy Mailly and Matthias Thimm and Johannes Peter Wallner}, title = {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}, series = {{CEUR} Workshop Proceedings}, volume = {3236}, publisher = {CEUR-WS.org}, year = {2022}, url = {https://ceur-ws.org/Vol-3236}, urn = {urn:nbn:de:0074-3236-4}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/comma/2022safa.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.