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 …
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 …
Argumentation problems are concerned with determining the acceptability of a set of arguments from their relational structure. When the available information is uncertain …
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” …
We introduce SMProbLog, a generalization of the probabilistic logic programming language ProbLog. A ProbLog program defines a distribution over logic programs by specifying for …
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 …
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 …
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 …
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 …