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 | ||
|---|---|---|
| 2017 2018 2019 | AAAI | AAAI Conference on Artificial Intelligence |
| 2011 2015 2016 2017 2018 | IJCAI | International Joint Conference on Artificial Intelligence |
| 2018 | KR | International Conference on Principles of Knowledge Representation and Reasoning |
| 2017 2018 2019 | ICLP | International Conference on Logic Programming |
| 2019 | JELIA | European Conference on Logics in Artificial Intelligence |
| 2015 2017 | RuleML | International Joint Conference on Rules and Reasoning |
| 2016 2019 | PADL | International Symposium on Practical Aspects of Declarative Languages |
| 2015 | LNMR | International Workshop on Learning and Nonmonotonic Reasoning |
| 2014 2015 2016 2017 | 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 | |