@incollection{fun/BrueggemanFFLKKPR12,
author = {Leo Brueggeman and Michael R. Fellows and Rudolf Fleischer and Martin Lackner and Christian Komusiewicz and Yiannis Koutis and Andreas Pfandler and Frances A. Rosamond},
title = {Train Marshalling Is Fixed Parameter Tractable},
booktitle = {Proc.\ FUN 2012},
series = {Lecture Notes in Computer Science},
editor = {Evangelos Kranakis and Danny Krizanc and Flaminia Luccio},
publisher = {Springer Berlin / Heidelberg},
pages = {51-56},
volume = {7288},
year = {2012},
pdf = {http://www.dbai.tuwien.ac.at/staff/lackner/publications/fun2012.pdf}
}
@inproceedings{comsoc/ErdelyiLP12-nearlysp,
author = {G\'{a}bor Erd\'{e}lyi and Martin Lackner and Andreas Pfandler},
title = {The Complexity of Nearly Single-Peaked Consistency},
booktitle = {Proc.\ COMSOC 2012},
year = {2012},
pdf = {http://home.agh.edu.pl/~faliszew/COMSOC-2012/proceedings/paper_32.pdf}
}
@incollection{cocoa/LacknerPRW12-multicut,
author = {Lackner, Martin and Pichler, Reinhard and R\"{u}mmele, Stefan and Woltran, Stefan},
affiliation = {Institute of Information Systems, Vienna University of Technology, Austria},
title = {Multicut on Graphs of Bounded Clique-Width},
booktitle = {Proc.\ COCOA 2012},
series = {Lecture Notes in Computer Science},
editor = {Lin, Guohui},
publisher = {Springer Berlin / Heidelberg},
keyword = {Computer Science},
pages = {115-126},
volume = {7402},
year = {2012},
pdf = {http://www.dbai.tuwien.ac.at/staff/lackner/publications/multicut.pdf}
}
@incollection{swat/BrunerL12-ppm,
author = {Bruner, Marie-Louise and Lackner, Martin},
affiliation = {Institute of Discrete Mathematics and Geometry, Vienna University of Technology, Austria},
title = {A Fast Algorithm for Permutation Pattern Matching Based on Alternating Runs},
booktitle = {Proc.\ SWAT 2012},
series = {Lecture Notes in Computer Science},
editor = {Fomin, Fedor and Kaski, Petteri},
publisher = {Springer Berlin / Heidelberg},
keyword = {Computer Science},
pages = {261-270},
volume = {7357},
year = {2012},
pdf = {http://www.dbai.tuwien.ac.at/staff/lackner/publications/swat2012.pdf}
}
@inproceedings{kr/LacknerP12-minimalmodels,
author = {Martin Lackner and Andreas Pfandler},
title = {Fixed-Parameter Algorithms for Finding Minimal Models},
booktitle = {Proc.\ KR 2012},
editor = {Gerhard Brewka and Thomas Eiter and Sheila A. McIlraith},
year = {2012},
publisher = {AAAI Press},
pages = {85-95},
pdf = {http://www.aaai.org/ocs/index.php/KR/KR12/paper/view/4548/4880}
}
@inproceedings{ecai/LacknerP12-closedworld,
author = {Martin Lackner and Andreas Pfandler},
title = {Fixed-Parameter Algorithms for Closed World Reasoning},
booktitle = {Proc.\ ECAI 2012},
editor = {Luc De Raedt and Christian Bessi{\`e}re and Didier Dubois and Patrick Doherty and Paolo Frasconi and Fredrik Heintz and Peter J. F. Lucas},
publisher = {IOS Press},
year = {2012},
pages = {492-497},
pdf = {http://www.dbai.tuwien.ac.at/staff/lackner/publications/smc.pdf}
}
@article{2012arXiv1211.2627E,
author = {{Erd{\'e}lyi}, G. and {Lackner}, M. and {Pfandler}, A.},
title = {{Computational Aspects of Nearly Single-Peaked Electorates}},
journal = {ArXiv e-prints},
archiveprefix = {arXiv},
eprint = {1211.2627},
primaryclass = {cs.CC},
year = 2012,
month = nov,
adsurl = {http://adsabs.harvard.edu/abs/2012arXiv1211.2627E},
adsnote = {Provided by the SAO/NASA Astrophysics Data System}
}
@inproceedings{KR124512,
author = {Nadia Creignou and Odile Papini and Reinhard Pichler and Stefan Woltran},
title = {Belief Revision within Fragments of Propositional Logic},
booktitle = {Knowledge Representation and Reasoning Conference},
year = {2012},
url = {http://www.aaai.org/ocs/index.php/KR/KR12/paper/view/4512}
}
@article{dvorak20121,
title = {Towards fixed-parameter tractable algorithms for abstract argumentation},
journal = {Artificial Intelligence},
volume = {186},
number = {0},
pages = {1 - 37},
year = {2012},
note = {},
issn = {0004-3702},
doi = {10.1016/j.artint.2012.03.005},
url = {http://www.sciencedirect.com/science/article/pii/S0004370212000264},
author = {Wolfgang Dvor\'ak and Reinhard Pichler and Stefan Woltran},
pdf = {http://www.dbai.tuwien.ac.at/research/project/tractability/dvorak20121.pdf}
}
@proceedings{DBLP:conf/datalog/2012,
editor = {Pablo Barcel{\'o} and
Reinhard Pichler},
title = {Datalog in Academia and Industry - Second International
Workshop, Datalog 2.0, Vienna, Austria, September 11-13,
2012. Proceedings},
booktitle = {Datalog},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {7494},
year = {2012},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{DBLP:conf/kr/CreignouPPW12,
author = {Nadia Creignou and
Odile Papini and
Reinhard Pichler and
Stefan Woltran},
title = {Belief Revision within Fragments of Propositional Logic},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Thirteenth International Conference, KR 2012, Rome,
Italy, June 10-14, 2012},
publisher = {AAAI Press},
year = {2012},
bibsource = {DBLP, http://dblp.uni-trier.de},
url = {http://www.aaai.org/ocs/index.php/KR/KR12/paper/view/4512}
}
@article{DBLP:journals/jcss/PichlerS11,
author = {Reinhard Pichler and
Sebastian Skritek},
title = {Tractable Counting of the Answers to Conjunctive Queries},
journal = {J. Comput. Syst. Sci.},
year = {2012},
note = {to appear},
pdf = {http://www.dbai.tuwien.ac.at/research/project/InfInt/Publications/PichlerSkritek_TractableCountingCQ_amw11.pdf}
}
@article{PichlerRSW12,
journal = {TPLP},
title = {Tractable Answer-Set Programming with Weight Constraints: Bounded Treewidth Is not Enough},
year = {2012},
author = {Reinhard Pichler and Stefan R\"ummele and Stefan Szeider and Stefan Woltran},
note = {to appear},
pdf = {http://www.dbai.tuwien.ac.at/research/project/tractability/PichlerRSW12.pdf}
}
@inproceedings{DBLP:conf/aaai/FellowsPRR12,
title = {The Parameterized Complexity of Abduction},
booktitle = {Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, July 22-26, 2012, Toronto, Ontario, Canada},
author = {Michael R. Fellows and Andreas Pfandler and Frances A. Rosamond and Stefan R\"ummele},
year = {2012},
url = {http://www.aaai.org/ocs/index.php/AAAI/AAAI12/paper/view/5048},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@article{DBLP:journals/corr/abs-1204-3040,
title = {Tractable Answer-Set Programming with Weight Constraints: Bounded Treewidth is not Enough},
journal = {CoRR},
author = {Reinhard Pichler and Stefan R\"ummele and Stefan Szeider and Stefan Woltran},
volume = {abs/1204.3040},
year = {2012},
url = {http://arxiv.org/abs/1204.3040},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{MorakMPRW12,
volume = {7219},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
booktitle = {Learning and Intelligent Optimization - 6th International Conference, LION 6, Paris, France, January 16-20, 2012.},
author = {Michael Morak and Nysret Musliu and Reinhard Pichler and Stefan R\"ummele and Stefan Woltran},
year = {2012},
title = {Evaluating Tree-Decomposition Based Algorithms for Answer Set Programming},
pdf = {http://www.dbai.tuwien.ac.at/research/project/tractability/lion.pdf}
}
@techreport{MorakMRWP11,
author = {Michael Morak and Nysret Musliu and Stefan R\"ummele and Stefan Woltran and Reinhard Pichler},
url = {http://www.dbai.tuwien.ac.at/research/report/index.html},
title = {Evaluating Tree-Decomposition Based Algorithms for Answer Set Programming},
number = {DBAI-TR-2011-73},
pdf = {http://www.dbai.tuwien.ac.at/staff/ruemmele/techreport-MorakMRWP11.pdf},
year = {2011},
type = {Technical Report},
institution = {Technische Universit\"at Wien}
}
@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},
url = {http://www.informaworld.com/10.1080/19462166.2010.486479},
pdf = {http://www.dbai.tuwien.ac.at/research/project/tractability/EglyGW10.pdf}
}
@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},
url = {http://dx.doi.org/10.1016/j.artint.2009.10.003},
pdf = {http://www.dbai.tuwien.ac.at/research/project/tractability/GottlobPW10a.pdf}
}
@article{DBLP:journals/tocl/GottlobPW10,
author = {Georg Gottlob and
Reinhard Pichler and
Fang Wei},
title = {Monadic datalog over finite structures of bounded treewidth},
journal = {ACM Trans. Comput. Log.},
volume = {12},
number = {1},
year = {2010},
pages = {3},
ee = {http://doi.acm.org/10.1145/1838552.1838555},
bibsource = {DBLP, http://dblp.uni-trier.de},
pdf = {http://www.dbai.tuwien.ac.at/research/project/tractability/toclGottlobPW10.pdf}
}
@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},
pdf = {http://www.dbai.tuwien.ac.at/research/project/tractability/GottlobPW10c.pdf}
}
@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},
pdf = {http://www.dbai.tuwien.ac.at/research/project/tractability/TruszczynskiW08a.pdf}
}
@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},
pdf = {http://www.dbai.tuwien.ac.at/research/project/tractability/TruszczynskiW09.pdf}
}
@inproceedings{DBLP:conf/kr/DvorakPW10,
author = {Wolfgang Dvor{\'a}k and
Reinhard Pichler and
Stefan Woltran},
title = {Towards Fixed-Parameter Tractable Algorithms for Argumentation},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Twelfth International Conference, KR 2010, Toronto,
Ontario, Canada, May 9-13, 2010},
year = {2010},
pages = {112-122},
ee = {http://aaai.org/ocs/index.php/KR/KR2010/paper/view/1331},
editor = {Fangzhen Lin and
Ulrike Sattler and
Miroslaw Truszczynski},
publisher = {AAAI Press},
pdf = {http://www.dbai.tuwien.ac.at/research/project/tractability/krDvorakPW10.pdf},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@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},
pdf = {http://www.dbai.tuwien.ac.at/research/project/tractability/DvorakSW10.pdf}
}
@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},
pdf = {http://www.dbai.tuwien.ac.at/research/project/tractability/HammerlM10.pdf}
}
@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},
pdf = {http://www.dbai.tuwien.ac.at/research/project/tractability/PichlerW10.pdf}
}
@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},
pdf = {http://www.dbai.tuwien.ac.at/research/project/tractability/TruszczynskiW08b.pdf}
}
@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}
}
@article{DBLP:journals/jcss/HermannP10,
author = {Miki Hermann and
Reinhard Pichler},
title = {Counting complexity of propositional abduction},
journal = {J. Comput. Syst. Sci.},
volume = {76},
number = {7},
year = {2010},
pages = {634-649},
ee = {http://dx.doi.org/10.1016/j.jcss.2009.12.001},
bibsource = {DBLP, http://dblp.uni-trier.de},
pdf = {http://www.dbai.tuwien.ac.at/research/project/tractability/jcssHermannP10.pdf}
}
@techreport{PichlerRW10,
author = {Reinhard Pichler and Stefan R\"ummele and Stefan Woltran},
url = {http://www.dbai.tuwien.ac.at/research/report/index.html},
title = {Multicut Algorithms via Tree Decompositions},
number = {DBAI-TR-2010-67},
pdf = {http://www.dbai.tuwien.ac.at/staff/ruemmele/techreport-PichlerRW10.pdf},
year = {2010},
type = {Technical Report},
institution = {Technische Universität Wien}
}
@inproceedings{DBLP:conf/ictai/MorakMPRW11,
author = {Michael Morak and
Nysret Musliu and
Reinhard Pichler and
Stefan R{\"u}mmele and
Stefan Woltran},
title = {A New Tree-Decomposition Based Algorithm for Answer Set
Programming},
booktitle = {IEEE 23rd International Conference on Tools with Artificial
Intelligence, ICTAI 2011, Boca Raton, FL, USA, November
7-9, 2011},
year = {2011},
pages = {916-918},
ee = {http://doi.ieeecomputersociety.org/10.1109/ICTAI.2011.154},
publisher = {IEEE},
pdf = {http://www.dbai.tuwien.ac.at/research/project/tractability/ictai.pdf},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@article{DBLP:journals/corr/abs-1109-1951,
author = {Marie-Louise Bruner and
Martin Lackner},
title = {A W[1]-Completeness Result for Generalized Permutation Pattern
Matching},
journal = {CoRR},
volume = {abs/1109.1951},
year = {2011},
url = {http://arxiv.org/abs/1109.1951},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@article{CreignouSTW11,
title = { Complexity of logic-based argumentation in Post's framework},
author = {Nadia Creignou and Johannes Schmidt and Michael Thomas and Stefan Woltran },
journal = {Argument and Computation},
volume = {2},
number = {2-3},
pages = {107--129},
year = {2011},
pdf = {http://www.dbai.tuwien.ac.at/research/project/tractability/post.pdf}
}
@inproceedings{DBLP:conf/ijcai/DvorakDW11,
author = {Wolfgang Dvor{\'a}k and
Paul E. Dunne and
Stefan Woltran},
title = {Parametric Properties of Ideal Semantics},
booktitle = {IJCAI 2011, Proceedings of the 22nd International Joint
Conference on Artificial Intelligence, Barcelona, Catalonia,
Spain, July 16-22, 2011},
year = {2011},
pages = {851-856},
pdf = {http://ijcai.org/papers11/Papers/IJCAI11-148.pdf},
publisher = {IJCAI/AAAI},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@article{DBLP:journals/corr/abs-1108-4804,
author = {Wolfgang Dvor{\'a}k and
Michael Morak and
Clemens Nopp and
Stefan Woltran},
title = {dynPARTIX - A Dynamic Programming Reasoner for Abstract
Argumentation},
journal = {CoRR},
volume = {abs/1108.4804},
year = {2011},
url = {http://arxiv.org/abs/1108.4804},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@incollection{HammerlMS11,
author = {Thomas Hammerl and Nysret Musliu and Werner Schafhauser},
title = {Metaheuristic Algorithms and Tree Decomposition},
booktitle = {Handbook of Computational Intelligence},
note = {To appear}
}
@inproceedings{Musliu11a,
author = {Nysret Musliu},
title = {Constructing Cyclic Staff Schedules by Iterated Local Search (extended abstract)},
booktitle = {Proceedings MIC 2011},
year = {2011},
pages = {655-657},
pdf = {www.dbai.tuwien.ac.at/staff/musliu/RotaMIC2011.pdf}
}
@inproceedings{DBLP:conf/amw/PichlerS11,
author = {Reinhard Pichler and
Sebastian Skritek},
title = {Tractable Counting of the Answers to Conjunctive Queries},
booktitle = {Proceedings of the 5th Alberto Mendelzon International Workshop
on Foundations of Data Management, Santiago, Chile, May
9-12, 2011},
year = {2011},
ee = {http://ceur-ws.org/Vol-749/paper4.pdf},
editor = {Pablo Barcel{\'o} and
Val Tannen},
publisher = {CEUR-WS.org},
series = {CEUR Workshop Proceedings},
volume = {749},
bibsource = {DBLP, http://dblp.uni-trier.de},
pdf = {http://www.dbai.tuwien.ac.at/research/project/tractability/PichlerS11.pdf}
}
@inproceedings{DBLP:conf/icdt/PichlerS11,
author = {Reinhard Pichler and
Sebastian Skritek},
title = {The complexity of evaluating tuple generating dependencies},
booktitle = {Database Theory - ICDT 2011, 14th International Conference,
Uppsala, Sweden, March 21-24, 2011, Proceedings},
year = {2011},
pages = {244-255},
ee = {http://doi.acm.org/10.1145/1938551.1938583},
editor = {Tova Milo},
publisher = {ACM},
bibsource = {DBLP, http://dblp.uni-trier.de},
pdf = {http://www.dbai.tuwien.ac.at/research/project/tractability/PichlerS11b.pdf}
}
This file was generated by bibtex2html 1.97.