( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Disjunctive datalog with existential quantifiers: Semantics, decidability, and complexity issues.

, , , и . Theory Pract. Log. Program., 12 (4-5): 701-718 (2012)

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.

Simone Marion

Ernst Marioth-Wirtz

Martin Marioth

Anneliese Marioth

Ilias Mariolakos

 

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

Many-valued Argumentation, Conditionals and a Probabilistic Semantics for Gradual Argumentation., , и . CoRR, (2022)Advancements in xASP, an XAI System for Answer Set Programming., , , и . CILC, том 3428 из CEUR Workshop Proceedings, CEUR-WS.org, (2023)Typicality, Conditionals and a Probabilistic Semantics for Gradual Argumentation., , и . NMR, том 3464 из CEUR Workshop Proceedings, стр. 4-13. CEUR-WS.org, (2023)A Speech about Generative Datalog and Non-measurable Sets., и . ICLP Workshops, том 2970 из CEUR Workshop Proceedings, CEUR-WS.org, (2021)Anytime Computation of Cautious Consequences in Answer Set Programming., , и . Theory Pract. Log. Program., 14 (4-5): 755-770 (2014)Enhancing Magic Sets with an Application to Ontological Reasoning., , , и . Theory Pract. Log. Program., 19 (5-6): 654-670 (2019)Complexity of super-coherence problems in ASP, , и . CoRR, (2012)Magic-Sets for Datalog with Existential Quantifiers., , , , и . Datalog, том 7494 из Lecture Notes in Computer Science, стр. 31-43. Springer, (2012)Dynamic Magic Sets for Programs with Monotone Recursive Aggregates., , и . LPNMR, том 6645 из Lecture Notes in Computer Science, стр. 148-160. Springer, (2011)Stable Model Semantics of Abstract Dialectical Frameworks Revisited: A Logic Programming Perspective., и . IJCAI, стр. 2684-2690. AAAI Press, (2015)