Efficient knowledge compilation beyond weighted model counting R Kiesel, P Totis, A Kimmig Theory and Practice of Logic Programming 22 (4), 505-522, 2022 | 17 | 2022 |
smProbLog: stable model semantics in problog for probabilistic argumentation P Totis, L De Raedt, A Kimmig Theory and Practice of Logic Programming 23 (6), 1198-1247, 2023 | 14 | 2023 |
SMProbLog: Stable model semantics in ProbLog and its applications in argumentation P Totis, A Kimmig, L De Raedt arXiv preprint arXiv:2110.01990, 2021 | 14 | 2021 |
Mapping probability word problems to executable representations S Suster, P Fivez, P Totis, A Kimmig, J Davis, L De Raedt, W Daelemans Proceedings of the 2021 conference on empirical methods in natural language …, 2021 | 12 | 2021 |
Lifted reasoning for combinatorial counting P Totis, J Davis, L De Raedt, A Kimmig Journal of Artificial Intelligence Research 76, 1-58, 2023 | 6 | 2023 |
Classifying Italian newspaper text: news or editorial? P Totis, M Stede Computational Linguistics CLiC-it 2018, 372, 2018 | 3 | 2018 |
Understanding ProbLog as Probabilistic Argumentation F Toni, N Potyka, M Ulbricht, P Totis arXiv preprint arXiv:2308.15891, 2023 | 2 | 2023 |
Mining Italian Short Argumentative Texts. I Namor, P Totis, S Garda, M Stede CLiC-it, 2019 | 2 | 2019 |
Towards Distributed Computation of Answer Sets. M De Bortoli, F Igne, F Tardivo, P Totis, A Dovier, E Pontelli CILC, 316-326, 2019 | 1 | 2019 |
Can Better Solvers Find Better Matches? Assessing Math-LLM Models in Similar Problem Identification SS Abraham, P Totis, M Alirezaie, L De Raedt | | 2025 |
Declarative Modelling and Reasoning for Combinatorial Problem Solving and Argumentation under Uncertainty P Totis | | 2023 |