Search dblp for Publications

export results for "toc:db/conf/comma/safa2022.bht:"

 download as .bib file

@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}
}