All Stories

  1. ASP-based Multi-shot Reasoning via DLV2 with Incremental Grounding

    Article • September 2022, ACM (Association for Computing Machinery)

    Francesco Calimeri, Simona Perri, Jessica Zangari, Francesco Pacenza