Publications

of year 2021

Articles in journal, book chapters

  1. Elena Bellodi, Marco Gavanelli, Riccardo Zese, Evelina Lamma, and Fabrizio Riguzzi. Nonground Abductive Logic Programming with Probabilistic Integrity Constraints. Theory and Practice of Logic Programming, 21(5):557-574, 2021.
  2. Wen-Chi Yang, Jean-François Raskin, and Luc De Raedt. Lifted Model Checking for Relational MDPs. arXiv preprint arXiv:2106.11735, 2021.

Conference articles

  1. Igor Stéphan. First-order ASP programs as CHR programs. In SAC '21: Proc. 36th ACM Symp. Applied Computing, pages 881-888, 2021.

BACK TO INDEX