( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Magic-Sets for Datalog with Existential Quantifiers.

, , , , и . Datalog, том 7494 из Lecture Notes in Computer Science, стр. 31-43. Springer, (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.

Ernst Marioth-Wirtz

Simone Marion

Martin Marioth

Anneliese Marioth

Ilias Mariolakos

 

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

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)Magic-Sets for Datalog with Existential Quantifiers., , , , и . Datalog, том 7494 из Lecture Notes in Computer Science, стр. 31-43. Springer, (2012)Complexity of super-coherence problems in ASP, , и . CoRR, (2012)Typicality, Conditionals and a Probabilistic Semantics for Gradual Argumentation., , и . NMR, том 3464 из CEUR Workshop Proceedings, стр. 4-13. CEUR-WS.org, (2023)Advancements in xASP, an XAI System for Answer Set Programming., , , и . CILC, том 3428 из CEUR Workshop Proceedings, CEUR-WS.org, (2023)Boolean Functions with Ordered Domains in Answer Set Programming., , и . AAAI, стр. 879-885. AAAI Press, (2016)A Speech about Generative Datalog and Non-measurable Sets., и . ICLP Workshops, том 2970 из CEUR Workshop Proceedings, CEUR-WS.org, (2021)Reasoning over Ontologies with DLV., , , , , , , , , и 5 other автор(ы). IC3K, том 1222 из Communications in Computer and Information Science, стр. 114-136. Springer, (2018)Explaining Gradual Argumentation Semantics in a Conditional Multi-preferential Logic with Typicality., , и . AI³@AI*IA, том 3546 из CEUR Workshop Proceedings, CEUR-WS.org, (2023)