( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
lpopt: A Rule Optimization Tool for Answer Set Programming.

, , и . CoRR, (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Bettina Morak

Andreas Morak

Andreas Morakis

Andreas Morakis

Andreas Morakis

 

Другие публикации лиц с тем же именем

Structural Decompositions of Epistemic Logic Programs., , и . AAAI, стр. 2830-2837. AAAI Press, (2020)Evaluating Tree-Decomposition Based Algorithms for Answer Set Programming., , , , и . LION, том 7219 из Lecture Notes in Computer Science, стр. 130-144. Springer, (2012)Exploiting Treewidth for Projected Model Counting and Its Limits., , , и . SAT, том 10929 из Lecture Notes in Computer Science, стр. 165-184. Springer, (2018)lpopt: A Rule Optimization Tool for Answer Set Programming., , и . LOPSTR, том 10184 из Lecture Notes in Computer Science, стр. 114-130. Springer, (2016)The impact of disjunction on reasoning under existential rules.. University of Oxford, UK, (2014)British Library, EThOS.Determining Action Reversibility in STRIPS Using Answer Set Programming with Quantifiers., , и . PADL, том 13165 из Lecture Notes in Computer Science, стр. 42-56. Springer, (2022)Sticky Existential Rules and Disjunction are Incompatible.. KR, стр. 691-695. (2021)Determining Action Reversibility in STRIPS Using Answer Set Programming., , , и . ICLP Workshops, том 2678 из CEUR Workshop Proceedings, CEUR-WS.org, (2020)Evaluating Epistemic Logic Programs via Answer Set Programming with Quantifiers., и . AAAI, стр. 6322-6329. AAAI Press, (2023)Evaluating Epistemic Logic Programs via Answer Set Programming with Quantifiers., и . HYDRA/RCRA@LPNMR, том 3281 из CEUR Workshop Proceedings, стр. 78-89. CEUR-WS.org, (2022)