@article{EglyGW10,
author = {Uwe Egly and
Sarah A. Gaggl and
Stefan Woltran},
title = {Answer-set programming encodings for argumentation frameworks},
journal = {Argument \& Computation},
volume = {1},
number = {2},
year = {2010},
pages = {147-177},
ee = {http://www.informaworld.com/10.1080/19462166.2010.486479}
}
@article{GottlobPW10a,
author = {Georg Gottlob and
Reinhard Pichler and
Fang Wei},
title = {Bounded treewidth as a key to tractability of knowledge
representation and reasoning},
journal = {Artif. Intell.},
volume = {174},
number = {1},
year = {2010},
pages = {105-132},
ee = {http://dx.doi.org/10.1016/j.artint.2009.10.003}
}
@article{GottlobPW10b,
author = {Georg Gottlob and
Reinhard Pichler and
Fang Wei},
title = {Monadic datalog over finite structures of bounded treewidth},
journal = {ACM Trans. Comput. Logic},
volume = {12},
number = {1},
year = {2010},
pages = {3:1-3:48},
ee = {http://doi.acm.org/10.1145/1838552.1838555}
}
@article{GottlobPW10c,
author = {Georg Gottlob and
Reinhard Pichler and
Fang Wei},
title = {Tractable database design and datalog abduction through
bounded treewidth},
journal = {Inf. Syst.},
volume = {35},
number = {3},
year = {2010},
pages = {278-298},
ee = {http://dx.doi.org/10.1016/j.is.2009.09.003}
}
@article{TruszczynskiW08a,
author = {Miroslaw Truszczynski and
Stefan Woltran},
title = {Hyperequivalence of logic programs with respect to supported
models},
journal = {Ann. Math. Artif. Intell.},
volume = {53},
number = {1-4},
year = {2008},
pages = {331-365},
ee = {http://dx.doi.org/10.1007/s10472-009-9119-8}
}
@article{TruszczynskiW09,
author = {Miroslaw Truszczynski and
Stefan Woltran},
title = {Relativized hyperequivalence of logic programs for modular
programming},
journal = {TPLP},
volume = {9},
number = {6},
year = {2009},
pages = {781-819},
ee = {http://dx.doi.org/10.1017/S1471068409990159}
}
@inproceedings{DvorakPW10,
author = {Wolfgang Dvor{\'a}k and
Reinhard Pichler and
Stefan Woltran},
title = {Towards Fixed-Parameter Tractable Algorithms for Argumentation},
editor = {Fangzhen Lin and
Ulrike Sattler and
Miroslaw Truszczynski},
booktitle = {Proceedings of the 12th International Conference on Principles of Knowledge Representation and Reasoning,
(KR'10), Toronto, Ontario, Canada, May 9-13, 2010},
publisher = {AAAI Press},
year = {2010},
pages = {112-122},
ee = {http://aaai.org/ocs/index.php/KR/KR2010/paper/view/1331}
}
@inproceedings{DvorakSW10,
author = {Wolfgang Dvor{\'a}k and
Stefan Szeider and
Stefan Woltran},
title = {Reasoning in Argumentation Frameworks of Bounded Clique-Width},
editor = {Pietro Baroni and
Federico Cerutti and
Massimiliano Giacomin and
Guillermo R. Simari},
booktitle = {Proceedings of the 3rd International Conference on Computational Models of Argument,
(COMMA'10), Desenzano del Garda, Italy, Septembr 8-10, 2010},
publisher = {IOS Press},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {216},
year = {2010},
pages = {219-230}
}
@inproceedings{HammerlM10,
author = {Thomas Hammerl and
Nysret Musliu},
title = {Ant Colony Optimization for Tree Decompositions},
editor = {Peter I. Cowling and
Peter Merz},
booktitle = {Proceedings of the Evolutionary 10th European Conference on Computation in Combinatorial Optimization,
(EvoCOP'10), Istanbul, Turkey, April 7-9, 2010},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {6022},
year = {2010},
pages = {95-106},
ee = {http://dx.doi.org/10.1007/978-3-642-12139-5_9}
}
@inproceedings{HermannP08,
author = {Miki Hermann and
Reinhard Pichler},
title = {Counting Complexity of Minimal Cardinality and Minimal Weight
Abduction},
booktitle = {Proceedings of the 11th European Conference on Logics in Artificial Intelligence,
(JELIA'08), September 28 - October 1, 2008, Dresden, Germany},
editor = {Steffen H{\"o}lldobler and
Carsten Lutz and
Heinrich Wansing},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {5293},
year = {2008},
pages = {206-218},
ee = {http://dx.doi.org/10.1007/978-3-540-87803-2_18},
pdf = {http://www.dbai.tuwien.ac.at/research/project/tractability/HermannP08.pdf}
}
@inproceedings{JaklPRW08b,
author = {Michael Jakl and
Reinhard Pichler and
Stefan R{\"u}mmele and
Stefan Woltran},
title = {Fast Counting with Bounded Treewidth},
booktitle = {Proceedings of the 15th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning,
(LPAR'08), November 22-27, 2008, Doha, Qatar},
editor = {Iliano Cervesato and
Helmut Veith and
Andrei Voronkov},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {5330},
year = {2008},
pages = {436-450},
ee = {http://dx.doi.org/10.1007/978-3-540-89439-1_31},
pdf = {http://www.dbai.tuwien.ac.at/research/project/tractability/JaklPRW08b.pdf}
}
@inproceedings{JaklPW09,
author = {Michael Jakl and
Reinhard Pichler and
Stefan Woltran},
title = {Answer-Set Programming with Bounded Treewidth},
booktitle = {Proceedings of the 21st International Joint Conference on Artificial Intelligence,
(IJCAI'09), Pasadena, California, USA, July 11-17, 2009},
editor = {Craig Boutilier},
year = {2009},
pages = {816-822},
ee = {http://ijcai.org/papers09/Papers/IJCAI09-140.pdf},
pdf = {http://www.dbai.tuwien.ac.at/research/project/tractability/JaklPW09.pdf}
}
@inproceedings{MorakPRW10,
author = {Michael Morak and
Reinhard Pichler and
Stefan R{\"u}mmele and
Stefan Woltran},
title = {A Dynamic-Programming Based ASP-Solver},
booktitle = {Proceedings of the 12th European Conference on Logics in Artificial Intelligence,
(JELIA'10), Helsinki, Finland, September 13-15, 2010},
editor = {Tomi Janhunen and
Ilkka Niemel{\"a}},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {6341},
year = {2010},
pages = {369-372},
ee = {http://dx.doi.org/10.1007/978-3-642-15675-5_34},
pdf = {http://www.dbai.tuwien.ac.at/research/project/tractability/MorakPRW10.pdf}
}
@inproceedings{PichlerRSW10,
author = {Reinhard Pichler and
Stefan R{\"u}mmele and
Stefan Szeider and
Stefan Woltran},
title = {Tractable Answer-Set Programming with Weight Constraints:
Bounded Treewidth Is not Enough},
booktitle = {Proceedings of the 12th International Conference on Principles of Knowledge Representation and Reasoning,
(KR'10), Toronto, Ontario, Canada, May 9-13, 2010},
editor = {Fangzhen Lin and
Ulrike Sattler and
Miroslaw Truszczynski},
publisher = {AAAI Press},
year = {2010},
pages = {508-517},
ee = {http://aaai.org/ocs/index.php/KR/KR2010/paper/view/1368},
pdf = {http://www.dbai.tuwien.ac.at/research/project/tractability/PichlerRSW10.pdf}
}
@inproceedings{PichlerRW09,
author = {Reinhard Pichler and
Stefan R{\"u}mmele and
Stefan Woltran},
title = {Belief Revision with Bounded Treewidth},
booktitle = {Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning,
(LPNMR'09), Potsdam, Germany, September 14-18, 2009},
editor = {Esra Erdem and
Fangzhen Lin and
Torsten Schaub},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {5753},
year = {2009},
pages = {250-263},
ee = {http://dx.doi.org/10.1007/978-3-642-04238-6_22},
pdf = {http://www.dbai.tuwien.ac.at/research/project/tractability/PichlerRW09.pdf}
}
@inproceedings{PichlerRW10a,
author = {Reinhard Pichler and
Stefan R{\"u}mmele and
Stefan Woltran},
title = {Counting and Enumeration Problems with Bounded Treewidth},
booktitle = {Proceedings of the 16th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning,
(LPAR-16), April 25 - May 1, 2010, Dakar, Senegal},
editor = {Edmund M. Clarke and
Andrei Voronkov},
publisher = {Springer},
series = {Lecture Notes in Artificial Intelligence},
volume = {6355},
year = {2010},
pages = {387-404},
pdf = {http://www.dbai.tuwien.ac.at/research/project/tractability/PichlerRW10a.pdf}
}
@inproceedings{PichlerRW10b,
author = {Reinhard Pichler and
Stefan R{\"u}mmele and
Stefan Woltran},
title = {Multicut Algorithms via Tree Decompositions},
booktitle = {Proceedings of the 7th International Conference on Algorithms and Complexity,
(CIAC'10), Rome, Italy, May 26-28, 2010},
editor = {Tiziana Calamoneri and
Josep D\'{\i}az},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {6078},
year = {2010},
pages = {167-179},
ee = {http://dx.doi.org/10.1007/978-3-642-13073-1_16},
pdf = {http://www.dbai.tuwien.ac.at/research/project/tractability/PichlerRW10b.pdf}
}
@inproceedings{PichlerW10,
author = {Reinhard Pichler and
Stefan Woltran},
title = {The Complexity of Handling Minimal Solutions in Logic-Based
Abduction},
booktitle = {Proceedings of the 19th European Conference on Artificial Intelligence,
(ECAI'10), Lisbon, Portugal, August 16-20, 2010},
editor = {Helder Coelho and
Rudi Studer and
Michael Wooldridge},
publisher = {IOS Press},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {215},
year = {2010},
pages = {895-900},
ee = {http://dx.doi.org/10.3233/978-1-60750-606-5-895}
}
@inproceedings{TruszczynskiW08b,
author = {Miroslaw Truszczynski and
Stefan Woltran},
title = {Relativized Hyperequivalence of Logic Programs for Modular
Programming},
editor = {Maria Garcia de la Banda and
Enrico Pontelli},
booktitle = {Proceedings of the 24th International Conference on Logic Programming,
(ICLP'08), Udine, Italy, December 9-13, 2008},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {5366},
year = {2008},
pages = {576-590},
ee = {http://dx.doi.org/10.1007/978-3-540-89982-2_48}
}
@techreport{JaklPRW08a,
author = {Michael Jakl and
Reinhard Pichler and
Stefan R{\"u}mmele and
Stefan Woltran},
title = {Fast Counting with Bounded Treewidth},
institution = {Technische Universit{\"a}t Wien},
year = {2008},
type = {Technical Report},
number = {DBAI-TR-2008-61},
pdf = {http://www.dbai.tuwien.ac.at/research/project/tractability/JaklPRW08a.pdf}
}
This file was generated by bibtex2html 1.96.