All Stories

  1. Generative Datalog with Stable Negation

    Article • June 2023, ACM (Association for Computing Machinery)

    Dr Mario Alviano, Matthias Lanzinger

  2. Unsatisfiable Core Analysis and Aggregates for Optimum Stable Model Search

    Article • Fundamenta Informaticae, December 2020, IOS Press

    Dr Mario Alviano

  3. Argumentation Reasoning via Circumscription with Pyglaf

    Article • Fundamenta Informaticae, June 2019, IOS Press

    Dr Mario Alviano

  4. Model Enumeration via Assumption Literals

    Article • Fundamenta Informaticae, June 2019, IOS Press

    Dr Mario Alviano

  5. Coalition formation in social environments with logic-based agents1

    Article • AI Communications, September 2018, IOS Press

    Dr Mario Alviano

  6. Stable Model Semantics for Tuple-Generating Dependencies Revisited

    Article • May 2017, ACM (Association for Computing Machinery)

    Dr Mario Alviano

  7. Evaluating Answer Set Programming with Non-Convex Recursive Aggregates

    Article • Fundamenta Informaticae, December 2016, IOS Press

    Dr Mario Alviano

  8. Default Negation for Non-Guarded Existential Rules

    Article • May 2015, ACM (Association for Computing Machinery)

    Dr Mario Alviano