@techreport{ontoruled23,
author = {Puehrer, Joerg 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},
title = {D2.3 Consistency Maintenance. Intermediate Report},
institution = {E184 - Institut f{\"u}r Informationssysteme; Technische Universit{\"a}t
Wien},
year = {2011},
owner = {puehrer},
timestamp = {2011.12.22}
}
@inproceedings{TUW-200918,
author = {Oetsch, Johannes and Puehrer, Joerg 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 = {11th International Conference on Logic Programming and Nonmonotonic
Reasoning ({LPNMR} 2011)},
year = {2011},
pages = {382--387},
publisher = {Springer},
doi = {10.1007/978-3-642-20895-9{\_}45},
isbn = {978-3-642-20894-2},
keywords = {answer-set programming, model-driven engineering, {ER} diagrams},
url = {http://publik.tuwien.ac.at/files/PubDat_200918.pdf}
}
@inproceedings{TUW-200934,
author = {Oetsch, Johannes and Puehrer, Joerg and Tompits, Hans},
title = {Stepping through an Answer-Set Program},
booktitle = {11th International Conference on Logic Programming and Nonmonotonic
Reasoning ({LPNMR} 2011)},
year = {2011},
pages = {134--147},
publisher = {Springer},
isbn = {978-3-642-20894-2},
keywords = {answer-set programming, program analysis, debugging},
url = {http://publik.tuwien.ac.at/files/PubDat_200934.pdf}
}
@inproceedings{TUW-200937,
author = {Janhunen, Tomi and Niemel{\"a}, Ilkka and Oetsch, Johannes and Puehrer,
Joerg and Tompits, Hans},
title = {Random vs. Structure-Based Testing of Answer-Set Programs: An Experimental
Comparison},
booktitle = {11th International Conference on Logic Programming and Nonmonotonic
Reasoning ({LPNMR} 2011)},
year = {2011},
pages = {242--247},
publisher = {Springer},
isbn = {978-3-642-20894-2},
keywords = {answer-set programming, structure-based testing, random testing},
url = {http://publik.tuwien.ac.at/files/PubDat_200937.pdf}
}
@inproceedings{TUW-200942,
author = {Oetsch, Johannes and Puehrer, Joerg and Seidl, Martina and Tompits,
Hans and Zwickl, Patrick},
title = {{VIDEAS:} Supporting Answer-Set Program Development using Model-Driven
Engineering Techniques},
booktitle = {Proceedings of the {MELO} {2011Workshop:} 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-201243,
author = {Erdem, Esra and Inoue, Katsumi and Oetsch, Johannes and Puehrer,
Joerg 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},
year = {2011},
pages = {25--34},
publisher = {Xpert Publishing Services},
isbn = {978-1-61208-168-7},
keywords = {event-sequence testing, combinatorial interaction testing, answer-set
programming},
url = {http://publik.tuwien.ac.at/files/PubDat_201243.pdf}
}
@inproceedings{TUW-201245,
author = {Kloim{\"u}llner, Christian and Oetsch, Johannes and Puehrer, Joerg
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},
publisher = {{INFSYS} Research Report},
url = {http://publik.tuwien.ac.at/files/PubDat_201245.pdf}
}
@inproceedings{TUW-201251,
author = {Oetsch, Johannes and Puehrer, Joerg and Tompits, Hans},
title = {The {SeaLion} has Landed: An {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},
publisher = {{INFSYS} Research Report},
url = {http://publik.tuwien.ac.at/files/PubDat_201251.pdf}
}
@book{TUW-201288,
title = {Proceedings of the 19th International Conference on Applications
of Declarative Programming and Knowledge Management ({INAP} 2011)
and 25th Workshop on Logic Programming ({WLP} 2011)},
publisher = {{TU} Wien},
year = {2011},
editor = {Abreu, Salvador and Oetsch, Johannes and Puehrer, Joerg and Seipel,
Dietmar and Tompits, Hans and Umeda, Masanobu and Wolf, Armin},
address = {Wien},
url = {http://publik.tuwien.ac.at/files/PubDat_201288.pdf}
}
@techreport{TUW-202270,
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 Puehrer,
Joerg and Eiter, Thomas},
title = {D2.6 Consistency Maintenance. Final Report},
institution = {E184 - Institut f{\"u}r Informationssysteme; Technische Universit{\"a}t
Wien},
year = {2011}
}
@inproceedings{TUW-187984,
author = {Oetsch, Johannes and Puehrer, Joerg and Tompits, Hans},
title = {Let's Break the Rules: Interactive Procedural-Style Debugging of
Answer-Set Programs},
booktitle = {24th Workshop on (Constraint) Logic Programming {WLP'2010}},
year = {2010},
editor = {Abdennadher, Slim},
volume = {Cairo, Egypt},
pages = {77--87},
journal = {Technical Report, Faculty of Media Engineering and Technology, German
University in Cairo},
keywords = {Answer Set Programming, debugging, stable model semantics, procedural,},
url = {http://publik.tuwien.ac.at/files/PubDat_187984.pdf}
}
@inproceedings{TUW-187988,
author = {Niemel{\"a}, Ilkka and Janhunen, Tomi and Oetsch, Johannes and Puehrer,
Joerg 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},
address = {Volume 215 of Frontiers in Artificial Intelligence and Applications
(2010)},
publisher = {{IOS} Press},
isbn = {978-1-60750-605-8},
keywords = {answer set programming, testing, software engineering, whitebox testing,
structural testing},
url = {http://publik.tuwien.ac.at/files/PubDat_187988.pdf}
}
@inproceedings{TUW-187989,
author = {Puehrer, Joerg 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 = {Lora, Aroyo and Antoniou, Grigoris and Hyv{\"o}nen, Eero and ten
Teije, Annette and Stuckenschmidt, Heiner and Cabral, Liliana and
Tudorache, Tania},
pages = {183--197},
address = {5554},
publisher = {Springer},
doi = {10.1007/978-3-642-13486-9{\_}13},
isbn = {978-3-642-13485-2},
keywords = {{DL}-programs, inconsistency, description logics, answer set programming},
url = {http://publik.tuwien.ac.at/files/PubDat_187989.pdf}
}
@inproceedings{TUW-187990,
author = {Oetsch, Johannes and Puehrer, Joerg and Tompits, Hans},
title = {Methods and Methodologies for Developing Answer-Set Programs - Project
Description},
booktitle = {Technical Communications of the 26th International Conference on
Logic Programming ({ICLP} 2010)},
year = {2010},
editor = {Hermenegildo, Manuel and Schaub, Torsten},
volume = {7 / Dagstuhl, Germany},
pages = {154--161},
doi = {10.4230/2010.154},
isbn = {978-3-939897-17-0},
journal = {Leibniz International Proceedings in Informatics / Schloss Dagstuhl
- Leibniz-Zentrum f{\"u}r Informatik},
keywords = {Answer-set programming, program development, testing, debugging},
url = {http://publik.tuwien.ac.at/files/PubDat_187990.pdf}
}
@article{TUW-187991,
author = {Oetsch, Johannes and Puehrer, Joerg and Schwengerer, Martin and Tompits,
Hans},
title = {The System Kato: Detecting Cases of Plagiarism for Answer-Set Programs},
journal = {Theory and Practice of Logic Programming / Cambridge University Press},
year = {2010},
volume = {10 / 4-6 / Cambridge, England, United Kingdom},
pages = {759--775},
booktitle = {26th International Conference on Logic Programming ({ICLP} 2010)},
doi = {10.1017/S1471068410000402},
editor = {Hermenegildo, Manuel and Schaub, Torsten},
issn = {1471-0684},
keywords = {answer-set programming, program analysis, plagiarism detection},
url = {http://publik.tuwien.ac.at/files/PubDat_187991.4971v1}
}
@article{TUW-187992,
author = {Oetsch, Johannes and Puehrer, Joerg and Tompits, Hans},
title = {Catching the Ouroboros: On debugging non-ground answer-set programs},
journal = {Theory and Practice of Logic Programming / Cambridge University Press},
year = {2010},
volume = {10 / 4-6 / Cambridge, England, United Kingdom},
pages = {513--529},
booktitle = {26th International Conference on Logic Programming ({ICLP} 2010)},
doi = {10.1017/S1471068410000256},
editor = {Hermenegildo, Manuel and Schaub, Torsten},
issn = {1471-0684},
keywords = {answer-set programming, program analysis, debugging},
url = {http://publik.tuwien.ac.at/files/PubDat_187992.pdf}
}
@inproceedings{TUW-191126,
author = {Heymans, Stijn and Korf, Roman and Erdmann, Michael and Puehrer,
Joerg and Eiter, Thomas},
title = {F-Logic{\#}: Loosely Coupling F-Logic Rules and Ontologies},
booktitle = {Proceedings of the 2010 {IEEE/WIC/ACM} International Conference on
Web Intelligence ({WI'10})},
year = {2010},
editor = {Coelho, Helder and Studer, Rudi and Wooldridge, Michael},
pages = {248--255},
doi = {10.1109/WI-IAT.2010.44},
isbn = {978-0-7695-3801-3},
keywords = {logical rules, F-Logic, Ontobroker, ontologies, integration},
url = {http://publik.tuwien.ac.at/files/PubDat_191126.pdf}
}
@inproceedings{TUW-177241,
author = {Puehrer, Joerg 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},
address = {5753},
publisher = {Springer},
doi = {10.1007/978-3-642-04238-6},
isbn = {978-3-642-04237-9},
url = {http://publik.tuwien.ac.at/files/PubDat_177241.pdf}
}
@inproceedings{TUW-181199,
author = {Gebser, Martin and Puehrer, Joerg and Schaub, Torsten and Tompits,
Hans and Woltran, Stefan},
title = {spock: {A} {D}ebugging {S}upport {T}ool for {L}ogic {P}rograms under
the {A}nswer-{S}et {S}emantics},
booktitle = {Applications of Declarative Programming and Knowledge Management},
year = {2009},
editor = {Seipel, Dietmar and Hanus, Michael and Wolf, Armin},
pages = {247--252},
publisher = {Springer},
doi = {10.1007/978-3-642-00675-3{\_}17},
file = {wlp07apost.pdf:http\://www.kr.tuwien.ac.at/staff/puehrer/wlp07apost.pdf:PDF},
isbn = {978-3-642-00674-6},
keywords = {Answer-set programming, debugging},
url = {http://publik.tuwien.ac.at/files/PubDat_181199.pdf}
}
@inproceedings{TUW-167810,
author = {Gebser, Martin and Puehrer, Joerg 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},
isbn = {978-1-57735-368-3},
keywords = {answer set programming, debugging, logic programming, stable model
semantics},
url = {http://publik.tuwien.ac.at/files/PubDat_167810.pdf}
}
@inproceedings{TUW-169733,
author = {Puehrer, Joerg 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'08})},
year = {2008},
editor = {de la Banda, Maria G. and Pontelli, Enrico},
pages = {561--575},
address = {5366},
publisher = {Springer {LNCS}},
doi = {10.1007/978-3-540-89982-2},
file = {elim:http\:/publik.tuwien.ac.at/files/PubDat_169733.pdf:PDF},
issn = {0302-9743},
keywords = {answer set programming, equivalence, logic programming, hyperequivalence,
disjunction, negation},
url = {http://publik.tuwien.ac.at/files/PubDat_169733.pdf}
}
@inproceedings{lpnmr07a,
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} {P}rograms by {M}eans of ASP},
booktitle = {Proceedings of the 9th International Conference on Logic Programming
and Nonmonotonic Reasoning, (LPNMR'07), Tempe, AZ, USA},
year = {2007},
editor = {Chitta Baral and Gerhard Brewka and John Schlipf},
volume = {4483},
series = {Lecture Notes in Artificial Intelligence},
pages = {31-43},
publisher = {Springer},
file = {lpnmr07a.pdf:http\://www.kr.tuwien.ac.at/staff/puehrer/lpnmr07a.pdf:PDF},
owner = {puehrer},
timestamp = {2011.12.22},
url = {http://www.kr.tuwien.ac.at/staff/puehrer/lpnmr07a.pdf}
}
@mastersthesis{Puehrer07,
author = {J\"org P\"uhrer},
title = {On {D}ebugging of {P}ropositional {A}nswer-{S}et {P}rograms},
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}
}
@inproceedings{sea07,
author = {Martin Brain and Martin Gebser and J{\"o}rg P{\"u}hrer and Torsten
Schaub and Hans Tompits and Stefan Woltran},
title = {``{T}hat is {I}llogical {C}aptain!'' -- {T}he {D}ebugging {S}upport
{T}ool spock for {A}nswer-{S}et {P}rograms: {S}ystem {D}escription},
booktitle = {Proceedings of the 1st International Workshop on Software Engineering
for Answer-Set Programming (SEA'07), Tempe, AZ, USA},
year = {2007},
editor = {Marina {De Vos} and Torsten Schaub},
pages = {71--85},
file = {#sea07.pdf#:http\://www.kr.tuwien.ac.at/staff/puehrer/sea07.pdf:PDF},
owner = {puehrer},
timestamp = {2011.12.22},
url = {http://www.kr.tuwien.ac.at/staff/puehrer/sea07.pdf}
}
@inproceedings{wlp07a,
author = {Martin Gebser and J{\"o}rg P{\"u}hrer and Torsten Schaub and Hans
Tompits and Stefan Woltran},
title = {spock: {A} {D}ebugging {S}upport {T}ool for {L}ogic {P}rograms under
the {A}nswer-{S}et {S}emantics},
booktitle = {Proceedings of the 21st Workshop on (Constraint) Logic Programming,
(WLP'07), W{\"u}rzburg, Germany},
year = {2007},
editor = {Dietmar Seipel and Michael Hanus and Armin Wolf and Joachim Baumeister},
pages = {258--261},
publisher = {Technical Report 434, Bayerische Julius-Maximilians-Universit{\"a}t
W{\"u}rzburg, Institut f{\"u}r Informatik},
file = {wlp07a.pdf:http\://www.kr.tuwien.ac.at/staff/puehrer/wlp07a.pdf:PDF},
owner = {puehrer},
timestamp = {2011.12.22},
url = {http://www.kr.tuwien.ac.at/staff/puehrer/wlp07a.pdf}
}
This file was generated by bibtex2html 1.91.