The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Michael Morak" ( http://dblp.L3S.de/Authors/Michael_Morak )

URL (Homepage):  https://orcid.org/0000-0002-2077-7672  Author page on DBLP  Author page in RDF  Community of Michael Morak in ASPL-2

Publication years (Num. hits)
2010-2014 (15) 2015-2018 (18) 2019 (5)
Publication types (Num. hits)
article(16) inproceedings(21) phdthesis(1)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 39 publication records. Showing 38 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Michael Morak, Anna Prianichnikova, Ana Sokolova Helmut Veith memorial workshop 2019 report. Search on Bibsonomy SIGLOG News The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Michael Morak Epistemic Logic Programs: A Different World View. Search on Bibsonomy ICLP Technical Communications The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Wolfgang Faber 0001, Michael Morak, Stefan Woltran On Uniform Equivalence of Epistemic Logic Programs. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Wolfgang Faber 0001, Michael Morak, Stefan Woltran On Uniform Equivalence of Epistemic Logic Programs. Search on Bibsonomy TPLP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Wolfgang Faber 0001, Michael Morak, Stefan Woltran Strong Equivalence for Epistemic Logic Programs Made Easy. Search on Bibsonomy AAAI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Johannes Klaus Fichte, Michael Morak, Markus Hecher, Stefan Woltran Exploiting Treewidth for Projected Model Counting and its Limits. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Wolfgang Faber 0001, Michael Morak, Stefan Woltran Strong Equivalence for Epistemic Logic Programs Made Easy (Extended Version). Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Johannes Klaus Fichte, Markus Hecher, Michael Morak, Stefan Woltran Exploiting Treewidth for Projected Model Counting and Its Limits. Search on Bibsonomy SAT The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Manuel Bichler, Michael Morak, Stefan Woltran Single-Shot Epistemic Logic Program Solving. Search on Bibsonomy IJCAI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Johannes Klaus Fichte, Markus Hecher, Michael Morak, Stefan Woltran Answer Set Solving with Bounded Treewidth Revisited. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Johannes Klaus Fichte, Markus Hecher, Michael Morak, Stefan Woltran DynASP2.5: Dynamic Programming on Tree Decompositions in Action. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Johannes Klaus Fichte, Markus Hecher, Michael Morak, Stefan Woltran Answer Set Solving with Bounded Treewidth Revisited. Search on Bibsonomy LPNMR The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Mario Alviano, Michael Morak, Andreas Pieris Stable Model Semantics for Tuple-Generating Dependencies Revisited. Search on Bibsonomy PODS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Pierre Bourhis, Michael Morak, Andreas Pieris Making Cross Products and Guarded Ontology Languages Compatible. Search on Bibsonomy IJCAI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Bernhard Bliem, Marius Moldovan, Michael Morak, Stefan Woltran The Impact of Treewidth on ASP Grounding and Solving. Search on Bibsonomy IJCAI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Johannes Klaus Fichte, Markus Hecher, Michael Morak, Stefan Woltran DynASP2.5: Dynamic Programming on Tree Decompositions in Action. Search on Bibsonomy IPEC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Manuel Bichler, Michael Morak, Stefan Woltran lpopt: A Rule Optimization Tool for Answer Set Programming. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Johannes Klaus Fichte, Markus Hecher, Michael Morak, Stefan Woltran Counting Answer Sets via Dynamic Programming. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Manuel Bichler, Michael Morak, Stefan Woltran The Power of Non-Ground Rules in Answer Set Programming. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Manuel Bichler, Michael Morak, Stefan Woltran The power of non-ground rules in Answer Set Programming. Search on Bibsonomy TPLP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Pierre Bourhis, Marco Manna, Michael Morak, Andreas Pieris Guarded-Based Disjunctive Tuple-Generating Dependencies. Search on Bibsonomy ACM Trans. Database Syst. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Manuel Bichler, Michael Morak, Stefan Woltran lpopt: A Rule Optimization Tool for Answer Set Programming. Search on Bibsonomy LOPSTR The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Georg Gottlob, Michael Morak, Andreas Pieris Recent Advances in Datalog ^\pm. Search on Bibsonomy Reasoning Web The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Michael Morak The Impact of Disjunction on Reasoning under Existential Rules: Research Summary. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Pierre Bourhis, Michael Morak, Andreas Pieris Towards Efficient Reasoning Under Guarded-Based Disjunctive Existential Rules. Search on Bibsonomy MFCS (1) The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Pierre Bourhis, Michael Morak, Andreas Pieris Acyclic Query Answering under Guarded Disjunctive Existential Rules and Consequences to DLs. Search on Bibsonomy Description Logics The full citation details ... 2014 DBLP  BibTeX  RDF
1Michael Morak The impact of disjunction on reasoning under existential rules. Search on Bibsonomy 2014   RDF
1Pierre Bourhis, Michael Morak, Andreas Pieris The Impact of Disjunction on Query Answering Under Guarded-Based Existential Rules. Search on Bibsonomy Description Logics The full citation details ... 2013 DBLP  BibTeX  RDF
1Pierre Bourhis, Michael Morak, Andreas Pieris The Impact of Disjunction on Query Answering Under Guarded-Based Existential Rules. Search on Bibsonomy IJCAI The full citation details ... 2013 DBLP  BibTeX  RDF
1Bernhard Bliem, Michael Morak, Stefan Woltran D-FLAT: Declarative Problem Solving Using Tree Decompositions and Answer-Set Programming Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Bernhard Bliem, Michael Morak, Stefan Woltran D-FLAT: Declarative problem solving using tree decompositions and answer-set programming. Search on Bibsonomy TPLP The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Michael Morak, Stefan Woltran Preprocessing of Complex Non-Ground Rules in Answer Set Programming. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Georg Gottlob, Marco Manna, Michael Morak, Andreas Pieris On the Complexity of Ontological Reasoning under Disjunctive Existential Rules. Search on Bibsonomy MFCS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Michael Morak, Nysret Musliu, Reinhard Pichler, Stefan Rümmele, Stefan Woltran Evaluating Tree-Decomposition Based Algorithms for Answer Set Programming. Search on Bibsonomy LION The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Wolfgang Dvorák, Michael Morak, Clemens Nopp, Stefan Woltran dynPARTIX - A Dynamic Programming Reasoner for Abstract Argumentation Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Wolfgang Dvorák, Michael Morak, Clemens Nopp, Stefan Woltran dynPARTIX - A Dynamic Programming Reasoner for Abstract Argumentation. Search on Bibsonomy INAP/WLP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Michael Morak, Nysret Musliu, Reinhard Pichler, Stefan Rümmele, Stefan Woltran A New Tree-Decomposition Based Algorithm for Answer Set Programming. Search on Bibsonomy ICTAI The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Michael Morak, Reinhard Pichler, Stefan Rümmele, Stefan Woltran A Dynamic-Programming Based ASP-Solver. Search on Bibsonomy JELIA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #38 of 38 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license