[图书][B] Foundations of Probabilistic Logic Programming: Languages, semantics, inference and learning

F Riguzzi - 2023 - taylorfrancis.com
Since its birth, the field of Probabilistic Logic Programming has seen a steady increase of
activity, with many proposals for languages and algorithms for inference and learning. This …

[PDF][PDF] A Credal Least Undefined Stable Semantics for Probabilistic Logic Programs and Probabilistic Argumentation.

VHN Rocha, FG Cozman - KR, 2022 - sites.poli.usp.br
We present an approach to probabilistic logic programming and probabilistic argumentation
that combines elements of the L-stable semantics and the credal semantics. We derive the …

Explaining answers generated by knowledge graph embeddings

A Ruschel, AC Gusmão, FG Cozman - International Journal of Approximate …, 2024 - Elsevier
Completion of large-scale knowledge bases, such as DBPedia or Freebase, often relies on
embedding models that turn symbolic relations into vector-based representations. Such …

smProbLog: stable model semantics in problog for probabilistic argumentation

P Totis, L De Raedt, A Kimmig - Theory and Practice of Logic …, 2023 - cambridge.org
Argumentation problems are concerned with determining the acceptability of a set of
arguments from their relational structure. When the available information is uncertain …

Statistical statements in probabilistic logic programming

D Azzolini, E Bellodi, F Riguzzi - International Conference on Logic …, 2022 - Springer
Abstract Probabilistic Logic Programs under the distribution semantics (PLPDS) do not allow
statistical probabilistic statements of the form “90% of birds fly”, which were defined “Type 1” …

SMProbLog: Stable model semantics in ProbLog and its applications in argumentation

P Totis, A Kimmig, L De Raedt - arXiv preprint arXiv:2110.01990, 2021 - arxiv.org
We introduce SMProbLog, a generalization of the probabilistic logic programming language
ProbLog. A ProbLog program defines a distribution over logic programs by specifying for …

Specifying credal sets with probabilistic answer set programming

DD Mauá, FG Cozman - International Symposium on …, 2023 - proceedings.mlr.press
Abstract Probabilistic Answer Set Programming offers an intuitive and powerful declarative
language to represent uncertainty about combinatorial structures. Remarkably, under the …

Inference in probabilistic answer set programming under the credal semantics

D Azzolini, F Riguzzi - International Conference of the Italian Association …, 2023 - Springer
Abstract Probabilistic Answer Set Programming under the credal semantics (PASP)
describes an uncertain domain through an answer set program extended with probabilistic …

Learning Possibilistic Dynamic Systems from State Transitions

H Hu, Y Wang, K Inoue - Fuzzy Sets and Systems, 2025 - Elsevier
Learning from 1-step transitions (LF1T) has become a paradigm to construct a logical
hypothesis of a dynamic system, such as a Boolean network, from its synchronized state …

Generative datalog with stable negation

M Alviano, M Lanzinger, M Morak, A Pieris - Proceedings of the 42nd …, 2023 - dl.acm.org
Extending programming languages with stochastic behaviour such as probabilistic choices
or random sampling has a long tradition in computer science. A recent development in this …