activity
20212025
most citedContinuous reasoning for adaptive container image distribution in the cloud-edge continuum

3 citations · 8 across the 9 of their papers we have counts for

collaborators

9 papers

cs.LO2025

Application Placement with Constraint Relaxation

Damiano Azzolini, Marco Duca, Stefano Forti +2

Novel utility computing paradigms rely upon the deployment of multi-service applications to pervasive and highly distributed cloud-edge infrastructure resources. Deciding onto whic…

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.DC2024★ 3 cited

Continuous reasoning for adaptive container image distribution in the cloud-edge continuum

Damiano Azzolini, Stefano Forti, Antonio Ielo

Cloud-edge computing requires applications to operate across diverse infrastructures, often triggered by cyber-physical events. Containers offer a lightweight deployment option but…

cs.LO2021★ 1 cited

Syntactic Requirements for Well-defined Hybrid Probabilistic Logic Programs

Damiano Azzolini, Fabrizio Riguzzi

Hybrid probabilistic logic programs can represent several scenarios thanks to the expressivity of Logic Programming extended with facts representing discrete and continuous distrib…

cs.LO2021

Optimizing Probabilities in Probabilistic Logic Programs

Damiano Azzolini, Fabrizio Riguzzi

Probabilistic Logic Programming is an effective formalism for encoding problems characterized by uncertainty. Some of these problems may require the optimization of probability val…