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