Research

Some research activities of mine
Chair Activity
2019 Program Chair of AIxIA 2019 , the 18th International Conference of the Italian Association for Artificial Intelligence
2019 Program Chair of Datalog 2.0 2019 , the 3rd International Workshop on the Resurgence of Datalog in Academia and Industry
2019 Workshops Chair of LPNMR 2019 , the 15th International Conference on Logic Programming and Nonmonotonic Reasoning
Program Committes
201720182019 AAAI AAAI Conference on Artificial Intelligence
20112015201620172018 IJCAI International Joint Conference on Artificial Intelligence
2018 KR International Conference on Principles of Knowledge Representation and Reasoning
201720182019 ICLP International Conference on Logic Programming
2019 JELIA European Conference on Logics in Artificial Intelligence
20152017 RuleML International Joint Conference on Rules and Reasoning
20162019 PADL International Symposium on Practical Aspects of Declarative Languages
2015 LNMR International Workshop on Learning and Nonmonotonic Reasoning
2014201520162017 RCRA Experimental evaluation of algorithms for solving problems with combinatorial explosion
2018 PoS Pragmatics of SAT
2018 CILC Italian Conference on Computational Logic
2018 SAFA International Workshop on Systems and Algorithms for Formal Argumentation
2019 EPIA EPIA Conference on Artificial Intelligence
2019 ASPOCP Workshop on Answer Set Programming and Other Computing Paradigms
Publications (selection)
AIJ Mario Alviano, Wolfgang Faber, Gianluigi Greco, Nicola Leone:
Magic Sets for disjunctive Datalog programs.
Artif. Intell. 187: 156-192 (2012)
JAIR Mario Alviano, Francesco Calimeri, Wolfgang Faber, Nicola Leone, Simona Perri:
Unfounded Sets and Well-Founded Semantics of Answer Set Programs with Aggregates.
J. Artif. Intell. Res. 42: 487-527 (2011)
TPLP Mario Alviano, Carmine Dodaro:
Anytime answer set optimization via unsatisfiable core shrinking.
TPLP 16(5-6): 533-551 (2016)
TPLP Mario Alviano, Nicola Leone:
Complexity and compilation of GZ-aggregates in answer set programming.
TPLP 15(4-5): 574-587 (2015)
TPLP Mario Alviano, Carmine Dodaro, Francesco Ricca:
Anytime Computation of Cautious Consequences in Answer Set Programming.
TPLP 14(4-5): 755-770 (2014)
IJCAI Mario Alviano, Carmine Dodaro, Francesco Ricca:
A MaxSAT Algorithm Using Cardinality Constraints of Bounded Size.
IJCAI 2015: 2677-2683
LPNMR Mario Alviano, Carmine Dodaro, Nicola Leone, Francesco Ricca:
Advances in WASP.
LPNMR 2015: 40-54
KR Paul Saikko, Carmine Dodaro, Mario Alviano, Matti Järvisalo:
A Hybrid Approach to Optimization in Answer Set Programming.
KR 2018: 32-41
AAAI Mario Alviano, Wolfgang Faber, Hannes Strass:
Boolean Functions with Ordered Domains in Answer Set Programming.
AAAI 2016: 879-885
PODS Mario Alviano, Andreas Pieris:
Default Negation for Non-Guarded Existential Rules.
PODS 2015: 79-90