Results 301 to 306 of about 90,486 (306)

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 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

Probabilistic logic

Artificial Intelligence, 1986
openaire   +2 more sources

Probabilistic Entailment and a Non-Probabilistic Logic

Logic Journal of IGPL, 2003
openaire   +2 more sources

Probabilistic Logic and Relational Models

2014
openaire   +5 more sources

Logic with Probabilistic Operators

1995
openaire   +2 more sources