Results 31 to 40 of about 188,896 (327)
Probabilistic description logic programs [PDF]
International Journal of Approximate Reasoning, 2005 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +3 more sources
ProbLog2: Probabilistic Logic Programming [PDF]
, 2015 We present ProbLog2, the state of the art implementation of the probabilistic programming language ProbLog. The ProbLog language allows the user to intuitively build programs that do not only encode complex interactions between a large sets of heterogenous components but also the inherent uncertainties that are present in real-life situations.
Dries, Anton +6 more
openaire +2 more sources
Learning probabilistic logic models from probabilistic examples [PDF]
Machine Learning, 2008 We revisit an application developed originally using abductive Inductive Logic Programming (ILP) for modeling inhibition in metabolic networks. The example data was derived from studies of the effects of toxins on rats using Nuclear Magnetic Resonance (NMR) time-trace analysis of their biofluids together with background knowledge representing a subset ...
Chen, J, Muggleton, S, Santos, J
openaire +5 more sources
Entropy, 2015 For conditional probabilistic knowledge bases with conditionals based on propositional logic, the principle of maximum entropy (ME) is well-established, determining a unique model inductively completing the explicitly given knowledge.
Christoph Beierle +2 more
doaj +1 more source
Probability-Based Centralized Device for Spectrum Handoff in Cognitive Radio Networks
IEEE Access, 2019 Wireless communication technology is the future of communication, but rapid growth in wireless technology has led to a scarcity in the spectrum. Thus, the world has moved away from fixed spectrum allocation to dynamic spectrum allocation. Cognitive radio
Manav Aggarwal +5 more
doaj +1 more source
On-Line Surface Roughness Prediction by Using a Probabilistic Approach for End-Milling
IEEE Access, 2019 An effective and efficient methodology is proposed to predict surface roughness by online monitoring of surface quality using accelerometer signals. A probabilistic approach, Monte Carlo Simulation, was researched and developed to create an automated ...
Oguz Kayabasi, Senol Erturk
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
An Algorithm for Probabilistic Alternating Simulation [PDF]
, 2012 In probabilistic game structures, probabilistic alternating simulation (PA-simulation) relations preserve formulas defined in probabilistic alternating-time temporal logic with respect to the behaviour of a subset of players. We propose a partition based
C. Baier +19 more
core +3 more sources
Logic and Probabilistic Update [PDF]
, 2014 This chapter surveys recent work on probabilistic extensions of epistemic and dynamic-epistemic logics (the latter include the basic system of public announcement logic as well as the full product update logic). It emphasizes the importance of higher-order information as a distinguishing feature of these logics.
Demey, Lorenz, Kooi, Barteld
openaire +2 more sources
A Unified Approach to Semantic Information and Communication Based on Probabilistic Logic
IEEE Access, 2022 Traditionally, studies on technical communication (TC) are based on stochastic modeling and manipulation. This is not sufficient for semantic communication (SC) where semantic elements are logically connected, rather than stochastically correlated.
Jinho Choi, Seng W. Loke, Jihong Park
doaj +1 more source