@inproceedings{foiks08,
author = {Martin Gebser and Torsten Schaub and Hans Tompits and Stefan Woltran},
title = {{Alternative Characterizations for Program Equivalence under Answer-Set Semantics Based on Unfounded Sets}},
booktitle = {Proceedings of the 5th International Symposium on Foundations of Information and Knowledge Systems (FoIKS'08), Pisa, Italy, February 11-15},
pages = {24--41},
year = 2008,
editor = {Sven Hartmann and Gabriele Kern-Isberner},
volume = {4932},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
bibsource = {DBLP, http://dblp.uni-trier.de},
ee = {http://dx.doi.org/10.1007/978-3-540-77684-0_5},
isbn = {978-3-540-77683-3},
pdf = {http://www.kr.tuwien.ac.at/research/projects/eq/foiks08.pdf},
ps = {http://www.kr.tuwien.ac.at/research/projects/eq/foiks08.ps}
}
@article{tplp08,
author = {Stefan Woltran},
title = {{A Common View on Strong, Uniform, and Other Notions
of Equivalence in Answer-Set Programming}},
journal = {Theory and Practice of Logic Programming},
year = {2008},
volume = {8},
number = {2},
pages = {217--234},
pdf = {http://www.kr.tuwien.ac.at/research/projects/eq/tplp08.pdf},
ps = {http://www.kr.tuwien.ac.at/research/projects/eq/tplp08.ps}
}
@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 Programs by Means of ASP}},
booktitle = {Proceedings of the 9th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'07), Tempe, AZ, USA},
pages = {31--43},
year = 2007,
editor = {Chitta Baral and Gerhard Brewka and John Schlipf},
volume = {4483},
series = {Lecture Notes in Artificial Intelligence},
publisher = {Springer},
pdf = {http://www.kr.tuwien.ac.at/research/projects/eq/lpnmr07a.pdf},
ps = {http://www.kr.tuwien.ac.at/research/projects/eq/lpnmr07a.ps}
}
@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 = {{``That is Illogical Captain!'' -- The Debugging Support Tool spock for Answer-Set Programs: System Description}},
booktitle = {Proceedings of the 1st International Workshop on Software Engineering for Answer-Set Programming (SEA'07), Tempe, AZ, USA},
pages = {71--85},
year = 2007,
editor = {Marina {De Vos} and Torsten Schaub},
pdf = {http://www.kr.tuwien.ac.at/research/projects/eq/sea07.pdf},
ps = {http://www.kr.tuwien.ac.at/research/projects/eq/sea07.ps}
}
@article{amai07,
author = {Thomas Eiter and Wolfgang Faber and Michael Fink and Stefan Woltran},
title = {{Complexity results for answer set programming with bounded predicate arities and implications}},
journal = {Annals of Mathematics and Artificial Intelligence},
year = 2007,
volume = {51},
pages = {123--165},
keywords = {answer set programming, computational complexity, disjunctive deductive databases, stable model semantics, logic programs, expressive power, resolution, equivalence, integration, generation, knowledge, datalog},
abstract = {Answer set programming is a declarative programming paradigm rooted in logic programming and non-monotonic reasoning. This formalism has become a host for expressing knowledge representation problems, which reinforces the interest in efficient methods for computing answer sets of a logic program. The complexity of various reasoning tasks for general answer set programming has been amply studied and is understood quite well. In this paper, we present a language fragment in which the arities of predicates are bounded by a constant. Subsequently, we analyze the complexity of various reasoning tasks and computational problems for this fragment, comprising answer set existence, brave and cautious reasoning, and strong equivalence. Generally speaking, it turns out that the complexity drops significantly with respect to the full non-ground language, but is still harder than for the respective ground or propositional languages. These results have several implications, most importantly for solver implementations: Virtually all currently available solvers have exponential (in the size of the input) space requirements even for programs with bounded predicate arities, while our results indicate that for those programs polynomial space should be sufficient. This can be seen as a manifestation of the "grounding bottleneck" (meaning that programs are first instantiated and then solved) from which answer set programming solvers currently suffer. As a final contribution, we provide a sketch of a method that can avoid the exponential space requirement for programs with bounded predicate arities.},
pdf = {http://www.kr.tuwien.ac.at/research/projects/eq/amai07.pdf},
ps = {http://www.kr.tuwien.ac.at/research/projects/eq/amai07.ps}
}
@inproceedings{ijcai07,
author = {Thomas Eiter and Michael Fink and Hans Tompits and Stefan Woltran},
title = {{Complexity Results for Checking Equivalence of Stratified Logic Programs}},
booktitle = {IJCAI 2007, Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI'07), Hyderabad, India, January 6-12, 2007},
pages = {330--335},
year = 2007,
editor = {Manuela M. Veloso},
ee = {http://www.ijcai.org/papers07/Papers/IJCAI07-051.pdf},
pdf = {http://www.kr.tuwien.ac.at/research/projects/eq/ijcai07.pdf},
ps = {http://www.kr.tuwien.ac.at/research/projects/eq/ijcai07.ps}
}
@article{tocl07,
author = {Thomas Eiter and Michael Fink and Stefan Woltran},
title = {{Semantical Characterizations and Complexity of Equivalences in Answer Set Programming}},
journal = {ACM Transactions on Computational Logic},
year = 2007,
volume = {8},
number = 3,
pages = {17},
address = {New York, NY, USA},
issn = {1529-3785},
pdf = {http://www.kr.tuwien.ac.at/research/projects/eq/tocl07.pdf},
ps = {http://www.kr.tuwien.ac.at/research/projects/eq/tocl07.ps},
publisher = {ACM}
}
@inproceedings{mpref07,
author = {Wolfgang Faber and Hans Tompits and Stefan Woltran},
title = {{Characterizing Notions of Strong Equivalence for Logic Programs with Ordered Disjunctions}},
booktitle = {Proceedings of the 3rd Multidisciplinary Workshop on Advances in Preference Handling (M-PREF'07)},
year = 2007,
pdf = {http://www.kr.tuwien.ac.at/research/projects/eq/mpref07.pdf},
ps = {http://www.kr.tuwien.ac.at/research/projects/eq/mpref07.ps}
}
@inproceedings{lpnmr07c,
author = {Michael Fink and Reinhard Pichler and Hans Tompits and Stefan Woltran},
title = {{Complexity of Rule Redundancy in Non-ground Answer-Set Programming over Finite Domains}},
booktitle = {Proceedings of the 9th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'07), Tempe, AZ, USA},
pages = {31--43},
year = 2007,
editor = {Chitta Baral and Gerhard Brewka and John Schlipf},
volume = {4483},
series = {Lecture Notes in Artificial Intelligence},
publisher = {Springer},
pdf = {http://www.kr.tuwien.ac.at/research/projects/eq/lpnmr07c.pdf},
ps = {http://www.kr.tuwien.ac.at/research/projects/eq/lpnmr07c.ps}
}
@inproceedings{wlp07a,
author = {Martin Gebser and J{\"o}rg P{\"u}hrer and Torsten Schaub and Hans Tompits and Stefan Woltran},
title = {{spock: A Debugging Support Tool for Logic Programs under the Answer-Set Semantics}},
booktitle = {Proceedings of the 21st Workshop on (Constraint) Logic Programming, (WLP'07), W{\"u}rzburg, Germany},
pages = {258--261},
year = 2007,
editor = {Dietmar Seipel and Michael Hanus and Armin Wolf and Joachim Baumeister},
publisher = {Technical Report 434, Bayerische Julius-Maximilians-Universit{\"a}t W{\"u}rzburg, Institut f{\"u}r Informatik},
pdf = {http://www.kr.tuwien.ac.at/research/projects/eq/wlp07a.pdf},
ps = {http://www.kr.tuwien.ac.at/research/projects/eq/wlp07a.ps}
}
@inproceedings{cent07c,
author = {Martin Gebser and Torsten Schaub and Hans Tompits and Stefan Woltran},
title = {{Alternative Characterizations for Program Equivalence under Answer-Set Semantics: Preliminary Report}},
booktitle = {Proceedings of the LPNMR'07 Workshop on Correspondence and
Equivalence for Nonmonotonic Theories (CENT'07), Tempe,
AZ, May 14, 2007},
year = {2007},
editor = {David Pearce and
Axel Polleres and
Agust\'{\i}n Valverde and
Stefan Woltran},
volume = {265},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
pdf = {http://www.kr.tuwien.ac.at/research/projects/eq/cent07c.pdf},
ps = {http://www.kr.tuwien.ac.at/research/projects/eq/cent07c.ps}
}
@inproceedings{lpnmr07b,
author = {Tomi Janhunen and Emilia Oikarinen and Hans Tompits and Stefan Woltran},
title = {{Modularity Aspects of Disjunctive Stable Models}},
booktitle = {Proceedings of the 9th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'07), Tempe, AZ, USA},
pages = {31--43},
year = 2007,
editor = {Chitta Baral and Gerhard Brewka and John Schlipf},
volume = {4483},
series = {Lecture Notes in Artificial Intelligence},
publisher = {Springer},
pdf = {http://www.kr.tuwien.ac.at/research/projects/eq/lpnmr07b.pdf},
ps = {http://www.kr.tuwien.ac.at/research/projects/eq/lpnmr07b.ps}
}
@inproceedings{cic07,
author = {Johannes Oetsch and
Martina Seidl and
Hans Tompits and
Stefan Woltran},
title = {{An Extension of the System ccT for
Testing Relativised Uniform Equivalence under Answer-Set Projection}},
booktitle = {Proceedings of the 16th International Conference on
Computing (CIC'07)},
year = {2007},
publisher = {IEEE Computer Society Press},
pdf = {http://www.kr.tuwien.ac.at/research/projects/eq/cic07.pdf},
ps = {http://www.kr.tuwien.ac.at/research/projects/eq/cic07.ps}
}
@inproceedings{wlp07b,
author = {Johannes Oetsch and Martina Seidl and Hans Tompits and Stefan Woltran},
title = {{Testing Relativised Uniform Equivalence under Answer-Set Projection in the System ccT}},
booktitle = {Proceedings of the 21st Workshop on (Constraint) Logic Programming, (WLP'07), W{\"u}rzburg, Germany},
pages = {254--257},
year = 2007,
editor = {Dietmar Seipel and Michael Hanus and Armin Wolf and Joachim Baumeister},
publisher = {Technical Report 434, Bayerische Julius-Maximilians-Universit{\"a}t W{\"u}rzburg, Institut f{\"u}r Informatik},
pdf = {http://www.kr.tuwien.ac.at/research/projects/eq/wlp07b.pdf},
ps = {http://www.kr.tuwien.ac.at/research/projects/eq/wlp07b.ps}
}
@inproceedings{cent07a,
author = {Johannes Oetsch and Hans Tompits and Stefan Woltran},
title = {{Facts do not Cease to Exist Because They are Ignored: Relativised Uniform Equivalence with Answer-Set Projection}},
booktitle = {Proceedings of the LPNMR'07 Workshop on Correspondence and
Equivalence for Nonmonotonic Theories (CENT'07), Tempe,
AZ, May 14, 2007},
year = {2007},
editor = {David Pearce and
Axel Polleres and
Agust\'{\i}n Valverde and
Stefan Woltran},
volume = {265},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
bibsource = {DBLP, http://dblp.uni-trier.de},
pdf = {http://www.kr.tuwien.ac.at/research/projects/eq/cent07a.pdf},
ps = {http://www.kr.tuwien.ac.at/research/projects/eq/cent07a.ps}
}
@inproceedings{aaai07,
author = {Johannes Oetsch and Hans Tompits and Stefan Woltran},
title = {{Facts do not Cease to Exist Because They are Ignored: Relativised Uniform Equivalence with Answer-Set Projection}},
booktitle = {Proceedings of the 22nd National Conference on Artificial Intelligence (AAAI'07)},
pages = {458--464},
year = {2007},
publisher = {AAAI Press},
pdf = {http://www.kr.tuwien.ac.at/research/projects/eq/aaai07.pdf},
ps = {http://www.kr.tuwien.ac.at/research/projects/eq/aaai07.ps}
}
@techreport{techrep07TPLP,
author = {David Pearce and Hans Tompits and Stefan Woltran},
title = {{Characterising Equilibrium Logic and Nested Logic Programs: Reductions and Complexity}},
institution = {Universidad Rey Juan Carlos, Grupo de Inteligencia Artificial},
year = 2007,
key = {GIA-TR-2007-12-01},
note = {Accepted for publication in Theory and Practice of Logic Programming (TPLP)},
pdf = {http://www.kr.tuwien.ac.at/research/projects/eq/techrep07TPLP.pdf},
ps = {http://www.kr.tuwien.ac.at/research/projects/eq/techrep07TPLP.ps}
}
@inproceedings{cent07d,
author = {David Pearce and Hans Tompits and Stefan Woltran},
title = {{Relativised Equivalence in Equilibrium Logic and its Applications to Prediction and Explanation: Preliminary Report}},
booktitle = {Proceedings of the LPNMR'07 Workshop on Correspondence and
Equivalence for Nonmonotonic Theories (CENT'07), Tempe,
AZ, May 14, 2007},
year = {2007},
editor = {David Pearce and
Axel Polleres and
Agust\'{\i}n Valverde and
Stefan Woltran},
volume = {265},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
pdf = {http://www.kr.tuwien.ac.at/research/projects/eq/cent07d.pdf},
ps = {http://www.kr.tuwien.ac.at/research/projects/eq/cent07d.ps}
}
@inproceedings{cent07b,
author = {Stefan Woltran},
title = {{A Common View on Strong, Uniform, and Other Notions of Equivalence
in Answer-Set Programming}},
booktitle = {Proceedings of the LPNMR'07 Workshop on Correspondence and
Equivalence for Nonmonotonic Theories (CENT'07), Tempe,
AZ, May 14, 2007},
year = {2007},
editor = {David Pearce and
Axel Polleres and
Agust\'{\i}n Valverde and
Stefan Woltran},
volume = {265},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
pdf = {http://www.kr.tuwien.ac.at/research/projects/eq/cent07b.pdf},
ps = {http://www.kr.tuwien.ac.at/research/projects/eq/cent07b.ps}
}
@inproceedings{kr06,
author = {Thomas Eiter and Michael Fink and Hans Tompits and Patrick Traxler and Stefan Woltran},
title = {{Replacements in Non-Ground Answer-Set Programming}},
booktitle = {Proceedings of the 10th International Conference on Principles of Knowledge Representation and Reasoning (KR'06), Lake District of the United Kingdom, June 2-5},
pages = {340--351},
year = 2006,
editor = {Patrick Doherty and John Mylopoulos and Christopher A. Welty},
publisher = {AAAI Press},
pdf = {http://www.kr.tuwien.ac.at/research/projects/eq/kr06.pdf},
ps = {http://www.kr.tuwien.ac.at/research/projects/eq/kr06.ps}
}
@inproceedings{kr08a,
author = {James P. Delgrande and Torsten Schaub and Hans Tompits and Stefan Woltran},
title = {{Belief Revision of Logic Programs under Answer Set Semantics}},
booktitle = {Proceedings of the 11th International Conference on Principles of Knowledge Representation and Reasoning (KR'08), Sydney,
Australia, September 16-19, 2008},
year = {2008},
pages = {411-421},
editor = {Gerhard Brewka and
J{\'e}r{\^o}me Lang},
publisher = {AAAI Press},
pdf = {http://www.kr.tuwien.ac.at/research/projects/eq/kr08a.pdf},
ps = {http://www.kr.tuwien.ac.at/research/projects/eq/kr08a.ps}
}
@inproceedings{kr08b,
author = {Wolfgang Faber and Hans Tompits and Stefan Woltran},
title = {{Notions of Strong Equivalence for Logic Programs with Ordered Disjunction}},
booktitle = {Proceedings of the 11th International Conference on Principles of Knowledge Representation and Reasoning (KR'08), Sydney,
Australia, September 16-19, 2008},
year = {2008},
pages = {433-443},
editor = {Gerhard Brewka and
J{\'e}r{\^o}me Lang},
publisher = {AAAI Press},
pdf = {http://www.kr.tuwien.ac.at/research/projects/eq/kr08b.pdf},
ps = {http://www.kr.tuwien.ac.at/research/projects/eq/kr08b.ps}
}
@inproceedings{wlp06a,
author = {Thomas Eiter and Michael Fink and Hans Tompits and Patrick Traxler and Stefan Woltran},
title = {{Replacements in Non-Ground Answer-Set Programming}},
booktitle = {Proceedings of the 20th Workshop on Logic Programming (WLP'06), Vienna, Austria, February 22--24},
year = 2006,
editor = {Michael Fink and Hans Tompits and Stefan Woltran},
volume = {1843-06-02},
series = {INFSYS Research Report},
publisher = {Technische Universit\"at Wien},
pdf = {http://www.kr.tuwien.ac.at/research/projects/eq/wlp06a.pdf},
ps = {http://www.kr.tuwien.ac.at/research/projects/eq/wlp06a.ps}
}
@inproceedings{jelia06a,
author = {Thomas Eiter and Patrick Traxler and Stefan Woltran},
title = {{An Implementation for Recognizing Rule Replacements in Non-ground Answer-Set Programs}},
booktitle = {Proceedings of the 10th European Conference on Logics in Artificial Intelligence (JELIA'06), Liverpool, UK, September 13-15},
pages = {477--480},
year = 2006,
editor = {Michael Fisher and Wiebe {van der Hoek} and Boris Konev and Alexei Lisitsa},
volume = {4160},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-39625-X},
pdf = {http://www.kr.tuwien.ac.at/research/projects/eq/jelia06a.pdf},
ps = {http://www.kr.tuwien.ac.at/research/projects/eq/jelia06a.ps}
}
@inproceedings{nmr06,
author = {Johannes Oetsch and Martina Seidl and Hans Tompits and Stefan Woltran},
title = {{A Tool for Advanced Correspondence Checking in Answer-Set Programming}},
booktitle = {Proceedings of the 11th International Workshop on Nonmonotonic Reasoning (NMR'06)},
year = 2006,
editor = {J{\"u}rgen Dix and Anthony Hunter},
series = {Technical Report Series},
organization = {Clausthal University of Technology},
publisher = {Institute for Informatics},
pdf = {http://www.kr.tuwien.ac.at/research/projects/eq/nmr06.pdf},
ps = {http://www.kr.tuwien.ac.at/research/projects/eq/nmr06.ps}
}
@inproceedings{wlp06b,
author = {Johannes Oetsch and Martina Seidl and Hans Tompits and Stefan Woltran},
title = {{A Tool for Advanced Correspondence Checking in Answer-Set Programming: Preliminary Experimental Results}},
booktitle = {Proceedings of the 20th Workshop on Logic Programming (WLP'06), Vienna, Austria, February 22--24},
year = 2006,
editor = {Michael Fink and Hans Tompits and Stefan Woltran},
volume = {1843-06-02},
series = {INFSYS Research Report},
publisher = {Technische Universit\"at Wien},
pdf = {http://www.kr.tuwien.ac.at/research/projects/eq/wlp06b.pdf},
ps = {http://www.kr.tuwien.ac.at/research/projects/eq/wlp06b.ps}
}
@inproceedings{jelia06b,
author = {Johannes Oetsch and Martina Seidl and Hans Tompits and Stefan Woltran},
title = {{ccT: A correspondence-checking tool for logic programs under the answer-set semantics}},
booktitle = {Proceedings of the 10th European Conference on Logics in Artificial Intelligence (JELIA'06), Liverpool, UK, September 13-15},
pages = {477--480},
year = 2006,
editor = {Michael Fisher and Wiebe {van der Hoek} and Boris Konev and Alexei Lisitsa},
volume = {4160},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-39625-X},
pdf = {http://www.kr.tuwien.ac.at/research/projects/eq/jelia06b.pdf},
ps = {http://www.kr.tuwien.ac.at/research/projects/eq/jelia06b.ps}
}
@inproceedings{cic06,
author = {Johannes Oetsch and Martina Seidl and Hans Tompits and Stefan Woltran},
title = {{ccT: A Tool for Checking Advanced Correspondence Problems in Answer-Set Programming}},
booktitle = {Proceedings of the 15th International Conference on Computing (CIC'06)},
pages = {3--10},
year = 2006,
editor = {Alexander Gelbukh and Sergio {Su\'{a}rez Guerra}},
publisher = {IEEE Computer Society Press},
pdf = {http://www.kr.tuwien.ac.at/research/projects/eq/cic06.pdf},
ps = {http://www.kr.tuwien.ac.at/research/projects/eq/cic06.ps}
}
@inproceedings{lash06,
author = {Johannes Oetsch and Martina Seidl and Hans Tompits and Stefan Woltran},
title = {{ccT: A Tool for Checking Advanced Correspondence Problems in Answer-Set Programming}},
booktitle = {Proceedings of the FLOC-Workshop on Search and Logic (LaSh'06)},
year = 2006,
pdf = {http://www.kr.tuwien.ac.at/research/projects/eq/lash06.pdf},
ps = {http://www.kr.tuwien.ac.at/research/projects/eq/lash06.ps}
}
@inproceedings{lpnmr05,
author = {Thomas Eiter and
Wolfgang Faber and
Patrick Traxler},
title = {{Testing Strong Equivalence of Datalog Programs - Implementation
and Examples}},
booktitle = {Proceedings of the 8th International
Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'05), Diamante, Italy, September 5-8},
pages = {437--441},
year = {2005},
editor = {Chitta Baral and
Gianluigi Greco and
Nicola Leone and
Giorgio Terracina},
volume = {3662},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-28538-5},
pdf = {http://www.kr.tuwien.ac.at/research/projects/eq/lpnmr05.pdf},
ps = {http://www.kr.tuwien.ac.at/research/projects/eq/lpnmr05.ps}
}
@inproceedings{aaai05,
author = {Thomas Eiter and Michael Fink and Hans Tompits and Stefan Woltran},
title = {{Strong and Uniform Equivalence in Answer-Set Programming: Characterizations and Complexity Results for the Non-Ground Case}},
booktitle = {Proceedings of the 20th National Conference on Artificial Intelligence and the Seventeenth Innovative Applications of Artificial Intelligence Conference (AAAI'05), July 9-13, 2005, Pittsburgh, Pennsylvania, USA},
pages = {695--700},
year = 2005,
editor = {Manuela M. Veloso and Subbarao Kambhampati},
publisher = {AAAI Press / The MIT Press},
pdf = {http://www.kr.tuwien.ac.at/research/projects/eq/aaai05.pdf},
ps = {http://www.kr.tuwien.ac.at/research/projects/eq/aaai05.ps}
}
@inproceedings{ijcai05,
author = {Thomas Eiter and Hans Tompits and Stefan Woltran},
title = {{On Solution Correspondences in Answer-Set Programming}},
booktitle = {Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAI'05), Edinburgh, Scotland, UK, July 30-August 5},
pages = {97--102},
year = 2005,
editor = {Leslie P. Kaelbling and Alessandro Saffiotti},
publisher = {Professional Book Center},
pdf = {http://www.kr.tuwien.ac.at/research/projects/eq/ijcai05.pdf},
ps = {http://www.kr.tuwien.ac.at/research/projects/eq/ijcai05.ps}
}
@inproceedings{iclp05,
author = {Hans Tompits and Stefan Woltran},
title = {{Towards Implementations for Advanced Equivalence Checking in Answer-Set Programming}},
booktitle = {Proceedings of the 21st International Conference on Logic Programming (ICLP'05), Sitges, Spain, October 2-5},
pages = {189--203},
year = 2005,
editor = {Maurizio Gabbrielli and Gopal Gupta},
volume = {3668},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
note = {A preliminary version of this paper appeared in the proceedings of the ASP'05 Workshop},
pdf = {http://www.kr.tuwien.ac.at/research/projects/eq/iclp05.pdf},
ps = {http://www.kr.tuwien.ac.at/research/projects/eq/iclp05.ps}
}
@inproceedings{aaai08,
author = {Martin Gebser and J{\"o}rg P{\"u}hrer and Torsten Schaub and Hans Tompits},
title = {{A Meta-Programming Technique for Debugging Answer-Set Programs}},
booktitle = {Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence (AAAI'08), Chicago, Illinois, USA, July 13-17, 2008},
pages = {448-453},
year = 2008,
editor = {Dieter Fox and Carla P. Gomes},
publisher = {AAAI Press},
isbn = {978-1-57735-368-3},
pdf = {http://www.kr.tuwien.ac.at/research/projects/eq/aaai08.pdf},
ps = {http://www.kr.tuwien.ac.at/research/projects/eq/aaai08.ps}
}
This file was generated by bibtex2html 1.91.