( en | de | ru )

 

Disambiguierung von "Alviano, Mario"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
The Birth of a WASP: Preliminary Report on a New ASP Solver.

, , , , , und . CILC, Volume 810 von CEUR Workshop Proceedings, Seite 99-113. CEUR-WS.org, (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

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