Mario Alviano

Identifiers

• name variant Mario Alviano 0.60 · backfill

Papers (15)

1. Inconsistency Proofs for ASP: The ASP-DRUPE Format cs.LO · 2019 · author #1
2. Shared aggregate sets in answer set programming cs.LO · 2018 · author #1
3. Cautious reasoning in ASP via minimal models and unsatisfiable cores cs.LO · 2018 · author #1
4. Model enumeration in propositional circumscription via unsatisfiable core analysis cs.AI · 2017 · author #1
5. Anytime answer set optimization via unsatisfiable core shrinking cs.LO · 2016 · author #1
6. Semantics and Compilation of Answer Set Programming with Generalized Atoms cs.AI · 2014 · author #1
7. Preliminary Report on WASP 2.0 cs.AI · 2014 · author #1
8. Unfounded Sets and Well-Founded Semantics of Answer Set Programs with Aggregates cs.LO · 2014 · author #1
9. Properties of Answer Set Programming with Convex Generalized Atoms cs.AI · 2013 · author #1
10. Translating NP-SPEC into ASP cs.AI · 2013 · author #1
11. Disjunctive Datalog with Existential Quantifiers: Semantics, Decidability, and Complexity Issues cs.AI · 2012 · author #1
12. Magic Sets for Disjunctive Datalog Programs cs.AI · 2012 · author #1
13. Team-building with Answer Set Programming in the Gioia-Tauro Seaport cs.LO · 2011 · author #3
14. Dynamic Magic Sets for Super-Consistent Answer Set Programs cs.LO · 2010 · author #1
15. Disjunctive ASP with Functions: Decidable Queries and Effective Computation cs.LO · 2010 · author #1

Mentions

• 1405.1287 #1 · backfill · confidence 0.70 Mario Alviano
• 1404.6999 #1 · backfill · confidence 0.70 Mario Alviano
• 1401.4596 #1 · backfill · confidence 0.70 Mario Alviano
• 1312.6096 #1 · backfill · confidence 0.70 Mario Alviano
• 1301.1385 #1 · backfill · confidence 0.70 Mario Alviano
• 1210.2316 #1 · backfill · confidence 0.70 Mario Alviano
• 1204.6346 #1 · backfill · confidence 0.70 Mario Alviano
• 1101.4554 #3 · backfill · confidence 0.70 Mario Alviano
• 1011.4377 #1 · backfill · confidence 0.70 Mario Alviano
• 1007.4028 #1 · backfill · confidence 0.70 Mario Alviano

Frequent Coauthors

• Wolfgang Faber 8 shared papers
• Carmine Dodaro 5 shared papers
• Nicola Leone 5 shared papers
• Francesco Ricca 2 shared papers
• Marco Manna 2 shared papers
• Marco Maratea 2 shared papers
• Alessandro Previti 1 shared papers
• Francesco Calimeri 1 shared papers
• Gianluigi Greco 1 shared papers
• Giovanni Grasso 1 shared papers
• Jakob Rath 1 shared papers
• Johannes K. Fichte 1 shared papers
• Markus Hecher 1 shared papers
• Matti J\"arvisalo 1 shared papers
• Salvatore Iiritano 1 shared papers
• Simona Perri 1 shared papers
• Tobias Philipp 1 shared papers
• Vincenzino Lio 1 shared papers