( en | de | ru )

 

Disambiguation of "Alviano, Mario"

Author of the publication

copydeleteadd this publication to your clipboard
A MaxSAT Algorithm Using Cardinality Constraints of Bounded Size.

, , and . IJCAI, page 2677-2683. AAAI Press, (2015)

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

Anneliese Marioth

Martin Marioth

Ilias Mariolakos

 

Other publications of authors with the same name

Model Enumeration via Assumption Literals., and . Fundam. Informaticae, 167 (1-2): 31-58 (2019)Dynamic Magic Sets and super-coherent answer set programs., and . AI Commun., 24 (2): 125-145 (2011)Enhancing Magic Sets with an Application to Ontological Reasoning., , , and . Theory Pract. Log. Program., 19 (5-6): 654-670 (2019)Anytime Computation of Cautious Consequences in Answer Set Programming., , and . Theory Pract. Log. Program., 14 (4-5): 755-770 (2014)Dynamic Magic Sets for Programs with Monotone Recursive Aggregates., , and . LPNMR, volume 6645 of Lecture Notes in Computer Science, page 148-160. Springer, (2011)Magic-Sets for Datalog with Existential Quantifiers., , , , and . Datalog, volume 7494 of Lecture Notes in Computer Science, page 31-43. Springer, (2012)Stable Model Semantics of Abstract Dialectical Frameworks Revisited: A Logic Programming Perspective., and . IJCAI, page 2684-2690. AAAI Press, (2015)Complexity of super-coherence problems in ASP, , and . CoRR, (2012)Many-valued Argumentation, Conditionals and a Probabilistic Semantics for Gradual Argumentation., , and . CoRR, (2022)The Third Answer Set Programming Competition: Preliminary Report of the System Competition Track., , , , , , , , , and 9 other author(s). LPNMR, volume 6645 of Lecture Notes in Computer Science, page 388-403. Springer, (2011)