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

8 papers

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.LO2025

Integrating Belief Domains into Probabilistic Logic Programs

Damiano Azzolini, Fabrizio Riguzzi, Theresa Swift

Probabilistic Logic Programming (PLP) under the Distribution Semantics is a leading approach to practical reasoning under uncertainty. An advantage of the Distribution Semantics is…

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…

cs.CR2024★ 3 cited

A Synergistic Approach In Network Intrusion Detection By Neurosymbolic AI

Alice Bizzarri, Chung-En Yu, Brian Jalaian +2

The prevailing approaches in Network Intrusion Detection Systems (NIDS) are often hampered by issues such as high resource consumption, significant computational demands, and poor…

cs.PL2018★ 12 cited

Using SWISH to realise interactive web based tutorials for logic based languages

Jan Wielemaker, Fabrizio Riguzzi, Bob Kowalski +3

Programming environments have evolved from purely text based to using graphical user interfaces, and now we see a move towards web based interfaces, such as Jupyter. Web based inte…