default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Stefan Ellmauthaler
@inproceedings{DBLP:conf/ai3/Ellmauthaler023,
author = {Stefan Ellmauthaler and
Lukas Gerlach},
editor = {Gianvincenzo Alfano and
Stefano Ferilli},
title = {{ADF-BDD.DEV:} Insights to undecided Statements in Abstract Dialectical
Frameworks},
booktitle = {Proceedings of the 7th Workshop on Advances in Argumentation in Artificial
Intelligence (AI{\^{}}3 2023) co-located with the 22nd International
Conference of the Italian Association for Artificial Intelligence
(AIxIA 2023), Rome, Italy, November 9, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3546},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3546/paper11.pdf},
timestamp = {Fri, 08 Dec 2023 14:24:28 +0100},
biburl = {https://dblp.org/rec/conf/ai3/Ellmauthaler023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2308-15897,
author = {Alex Ivliev and
Stefan Ellmauthaler and
Lukas Gerlach and
Maximilian Marx and
Matthias Mei{\ss}ner and
Simon Meusel and
Markus Kr{\"{o}}tzsch},
editor = {Enrico Pontelli and
Stefania Costantini and
Carmine Dodaro and
Sarah Alice Gaggl and
Roberta Calegari and
Artur S. d'Avila Garcez and
Francesco Fabiano and
Alessandra Mileo and
Alessandra Russo and
Francesca Toni},
title = {Nemo: First Glimpse of a New Rule Engine},
booktitle = {Proceedings 39th International Conference on Logic Programming, {ICLP}
2023, Imperial College London, UK, 9th July 2023 - 15th July 2023},
series = {{EPTCS}},
volume = {385},
pages = {333--335},
year = {2023},
url = {https://doi.org/10.4204/EPTCS.385.35},
doi = {10.4204/EPTCS.385.35},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2308-15897.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/EllmauthalerKM22,
author = {Stefan Ellmauthaler and
Markus Kr{\"{o}}tzsch and
Stephan Mennicke},
title = {Answering Queries with Negation over Existential Rules},
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 = {5626--5633},
publisher = {{AAAI} Press},
year = {2022},
url = {https://doi.org/10.1609/aaai.v36i5.20503},
doi = {10.1609/AAAI.V36I5.20503},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/EllmauthalerKM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/comma/EllmauthalerGRW22,
author = {Stefan Ellmauthaler and
Sarah Alice Gaggl and
Dominik Rusovac and
Johannes Peter Wallner},
editor = {Francesca Toni and
Sylwia Polberg and
Richard Booth and
Martin Caminada and
Hiroyuki Kido},
title = {{ADF-BDD:} An {ADF} Solver Based on Binary Decision Diagrams},
booktitle = {Computational Models of Argument - Proceedings of {COMMA} 2022, Cardiff,
Wales, UK, 14-16 September 2022},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {353},
pages = {355--356},
publisher = {{IOS} Press},
year = {2022},
url = {https://doi.org/10.3233/FAIA220170},
doi = {10.3233/FAIA220170},
timestamp = {Mon, 31 Oct 2022 16:49:16 +0100},
biburl = {https://dblp.org/rec/conf/comma/EllmauthalerGRW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/EllmauthalerGRW22,
author = {Stefan Ellmauthaler and
Sarah Alice Gaggl and
Dominik Rusovac and
Johannes Peter Wallner},
editor = {Georg Gottlob and
Daniela Inclezan and
Marco Maratea},
title = {Representing Abstract Dialectical Frameworks with Binary Decision
Diagrams},
booktitle = {Logic Programming and Nonmonotonic Reasoning - 16th International
Conference, {LPNMR} 2022, Genova, Italy, September 5-9, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13416},
pages = {177--189},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-15707-3\_14},
doi = {10.1007/978-3-031-15707-3\_14},
timestamp = {Sat, 10 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/EllmauthalerGRW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2112-07376,
author = {Stefan Ellmauthaler and
Markus Kr{\"{o}}tzsch and
Stephan Mennicke},
title = {Answering Queries with Negation over Existential Rules},
journal = {CoRR},
volume = {abs/2112.07376},
year = {2021},
url = {https://arxiv.org/abs/2112.07376},
eprinttype = {arXiv},
eprint = {2112.07376},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2112-07376.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ki/Ellmauthaler19,
author = {Stefan Ellmauthaler},
title = {Multi-Context Reasoning in Continuous Data-Flow Environments},
journal = {K{\"{u}}nstliche Intell.},
volume = {33},
number = {1},
pages = {101--104},
year = {2019},
url = {https://doi.org/10.1007/s13218-018-00570-1},
doi = {10.1007/S13218-018-00570-1},
timestamp = {Tue, 14 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ki/Ellmauthaler19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/EllmauthalerS19,
author = {Stefan Ellmauthaler and
Claudia Schulz},
title = {Introduction to the {TPLP} Special Issue on User-oriented Logic Programming
and Reasoning Paradigms},
journal = {Theory Pract. Log. Program.},
volume = {19},
number = {2},
pages = {109--113},
year = {2019},
url = {https://doi.org/10.1017/S1471068418000510},
doi = {10.1017/S1471068418000510},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/EllmauthalerS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/dnb/Ellmauthaler18,
author = {Stefan Ellmauthaler},
title = {Multi-Context Reasoning in Continuous Data-Flow Environments},
school = {Leipzig University, Germany},
year = {2018},
url = {https://nbn-resolving.org/urn:nbn:de:bsz:15-qucosa2-214577},
urn = {urn:nbn:de:bsz:15-qucosa2-214577},
timestamp = {Mon, 29 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/phd/dnb/Ellmauthaler18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/BrewkaEGKLP18,
author = {Gerhard Brewka and
Stefan Ellmauthaler and
Ricardo Gon{\c{c}}alves and
Matthias Knorr and
Jo{\~{a}}o Leite and
J{\"{o}}rg P{\"{u}}hrer},
title = {Reactive multi-context systems: Heterogeneous reasoning in dynamic
environments},
journal = {Artif. Intell.},
volume = {256},
pages = {68--104},
year = {2018},
url = {https://doi.org/10.1016/j.artint.2017.11.007},
doi = {10.1016/J.ARTINT.2017.11.007},
timestamp = {Wed, 23 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ai/BrewkaEGKLP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ki/BrewkaEKOORSS18,
author = {Gerhard Brewka and
Stefan Ellmauthaler and
Gabriele Kern{-}Isberner and
Philipp Obermeier and
Max Ostrowski and
Javier Romero and
Torsten Schaub and
Steffen Schieweck},
title = {Advanced Solving Technology for Dynamic and Reactive Applications},
journal = {K{\"{u}}nstliche Intell.},
volume = {32},
number = {2-3},
pages = {199--200},
year = {2018},
url = {https://doi.org/10.1007/s13218-018-0538-8},
doi = {10.1007/S13218-018-0538-8},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ki/BrewkaEKOORSS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/flap/BrewkaESWW17,
author = {Gerhard Brewka and
Stefan Ellmauthaler and
Hannes Strass and
Johannes Peter Wallner and
Stefan Woltran},
title = {Abstract Dialectical Frameworks. An Overview},
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/BrewkaESWW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/comma/EllmauthalerS16,
author = {Stefan Ellmauthaler and
Hannes Strass},
editor = {Pietro Baroni and
Thomas F. Gordon and
Tatjana Scheffler and
Manfred Stede},
title = {{DIAMOND} 3.0 - {A} Native {C++} Implementation of {DIAMOND}},
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 = {471--472},
publisher = {{IOS} Press},
year = {2016},
url = {https://doi.org/10.3233/978-1-61499-686-6-471},
doi = {10.3233/978-1-61499-686-6-471},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/comma/EllmauthalerS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/BrewkaE0KLP16,
author = {Gerhard Brewka and
Stefan Ellmauthaler and
Ricardo Gon{\c{c}}alves and
Matthias Knorr and
Jo{\~{a}}o Leite and
J{\"{o}}rg P{\"{u}}hrer},
editor = {Richard Booth and
Giovanni Casini and
Szymon Klarman and
Gilles Richard and
Ivan Jos{\'{e}} Varzinczak},
title = {Towards Inconsistency Management in Reactive Multi-Context Systems},
booktitle = {Proceedings of the International Workshop on Defeasible and Ampliative
Reasoning (DARe-16) co-located with the 22th European Conference on
Artificial Intelligence {(ECAI} 2016), The Hague, The Netherlands,
August 29, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1626},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1626/DARe-16\_5.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:14 +0100},
biburl = {https://dblp.org/rec/conf/ecai/BrewkaE0KLP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/BrewkaE0KLP16,
author = {Gerhard Brewka and
Stefan Ellmauthaler and
Ricardo Gon{\c{c}}alves and
Matthias Knorr and
Jo{\~{a}}o Leite and
J{\"{o}}rg P{\"{u}}hrer},
editor = {Loizos Michael and
Antonis C. Kakas},
title = {Inconsistency Management in Reactive Multi-context Systems},
booktitle = {Logics in Artificial Intelligence - 15th European Conference, {JELIA}
2016, Larnaca, Cyprus, November 9-11, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10021},
pages = {529--535},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-48758-8\_35},
doi = {10.1007/978-3-319-48758-8\_35},
timestamp = {Wed, 23 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/jelia/BrewkaE0KLP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BrewkaE0KLP16,
author = {Gerhard Brewka and
Stefan Ellmauthaler and
Ricardo Gon{\c{c}}alves and
Matthias Knorr and
Jo{\~{a}}o Leite and
J{\"{o}}rg P{\"{u}}hrer},
title = {Reactive Multi-Context Systems: Heterogeneous Reasoning in Dynamic
Environments},
journal = {CoRR},
volume = {abs/1609.03438},
year = {2016},
url = {http://arxiv.org/abs/1609.03438},
eprinttype = {arXiv},
eprint = {1609.03438},
timestamp = {Wed, 23 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/BrewkaE0KLP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/EllmauthalerP16,
author = {Stefan Ellmauthaler and
J{\"{o}}rg P{\"{u}}hrer},
title = {Stream Packing for Asynchronous Multi-Context Systems using {ASP}},
journal = {CoRR},
volume = {abs/1611.05640},
year = {2016},
url = {http://arxiv.org/abs/1611.05640},
eprinttype = {arXiv},
eprint = {1611.05640},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/EllmauthalerP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/EllmauthalerP14,
author = {Stefan Ellmauthaler and
J{\"{o}}rg P{\"{u}}hrer},
editor = {Thomas Eiter and
Hannes Strass and
Miroslaw Truszczynski and
Stefan Woltran},
title = {Asynchronous Multi-Context Systems},
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 = {141--156},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-14726-0\_10},
doi = {10.1007/978-3-319-14726-0\_10},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/EllmauthalerP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BrewkaEP15,
author = {Gerhard Brewka and
Stefan Ellmauthaler and
J{\"{o}}rg P{\"{u}}hrer},
title = {Multi-Context Systems for Reactive Reasoning in Dynamic Environments},
journal = {CoRR},
volume = {abs/1505.05366},
year = {2015},
url = {http://arxiv.org/abs/1505.05366},
eprinttype = {arXiv},
eprint = {1505.05366},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BrewkaEP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/EllmauthalerP15,
author = {Stefan Ellmauthaler and
J{\"{o}}rg P{\"{u}}hrer},
title = {Asynchronous Multi-Context Systems},
journal = {CoRR},
volume = {abs/1505.05367},
year = {2015},
url = {http://arxiv.org/abs/1505.05367},
eprinttype = {arXiv},
eprint = {1505.05367},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/EllmauthalerP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/comma/EllmauthalerS14,
author = {Stefan Ellmauthaler and
Hannes Strass},
editor = {Simon Parsons and
Nir Oren and
Chris Reed and
Federico Cerutti},
title = {The {DIAMOND} System for Computing with Abstract Dialectical Frameworks},
booktitle = {Computational Models of Argument - Proceedings of {COMMA} 2014, Atholl
Palace Hotel, Scottish Highlands, UK, September 9-12, 2014},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {266},
pages = {233--240},
publisher = {{IOS} Press},
year = {2014},
url = {https://doi.org/10.3233/978-1-61499-436-7-233},
doi = {10.3233/978-1-61499-436-7-233},
timestamp = {Thu, 10 Aug 2023 14:30:52 +0200},
biburl = {https://dblp.org/rec/conf/comma/EllmauthalerS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/BrewkaEP14,
author = {Gerhard Brewka and
Stefan Ellmauthaler and
J{\"{o}}rg P{\"{u}}hrer},
editor = {Torsten Schaub and
Gerhard Friedrich and
Barry O'Sullivan},
title = {Multi-Context Systems for Reactive Reasoning in Dynamic Environments},
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 = {159--164},
publisher = {{IOS} Press},
year = {2014},
url = {https://doi.org/10.3233/978-1-61499-419-0-159},
doi = {10.3233/978-1-61499-419-0-159},
timestamp = {Mon, 19 Jun 2023 16:36:09 +0200},
biburl = {https://dblp.org/rec/conf/ecai/BrewkaEP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccsw/Ellmauthaler13,
author = {Stefan Ellmauthaler},
editor = {Andrew V. Jones and
Nicholas Ng},
title = {Generalizing Multi-Context Systems for Reactive Stream Reasoning Applications},
booktitle = {2013 Imperial College Computing Student Workshop, {ICCSW} 2013, September
26/27, 2013, London, United Kingdom},
series = {OASIcs},
volume = {35},
pages = {19--26},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany},
year = {2013},
url = {https://doi.org/10.4230/OASIcs.ICCSW.2013.19},
doi = {10.4230/OASICS.ICCSW.2013.19},
timestamp = {Tue, 15 Feb 2022 09:40:03 +0100},
biburl = {https://dblp.org/rec/conf/iccsw/Ellmauthaler13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BrewkaSEWW13,
author = {Gerhard Brewka and
Hannes Strass and
Stefan Ellmauthaler and
Johannes Peter Wallner and
Stefan Woltran},
editor = {Francesca Rossi},
title = {Abstract Dialectical Frameworks Revisited},
booktitle = {{IJCAI} 2013, Proceedings of the 23rd International Joint Conference
on Artificial Intelligence, Beijing, China, August 3-9, 2013},
pages = {803--809},
publisher = {{IJCAI/AAAI}},
year = {2013},
url = {http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6551},
timestamp = {Tue, 23 Jan 2024 13:25:46 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/BrewkaSEWW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/EllmauthalerS13,
author = {Stefan Ellmauthaler and
Hannes Strass},
title = {The {DIAMOND} System for Argumentation: Preliminary Report},
journal = {CoRR},
volume = {abs/1312.6140},
year = {2013},
url = {http://arxiv.org/abs/1312.6140},
eprinttype = {arXiv},
eprint = {1312.6140},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/EllmauthalerS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/comma/EllmauthalerW12,
author = {Stefan Ellmauthaler and
Johannes Peter Wallner},
editor = {Bart Verheij and
Stefan Szeider and
Stefan Woltran},
title = {Evaluating Abstract Dialectical Frameworks with {ASP}},
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 = {505--506},
publisher = {{IOS} Press},
year = {2012},
url = {https://doi.org/10.3233/978-1-61499-111-3-505},
doi = {10.3233/978-1-61499-111-3-505},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/comma/EllmauthalerW12.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-05 21:15 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:
