Pietro Totis

Publication Activity (10 Years)

Years Active: 2018-2023
Publications (10 Years): 11

Top Topics

Stable Model Semantics

Top Venues

Theory Pract. Log. Program.

J. Artif. Intell. Res.

Publications

Pietro Totis, Angelika Kimmig, Luc De Raedt
smProbLog: Stable Model Semantics in ProbLog for Probabilistic Argumentation. CoRR (2023)
Pietro Totis, Luc De Raedt, Angelika Kimmig
. Theory Pract. Log. Program. 23 (6) (2023)
Francesca Toni, Nico Potyka, Markus Ulbricht, Pietro Totis
Understanding ProbLog as Probabilistic Argumentation. CoRR (2023)
Pietro Totis, Jesse Davis, Luc De Raedt, Angelika Kimmig
Lifted Reasoning for Combinatorial Counting. J. Artif. Intell. Res. 76 (2023)
Rafael Kiesel, Pietro Totis, Angelika Kimmig
Efficient Knowledge Compilation Beyond Weighted Model Counting. CoRR (2022)
Rafael Kiesel, Pietro Totis, Angelika Kimmig
Efficient Knowledge Compilation Beyond Weighted Model Counting. Theory Pract. Log. Program. 22 (4) (2022)
Pietro Totis, Angelika Kimmig, Luc De Raedt
SMProbLog: Stable Model Semantics in ProbLog and its Applications in Argumentation. CoRR (2021)
Simon Suster, Pieter Fivez, Pietro Totis, Angelika Kimmig, Jesse Davis, Luc De Raedt, Walter Daelemans
Mapping probability word problems to executable representations. EMNLP (1) (2021)
Marco De Bortoli, Federico Igne, Fabio Tardivo, Pietro Totis, Agostino Dovier, Enrico Pontelli
Towards Distributed Computation of Answer Sets. CILC (2019)
Ivan Namor, Pietro Totis, Samuele Garda, Manfred Stede
Mining Italian Short Argumentative Texts. CLiC-it (2019)
Pietro Totis, Manfred Stede
Classifying Italian newspaper text: news or editorial? CLiC-it (2018)