Results 271 to 280 of about 1,042,976 (291)

Probabilistic Logics with Independence and Confirmation

Studia Logica, 2017
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Dragan Doder, Zoran Ognjanovic
openaire   +2 more sources

Probabilistic Neighbourhood Logic

2000
This paper presents a probabilistic extension of Neighbourhood Logic (NL[14,1],). The study of such an extension is motivated by the need to supply the Probabilistic Duration Calculus (PDC,[10,4]) with a proof system. The relation between the new logic and PDC is similar to that between DC [15] and ITL [12,3]. We present a complete proof system for the
openaire   +2 more sources

PL-a probabilistic logic

Proceedings. Fourth International Conference on Data Engineering, 2003
A description is given of a logic called PL, which uses probability estimates to express uncertainties (without adopting the conventional probability axioms). The author proposes a generalization of the logical interpretations of the connectives and quantifiers to this case.
openaire   +2 more sources

Probabilistic Logic Programming in Action

2017
Probabilistic Programming (PP) has recently emerged as an effective approach for building complex probabilistic models. Until recently PP was mostly focused on functional programming while now Probabilistic Logic Programming (PLP) forms a significant subfield.
Arnaud, Nguembang Fadja, Riguzzi, Fabrizio   +1 more
openaire   +3 more sources

Probabilistic Dynamic Epistemic Logic

Journal of Logic, Language and Information, 2003
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +3 more sources

Neural probabilistic logic programming in DeepProbLog

Artificial Intelligence, 2021
Robin Manhaeve, Angelika Kimmig, Luc de Raedt   +2 more
exaly  

Optochemical Control of DNA‐Switching Circuits for Logic and Probabilistic Computation

Angewandte Chemie - International Edition, 2021
Hao Pei, Chunhai Fan
exaly  

Abduction with probabilistic logic programming under the distribution semantics

International Journal of Approximate Reasoning, 2022
Riccardo Zese, Elena Bellodi, Damiano Azzolini   +2 more
exaly  

Probabilistic logic programming with conditional constraints

ACM Transactions on Computational Logic, 2001
Thomas Lukasiewicz
exaly  

Probabilistic logic under coherence, model-theoretic probabilistic logic, and default reasoning in SystemP

Journal of Applied Non-Classical Logics, 2002
Giuseppe Sanfilippo, Thomas Lukasiewicz   +1 more
exaly