default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Ringo Baumann
@inproceedings{DBLP:conf/foiks/BaumannH24,
author = {Ringo Baumann and
Anne{-}Marie Heine},
editor = {Arne Meier and
Magdalena Ortiz},
title = {On Naive Labellings - Realizability, Construction and Patterns of
Redundancy},
booktitle = {Foundations of Information and Knowledge Systems - 13th International
Symposium, FoIKS 2024, Sheffield, UK, April 8-11, 2024, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14589},
pages = {125--143},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-56940-1\_7},
doi = {10.1007/978-3-031-56940-1\_7},
timestamp = {Sat, 04 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/BaumannH24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ratio/RuckdeschelBW24,
author = {Mattes Ruckdeschel and
Ringo Baumann and
Gregor Wiedemann},
editor = {Philipp Cimiano and
Anette Frank and
Michael Kohlhase and
Benno Stein},
title = {Argument Mining of Attack and Support Patterns in Dialogical Conversations
with Sequential Pattern Mining},
booktitle = {Robust Argumentation Machines - First International Conference, {RATIO}
2024, Bielefeld, Germany, June 5-7, 2024, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14638},
pages = {39--56},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-63536-6\_3},
doi = {10.1007/978-3-031-63536-6\_3},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ratio/RuckdeschelBW24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijar/BaumannP23,
author = {Ringo Baumann and
Christopher Harmen Penndorf},
title = {Static and dynamic orderings on Dungean argumentation frameworks -
An overview},
journal = {Int. J. Approx. Reason.},
volume = {163},
pages = {109036},
year = {2023},
url = {https://doi.org/10.1016/j.ijar.2023.109036},
doi = {10.1016/J.IJAR.2023.109036},
timestamp = {Wed, 06 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijar/BaumannP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/BaumannRU23,
author = {Ringo Baumann and
Anna Rapberger and
Markus Ulbricht},
title = {Equivalence in Argumentation Frameworks with a Claim-centric View:
Classical Results with Novel Ingredients},
journal = {J. Artif. Intell. Res.},
volume = {77},
pages = {891--948},
year = {2023},
url = {https://doi.org/10.1613/jair.1.14625},
doi = {10.1613/JAIR.1.14625},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jair/BaumannRU23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BaumannH23,
author = {Ringo Baumann and
Maximilian Heinrich},
title = {Bipolar Abstract Dialectical Frameworks Are Covered by Kleene's Three-valued
Logic},
booktitle = {Proceedings of the Thirty-Second International Joint Conference on
Artificial Intelligence, {IJCAI} 2023, 19th-25th August 2023, Macao,
SAR, China},
pages = {3123--3131},
publisher = {ijcai.org},
year = {2023},
url = {https://doi.org/10.24963/ijcai.2023/348},
doi = {10.24963/IJCAI.2023/348},
timestamp = {Mon, 28 Aug 2023 17:23:07 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/BaumannH23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/BaumannH23,
author = {Ringo Baumann and
Anne{-}Marie Heine},
editor = {Pierre Marquis and
Tran Cao Son and
Gabriele Kern{-}Isberner},
title = {On Conflict-free Labellings - Realizability, Construction and Patterns
of Redundancy},
booktitle = {Proceedings of the 20th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2023, Rhodes, Greece,
September 2-8, 2023},
pages = {720--725},
year = {2023},
url = {https://doi.org/10.24963/kr.2023/70},
doi = {10.24963/KR.2023/70},
timestamp = {Tue, 05 Sep 2023 14:50:36 +0200},
biburl = {https://dblp.org/rec/conf/kr/BaumannH23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/BaumannS22,
author = {Ringo Baumann and
Hannes Strass},
title = {An abstract, logical approach to characterizing strong equivalence
in non-monotonic knowledge representation formalisms},
journal = {Artif. Intell.},
volume = {305},
pages = {103680},
year = {2022},
url = {https://doi.org/10.1016/j.artint.2022.103680},
doi = {10.1016/J.ARTINT.2022.103680},
timestamp = {Fri, 01 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/BaumannS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/BaumannBU22,
author = {Ringo Baumann and
Gerhard Brewka and
Markus Ulbricht},
title = {Shedding new light on the foundations of abstract argumentation: Modularization
and weak admissibility},
journal = {Artif. Intell.},
volume = {310},
pages = {103742},
year = {2022},
url = {https://doi.org/10.1016/j.artint.2022.103742},
doi = {10.1016/J.ARTINT.2022.103742},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/BaumannBU22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/BaumannR022,
author = {Ringo Baumann and
Anna Rapberger and
Markus Ulbricht},
title = {Equivalence in Argumentation Frameworks with a Claim-Centric View
- Classical Results with Novel Ingredients},
booktitle = {Thirty-Sixth {AAAI} Conference on Artificial Intelligence, {AAAI}
2022, Thirty-Fourth Conference on Innovative Applications of Artificial
Intelligence, {IAAI} 2022, The Twelveth Symposium on Educational Advances
in Artificial Intelligence, {EAAI} 2022 Virtual Event, February 22
- March 1, 2022},
pages = {5479--5486},
publisher = {{AAAI} Press},
year = {2022},
url = {https://doi.org/10.1609/aaai.v36i5.20486},
doi = {10.1609/AAAI.V36I5.20486},
timestamp = {Mon, 04 Sep 2023 12:29:24 +0200},
biburl = {https://dblp.org/rec/conf/aaai/BaumannR022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BaumannB22,
author = {Ringo Baumann and
Matti Berthold},
editor = {Luc De Raedt},
title = {Limits and Possibilities of Forgetting in Abstract Argumentation},
booktitle = {Proceedings of the Thirty-First International Joint Conference on
Artificial Intelligence, {IJCAI} 2022, Vienna, Austria, 23-29 July
2022},
pages = {2539--2545},
publisher = {ijcai.org},
year = {2022},
url = {https://doi.org/10.24963/ijcai.2022/352},
doi = {10.24963/IJCAI.2022/352},
timestamp = {Wed, 27 Jul 2022 16:43:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/BaumannB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/BaumannP22,
author = {Ringo Baumann and
Christopher Harmen Penndorf},
editor = {Christoph Beierle and
Marco Ragni and
Frieder Stolzenburg and
Kai Sauerwald and
Matthias Thimm},
title = {Lattice Theoretical Analysis of Dung-style AFs - Information and Reachability
Order},
booktitle = {Proceedings of the 8th Workshop on Formal and Cognitive Reasoning
co-located with the 45th German Conference on Artificial Intelligence
{(KI} 2022), Virtual Event, Trier, Germany, September 19, 2022},
series = {{CEUR} Workshop Proceedings},
volume = {3242},
pages = {53--65},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3242/paper4.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:53 +0100},
biburl = {https://dblp.org/rec/conf/ki/BaumannP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/flap/BaumannDMW21,
author = {Ringo Baumann and
Sylvie Doutre and
Jean{-}Guy Mailly and
Johannes Peter Wallner},
title = {Enforcement in Formal Argumentation},
journal = {{FLAP}},
volume = {8},
number = {6},
pages = {1623--1678},
year = {2021},
url = {https://collegepublications.co.uk/ifcolog/?00048},
timestamp = {Fri, 27 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/flap/BaumannDMW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Baumann021,
author = {Ringo Baumann and
Markus Ulbricht},
editor = {Zhi{-}Hua Zhou},
title = {On Cycles, Attackers and Supporters - {A} Contribution to The Investigation
of Dynamics in Abstract Argumentation},
booktitle = {Proceedings of the Thirtieth International Joint Conference on Artificial
Intelligence, {IJCAI} 2021, Virtual Event / Montreal, Canada, 19-27
August 2021},
pages = {1780--1786},
publisher = {ijcai.org},
year = {2021},
url = {https://doi.org/10.24963/ijcai.2021/245},
doi = {10.24963/IJCAI.2021/245},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Baumann021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BaumannB021,
author = {Ringo Baumann and
Gerhard Brewka and
Markus Ulbricht},
editor = {Zhi{-}Hua Zhou},
title = {Comparing Weak Admissibility Semantics to their Dung-style Counterparts
(Extended Abstract)},
booktitle = {Proceedings of the Thirtieth International Joint Conference on Artificial
Intelligence, {IJCAI} 2021, Virtual Event / Montreal, Canada, 19-27
August 2021},
pages = {4740--4744},
publisher = {ijcai.org},
year = {2021},
url = {https://doi.org/10.24963/ijcai.2021/642},
doi = {10.24963/IJCAI.2021/642},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/BaumannB021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Baumann021,
author = {Ringo Baumann and
Markus Ulbricht},
editor = {Meghyn Bienvenu and
Gerhard Lakemeyer and
Esra Erdem},
title = {Choices and their Consequences - Explaining Acceptable Sets in Abstract
Argumentation Frameworks},
booktitle = {Proceedings of the 18th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2021, Online event, November
3-12, 2021},
pages = {110--119},
year = {2021},
url = {https://doi.org/10.24963/kr.2021/11},
doi = {10.24963/KR.2021/11},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/Baumann021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dbsk/BaumannWHHH20,
author = {Ringo Baumann and
Gregor Wiedemann and
Maximilian Heinrich and
Ahmad Dawar Hakimi and
Gerhard Heyer},
title = {The Road Map to {FAME:} {A} Framework for Mining and Formal Evaluation
of Arguments},
journal = {Datenbank-Spektrum},
volume = {20},
number = {2},
pages = {107--113},
year = {2020},
url = {https://doi.org/10.1007/s13222-020-00343-x},
doi = {10.1007/S13222-020-00343-X},
timestamp = {Fri, 14 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dbsk/BaumannWHHH20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/BaumannBU20,
author = {Ringo Baumann and
Gerhard Brewka and
Markus Ulbricht},
title = {Revisiting the Foundations of Abstract Argumentation - Semantics Based
on Weak Admissibility and Weak Defense},
booktitle = {The Thirty-Fourth {AAAI} Conference on Artificial Intelligence, {AAAI}
2020, The Thirty-Second Innovative Applications of Artificial Intelligence
Conference, {IAAI} 2020, The Tenth {AAAI} Symposium on Educational
Advances in Artificial Intelligence, {EAAI} 2020, New York, NY, USA,
February 7-12, 2020},
pages = {2742--2749},
publisher = {{AAAI} Press},
year = {2020},
url = {https://doi.org/10.1609/aaai.v34i03.5661},
doi = {10.1609/AAAI.V34I03.5661},
timestamp = {Mon, 04 Sep 2023 12:29:24 +0200},
biburl = {https://dblp.org/rec/conf/aaai/BaumannBU20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/BaumannGR20,
author = {Ringo Baumann and
Dov M. Gabbay and
Odinaldo Rodrigues},
title = {Forgetting an Argument},
booktitle = {The Thirty-Fourth {AAAI} Conference on Artificial Intelligence, {AAAI}
2020, The Thirty-Second Innovative Applications of Artificial Intelligence
Conference, {IAAI} 2020, The Tenth {AAAI} Symposium on Educational
Advances in Artificial Intelligence, {EAAI} 2020, New York, NY, USA,
February 7-12, 2020},
pages = {2750--2757},
publisher = {{AAAI} Press},
year = {2020},
url = {https://doi.org/10.1609/aaai.v34i03.5662},
doi = {10.1609/AAAI.V34I03.5662},
timestamp = {Fri, 08 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/BaumannGR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/comma/BaumannH20a,
author = {Ringo Baumann and
Maximilian Heinrich},
editor = {Sarah Alice Gaggl and
Matthias Thimm and
Mauro Vallati},
title = {A Python Script for Abstract Dialectical Frameworks},
booktitle = {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},
series = {{CEUR} Workshop Proceedings},
volume = {2672},
pages = {74--79},
publisher = {CEUR-WS.org},
year = {2020},
url = {https://ceur-ws.org/Vol-2672/paper\_8.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:13 +0100},
biburl = {https://dblp.org/rec/conf/comma/BaumannH20a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/comma/BaumannH20,
author = {Ringo Baumann and
Maximilian Heinrich},
editor = {Henry Prakken and
Stefano Bistarelli and
Francesco Santini and
Carlo Taticchi},
title = {Timed Abstract Dialectical Frameworks: {A} Simple Translation-Based
Approach},
booktitle = {Computational Models of Argument - Proceedings of {COMMA} 2020, Perugia,
Italy, September 4-11, 2020},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {326},
pages = {103--110},
publisher = {{IOS} Press},
year = {2020},
url = {https://doi.org/10.3233/FAIA200496},
doi = {10.3233/FAIA200496},
timestamp = {Fri, 29 Jan 2021 21:15:47 +0100},
biburl = {https://dblp.org/rec/conf/comma/BaumannH20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/BaumannB020,
author = {Ringo Baumann and
Gerhard Brewka and
Markus Ulbricht},
editor = {Diego Calvanese and
Esra Erdem and
Michael Thielscher},
title = {Comparing Weak Admissibility Semantics to their Dung-style Counterparts
- Reduct, Modularization, and Strong Equivalence in Abstract Argumentation},
booktitle = {Proceedings of the 17th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2020, Rhodes, Greece,
September 12-18, 2020},
pages = {79--88},
year = {2020},
url = {https://doi.org/10.24963/kr.2020/9},
doi = {10.24963/KR.2020/9},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/BaumannB020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2003-00767,
author = {Ringo Baumann},
title = {On the Existence of Characterization Logics and Fundamental Properties
of Argumentation Semantics},
journal = {CoRR},
volume = {abs/2003.00767},
year = {2020},
url = {https://arxiv.org/abs/2003.00767},
eprinttype = {arXiv},
eprint = {2003.00767},
timestamp = {Tue, 10 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2003-00767.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:phd/basesearch/Baumann19,
author = {Ringo Baumann},
title = {On the Existence of Characterization Logics and Fundamental Properties
of Argumentation Semantics},
year = {2019},
url = {https://nbn-resolving.org/urn:nbn:de:bsz:15-qucosa2-365957},
urn = {urn:nbn:de:bsz:15-qucosa2-365957},
timestamp = {Wed, 28 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/basesearch/Baumann19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/BaumannDLW19,
author = {Ringo Baumann and
Wolfgang Dvor{\'{a}}k and
Thomas Linsbichler and
Stefan Woltran},
title = {A general notion of equivalence for abstract argumentation},
journal = {Artif. Intell.},
volume = {275},
pages = {379--410},
year = {2019},
url = {https://doi.org/10.1016/j.artint.2019.06.006},
doi = {10.1016/J.ARTINT.2019.06.006},
timestamp = {Mon, 23 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/BaumannDLW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/UlbrichtB19,
author = {Markus Ulbricht and
Ringo Baumann},
title = {If Nothing Is Accepted - Repairing Argumentation Frameworks},
journal = {J. Artif. Intell. Res.},
volume = {66},
pages = {1099--1145},
year = {2019},
url = {https://doi.org/10.1613/jair.1.11791},
doi = {10.1613/JAIR.1.11791},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jair/UlbrichtB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/BaumannB19,
author = {Ringo Baumann and
Gerhard Brewka},
title = {Extension Removal in Abstract Argumentation - An Axiomatic Approach},
booktitle = {The Thirty-Third {AAAI} Conference on Artificial Intelligence, {AAAI}
2019, The Thirty-First Innovative Applications of Artificial Intelligence
Conference, {IAAI} 2019, The Ninth {AAAI} Symposium on Educational
Advances in Artificial Intelligence, {EAAI} 2019, Honolulu, Hawaii,
USA, January 27 - February 1, 2019},
pages = {2670--2677},
publisher = {{AAAI} Press},
year = {2019},
url = {https://doi.org/10.1609/aaai.v33i01.33012670},
doi = {10.1609/AAAI.V33I01.33012670},
timestamp = {Mon, 04 Sep 2023 12:29:24 +0200},
biburl = {https://dblp.org/rec/conf/aaai/BaumannB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/BaumannL19,
author = {Ringo Baumann and
Felix Linker},
editor = {Francesco Calimeri and
Nicola Leone and
Marco Manna},
title = {{AGM} Meets Abstract Argumentation: Contraction for Dung Frameworks},
booktitle = {Logics in Artificial Intelligence - 16th European Conference, {JELIA}
2019, Rende, Italy, May 7-11, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11468},
pages = {41--57},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-19570-0\_3},
doi = {10.1007/978-3-030-19570-0\_3},
timestamp = {Fri, 27 Mar 2020 08:53:33 +0100},
biburl = {https://dblp.org/rec/conf/jelia/BaumannL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jowo/BaumannLH19,
author = {Ringo Baumann and
Frank Loebe and
Heinrich Herre},
editor = {Adrien Barton and
Selja Sepp{\"{a}}l{\"{a}} and
Daniele Porello},
title = {Properties Defined on the Basis of Coincidence in GFO-Space},
booktitle = {Proceedings of the Joint Ontology Workshops 2019 Episode {V:} The
Styrian Autumn of Ontology, Graz, Austria, September 23-25, 2019},
series = {{CEUR} Workshop Proceedings},
volume = {2518},
publisher = {CEUR-WS.org},
year = {2019},
url = {https://ceur-ws.org/Vol-2518/paper-FOUST3.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:57 +0100},
biburl = {https://dblp.org/rec/conf/jowo/BaumannLH19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/BaumannB18,
author = {Ringo Baumann and
Gerhard Brewka},
title = {The equivalence zoo for Dung-style semantics},
journal = {J. Log. Comput.},
volume = {28},
number = {3},
pages = {477--498},
year = {2018},
url = {https://doi.org/10.1093/logcom/exv001},
doi = {10.1093/LOGCOM/EXV001},
timestamp = {Mon, 07 May 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/BaumannB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/BaumannU18,
author = {Ringo Baumann and
Markus Ulbricht},
editor = {Michael Thielscher and
Francesca Toni and
Frank Wolter},
title = {If Nothing Is Accepted - Repairing Argumentation Frameworks},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Sixteenth International Conference, {KR} 2018, Tempe, Arizona,
30 October - 2 November 2018},
pages = {108--117},
publisher = {{AAAI} Press},
year = {2018},
url = {https://aaai.org/ocs/index.php/KR/KR18/paper/view/17979},
timestamp = {Tue, 09 Feb 2021 08:33:51 +0100},
biburl = {https://dblp.org/rec/conf/kr/BaumannU18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/flap/Baumann17,
author = {Ringo Baumann},
title = {On the Nature of Argumentation Semantics: Existence and Uniqueness,
Expressibility, and Replaceability},
journal = {{FLAP}},
volume = {4},
number = {8},
year = {2017},
url = {http://www.collegepublications.co.uk/downloads/ifcolog00017.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/flap/Baumann17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/BaumannS17,
author = {Ringo Baumann and
Hannes Strass},
title = {On the number of bipolar Boolean functions},
journal = {J. Log. Comput.},
volume = {27},
number = {8},
pages = {2431--2449},
year = {2017},
url = {https://doi.org/10.1093/logcom/exx025},
doi = {10.1093/LOGCOM/EXX025},
timestamp = {Tue, 02 Jan 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/BaumannS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BaumannDLW17,
author = {Ringo Baumann and
Wolfgang Dvor{\'{a}}k and
Thomas Linsbichler and
Stefan Woltran},
editor = {Carles Sierra},
title = {A General Notion of Equivalence for Abstract Argumentation},
booktitle = {Proceedings of the Twenty-Sixth International Joint Conference on
Artificial Intelligence, {IJCAI} 2017, Melbourne, Australia, August
19-25, 2017},
pages = {800--806},
publisher = {ijcai.org},
year = {2017},
url = {https://doi.org/10.24963/ijcai.2017/111},
doi = {10.24963/IJCAI.2017/111},
timestamp = {Tue, 20 Aug 2019 16:16:54 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/BaumannDLW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BaumannS17,
author = {Ringo Baumann and
Christof Spanring},
editor = {Carles Sierra},
title = {A Study of Unrestricted Abstract Argumentation Frameworks},
booktitle = {Proceedings of the Twenty-Sixth International Joint Conference on
Artificial Intelligence, {IJCAI} 2017, Melbourne, Australia, August
19-25, 2017},
pages = {807--813},
publisher = {ijcai.org},
year = {2017},
url = {https://doi.org/10.24963/ijcai.2017/112},
doi = {10.24963/IJCAI.2017/112},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/BaumannS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/BaumannDLSSW16,
author = {Ringo Baumann and
Wolfgang Dvor{\'{a}}k and
Thomas Linsbichler and
Christof Spanring and
Hannes Strass and
Stefan Woltran},
title = {On rejected arguments and implicit conflicts: The hidden power of
argumentation semantics},
journal = {Artif. Intell.},
volume = {241},
pages = {244--284},
year = {2016},
url = {https://doi.org/10.1016/j.artint.2016.09.004},
doi = {10.1016/J.ARTINT.2016.09.004},
timestamp = {Thu, 28 Dec 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ai/BaumannDLSSW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/BaumannW16,
author = {Ringo Baumann and
Stefan Woltran},
title = {The role of self-attacking arguments in characterizations of equivalence
notions},
journal = {J. Log. Comput.},
volume = {26},
number = {4},
pages = {1293--1313},
year = {2016},
url = {https://doi.org/10.1093/logcom/exu010},
doi = {10.1093/LOGCOM/EXU010},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/BaumannW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/comma/BaumannLW16,
author = {Ringo Baumann and
Thomas Linsbichler and
Stefan Woltran},
editor = {Pietro Baroni and
Thomas F. Gordon and
Tatjana Scheffler and
Manfred Stede},
title = {Verifiability of Argumentation Semantics},
booktitle = {Computational Models of Argument - Proceedings of {COMMA} 2016, Potsdam,
Germany, 12-16 September, 2016},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {287},
pages = {83--94},
publisher = {{IOS} Press},
year = {2016},
url = {https://doi.org/10.3233/978-1-61499-686-6-83},
doi = {10.3233/978-1-61499-686-6-83},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/comma/BaumannLW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fois/BaumannLH16,
author = {Ringo Baumann and
Frank Loebe and
Heinrich Herre},
editor = {Roberta Ferrario and
Werner Kuhn},
title = {Towards an Ontology of Space for {GFO}},
booktitle = {Formal Ontology in Information Systems - Proceedings of the 9th International
Conference, {FOIS} 2016, Annecy, France, July 6-9, 2016},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {283},
pages = {53--66},
publisher = {{IOS} Press},
year = {2016},
url = {https://doi.org/10.3233/978-1-61499-660-6-53},
doi = {10.3233/978-1-61499-660-6-53},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fois/BaumannLH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Baumann16,
author = {Ringo Baumann},
editor = {Chitta Baral and
James P. Delgrande and
Frank Wolter},
title = {Characterizing Equivalence Notions for Labelling-Based Semantics},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Fifteenth International Conference, {KR} 2016, Cape Town, South
Africa, April 25-29, 2016},
pages = {22--32},
publisher = {{AAAI} Press},
year = {2016},
url = {http://www.aaai.org/ocs/index.php/KR/KR16/paper/view/12836},
timestamp = {Tue, 09 Feb 2021 08:33:50 +0100},
biburl = {https://dblp.org/rec/conf/kr/Baumann16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/BaumannS16,
author = {Ringo Baumann and
Hannes Strass},
editor = {Chitta Baral and
James P. Delgrande and
Frank Wolter},
title = {An Abstract Logical Approach to Characterizing Strong Equivalence
in Logic-based Knowledge Representation Formalisms},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Fifteenth International Conference, {KR} 2016, Cape Town, South
Africa, April 25-29, 2016},
pages = {525--528},
publisher = {{AAAI} Press},
year = {2016},
url = {http://www.aaai.org/ocs/index.php/KR/KR16/paper/view/12834},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/BaumannS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BaumannLW16,
author = {Ringo Baumann and
Thomas Linsbichler and
Stefan Woltran},
title = {Verifiability of Argumentation Semantics},
journal = {CoRR},
volume = {abs/1603.09502},
year = {2016},
url = {http://arxiv.org/abs/1603.09502},
eprinttype = {arXiv},
eprint = {1603.09502},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BaumannLW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BaumannS14,
author = {Ringo Baumann and
Christof Spanring},
editor = {Thomas Eiter and
Hannes Strass and
Miroslaw Truszczynski and
Stefan Woltran},
title = {Infinite Argumentation Frameworks - On the Existence and Uniqueness
of Extensions},
booktitle = {Advances in Knowledge Representation, Logic Programming, and Abstract
Argumentation - Essays Dedicated to Gerhard Brewka on the Occasion
of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {9060},
pages = {281--295},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-14726-0\_19},
doi = {10.1007/978-3-319-14726-0\_19},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/BaumannS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BaumannS14a,
author = {Ringo Baumann and
Hannes Strass},
editor = {Thomas Eiter and
Hannes Strass and
Miroslaw Truszczynski and
Stefan Woltran},
title = {Open Problems in Abstract Argumentation},
booktitle = {Advances in Knowledge Representation, Logic Programming, and Abstract
Argumentation - Essays Dedicated to Gerhard Brewka on the Occasion
of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {9060},
pages = {325--339},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-14726-0\_22},
doi = {10.1007/978-3-319-14726-0\_22},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/BaumannS14a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BaumannB15,
author = {Ringo Baumann and
Gerhard Brewka},
editor = {Qiang Yang and
Michael J. Wooldridge},
title = {{AGM} Meets Abstract Argumentation: Expansion and Revision for Dung
Frameworks},
booktitle = {Proceedings of the Twenty-Fourth International Joint Conference on
Artificial Intelligence, {IJCAI} 2015, Buenos Aires, Argentina, July
25-31, 2015},
pages = {2734--2740},
publisher = {{AAAI} Press},
year = {2015},
url = {http://ijcai.org/Abstract/15/387},
timestamp = {Tue, 20 Aug 2019 16:16:43 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/BaumannB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/basesearch/Baumann14,
author = {Ringo Baumann},
title = {Metalogical Contributions to the Nonmonotonic Theory of Abstract Argumentation},
school = {Leipzig University, Germany},
year = {2014},
url = {https://nbn-resolving.org/urn:nbn:de:bsz:15-qucosa-132973},
urn = {urn:nbn:de:bsz:15-qucosa-132973},
timestamp = {Fri, 02 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/phd/basesearch/Baumann14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ao/BaumannLH14,
author = {Ringo Baumann and
Frank Loebe and
Heinrich Herre},
title = {Axiomatic theories of the ontology of time in {GFO}},
journal = {Appl. Ontology},
volume = {9},
number = {3-4},
pages = {171--215},
year = {2014},
url = {https://doi.org/10.3233/AO-140136},
doi = {10.3233/AO-140136},
timestamp = {Tue, 14 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ao/BaumannLH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/Baumann14,
author = {Ringo Baumann},
editor = {Torsten Schaub and
Gerhard Friedrich and
Barry O'Sullivan},
title = {Context-free and Context-sensitive Kernels: Update and Deletion Equivalence
in abstract Argumentation},
booktitle = {{ECAI} 2014 - 21st European Conference on Artificial Intelligence,
18-22 August 2014, Prague, Czech Republic - Including Prestigious
Applications of Intelligent Systems {(PAIS} 2014)},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {263},
pages = {63--68},
publisher = {{IOS} Press},
year = {2014},
url = {https://doi.org/10.3233/978-1-61499-419-0-63},
doi = {10.3233/978-1-61499-419-0-63},
timestamp = {Mon, 19 Jun 2023 16:36:09 +0200},
biburl = {https://dblp.org/rec/conf/ecai/Baumann14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/BaumannDLSW14,
author = {Ringo Baumann and
Wolfgang Dvor{\'{a}}k and
Thomas Linsbichler and
Hannes Strass and
Stefan Woltran},
editor = {Torsten Schaub and
Gerhard Friedrich and
Barry O'Sullivan},
title = {Compact Argumentation Frameworks},
booktitle = {{ECAI} 2014 - 21st European Conference on Artificial Intelligence,
18-22 August 2014, Prague, Czech Republic - Including Prestigious
Applications of Intelligent Systems {(PAIS} 2014)},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {263},
pages = {69--74},
publisher = {{IOS} Press},
year = {2014},
url = {https://doi.org/10.3233/978-1-61499-419-0-69},
doi = {10.3233/978-1-61499-419-0-69},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecai/BaumannDLSW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BaumannDLSW14,
author = {Ringo Baumann and
Wolfgang Dvor{\'{a}}k and
Thomas Linsbichler and
Hannes Strass and
Stefan Woltran},
title = {Compact Argumentation Frameworks},
journal = {CoRR},
volume = {abs/1404.7734},
year = {2014},
url = {http://arxiv.org/abs/1404.7734},
eprinttype = {arXiv},
eprint = {1404.7734},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BaumannDLSW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/clima/BaumannB13,
author = {Ringo Baumann and
Gerhard Brewka},
editor = {Jo{\~{a}}o Leite and
Tran Cao Son and
Paolo Torroni and
Leon van der Torre and
Stefan Woltran},
title = {Analyzing the Equivalence Zoo in Abstract Argumentation},
booktitle = {Computational Logic in Multi-Agent Systems - 14th International Workshop,
{CLIMA} XIV, Corunna, Spain, September 16-18, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8143},
pages = {18--33},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40624-9\_2},
doi = {10.1007/978-3-642-40624-9\_2},
timestamp = {Fri, 09 Apr 2021 18:38:27 +0200},
biburl = {https://dblp.org/rec/conf/clima/BaumannB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/BaumannB13,
author = {Ringo Baumann and
Gerhard Brewka},
editor = {Pedro Cabalar and
Tran Cao Son},
title = {Spectra in Abstract Argumentation: An Analysis of Minimal Change},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 12th International Conference,
{LPNMR} 2013, Corunna, Spain, September 15-19, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8148},
pages = {174--186},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40564-8\_18},
doi = {10.1007/978-3-642-40564-8\_18},
timestamp = {Sun, 02 Jun 2019 21:23:45 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/BaumannB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tafa/BaumannS13,
author = {Ringo Baumann and
Hannes Strass},
editor = {Elizabeth Black and
Sanjay Modgil and
Nir Oren},
title = {On the Maximal and Average Numbers of Stable Extensions},
booktitle = {Theory and Applications of Formal Argumentation - Second International
Workshop, {TAFA} 2013, Beijing, China, August 3-5, 2013, Revised Selected
papers},
series = {Lecture Notes in Computer Science},
volume = {8306},
pages = {111--126},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-54373-9\_8},
doi = {10.1007/978-3-642-54373-9\_8},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/tafa/BaumannS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/Baumann12,
author = {Ringo Baumann},
title = {Normal and strong expansion equivalence for argumentation frameworks},
journal = {Artif. Intell.},
volume = {193},
pages = {18--44},
year = {2012},
url = {https://doi.org/10.1016/j.artint.2012.08.004},
doi = {10.1016/J.ARTINT.2012.08.004},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/Baumann12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BaumannBDW12,
author = {Ringo Baumann and
Gerhard Brewka and
Wolfgang Dvor{\'{a}}k and
Stefan Woltran},
editor = {Esra Erdem and
Joohyung Lee and
Yuliya Lierler and
David Pearce},
title = {Parameterized Splitting: {A} Simple Modification-Based Approach},
booktitle = {Correct Reasoning - Essays on Logic-Based {AI} in Honour of Vladimir
Lifschitz},
series = {Lecture Notes in Computer Science},
volume = {7265},
pages = {57--71},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30743-0\_5},
doi = {10.1007/978-3-642-30743-0\_5},
timestamp = {Fri, 15 Jan 2021 08:33:38 +0100},
biburl = {https://dblp.org/rec/conf/birthday/BaumannBDW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/comma/BaumannS12,
author = {Ringo Baumann and
Hannes Strass},
editor = {Bart Verheij and
Stefan Szeider and
Stefan Woltran},
title = {Default Reasoning about Actions via Abstract Argumentation},
booktitle = {Computational Models of Argument - Proceedings of {COMMA} 2012, Vienna,
Austria, September 10-12, 2012},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {245},
pages = {297--309},
publisher = {{IOS} Press},
year = {2012},
url = {https://doi.org/10.3233/978-1-61499-111-3-297},
doi = {10.3233/978-1-61499-111-3-297},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/comma/BaumannS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/Baumann12,
author = {Ringo Baumann},
editor = {Luc De Raedt and
Christian Bessiere and
Didier Dubois and
Patrick Doherty and
Paolo Frasconi and
Fredrik Heintz and
Peter J. F. Lucas},
title = {What Does it Take to Enforce an Argument? Minimal Change in abstract
Argumentation},
booktitle = {{ECAI} 2012 - 20th European Conference on Artificial Intelligence.
Including Prestigious Applications of Artificial Intelligence {(PAIS-2012)}
System Demonstrations Track, Montpellier, France, August 27-31 , 2012},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {242},
pages = {127--132},
publisher = {{IOS} Press},
year = {2012},
url = {https://doi.org/10.3233/978-1-61499-098-7-127},
doi = {10.3233/978-1-61499-098-7-127},
timestamp = {Mon, 19 Jun 2023 16:36:09 +0200},
biburl = {https://dblp.org/rec/conf/ecai/Baumann12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fois/BaumannLH12,
author = {Ringo Baumann and
Frank Loebe and
Heinrich Herre},
editor = {Maureen Donnelly and
Giancarlo Guizzardi},
title = {Ontology of Time in {GFO}},
booktitle = {Formal Ontology in Information Systems - Proceedings of the Seventh
International Conference, {FOIS} 2012, Gray, Austria, July 24-27,
2012},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {239},
pages = {293--306},
publisher = {{IOS} Press},
year = {2012},
url = {https://doi.org/10.3233/978-1-61499-084-0-293},
doi = {10.3233/978-1-61499-084-0-293},
timestamp = {Tue, 19 Jun 2018 19:36:22 +0200},
biburl = {https://dblp.org/rec/conf/fois/BaumannLH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/Baumann11,
author = {Ringo Baumann},
editor = {James P. Delgrande and
Wolfgang Faber},
title = {Splitting an Argumentation Framework},
booktitle = {Logic Programming and Nonmonotonic Reasoning - 11th International
Conference, {LPNMR} 2011, Vancouver, Canada, May 16-19, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6645},
pages = {40--53},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-20895-9\_6},
doi = {10.1007/978-3-642-20895-9\_6},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/Baumann11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tafa/BaumannBW11,
author = {Ringo Baumann and
Gerhard Brewka and
Renata Wong},
editor = {Sanjay Modgil and
Nir Oren and
Francesca Toni},
title = {Splitting Argumentation Frameworks: An Empirical Evaluation},
booktitle = {Theorie and Applications of Formal Argumentation - First International
Workshop, {TAFA} 2011. Barcelona, Spain, July 16-17, 2011, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7132},
pages = {17--31},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-29184-5\_2},
doi = {10.1007/978-3-642-29184-5\_2},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tafa/BaumannBW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1110-5832,
author = {Ringo Baumann and
Heinrich Herre},
title = {The Axiomatic Foundation of Space in {GFO}},
journal = {CoRR},
volume = {abs/1110.5832},
year = {2011},
url = {http://arxiv.org/abs/1110.5832},
eprinttype = {arXiv},
eprint = {1110.5832},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1110-5832.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/comma/BaumannB10,
author = {Ringo Baumann and
Gerhard Brewka},
editor = {Pietro Baroni and
Federico Cerutti and
Massimiliano Giacomin and
Guillermo Ricardo Simari},
title = {Expanding Argumentation Frameworks: Enforcing and Monotonicity Results},
booktitle = {Computational Models of Argument: Proceedings of {COMMA} 2010, Desenzano
del Garda, Italy, September 8-10, 2010},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {216},
pages = {75--86},
publisher = {{IOS} Press},
year = {2010},
url = {https://doi.org/10.3233/978-1-60750-619-5-75},
doi = {10.3233/978-1-60750-619-5-75},
timestamp = {Tue, 31 Jan 2023 14:55:44 +0100},
biburl = {https://dblp.org/rec/conf/comma/BaumannB10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/BaumannBSTZ10,
author = {Ringo Baumann and
Gerhard Brewka and
Hannes Strass and
Michael Thielscher and
Vadim Zaslawski},
editor = {Fangzhen Lin and
Ulrike Sattler and
Miroslaw Truszczynski},
title = {State Defaults and Ramifications in the Unifying Action Calculus},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Twelfth International Conference, {KR} 2010, Toronto, Ontario,
Canada, May 9-13, 2010},
publisher = {{AAAI} Press},
year = {2010},
url = {http://aaai.org/ocs/index.php/KR/KR2010/paper/view/1247},
timestamp = {Tue, 08 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/BaumannBSTZ10.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.
last updated on 2024-08-29 21:55 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
