Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Jörg Pührer
@article{DBLP:journals/ai/Puhrer20,
author = {J{\"{o}}rg P{\"{u}}hrer},
title = {Realizability of three-valued semantics for abstract dialectical frameworks},
journal = {Artif. Intell.},
volume = {278},
year = {2020},
url = {https://doi.org/10.1016/j.artint.2019.103198},
doi = {10.1016/J.ARTINT.2019.103198},
timestamp = {Wed, 27 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ai/Puhrer20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/BrewkaPW19,
author = {Gerhard Brewka and
J{\"{o}}rg P{\"{u}}hrer and
Stefan Woltran},
editor = {Francesco Calimeri and
Nicola Leone and
Marco Manna},
title = {Multi-valued {GRAPPA}},
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 = {85--101},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-19570-0\_6},
doi = {10.1007/978-3-030-19570-0\_6},
timestamp = {Fri, 27 Mar 2020 08:53:33 +0100},
biburl = {https://dblp.org/rec/conf/jelia/BrewkaPW19.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/Puhrer18,
author = {J{\"{o}}rg P{\"{u}}hrer},
title = {ArgueApply: Abstract Argumentation at Your Fingertips},
journal = {K{\"{u}}nstliche Intell.},
volume = {32},
number = {2-3},
pages = {209--212},
year = {2018},
url = {https://doi.org/10.1007/s13218-018-0532-1},
doi = {10.1007/S13218-018-0532-1},
timestamp = {Tue, 14 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ki/Puhrer18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/OetschPT18,
author = {Johannes Oetsch and
J{\"{o}}rg P{\"{u}}hrer and
Hans Tompits},
title = {Stepwise debugging of answer-set programs},
journal = {Theory Pract. Log. Program.},
volume = {18},
number = {1},
pages = {30--80},
year = {2018},
url = {https://doi.org/10.1017/S1471068417000217},
doi = {10.1017/S1471068417000217},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/OetschPT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1806-07717,
author = {Gerhard Brewka and
J{\"{o}}rg P{\"{u}}hrer and
Hannes Strass and
Johannes Peter Wallner and
Stefan Woltran},
title = {Weighted Abstract Dialectical Frameworks: Extended and Revised Report},
journal = {CoRR},
volume = {abs/1806.07717},
year = {2018},
url = {http://arxiv.org/abs/1806.07717},
eprinttype = {arXiv},
eprint = {1806.07717},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1806-07717.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/Puhrer17,
author = {J{\"{o}}rg P{\"{u}}hrer},
editor = {Marcello Balduccini and
Tomi Janhunen},
title = {ArgueApply: {A} Mobile App for Argumentation},
booktitle = {Logic Programming and Nonmonotonic Reasoning - 14th International
Conference, {LPNMR} 2017, Espoo, Finland, July 3-6, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10377},
pages = {250--262},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-61660-5\_23},
doi = {10.1007/978-3-319-61660-5\_23},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/Puhrer17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/OetschPT17,
author = {Johannes Oetsch and
J{\"{o}}rg P{\"{u}}hrer and
Hans Tompits},
title = {Stepwise Debugging of Answer-Set Programs},
journal = {CoRR},
volume = {abs/1705.06564},
year = {2017},
url = {http://arxiv.org/abs/1705.06564},
eprinttype = {arXiv},
eprint = {1705.06564},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/OetschPT17.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/ecai/LinsbichlerPS16,
author = {Thomas Linsbichler and
J{\"{o}}rg P{\"{u}}hrer and
Hannes Strass},
editor = {Gal A. Kaminka and
Maria Fox and
Paolo Bouquet and
Eyke H{\"{u}}llermeier and
Virginia Dignum and
Frank Dignum and
Frank van Harmelen},
title = {A Uniform Account of Realizability in Abstract Argumentation},
booktitle = {{ECAI} 2016 - 22nd European Conference on Artificial Intelligence,
29 August-2 September 2016, The Hague, The Netherlands - Including
Prestigious Applications of Artificial Intelligence {(PAIS} 2016)},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {285},
pages = {252--260},
publisher = {{IOS} Press},
year = {2016},
url = {https://doi.org/10.3233/978-1-61499-672-9-252},
doi = {10.3233/978-1-61499-672-9-252},
timestamp = {Tue, 02 Nov 2021 15:59:05 +0100},
biburl = {https://dblp.org/rec/conf/ecai/LinsbichlerPS16.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/LinsbichlerPS16,
author = {Thomas Linsbichler and
J{\"{o}}rg P{\"{u}}hrer and
Hannes Strass},
title = {Characterizing Realizability in Abstract Argumentation},
journal = {CoRR},
volume = {abs/1603.09545},
year = {2016},
url = {http://arxiv.org/abs/1603.09545},
eprinttype = {arXiv},
eprint = {1603.09545},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/LinsbichlerPS16.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}
}
@inproceedings{DBLP:conf/ijcai/Puhrer15,
author = {J{\"{o}}rg P{\"{u}}hrer},
editor = {Qiang Yang and
Michael J. Wooldridge},
title = {Realizability of Three-Valued Semantics for Abstract Dialectical Frameworks},
booktitle = {Proceedings of the Twenty-Fourth International Joint Conference on
Artificial Intelligence, {IJCAI} 2015, Buenos Aires, Argentina, July
25-31, 2015},
pages = {3171--3177},
publisher = {{AAAI} Press},
year = {2015},
url = {http://ijcai.org/Abstract/15/447},
timestamp = {Tue, 20 Aug 2019 16:16:43 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Puhrer15.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}
}
@article{DBLP:journals/corr/Puhrer15,
author = {J{\"{o}}rg P{\"{u}}hrer},
title = {Towards a Simulation-Based Programming Paradigm for {AI} applications},
journal = {CoRR},
volume = {abs/1505.05373},
year = {2015},
url = {http://arxiv.org/abs/1505.05373},
eprinttype = {arXiv},
eprint = {1505.05373},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Puhrer15.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/Puhrer14,
author = {J{\"{o}}rg P{\"{u}}hrer},
editor = {Rumyana Neykova and
Nicholas Ng},
title = {Towards a Programming Paradigm for Artificial Intelligence Applications
Based On Simulation},
booktitle = {2014 Imperial College Computing Student Workshop, {ICCSW} 2014, September
25-26, 2014, London, United Kingdom},
series = {OASIcs},
volume = {43},
pages = {66--73},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2014},
url = {https://doi.org/10.4230/OASIcs.ICCSW.2014.66},
doi = {10.4230/OASICS.ICCSW.2014.66},
timestamp = {Tue, 15 Feb 2022 09:40:03 +0100},
biburl = {https://dblp.org/rec/conf/iccsw/Puhrer14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jancl/EiterFPTW13,
author = {Thomas Eiter and
Michael Fink and
J{\"{o}}rg P{\"{u}}hrer and
Hans Tompits and
Stefan Woltran},
title = {Model-based recasting in answer-set programming},
journal = {J. Appl. Non Class. Logics},
volume = {23},
number = {1-2},
pages = {75--104},
year = {2013},
url = {https://doi.org/10.1080/11663081.2013.799318},
doi = {10.1080/11663081.2013.799318},
timestamp = {Sat, 25 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jancl/EiterFPTW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/BusoniuOPST13,
author = {Paula{-}Andra Busoniu and
Johannes Oetsch and
J{\"{o}}rg P{\"{u}}hrer and
Peter Skocovsky and
Hans Tompits},
title = {SeaLion: An eclipse-based {IDE} for answer-set programming with advanced
debugging support},
journal = {Theory Pract. Log. Program.},
volume = {13},
number = {4-5},
pages = {657--673},
year = {2013},
url = {https://doi.org/10.1017/S1471068413000410},
doi = {10.1017/S1471068413000410},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/BusoniuOPST13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/AlvianoCCDDIKKOPPRRSSSWX13,
author = {Mario Alviano and
Francesco Calimeri and
G{\"{u}}nther Charwat and
Minh Dao{-}Tran and
Carmine Dodaro and
Giovambattista Ianni and
Thomas Krennwallner and
Martin Kronegger and
Johannes Oetsch and
Andreas Pfandler and
J{\"{o}}rg P{\"{u}}hrer and
Christoph Redl and
Francesco Ricca and
Patrik Schneider and
Martin Schwengerer and
Lara Katharina Spendier and
Johannes Peter Wallner and
Guohui Xiao},
editor = {Pedro Cabalar and
Tran Cao Son},
title = {The Fourth Answer Set Programming Competition: Preliminary Report},
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 = {42--53},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40564-8\_5},
doi = {10.1007/978-3-642-40564-8\_5},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/AlvianoCCDDIKKOPPRRSSSWX13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/FruhstuckPF13,
author = {Melanie Fr{\"{u}}hst{\"{u}}ck and
J{\"{o}}rg P{\"{u}}hrer and
Gerhard Friedrich},
editor = {Pedro Cabalar and
Tran Cao Son},
title = {Debugging Answer-Set Programs with Ouroboros - Extending the SeaLion
Plugin},
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 = {323--328},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40564-8\_32},
doi = {10.1007/978-3-642-40564-8\_32},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/FruhstuckPF13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/inap/2011,
editor = {Hans Tompits and
Salvador Abreu and
Johannes Oetsch and
J{\"{o}}rg P{\"{u}}hrer and
Dietmar Seipel and
Masanobu Umeda and
Armin Wolf},
title = {Applications of Declarative Programming and Knowledge Management -
19th International Conference, {INAP} 2011, and 25th Workshop on Logic
Programming, {WLP} 2011, Vienna, Austria, September 28-30, 2011, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7773},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-41524-1},
doi = {10.1007/978-3-642-41524-1},
isbn = {978-3-642-41523-4},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/inap/2011.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/VosKOPT12,
author = {Marina De Vos and
Doga Gizem Kisa and
Johannes Oetsch and
J{\"{o}}rg P{\"{u}}hrer and
Hans Tompits},
title = {Annotating answer-set programs in Lana},
journal = {Theory Pract. Log. Program.},
volume = {12},
number = {4-5},
pages = {619--637},
year = {2012},
url = {https://doi.org/10.1017/S147106841200021X},
doi = {10.1017/S147106841200021X},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/VosKOPT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/OetschPT12,
author = {Johannes Oetsch and
J{\"{o}}rg P{\"{u}}hrer and
Hans Tompits},
editor = {Esra Erdem and
Joohyung Lee and
Yuliya Lierler and
David Pearce},
title = {Stepwise Debugging of Description-Logic Programs},
booktitle = {Correct Reasoning - Essays on Logic-Based {AI} in Honour of Vladimir
Lifschitz},
series = {Lecture Notes in Computer Science},
volume = {7265},
pages = {492--508},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30743-0\_34},
doi = {10.1007/978-3-642-30743-0\_34},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/OetschPT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/OetschPT12,
author = {Johannes Oetsch and
J{\"{o}}rg P{\"{u}}hrer and
Hans Tompits},
editor = {Agostino Dovier and
V{\'{\i}}tor Santos Costa},
title = {An FLP-Style Answer-Set Semantics for Abstract-Constraint Programs
with Disjunctions},
booktitle = {Technical Communications of the 28th International Conference on Logic
Programming, {ICLP} 2012, September 4-8, 2012, Budapest, Hungary},
series = {LIPIcs},
volume = {17},
pages = {222--234},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2012},
url = {https://doi.org/10.4230/LIPIcs.ICLP.2012.222},
doi = {10.4230/LIPICS.ICLP.2012.222},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/OetschPT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/OetschPPST12,
author = {Johannes Oetsch and
Michael Prischink and
J{\"{o}}rg P{\"{u}}hrer and
Martin Schwengerer and
Hans Tompits},
editor = {Gerhard Brewka and
Thomas Eiter and
Sheila A. McIlraith},
title = {On the Small-Scope Hypothesis for Testing Answer-Set Programs},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Thirteenth International Conference, {KR} 2012, Rome, Italy,
June 10-14, 2012},
publisher = {{AAAI} Press},
year = {2012},
url = {http://www.aaai.org/ocs/index.php/KR/KR12/paper/view/4550},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/OetschPPST12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1210-2195,
author = {Marina De Vos and
Doga Gizem Kisa and
Johannes Oetsch and
J{\"{o}}rg P{\"{u}}hrer and
Hans Tompits},
title = {Annotating Answer-Set Programs in LANA?},
journal = {CoRR},
volume = {abs/1210.2195},
year = {2012},
url = {http://arxiv.org/abs/1210.2195},
eprinttype = {arXiv},
eprint = {1210.2195},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1210-2195.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/inap/OetschPT11,
author = {Johannes Oetsch and
J{\"{o}}rg P{\"{u}}hrer and
Hans Tompits},
editor = {Hans Tompits and
Salvador Abreu and
Johannes Oetsch and
J{\"{o}}rg P{\"{u}}hrer and
Dietmar Seipel and
Masanobu Umeda and
Armin Wolf},
title = {The SeaLion has Landed: An {IDE} for Answer-Set Programming - Preliminary
Report},
booktitle = {Applications of Declarative Programming and Knowledge Management -
19th International Conference, {INAP} 2011, and 25th Workshop on Logic
Programming, {WLP} 2011, Vienna, Austria, September 28-30, 2011, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7773},
pages = {305--324},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-41524-1\_19},
doi = {10.1007/978-3-642-41524-1\_19},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/inap/OetschPT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/inap/KloimullnerOPT11,
author = {Christian Kloim{\"{u}}llner and
Johannes Oetsch and
J{\"{o}}rg P{\"{u}}hrer and
Hans Tompits},
editor = {Hans Tompits and
Salvador Abreu and
Johannes Oetsch and
J{\"{o}}rg P{\"{u}}hrer and
Dietmar Seipel and
Masanobu Umeda and
Armin Wolf},
title = {Kara: {A} System for Visualising and Visual Editing of Interpretations
for Answer-Set Programs},
booktitle = {Applications of Declarative Programming and Knowledge Management -
19th International Conference, {INAP} 2011, and 25th Workshop on Logic
Programming, {WLP} 2011, Vienna, Austria, September 28-30, 2011, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7773},
pages = {325--344},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-41524-1\_20},
doi = {10.1007/978-3-642-41524-1\_20},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/inap/KloimullnerOPT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/OetschPT11,
author = {Johannes Oetsch and
J{\"{o}}rg P{\"{u}}hrer and
Hans Tompits},
editor = {James P. Delgrande and
Wolfgang Faber},
title = {Stepping through an Answer-Set Program},
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 = {134--147},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-20895-9\_13},
doi = {10.1007/978-3-642-20895-9\_13},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpnmr/OetschPT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/JanhunenNOPT11,
author = {Tomi Janhunen and
Ilkka Niemel{\"{a}} and
Johannes Oetsch and
J{\"{o}}rg P{\"{u}}hrer and
Hans Tompits},
editor = {James P. Delgrande and
Wolfgang Faber},
title = {Random vs. Structure-Based Testing of Answer-Set Programs: An Experimental
Comparison},
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 = {242--247},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-20895-9\_26},
doi = {10.1007/978-3-642-20895-9\_26},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpnmr/JanhunenNOPT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/OetschPSTZ11,
author = {Johannes Oetsch and
J{\"{o}}rg P{\"{u}}hrer and
Martina Seidl and
Hans Tompits and
Patrick Zwickl},
editor = {James P. Delgrande and
Wolfgang Faber},
title = {{VIDEAS:} {A} Development Tool for Answer-Set Programs Based on Model-Driven
Engineering Technology},
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 = {382--387},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-20895-9\_45},
doi = {10.1007/978-3-642-20895-9\_45},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpnmr/OetschPSTZ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1109-3989,
author = {Johannes Oetsch and
J{\"{o}}rg P{\"{u}}hrer and
Hans Tompits},
title = {The SeaLion has Landed: An {IDE} for Answer-Set Programming---Preliminary
Report},
journal = {CoRR},
volume = {abs/1109.3989},
year = {2011},
url = {http://arxiv.org/abs/1109.3989},
eprinttype = {arXiv},
eprint = {1109.3989},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1109-3989.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1109-4095,
author = {Christian Kloim{\"{u}}llner and
Johannes Oetsch and
J{\"{o}}rg P{\"{u}}hrer and
Hans Tompits},
title = {Kara: {A} System for Visualising and Visual Editing of Interpretations
for Answer-Set Programs},
journal = {CoRR},
volume = {abs/1109.4095},
year = {2011},
url = {http://arxiv.org/abs/1109.4095},
eprinttype = {arXiv},
eprint = {1109.4095},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1109-4095.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1112-0922,
author = {Johannes Oetsch and
J{\"{o}}rg P{\"{u}}hrer and
Hans Tompits},
title = {Extending Object-Oriented Languages by Declarative Specifications
of Complex Objects using Answer-Set Programming},
journal = {CoRR},
volume = {abs/1112.0922},
year = {2011},
url = {http://arxiv.org/abs/1112.0922},
eprinttype = {arXiv},
eprint = {1112.0922},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1112-0922.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/OetschPT10,
author = {Johannes Oetsch and
J{\"{o}}rg P{\"{u}}hrer and
Hans Tompits},
title = {Catching the Ouroboros: On debugging non-ground answer-set programs},
journal = {Theory Pract. Log. Program.},
volume = {10},
number = {4-6},
pages = {513--529},
year = {2010},
url = {https://doi.org/10.1017/S1471068410000256},
doi = {10.1017/S1471068410000256},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/OetschPT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/OetschPST10,
author = {Johannes Oetsch and
J{\"{o}}rg P{\"{u}}hrer and
Martin Schwengerer and
Hans Tompits},
title = {The system Kato: Detecting cases of plagiarism for answer-set programs},
journal = {Theory Pract. Log. Program.},
volume = {10},
number = {4-6},
pages = {759--775},
year = {2010},
url = {https://doi.org/10.1017/S1471068410000402},
doi = {10.1017/S1471068410000402},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/OetschPST10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/JanhunenNOPT10,
author = {Tomi Janhunen and
Ilkka Niemel{\"{a}} and
Johannes Oetsch and
J{\"{o}}rg P{\"{u}}hrer and
Hans Tompits},
editor = {Helder Coelho and
Rudi Studer and
Michael J. Wooldridge},
title = {On Testing Answer-Set Programs},
booktitle = {{ECAI} 2010 - 19th European Conference on Artificial Intelligence,
Lisbon, Portugal, August 16-20, 2010, Proceedings},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {215},
pages = {951--956},
publisher = {{IOS} Press},
year = {2010},
url = {https://doi.org/10.3233/978-1-60750-606-5-951},
doi = {10.3233/978-1-60750-606-5-951},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecai/JanhunenNOPT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esws/PuhrerHE10,
author = {J{\"{o}}rg P{\"{u}}hrer and
Stijn Heymans and
Thomas Eiter},
editor = {Lora Aroyo and
Grigoris Antoniou and
Eero Hyv{\"{o}}nen and
Annette ten Teije and
Heiner Stuckenschmidt and
Liliana Cabral and
Tania Tudorache},
title = {Dealing with Inconsistency When Combining Ontologies and Rules Using
DL-Programs},
booktitle = {The Semantic Web: Research and Applications, 7th Extended Semantic
Web Conference, {ESWC} 2010, Heraklion, Crete, Greece, May 30 - June
3, 2010, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {6088},
pages = {183--197},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13486-9\_13},
doi = {10.1007/978-3-642-13486-9\_13},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/esws/PuhrerHE10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/OetschPT10,
author = {Johannes Oetsch and
J{\"{o}}rg P{\"{u}}hrer and
Hans Tompits},
editor = {Manuel V. Hermenegildo and
Torsten Schaub},
title = {Methods and Methodologies for Developing Answer-Set Programs - Project
Description},
booktitle = {Technical Communications of the 26th International Conference on Logic
Programming, {ICLP} 2010, July 16-19, 2010, Edinburgh, Scotland, {UK}},
series = {LIPIcs},
volume = {7},
pages = {154--161},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2010},
url = {https://doi.org/10.4230/LIPIcs.ICLP.2010.154},
doi = {10.4230/LIPICS.ICLP.2010.154},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/OetschPT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/webi/HeymansKEPE10,
author = {Stijn Heymans and
Roman Korf and
Michael Erdmann and
J{\"{o}}rg P{\"{u}}hrer and
Thomas Eiter},
editor = {Jimmy Xiangji Huang and
Irwin King and
Vijay V. Raghavan and
Stefan M. R{\"{u}}ger},
title = {F-Logic{\#}: Loosely Coupling F-Logic Rules and Ontologies},
booktitle = {2010 {IEEE/WIC/ACM} International Conference on Web Intelligence,
{WI} 2010, Toronto, Canada, August 31 - September 3, 2010, Main Conference
Proceedings},
pages = {248--255},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/WI-IAT.2010.44},
doi = {10.1109/WI-IAT.2010.44},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/webi/HeymansKEPE10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1007-4971,
author = {Johannes Oetsch and
J{\"{o}}rg P{\"{u}}hrer and
Martin Schwengerer and
Hans Tompits},
title = {The System Kato: Detecting Cases of Plagiarism for Answer-Set Programs},
journal = {CoRR},
volume = {abs/1007.4971},
year = {2010},
url = {http://arxiv.org/abs/1007.4971},
eprinttype = {arXiv},
eprint = {1007.4971},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1007-4971.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1007-4986,
author = {Johannes Oetsch and
J{\"{o}}rg P{\"{u}}hrer and
Hans Tompits},
title = {Catching the Ouroboros: On Debugging Non-ground Answer-Set Programs},
journal = {CoRR},
volume = {abs/1007.4986},
year = {2010},
url = {http://arxiv.org/abs/1007.4986},
eprinttype = {arXiv},
eprint = {1007.4986},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1007-4986.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/PuhrerT09,
author = {J{\"{o}}rg P{\"{u}}hrer and
Hans Tompits},
editor = {Esra Erdem and
Fangzhen Lin and
Torsten Schaub},
title = {Casting Away Disjunction and Negation under a Generalisation of Strong
Equivalence with Projection},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 10th International Conference,
{LPNMR} 2009, Potsdam, Germany, September 14-18, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5753},
pages = {264--276},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04238-6\_23},
doi = {10.1007/978-3-642-04238-6\_23},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/PuhrerT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/GebserPST08,
author = {Martin Gebser and
J{\"{o}}rg P{\"{u}}hrer and
Torsten Schaub and
Hans Tompits},
editor = {Dieter Fox and
Carla P. Gomes},
title = {A Meta-Programming Technique for Debugging Answer-Set Programs},
booktitle = {Proceedings of the Twenty-Third {AAAI} Conference on Artificial Intelligence,
{AAAI} 2008, Chicago, Illinois, USA, July 13-17, 2008},
pages = {448--453},
publisher = {{AAAI} Press},
year = {2008},
url = {http://www.aaai.org/Library/AAAI/2008/aaai08-071.php},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/GebserPST08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/PuhrerTW08,
author = {J{\"{o}}rg P{\"{u}}hrer and
Hans Tompits and
Stefan Woltran},
editor = {Maria Garcia de la Banda and
Enrico Pontelli},
title = {Elimination of Disjunction and Negation in Answer-Set Programs under
Hyperequivalence},
booktitle = {Logic Programming, 24th International Conference, {ICLP} 2008, Udine,
Italy, December 9-13 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5366},
pages = {561--575},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89982-2\_47},
doi = {10.1007/978-3-540-89982-2\_47},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/iclp/PuhrerTW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/BrainGPSTW07,
author = {Martin Brain and
Martin Gebser and
J{\"{o}}rg P{\"{u}}hrer and
Torsten Schaub and
Hans Tompits and
Stefan Woltran},
editor = {Chitta Baral and
Gerhard Brewka and
John S. Schlipf},
title = {Debugging {ASP} Programs by Means of {ASP}},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 9th International Conference,
{LPNMR} 2007, Tempe, AZ, USA, May 15-17, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4483},
pages = {31--43},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72200-7\_5},
doi = {10.1007/978-3-540-72200-7\_5},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/BrainGPSTW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wlp/GebserPSTW07,
author = {Martin Gebser and
J{\"{o}}rg P{\"{u}}hrer and
Torsten Schaub and
Hans Tompits and
Stefan Woltran},
editor = {Dietmar Seipel and
Michael Hanus and
Armin Wolf},
title = {spock: {A} Debugging Support Tool for Logic Programs under the Answer-Set
Semantics},
booktitle = {Applications of Declarative Programming and Knowledge Management,
17th International Conference, {INAP} 2007, and 21st Workshop on Logic
Programming, {WLP} 2007, W{\"{u}}rzburg, Germany, October 4-6,
2007, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5437},
pages = {247--252},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-642-00675-3\_17},
doi = {10.1007/978-3-642-00675-3\_17},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wlp/GebserPSTW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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 2023-09-28 02:44 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:
