Showing cs.AIShow all
2 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
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…