@inproceedings{DBLP:conf/mfcs/BourhisMP14,
  title = "Towards Efficient Reasoning Under Guarded-Based Disjunctive Existential Rules",
  author = "Pierre Bourhis and Michael Morak and Andreas Pieris",
  year = "2014",
  booktitle = "Mathematical Foundations of Computer Science 2014 - 39th International Symposium, {MFCS} 2014, Budapest, Hungary, August 25-29, 2014. Proceedings, Part {I}",
  editor = "Erzs{\'{e}}bet Csuhaj{-}Varj{\'{u}} and Martin Dietzfelbinger and Zolt{\'{a}}n {\'{E}}sik",
  isbn = "978-3-662-44521-1",
  pages = "99--110",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  url = "http://dx.doi.org/10.1007/978-3-662-44522-8",
  volume = "8634",
  doi = "10.1007/978-3-662-44522-8",
}
@inproceedings{DBLP:conf/dlog/BourhisMP14,
  title = "Acyclic Query Answering under Guarded Disjunctive Existential Rules and Consequences to DLs",
  author = "Pierre Bourhis and Michael Morak and Andreas Pieris",
  year = "2014",
  booktitle = "Informal Proceedings of the 27th International Workshop on Description Logics, Vienna, Austria, July 17-20, 2014",
  editor = "Meghyn Bienvenu and Magdalena Ortiz and Riccardo Rosati and Mantas Simkus",
  pages = "100--111",
  publisher = "CEUR-WS.org",
  series = "{CEUR} Workshop Proceedings",
  url = "http://ceur-ws.org/Vol-1193",
  volume = "1193",
}
@inproceedings{DBLP:conf/inap/DvorakMNW11,
  title = "dynPARTIX - {A} Dynamic Programming Reasoner for Abstract Argumentation",
  author = "Wolfgang Dvor{\'{a}}k and Michael Morak and Clemens Nopp and Stefan Woltran",
  year = "2013",
  booktitle = "Applications of Declarative Programming and Knowledge Management - 19th International Conference, {INAP} 2011, and 25th Workshop on Logic Programming, {WLP} 2011, Vienna, Austria, September 28-30, 2011, Revised Selected Papers",
  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",
  isbn = "978-3-642-41523-4",
  pages = "259--268",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  url = "http://dx.doi.org/10.1007/978-3-642-41524-1",
  volume = "7773",
  doi = "10.1007/978-3-642-41524-1",
}
@inproceedings{DBLP:conf/ijcai/BourhisMP13,
  title = "The Impact of Disjunction on Query Answering Under Guarded-Based Existential Rules",
  author = "Pierre Bourhis and Michael Morak and Andreas Pieris",
  year = "2013",
  booktitle = "{IJCAI} 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence, Beijing, China, August 3-9, 2013",
  editor = "Francesca Rossi",
  isbn = "978-1-57735-633-2",
  publisher = "{IJCAI/AAAI}",
  url = "http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6504",
}
@inproceedings{DBLP:conf/mfcs/GottlobMMP12,
  title = "On the Complexity of Ontological Reasoning under Disjunctive Existential Rules",
  author = "Georg Gottlob and Marco Manna and Michael Morak and Andreas Pieris",
  year = "2012",
  booktitle = "Mathematical Foundations of Computer Science 2012 - 37th International Symposium, {MFCS} 2012, Bratislava, Slovakia, August 27-31, 2012. Proceedings",
  editor = "Branislav Rovan and Vladimiro Sassone and Peter Widmayer",
  isbn = "978-3-642-32588-5",
  pages = "1--18",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  url = "http://dx.doi.org/10.1007/978-3-642-32589-2",
  volume = "7464",
  doi = "10.1007/978-3-642-32589-2",
}
@inproceedings{DBLP:conf/lion/MorakMPRW12,
  title = "Evaluating Tree-Decomposition Based Algorithms for Answer Set Programming",
  author = "Michael Morak and Nysret Musliu and Reinhard Pichler and Stefan R{\"{u}}mmele and Stefan Woltran",
  year = "2012",
  booktitle = "Learning and Intelligent Optimization - 6th International Conference, {LION} 6, Paris, France, January 16-20, 2012, Revised Selected Papers",
  editor = "Youssef Hamadi and Marc Schoenauer",
  isbn = "978-3-642-34412-1",
  pages = "130--144",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  url = "http://dx.doi.org/10.1007/978-3-642-34413-8",
  volume = "7219",
  doi = "10.1007/978-3-642-34413-8",
}
@inproceedings{DBLP:conf/iclp/MorakW12,
  title = "Preprocessing of Complex Non-Ground Rules in Answer Set Programming",
  author = "Michael Morak and Stefan Woltran",
  year = "2012",
  booktitle = "Technical Communications of the 28th International Conference on Logic Programming, {ICLP} 2012, September 4-8, 2012, Budapest, Hungary",
  editor = "Agostino Dovier and V{\'{\i}}tor Santos Costa",
  isbn = "978-3-939897-43-9",
  pages = "247--258",
  publisher = "Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik",
  series = "LIPIcs",
  url = "http://drops.dagstuhl.de/opus/portals/extern/index.php?semnr=12008",
  volume = "17",
  doi = "10.4230/LIPIcs.ICLP.2012.247",
}
@article{DBLP:journals/tplp/BliemMW12,
  title = "{D-FLAT:} Declarative problem solving using tree decompositions and answer-set programming",
  author = "Bernhard Bliem and Michael Morak and Stefan Woltran",
  year = "2012",
  journal = "{TPLP}",
  number = "4-5",
  pages = "445--464",
  url = "http://dx.doi.org/10.1017/S1471068412000129",
  volume = "12",
  doi = "10.1017/S1471068412000129",
}
@inproceedings{DBLP:conf/ictai/MorakMPRW11,
  title = "A New Tree-Decomposition Based Algorithm for Answer Set Programming",
  author = "Michael Morak and Nysret Musliu and Reinhard Pichler and Stefan R{\"{u}}mmele and Stefan Woltran",
  year = "2011",
  booktitle = "{IEEE} 23rd International Conference on Tools with Artificial Intelligence, {ICTAI} 2011, Boca Raton, FL, USA, November 7-9, 2011",
  isbn = "978-1-4577-2068-0",
  pages = "916--918",
  publisher = "{IEEE} Computer Society",
  url = "http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6101101",
  doi = "10.1109/ICTAI.2011.154",
}
@inproceedings{DBLP:conf/jelia/MorakPRW10,
  title = "A Dynamic-Programming Based ASP-Solver",
  author = "Michael Morak and Reinhard Pichler and Stefan R{\"{u}}mmele and Stefan Woltran",
  year = "2010",
  booktitle = "Logics in Artificial Intelligence - 12th European Conference, {JELIA} 2010, Helsinki, Finland, September 13-15, 2010. Proceedings",
  editor = "Tomi Janhunen and Ilkka Niemel{\"{a}}",
  isbn = "978-3-642-15674-8",
  pages = "369--372",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  url = "http://dx.doi.org/10.1007/978-3-642-15675-5",
  volume = "6341",
  doi = "10.1007/978-3-642-15675-5",
}