( en | de | ru )

 

Disambiguierung von "Alviano, Mario"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Dynamic Magic Sets for Programs with Monotone Recursive Aggregates.

, , und . LPNMR, Volume 6645 von Lecture Notes in Computer Science, Seite 148-160. Springer, (2011)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Simone Marion

Ernst Marioth-Wirtz

Martin Marioth

Anneliese Marioth

Ilias Mariolakos

 

Weitere Publikationen von Autoren mit dem selben Namen

Complexity of super-coherence problems in ASP, , und . CoRR, (2012)Stable Model Semantics of Abstract Dialectical Frameworks Revisited: A Logic Programming Perspective., und . IJCAI, Seite 2684-2690. AAAI Press, (2015)Enhancing Magic Sets with an Application to Ontological Reasoning., , , und . Theory Pract. Log. Program., 19 (5-6): 654-670 (2019)Anytime Computation of Cautious Consequences in Answer Set Programming., , und . Theory Pract. Log. Program., 14 (4-5): 755-770 (2014)Many-valued Argumentation, Conditionals and a Probabilistic Semantics for Gradual Argumentation., , und . CoRR, (2022)Dynamic Magic Sets for Programs with Monotone Recursive Aggregates., , und . LPNMR, Volume 6645 von Lecture Notes in Computer Science, Seite 148-160. Springer, (2011)Magic-Sets for Datalog with Existential Quantifiers., , , , und . Datalog, Volume 7494 von Lecture Notes in Computer Science, Seite 31-43. Springer, (2012)Model Enumeration via Assumption Literals., und . Fundam. Informaticae, 167 (1-2): 31-58 (2019)Advancements in xASP, an XAI System for Answer Set Programming., , , und . CILC, Volume 3428 von CEUR Workshop Proceedings, CEUR-WS.org, (2023)Typicality, Conditionals and a Probabilistic Semantics for Gradual Argumentation., , und . NMR, Volume 3464 von CEUR Workshop Proceedings, Seite 4-13. CEUR-WS.org, (2023)