Articles in journal, book chapters
- 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.
- 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
- 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