( en | de | ru )

 

Disambiguation of "Alviano, Mario"

Author of the publication

copydeleteadd this publication to your clipboard
The Fourth Answer Set Programming Competition: Preliminary Report.

, , , , , , , , , , , , , , , , , and . LPNMR, volume 8148 of Lecture Notes in Computer Science, page 42-53. Springer, (2013)

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. You can also use the button next to the name to display some publications already assigned to the person.

Simone Marion

Ernst Marioth-Wirtz

Martin Marioth

Anneliese Marioth

Ilias Mariolakos

 

Other publications of authors with the same name

Complexity of super-coherence problems in ASP, , and . CoRR, (2012)Boolean Functions with Ordered Domains in Answer Set Programming., , and . AAAI, page 879-885. AAAI Press, (2016)Typicality, Conditionals and a Probabilistic Semantics for Gradual Argumentation., , and . NMR, volume 3464 of CEUR Workshop Proceedings, page 4-13. CEUR-WS.org, (2023)A Speech about Generative Datalog and Non-measurable Sets., and . ICLP Workshops, volume 2970 of CEUR Workshop Proceedings, CEUR-WS.org, (2021)Reasoning over Ontologies with DLV., , , , , , , , , and 5 other author(s). IC3K, volume 1222 of Communications in Computer and Information Science, page 114-136. Springer, (2018)Explaining Gradual Argumentation Semantics in a Conditional Multi-preferential Logic with Typicality., , and . AI³@AI*IA, volume 3546 of CEUR Workshop Proceedings, CEUR-WS.org, (2023)Towards a Conditional and Multi-preferential Approach to Explainability of Neural Network Models in Computational Logic (Extended Abstract)., , , , , , and . XAI.it@AI*IA, volume 3277 of CEUR Workshop Proceedings, page 64-72. CEUR-WS.org, (2022)Magic-Sets for Datalog with Existential Quantifiers., , , , and . Datalog, volume 7494 of Lecture Notes in Computer Science, page 31-43. Springer, (2012)Dynamic Magic Sets for Programs with Monotone Recursive Aggregates., , and . LPNMR, volume 6645 of Lecture Notes in Computer Science, page 148-160. Springer, (2011)Stable Model Semantics of Abstract Dialectical Frameworks Revisited: A Logic Programming Perspective., and . IJCAI, page 2684-2690. AAAI Press, (2015)