@article{Puhrer20,
author = {J{\"{o}}rg P{\"{u}}hrer},
title = {Realizability of three-valued semantics for abstract dialectical frameworks},
journal = {\underline{Artificial Intelligence}},
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 08:28:25 +0100},
biburl = {https://dblp.org/rec/journals/ai/Puhrer20.bib}
}
@article{Puehrer2018,
author = {P{\"u}hrer, J{\"o}rg},
title = {{ArgueApply}: {A}bstract Argumentation at Your Fingertips},
journal = {\underline{K{\"u}nstliche Intelligenz}},
year = {2018},
month = {May},
day = {15},
issn = {1610-1987},
doi = {10.1007/s13218-018-0532-1},
url = {https://doi.org/10.1007/s13218-018-0532-1}
}
@book{TUW-201288,
editor = {Abreu, Salvador and Oetsch, Johannes and P{\"u}hrer, J{\"o}rg and Seipel, Dietmar and Tompits, Hans and Umeda, Masanobu and Wolf, Armin},
title = {Proceedings of the 19th {I}nternational {C}onference on {A}pplications of {D}eclarative {P}rogramming and {K}nowledge {M}anagement ({INAP 2011}) and the 25th {W}orkshop on {L}ogic {P}rogramming ({WLP 2011})},
publisher = {TU Wien},
year = {2011},
address = {Wien},
numpages = {290},
url = {http://publik.tuwien.ac.at/files/PubDat_201288.pdf}
}
@article{BE0KLP18,
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 = {\underline{Artificial Intelligence}},
year = {2018},
volume = {256},
pages = {68-104},
url = {https://www.sciencedirect.com/science/article/pii/S0004370217301443},
pdf = {https://arxiv.org/abs/1609.03438}
}
@article{OPT18,
author = {Johannes Oetsch and
J{\"{o}}rg P{\"{u}}hrer and
Hans Tompits},
title = {Stepwise debugging of answer-set programs},
journal = {\underline{Theory and Practice of Logic Programming}},
volume = {18},
number = {1},
pages = {30--80},
year = {2018},
url = {https://doi.org/10.1017/S1471068417000217},
doi = {10.1017/S1471068417000217},
timestamp = {Wed, 07 Feb 2018 13:19:42 +0100}
}
@article{TUW-214421,
author = {Brain, Martin and Erdem, Esra and Inoue, Katsumi and Oetsch, Johannes and P{\"u}hrer, J{\"o}rg and Tompits, Hans and Yilmaz, Cemal},
title = {Event-Sequence Testing using Answer-Set Programming},
journal = {\underline{International Journal On Advances in Software}},
year = {2012},
volume = {5},
number = {3-4},
numpages = {15},
url = {http://publik.tuwien.ac.at/files/PubDat_214421.pdf},
keywords = {event-sequence testing; complexity analysis; combinatorial interaction testing; answer-set programming}
}
@article{TUW-187992,
author = {Oetsch, Johannes and P{\"u}hrer, J{\"o}rg and Tompits, Hans},
title = {Catching the {O}uroboros: {O}n debugging non-ground answer-set programs},
booktitle = {26th International Conference on Logic Programming (ICLP 2010)},
year = {2010},
editor = {Hermenegildo, Manuel and Schaub, Torsten},
pages = {513--529},
journal = {\underline{Theory and Practice of Logic Programming}},
publisher = {Cambridge University Press},
volume = {10},
number = {4-6},
url = {http://publik.tuwien.ac.at/files/PubDat_187992.pdf},
issn = {1471-0684},
doi = {10.1017/S1471068410000256},
keywords = {answer-set programming, program analysis, debugging}
}
@article{TUW-187991,
author = {Oetsch, Johannes and P{\"u}hrer, J{\"o}rg and Schwengerer, Martin and Tompits, Hans},
title = {The System {K}ato: {D}etecting Cases of Plagiarism for Answer-Set Programs},
booktitle = {26th International Conference on Logic Programming (ICLP 2010)},
year = {2010},
editor = {Hermenegildo, Manuel and Schaub, Torsten},
pages = {759--775},
journal = {\underline{Theory and Practice of Logic Programming}},
publisher = {Cambridge University Press},
volume = {10},
number = {4-6},
url = {http://publik.tuwien.ac.at/files/PubDat_187991.4971v1},
issn = {1471-0684},
doi = {10.1017/S1471068410000402},
keywords = {answer-set programming, program analysis, plagiarism detection}
}
@article{TUW-211481,
author = {De Vos, Marina and Kisa, Doga Gizem and Oetsch, Johannes and P{\"u}hrer, J{\"o}rg and Tompits, Hans},
title = {Annotating Answer-Set Programs in {LANA}},
booktitle = {28th International Conference on Logic Programming},
year = {2012},
pages = {619--637},
journal = {\underline{Theory and Practice of Logic Programming}},
publisher = {Cambridge University Press},
volume = {12},
number = {4-5},
url = {http://publik.tuwien.ac.at/files/PubDat_211481.pdf},
doi = {10.1017/S147106841200021X},
keywords = {answer-set programming, program annotations, documentation, unit testing}
}
@incollection{TUW-211483,
author = {Oetsch, Johannes and P{\"u}hrer, J{\"o}rg and Tompits, Hans},
title = {Stepwise Debugging of Description-Logic Programs},
booktitle = {Correct Reasoning - Essays on Logic-Based AI in Honour of Vladimir Lifschitz},
year = {2012},
pages = {492--508},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {7265},
url = {http://publik.tuwien.ac.at/files/PubDat_211483.pdf},
keywords = {description-logic programs, answer-set semantics, debugging}
}
@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}
}
@incollection{EP14,
author = {Stefan Ellmauthaler and
J{\"{o}}rg P{\"{u}}hrer},
title = {Asynchronous Multi-Context Systems},
pages = {141--156},
url = {http://dx.doi.org/10.1007/978-3-319-14726-0_10},
doi = {10.1007/978-3-319-14726-0_10},
editor = {Thomas Eiter and
Hannes Strass and
Miroslaw Truszczynski and
Stefan Woltran},
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},
publisher = {Springer},
year = {2014},
isbn = {978-3-319-14725-3}
}
@inproceedings{TUW-181199,
author = {Gebser, Martin and P{\"u}hrer, J{\"o}rg and Schaub, Torsten and Tompits, Hans and Woltran, Stefan},
title = {spock: {A} Debugging Support Tool for Logic Programs under the Answer-Set Semantics},
booktitle = {Applications of Declarative Programming and Knowledge Management},
year = {2009},
editor = {Seipel, Dietmar and Hanus, Michael and Wolf, Armin},
pages = {247--252},
publisher = {Springer},
url = {http://publik.tuwien.ac.at/files/PubDat_181199.pdf},
isbn = {978-3-642-00674-6},
doi = {10.1007/978-3-642-00675-3_17},
keywords = {Answer-set programming, debugging}
}
@inproceedings{BrainGPSTW07,
author = {Martin Brain and
Martin Gebser and
J{\"{o}}rg P{\"{u}}hrer and
Torsten Schaub and
Hans Tompits and
Stefan Woltran},
title = {Debugging {ASP} Programs by Means of {ASP}},
booktitle = {Proceedings of the 9th International Conference on Logic Programming and Nonmonotonic Reasoning ({LPNMR} 2007)},
pages = {31--43},
year = {2007},
url = {http://dx.doi.org/10.1007/978-3-540-72200-7_5},
doi = {10.1007/978-3-540-72200-7_5},
editor = {Chitta Baral and
Gerhard Brewka and
John S. Schlipf},
series = {Lecture Notes in Computer Science},
volume = {4483},
publisher = {Springer},
isbn = {978-3-540-72199-4}
}
@inproceedings{TUW-167810,
author = {Gebser, Martin and P{\"u}hrer, J{\"o}rg and Schaub, Torsten and Tompits, Hans},
title = {A Meta-Programming Technique for Debugging Answer-Set Programs},
booktitle = {AAAI-08/IAAI-08 Proceedings},
year = {2008},
editor = {Fox, Dieter and Gomes, Carla P.},
pages = {448--453},
url = {http://publik.tuwien.ac.at/files/PubDat_167810.pdf},
isbn = {978-1-57735-368-3},
keywords = {answer set programming, debugging, logic programming, stable model semantics}
}
@inproceedings{TUW-169733,
author = {P{\"u}hrer, J{\"o}rg and Tompits, Hans and Woltran, Stefan},
title = {Elimination of Disjunction and Negation in Answer-Set Programs under Hyperequivalence},
booktitle = {Proceedings of the 24th Conference on Logic Programming (ICLP 2008)},
year = {2008},
editor = {de la Banda, Maria G. and Pontelli, Enrico},
pages = {561--575},
publisher = {Springer LNCS},
address = {5366},
url = {http://publik.tuwien.ac.at/files/PubDat_169733.pdf},
issn = {0302-9743},
doi = {10.1007/978-3-540-89982-2},
keywords = {answer set programming, equivalence, logic programming, hyperequivalence, disjunction, negation}
}
@inproceedings{TUW-177241,
author = {P{\"u}hrer, J{\"o}rg and Tompits, Hans},
title = {Casting Away Disjunction and Negation under a Generalisation of Strong Equivalence with Projection},
booktitle = {Logic Programming and Nonmonotonic Reasoning},
year = {2009},
editor = {Erdem, Esra and Lin, Fangzhen and Schaub, Torsten},
pages = {264--276},
publisher = {Springer},
address = {5753},
url = {http://publik.tuwien.ac.at/files/PubDat_177241.pdf},
isbn = {978-3-642-04237-9},
doi = {10.1007/978-3-642-04238-6}
}
@inproceedings{TUW-187989,
author = {P{\"u}hrer, J{\"o}rg and Heymans, Stijn and Eiter, Thomas},
title = {Dealing with Inconsistency When Combining Ontologies and Rules Using {DL}-Programs},
booktitle = {7th European Semantic Web Conference (ESWC 2010)},
year = {2010},
editor = {Aroyo, Lora and Antoniou, Grigoris and Hyv{\"o}nen, Eero and ten Teije, Annette and Stuckenschmidt, Heiner and Cabral, Liliana and Tudorache, Tania},
pages = {183--197},
publisher = {Springer},
address = {5554},
url = {http://publik.tuwien.ac.at/files/PubDat_187989.pdf},
isbn = {978-3-642-13485-2},
doi = {10.1007/978-3-642-13486-9{\_}13},
keywords = {DL-programs, inconsistency, description logics, answer set programming}
}
@inproceedings{TUW-187990,
author = {Oetsch, Johannes and P{\"u}hrer, J{\"o}rg and Tompits, Hans},
title = {Methods and Methodologies for Developing Answer-Set Programs - {P}roject Description},
booktitle = {Technical Communications of the 26th International Conference on Logic Programming (ICLP 2010)},
year = {2010},
editor = {Hermenegildo, Manuel and Schaub, Torsten},
pages = {154--161},
journal = {Leibniz International Proceedings in Informatics / Schloss Dagstuhl - Leibniz-Zentrum f{\"u}r Informatik},
volume = {7 / Dagstuhl, Germany},
url = {http://publik.tuwien.ac.at/files/PubDat_187990.pdf},
isbn = {978-3-939897-17-0},
doi = {10.4230/2010.154},
keywords = {Answer-set programming, program development, testing, debugging}
}
@inproceedings{TUW-187988,
author = {Niemel{\"a}, Ilkka and Janhunen, Tomi and Oetsch, Johannes and P{\"u}hrer, J{\"o}rg and Tompits, Hans},
title = {On Testing Answer-Set Programs},
booktitle = {19th European Conference on Artificial Intelligence (ECAI 2010)},
year = {2010},
editor = {Coelho, Helder and Studer, Rudi and Wooldridge, Michael},
pages = {951--956},
publisher = {IOS Press},
address = {Volume 215 of Frontiers in Artificial Intelligence and Applications (2010)},
url = {http://publik.tuwien.ac.at/files/PubDat_187988.pdf},
isbn = {978-1-60750-605-8},
keywords = {answer set programming, testing, software engineering, whitebox testing, structural testing}
}
@inproceedings{TUW-191126,
author = {Heymans, Stijn and Korf, Roman and Erdmann, Michael and P{\"u}hrer, J{\"o}rg and Eiter, Thomas},
title = {F-Logic{\#}: {L}oosely Coupling {F}-Logic Rules and Ontologies},
booktitle = {Proceedings of the 2010 IEEE/WIC/ACM International Conference on Web Intelligence (WI 2010)},
year = {2010},
editor = {Coelho, Helder and Studer, Rudi and Wooldridge, Michael},
pages = {248--255},
url = {http://publik.tuwien.ac.at/files/PubDat_191126.pdf},
isbn = {978-0-7695-3801-3},
doi = {10.1109/WI-IAT.2010.44},
keywords = {logical rules, F-Logic, Ontobroker, ontologies, integration}
}
@inproceedings{TUW-187984,
author = {Oetsch, Johannes and P{\"u}hrer, J{\"o}rg and Tompits, Hans},
title = {Let's Break the Rules: {I}nteractive Procedural-Style Debugging of Answer-Set Programs},
booktitle = {24th Workshop on (Constraint) Logic Programming (WLP 2010)},
year = {2010},
editor = {Abdennadher, Slim},
pages = {77--87},
url = {http://publik.tuwien.ac.at/files/PubDat_187984.pdf},
keywords = {Answer Set Programming, debugging, stable model semantics, procedural,}
}
@inproceedings{TUW-200937,
author = {Janhunen, Tomi and Niemel{\"a}, Ilkka and Oetsch, Johannes and P{\"u}hrer, J{\"o}rg and Tompits, Hans},
title = {Random vs Structure-Based Testing of Answer-Set Programs: {A}n Experimental Comparison},
booktitle = {Proceedings of the 11th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2011)},
year = {2011},
pages = {242--247},
publisher = {Springer},
url = {http://publik.tuwien.ac.at/files/PubDat_200937.pdf},
isbn = {978-3-642-20894-2},
keywords = {answer-set programming, structure-based testing, random testing}
}
@inproceedings{TUW-200918,
author = {Oetsch, Johannes and P{\"u}hrer, J{\"o}rg and Seidl, Martina and Tompits, Hans and Zwickl, Patrick},
title = {{VIDEAS}: {A} Development Tool for Answer-Set Programs based on Model-Driven Engineering Technology},
booktitle = {Proceedings of the 11th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2011)},
year = {2011},
pages = {382--387},
publisher = {Springer},
url = {http://publik.tuwien.ac.at/files/PubDat_200918.pdf},
isbn = {978-3-642-20894-2},
doi = {10.1007/978-3-642-20895-9{\_}45},
keywords = {answer-set programming, model-driven engineering, ER diagrams}
}
@inproceedings{TUW-200934,
author = {Oetsch, Johannes and P{\"u}hrer, J{\"o}rg and Tompits, Hans},
title = {Stepping through an Answer-Set Program},
booktitle = {Proceedings of the 11th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2011)},
year = {2011},
pages = {134--147},
publisher = {Springer},
url = {http://publik.tuwien.ac.at/files/PubDat_200934.pdf},
isbn = {978-3-642-20894-2},
keywords = {answer-set programming, program analysis, debugging}
}
@inproceedings{TUW-200942,
author = {Oetsch, Johannes and P{\"u}hrer, J{\"o}rg and Seidl, Martina and Tompits, Hans and Zwickl, Patrick},
title = {{VIDEAS}: {S}upporting Answer-Set Program Development using Model-Driven Engineering Techniques},
booktitle = {Proceedings of the MELO 2011 Workshop: Model-Driven Engineering, Logic and Optimization: friends or foes?},
year = {2011},
numpages = {16},
url = {http://publik.tuwien.ac.at/files/PubDat_200942.pdf}
}
@inproceedings{TUW-201245,
author = {Kloim{\"u}llner, Christian and Oetsch, Johannes and P{\"u}hrer, J{\"o}rg and Tompits, Hans},
title = {Kara: {A} System for Visualising and Visual Editing of Interpretations for Answer-Set Programs},
booktitle = {19th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2011) and 25th Workshop on Logic Programming (WLP 2011)},
year = {2011},
pages = {152--164},
address = {1843-11-06},
url = {http://publik.tuwien.ac.at/files/PubDat_201245.pdf}
}
@inproceedings{TUW-201251,
author = {Oetsch, Johannes and P{\"u}hrer, J{\"o}rg and Tompits, Hans},
title = {The {SeaLion} has Landed: {A}n {IDE} for Answer-Set Programming-Preliminary Report},
booktitle = {19th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2011) and 25th Workshop on Logic Programming (WLP 2011)},
year = {2011},
pages = {141--151},
address = {1843-11-06},
url = {http://publik.tuwien.ac.at/files/PubDat_201251.pdf}
}
@inproceedings{TUW-201243,
author = {Erdem, Esra and Inoue, Katsumi and Oetsch, Johannes and P{\"u}hrer, J{\"o}rg and Tompits, Hans and Yilmaz, Cemal},
title = {Answer-Set Programming as a new Approach to Event-Sequence Testing},
booktitle = {Proceedings of The Second International Conference on Advances in System Testing and Validation Lifecycle (VALID 2011)},
year = {2011},
pages = {25--34},
publisher = {Xpert Publishing Services},
url = {http://publik.tuwien.ac.at/files/PubDat_201243.pdf},
isbn = {978-1-61208-168-7},
keywords = {event-sequence testing, combinatorial interaction testing, answer-set programming}
}
@inproceedings{TUW-211477,
author = {De Vos, Marina and Kisa, Doga Gizem and Oetsch, Johannes and P{\"u}hrer, J{\"o}rg and Tompits, Hans},
title = {{LANA}: {A} Language for Annotating Answer-Set Programs},
booktitle = {14th International Workshop on Non-Monotonic Reasoning},
year = {2012},
numpages = {9},
url = {http://publik.tuwien.ac.at/files/PubDat_211477.pdf},
keywords = {answer-set programming, program annotations, programming support}
}
@inproceedings{TUW-211480,
author = {Oetsch, Johannes and Prischink, Michael and P{\"u}hrer, J{\"o}rg and Schwengerer, Martin and Tompits, Hans},
title = {On the Small-Scope Hypothesis for Testing Answer-Set Programs},
booktitle = {13th International Conference on Principles of Knowledge Representation and Reasoning},
year = {2012},
pages = {43--53},
publisher = {AAAI Press},
url = {http://publik.tuwien.ac.at/files/PubDat_211480.pdf},
isbn = {978-1-57735-561-8},
keywords = {answer-set programming, bounded-exhaustive testing, small-scope hypothesis}
}
@inproceedings{TUW-211482,
author = {Oetsch, Johannes and P{\"u}hrer, J{\"o}rg and Tompits, Hans},
title = {An {FLP}-Style Answer-Set Semantics for Abstract-Constraint Programs with Disjunctions},
booktitle = {Technical Communications of the 28th International Conference on Logic Programming},
year = {2012},
publisher = {LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum f{\"u}r Informatik},
address = {Volume 17},
numpages = {12},
url = {http://publik.tuwien.ac.at/files/PubDat_211482.pdf},
keywords = {answer-set programming, abstract constraints, aggregates, disjunction}
}
@inproceedings{TUW-211517,
author = {Oetsch, Johannes and P{\"u}hrer, J{\"o}rg and Tompits, Hans},
title = {Extending Object-Oriented Languages by Declarative Specifications of Complex Objects using Answer-Set Programming},
booktitle = {26th Workshop on Logic Programming (WLP 2012)},
year = {2012},
pages = {129--137},
url = {http://publik.tuwien.ac.at/files/PubDat_211517.pdf},
keywords = {answer-set programming, hybridisation, object-oriented programming, declarative programming}
}
@mastersthesis{Puehrer07,
author = {J\"org P\"uhrer},
title = {On Debugging of Propositional Answer-Set Programs},
school = {Vienna University of Technology},
year = {2007},
type = {Masterarbeit},
address = {Vienna, Austria},
month = {December},
file = {thesisjoerg.pdf:http\://www.kr.tuwien.ac.at/staff/puehrer/thesisjoerg.pdf:PDF},
owner = {puehrer},
timestamp = {2011.12.22},
url = {http://www.kr.tuwien.ac.at/staff/puehrer/thesisjoerg.pdf}
}
@phdthesis{Puehrer14,
author = {J\"org P\"uhrer},
title = {Stepwise Debugging in Answer-Set Programming: Theoretical Foundations and Practical Realisation},
school = {Vienna University of Technology},
year = {2014},
type = {Dissertation},
address = {Vienna, Austria},
month = {November},
file = {Diss_Puehrer_Joerg.pdf:http\://www.informatik.uni-leipzig.de/~puehrer/Diss_Puehrer_Joerg.pdf:PDF},
owner = {puehrer},
timestamp = {2014.11.01},
url = {http://www.informatik.uni-leipzig.de/~puehrer/Diss_Puehrer_Joerg.pdf}
}
@article{recasting,
author = {Eiter, Thomas and Fink, Michael and P{\"u}hrer, J{\"o}rg and Tompits, Hans and Woltran, Stefan},
title = {Model-Based Recasting in Answer-Set Programming},
journal = {\underline{Journal of Applied Non-Classical Logics}},
volume = {23},
number = {1-2},
year = {2013},
pages = {75-104},
ee = {http://dx.doi.org/10.1080/11663081.2013.799318},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{ouroFPF,
author = {Melanie Fr\"{u}hst\"{u}ck and J\"{o}rg P\"{u}hrer and Gerhard Friedrich},
title = {Debugging Answer-Set Programs with {O}uroboros -- {E}xtending the {S}ea{L}ion Plugin},
year = {2013},
publisher = {Springer},
pages = {323-328},
editor = {Pedro Cabalar and Tran Cao Son},
booktitle = {Proceedings of the 12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2013)},
series = {Lecture Notes in Computer Science},
volume = {8148},
isbn = {978-3-642-40563-1, 978-3-642-40564-8},
ee = {http://dx.doi.org/10.1007/978-3-642-40564-8},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@article{BusoniuOPST13,
author = {Paula-Andra Busoniu and
Johannes Oetsch and
J{\"o}rg P{\"u}hrer and
Peter Skocovsky and
Hans Tompits},
title = {{S}ea{L}ion: {A}n eclipse-based {IDE} for answer-set programming
with advanced debugging support},
journal = {\underline{Theory and Practice of Logic Programming}},
volume = {13},
number = {4-5},
year = {2013},
pages = {657-673},
ee = {http://dx.doi.org/10.1017/S1471068413000410},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{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},
title = {The Fourth Answer Set Programming Competition: Preliminary
Report},
editor = {Pedro Cabalar and
Tran Cao Son},
booktitle = {Proceedings of the 12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2013)},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {8148},
pages = {42-53},
ee = {http://dx.doi.org/10.1007/978-3-642-40564-8_5},
year = {2013},
isbn = {978-3-642-40563-1, 978-3-642-40564-8}
}
@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 = {Revised selected papers of the 19th {I}nternational {C}onference on {A}pplications of {D}eclarative {P}rogramming and {K}nowledge {M}anagement ({INAP 2011}) and the 25th {W}orkshop on {L}ogic {P}rogramming ({WLP 2011})},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {7773},
year = {2013},
isbn = {978-3-642-41523-4},
ee = {http://dx.doi.org/10.1007/978-3-642-41524-1},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{reactknow2014,
editor = {Stefan Ellmauthaler and J{\"o}rg P{\"u}hrer},
title = {Proceedings of the {I}nternational {W}orkshop on {R}eactive {C}oncepts in {K}nowledge {R}epresentation ({ReactKnow 2014})},
publisher = {Leipzig University},
year = {2014},
issn = {430-3701},
url = {http://nbn-resolving.de/urn:nbn:de:bsz:15-qucosa-150562}
}
@inproceedings{BEP14reactknow,
author = {Gerhard Brewka and Stefan Ellmauthaler and J\"org P\"uhrer},
title = {Multi-Context Systems for Reactive Reasoning in Dynamic Environments},
booktitle = {Proceedings of the {I}nternational {W}orkshop on {R}eactive {C}oncepts in {K}nowledge {R}epresentation ({ReactKnow 2014})},
editor = {Stefan Ellmauthaler and J{\"o}rg P{\"u}hrer},
publisher = {Leipzig University},
year = {2014},
issn = {430-3701},
pages = {23--29}
}
@inproceedings{EP14reactknow,
author = {Stefan Ellmauthaler and J\"org P\"uhrer},
title = {Asynchronous multi-context systems},
booktitle = {Proceedings of the {I}nternational {W}orkshop on {R}eactive {C}oncepts in {K}nowledge {R}epresentation ({ReactKnow 2014})},
editor = {Stefan Ellmauthaler and J{\"o}rg P{\"u}hrer},
publisher = {Leipzig University},
year = {2014},
issn = {430-3701},
pages = {31--37}
}
@inproceedings{P14reactknow,
author = {J\"org P\"uhrer},
title = {Towards a Simulation-Based Programming Paradigm for {AI} applications},
booktitle = {Proceedings of the {I}nternational {W}orkshop on {R}eactive {C}oncepts in {K}nowledge {R}epresentation ({ReactKnow 2014})},
editor = {Stefan Ellmauthaler and J{\"o}rg P{\"u}hrer},
publisher = {Leipzig University},
year = {2014},
issn = {430-3701},
pages = {55--61}
}
@inproceedings{P14iccsw,
author = {J{\"o}rg P{\"u}hrer},
title = {Towards a Programming Paradigm for Artificial Intelligence Applications Based On Simulation},
booktitle = {Proceedings of the 2014 Imperial College Computing Student Workshop ({ICCSW 2014})},
pages = {66--73},
series = {OpenAccess Series in Informatics (OASIcs)},
isbn = {978-3-939897-76-7},
issn = {2190-6807},
year = {2014},
volume = {43},
editor = {Rumyana Neykova and Nicholas Ng},
publisher = {Schloss Dagstuhl--Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany}
}
@inproceedings{rmcs14,
author = {Gerhard Brewka and Stefan Ellmauthaler and J{\"o}rg P{\"u}hrer},
booktitle = {21st European Conference on Artificial Intelligence (ECAI 2014)},
year = {2014},
title = {Multi-Context Systems for Reactive Reasoning in Dynamic Environments},
pages = {159-164},
editor = {Torsten Schaub and Gerhard Friedrich and Barry O'Sullivan},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {263},
publisher = {IOS Press},
isbn = {978-1-61499-418-3}
}
@inproceedings{ijcai15,
author = {P{\"u}hrer, J{\"o}rg},
title = {Realizability of Three-Valued Semantics for Abstract Dialectical Frameworks},
booktitle = {Proceedings of the Twenty-Fourth International Joint Conference on
Artificial Intelligence ({IJCAI} 2015)},
pages = {3171--3177},
year = {2015},
editor = {Qiang Yang and
Michael Wooldridge},
publisher = {{AAAI} Press},
isbn = {978-1-57735-738-4},
url = {http://ijcai.org/papers15/Abstracts/IJCAI15-447.html}
}
@inproceedings{BE0KLP16,
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 = {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)},
year = {2016},
editor = {Richard Booth and
Giovanni Casini and
Szymon Klarman and
Gilles Richard and
Ivan Jos{\'{e}} Varzinczak},
series = {{CEUR} Workshop Proceedings},
volume = {1626},
publisher = {CEUR-WS.org},
url = {http://ceur-ws.org/Vol-1626},
urn = {urn:nbn:de:0074-1626-7}
}
@inproceedings{LPS16,
author = {Thomas Linsbichler and
J{\"{o}}rg P{\"{u}}hrer and
Hannes Strass},
title = {A Uniform Account of Realizability in Abstract Argumentation},
booktitle = {Proceedings of the 22nd European Conference on Artificial Intelligence ({ECAI} 2016),
Including Prestigious Applications of Artificial Intelligence {(PAIS} 2016)},
pages = {252--260},
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},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {285},
publisher = {{IOS} Press},
year = {2016},
isbn = {978-1-61499-671-2},
timestamp = {Tue, 30 Aug 2016 10:30:24 +0200},
biburl = {http://dblp.uni-trier.de/rec/bib/conf/ecai/2016},
bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{LPS16NMR,
author = {Thomas Linsbichler and
J{\"{o}}rg P{\"{u}}hrer and
Hannes Strass},
title = {{Characterizing Realizability in Abstract Argumentation}},
booktitle = {Proceedings of the 16th International Workshop on Non-Monotonic Reasoning (NMR 2016)},
editor = {Gabriele Kern-Isberner and Renata Wassermann},
pages = {85--94},
year = {2016},
url = {http://nmr2016.cs.uct.ac.za/proceedings_nmr2016_online.pdf}
}
@inproceedings{BE0KLP16b,
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 = {Inconsistency Management in Reactive Multi-context Systems},
booktitle = {Proceedings of the 15th European Conference on Logics in Artificial Intelligence ({JELIA} 2016)},
pages = {529--535},
editor = {Loizos Michael and
Antonis C. Kakas},
series = {Lecture Notes in Computer Science},
volume = {10021},
year = {2016},
url = {http://dx.doi.org/10.1007/978-3-319-48758-8},
doi = {10.1007/978-3-319-48758-8},
isbn = {978-3-319-48757-1},
timestamp = {Wed, 02 Nov 2016 13:12:19 +0100},
biburl = {http://dblp.uni-trier.de/rec/bib/conf/jelia/2016},
bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{EP16,
author = {Stefan Ellmauthaler and
J{\"{o}}rg P{\"{u}}hrer},
title = {Stream Packing for Asynchronous Multi-Context Systems using {ASP}},
booktitle = {Proceedings of the Workshop on Trends and Applications of Answer Set Programming (TAASP 2016)},
year = {2016},
editor = {Thomas Eiter and
Wolfgang Faber and
Stefan Woltran}
}
@inproceedings{P17,
author = {J{\"{o}}rg P{\"{u}}hrer},
title = {{ArgueApply}: {A} Mobile App for Argumentation},
booktitle = {Proceedings of the 14th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2017)},
pages = {250--262},
year = {2017},
owner = {puehrer},
url = {http://www.informatik.uni-leipzig.de/~puehrer/P17_LPNMR.pdf},
doi = {10.1007/978-3-319-61660-5_23},
editor = {Marcello Balduccini and
Tomi Janhunen},
series = {Lecture Notes in Computer Science},
volume = {10377},
publisher = {Springer},
isbn = {978-3-319-61659-9}
}
@techreport{D2.3,
author = {P\"uhrer, J\"org and El Ghali, Adil and Chniti, Amina and Korf, Roman and Schwichtenberg, Antonia and L{\'e}vy, Fran\c{c}ois and Heymans, Stijn and Xiao, Guohui and Eiter, Thomas},
howpublished = {Ontorule Project Deliverable D2.3},
institution = {ONTORULE IST-2009-231875 Project},
title = {D2-3 {C}onsistency Maintenance. {I}ntermediate Report},
url = {http://ontorule-project.eu/outcomes?func=fileinfo&id=44},
year = {2010},
bdsk-url-1 = {http://ontorule-project.eu/outcomes?func=fileinfo&id=44}
}
@techreport{D2.6,
author = {Fink, Michael and El Ghali, Adil and Chniti, Amina and Korf, Roman and Schwichtenberg, Antonia and L{\'e}vy, Fran\c{c}ois and P\"uhrer, J\"org and Eiter, Thomas},
howpublished = {Ontorule Project Deliverable D2-6},
institution = {ONTORULE IST-2009-231875 Project},
title = {D2-6 {C}onsistency Maintenance. {F}inal Report},
year = {2011}
}
@techreport{d3.2,
author = {Stijn Heymans and Jos de Bruijn and Mart\'in Rezk and Hassan A\"it-Kaci and Hugues Citeau and Roman Korf and J\"org P\"uhrer and Cristina Feier and Thomas Eiter},
howpublished = {Ontorule Project Deliverable D3.2},
institution = {ONTORULE IST-2009-231875 Project},
month = {December},
title = {D3-2 {I}nitial Combinations of Rules and Ontologies},
url = {http://ontorule-project.eu/outcomes?func=fileinfo&id=18},
year = {2009},
bdsk-url-1 = {http://ontorule-project.eu/outcomes?func=fileinfo&id=18}
}
@techreport{D3.1,
author = {Jos de Bruijn and Philippe Bonnard and Hugues Citeau and Sylvain Dehors and Stijn Heymans and Roman Korf and J\"org P\"uhrer and Thomas Eiter},
howpublished = {Ontorule Project Deliverable D3.1},
institution = {ONTORULE IST-2009-231875 Project},
title = {D3-1 {S}tate-of-the-art survey of issues},
url = {http://ontorule-project.eu/outcomes?func=fileinfo&id=21},
year = {2009},
bdsk-url-1 = {http://ontorule-project.eu/outcomes?func=fileinfo&id=21}
}
This file was generated by bibtex2html 1.98.