Results 1 to 10 of about 81,262 (253)

Logic + probabilistic programming + causal laws

Royal Society Open Science, 2023
Probabilistic planning attempts to incorporate stochastic models directly into the planning process, which is the problem of synthesizing a sequence of actions that achieves some objective for a putative agent.
Vaishak Belle
doaj   +6 more sources

Probabilistic (logic) programming concepts [PDF]

Machine Learning, 2015
A multitude of different probabilistic programming languages exists today, all extending a traditional programming language with primitives to support modeling of complex, structured probability distributions.
A Kimmig, A Kimmig, A Skarlatidis, Angelika Kimmig, B Gutmann, C Baral, D Fierens, D Maeyer De, D Poole, D Poole, DS Warren, E Bellodi, F Riguzzi, F Riguzzi, F Riguzzi, F Riguzzi, I Thon, J Pearl, J Renkens, J Sneyers, J Vennekens, JW Lloyd, K Kersting, L Raedt De, LG Valiant, Luc De Raedt, M Heijden van der, M Huth, M Richardson, MP Wellman, N Fuhr, PA Flach, S Muggleton, S Mørk, SJ Russell, T Sato, T Sato, WW Cohen   +37 more
core   +6 more sources

Meta-analysis of the functional neuroimaging literature with probabilistic logic programming [PDF]

Scientific Reports, 2022
Inferring reliable brain-behavior associations requires synthesizing evidence from thousands of functional neuroimaging studies through meta-analysis.
Majd Abdallah, Valentin Iovene, Gaston Zanitti, Demian Wassermann   +3 more
doaj   +2 more sources

Coalgebraic Semantics for Probabilistic Logic Programming [PDF]

Logical Methods in Computer Science, 2021
Probabilistic logic programming is increasingly important in artificial intelligence and related fields as a formalism to reason about uncertainty. It generalises logic programming with the possibility of annotating clauses with probabilities. This paper
Tao Gu, Fabio Zanasi
doaj   +7 more sources

DeepProbLog : neural probabilistic logic programming [PDF]

Artificial Intelligence, 2018
Accepted for spotlight at NeurIPS ...
De Raedt, L., Demeester, Thomas, Dumancic, S., Kimmig, A., Manhaeve, R.   +4 more
core   +14 more sources

A Probabilistic Logic Programming Event Calculus [PDF]

Theory and Practice of Logic Programming, 2013
We present a system for recognising human activity given a symbolic representation of video content. The input of our system is a set of time-stamped short-term activities (STA) detected on video frames.
ALEXANDER ARTIKIS, ANASTASIOS SKARLATIDIS, Artikis, Biswas, Brendel, Bruynooghe, Cugola, Fierens, GEORGIOS PALIOURAS, Helaoui, JASON FILIPPOU, Kembhavi, Kosmopoulos, Lafferty, Luckham, Moldovan, Morariu, Natarajan, Sadilek, Selman, Shet, Shet, Siskind, Skarlatidis, Tran, Vail, Wang, Wu   +27 more
core   +2 more sources

Probabilistic Constraint Logic Programming

, 1997
This paper addresses two central problems for probabilistic processing models: parameter estimation from incomplete data and efficient retrieval of most probable analyses.
Riezler, Stefan
core   +4 more sources

Direct design of ground-state probabilistic logic using many-body interactions for probabilistic computing [PDF]

Scientific Reports
In this work, an innovative design model aimed at enhancing the efficacy of ground-state probabilistic logic with a binary energy landscape (GSPL-BEL) is presented.
Yihan He, Sheng Luo, Chao Fang, Gengchiau Liang   +3 more
doaj   +2 more sources

On the Strong Equivalences for LPMLN Programs [PDF]

Logical Methods in Computer Science, 2021
LPMLN is a powerful knowledge representation and reasoning tool that combines the non-monotonic reasoning ability of Answer Set Programming (ASP) and the probabilistic reasoning ability of Markov Logic Networks (MLN).
Bin Wang, Jun Shen, Shutao Zhang, Zhizheng Zhang   +3 more
doaj   +1 more source

Probabilistic Logic Models for the Lightning Network

Cryptography, 2022
The Lightning Network (LN) has emerged as one of the prominent solutions to overcome the biggest limit of blockchain based on PoW: scalability. LN allows for creating a layer on top of an existing blockchain where users can send payments and micro ...
Damiano Azzolini, Fabrizio Riguzzi
doaj   +1 more source