Michael Morak : Publications
Click here to download all publications in a single bibtex file
@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",
}
@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/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",
}
@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",
}