activity
20182025
most citedUsing SWISH to realise interactive web based tutorials for logic based languages

12 citations · 19 across the 8 of their papers we have counts for

collaborators
Showing cs.AIShow all

5 papers · 1 filter

cs.AI2025

Predicate Renaming via Large Language Models

Elisabetta Gentili, Tony Ribeiro, Fabrizio Riguzzi +1

In this paper, we address the problem of giving names to predicates in logic rules using Large Language Models (LLMs). In the context of Inductive Logic Programming, various rule g…

cs.AI2024★ 2 cited

Probabilistic Answer Set Programming with Discrete and Continuous Random Variables

Damiano Azzolini, Fabrizio Riguzzi

Probabilistic Answer Set Programming under the credal semantics (PASP) extends Answer Set Programming with probabilistic facts that represent uncertain information. The probabilist…

cs.AI2024

Solving Decision Theory Problems with Probabilistic Answer Set Programming

Damiano Azzolini, Elena Bellodi, Rafael Kiesel +1

Solving a decision theory problem usually involves finding the actions, among a set of possible ones, which optimize the expected reward, possibly accounting for the uncertainty of…

cs.AI2024★ 2 cited

Symbolic Parameter Learning in Probabilistic Answer Set Programming

Damiano Azzolini, Elisabetta Gentili, Fabrizio Riguzzi

Parameter learning is a crucial task in the field of Statistical Relational Artificial Intelligence: given a probabilistic logic program and a set of observations in the form of in…

cs.AI2024

Fast Inference for Probabilistic Answer Set Programs via the Residual Program

Damiano Azzolini, Fabrizio Riguzzi

When we want to compute the probability of a query from a Probabilistic Answer Set Program, some parts of a program may not influence the probability of a query, but they impact on…