references.bib

@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}
}
@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{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}
}
@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{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 = {P{\"u}hrer, J{\"o}rg},
  title = {{ArgueApply}: {A} Mobile App for Argumentation},
  booktitle = {Proceedings of the 14th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2017)},
  editor = {Marcello Balduccini and Tomi Janhunen},
  year = {2017},
  file = {P17_LPNMR.pdf:http\://www.informatik.uni-leipzig.de/~puehrer/P17_LPNMR.pdf:PDF},
  owner = {puehrer},
  url = {http://www.informatik.uni-leipzig.de/~puehrer/P17_LPNMR.pdf},
  note = {To appear},
  publisher = {Springer}
}
@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.97.