10 citations · 13 across the 7 of their papers we have counts for
7 papers
Planning Task Shielding: Detecting and Repairing Flaws in Planning Tasks through Turning them Unsolvable
Alberto Pozanco, Pietro Totis, Marianela Morales +1
Most research in planning focuses on generating a plan to achieve a desired set of goals. However, a goal specification can also be used to encode a property that should never hold…
Unveiling Interesting Insights: Monte Carlo Tree Search for Knowledge Discovery
Pietro Totis, Alberto Pozanco, Daniel Borrajo
Organizations are increasingly focused on leveraging data from their processes to gain insights and drive decision-making. However, converting this data into actionable knowledge r…
GenPlanX. Generation of Plans and Execution
Daniel Borrajo, Giuseppe Canonaco, Tomás de la Rosa +10
Classical AI Planning techniques generate sequences of actions for complex tasks. However, they lack the ability to understand planning tasks when provided using natural language.…
Understanding ProbLog as Probabilistic Argumentation
Francesca Toni, Nico Potyka, Markus Ulbricht +1
ProbLog is a popular probabilistic logic programming language/tool, widely used for applications requiring to deal with inherent uncertainties in structured domains. In this paper…
smProbLog: Stable Model Semantics in ProbLog for Probabilistic Argumentation
Pietro Totis, Angelika Kimmig, Luc De Raedt
Argumentation problems are concerned with determining the acceptability of a set of arguments from their relational structure. When the available information is uncertain, probabil…
Efficient Knowledge Compilation Beyond Weighted Model Counting
Rafael Kiesel, Pietro Totis, Angelika Kimmig
Quantitative extensions of logic programming often require the solution of so called second level inference tasks, i.e., problems that involve a third operation, such as maximizati…
SMProbLog: Stable Model Semantics in ProbLog and its Applications in Argumentation
Pietro Totis, Angelika Kimmig, Luc De Raedt
We introduce SMProbLog, a generalization of the probabilistic logic programming language ProbLog. A ProbLog program defines a distribution over logic programs by specifying for eac…