Results 31 to 40 of about 189,472 (279)
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
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
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
New Directions in Categorical Logic, for Classical, Probabilistic and Quantum Logic [PDF]
Logical Methods in Computer Science, 2015 Intuitionistic logic, in which the double negation law not-not-P = P fails, is dominant in categorical logic, notably in topos theory. This paper follows a different direction in which double negation does hold.
Bart Jacobs
doaj +1 more source
HyperPCTL: A Temporal Logic for Probabilistic Hyperproperties
, 2018 In this paper, we propose a new logic for expressing and reasoning about probabilistic hyperproperties. Hyperproperties characterize the relation between different independent executions of a system.
Abraham, Erika, Bonakdarpour, Borzoo
core +1 more source
On the Implementation of the Probabilistic Logic Programming Language ProbLog [PDF]
, 2009 The past few years have seen a surge of interest in the field of probabilistic logic learning and statistical relational learning. In this endeavor, many probabilistic logics have been developed.
ANGELIKA KIMMIG +23 more
core +3 more sources
Numerical Probabilistic Load Flow Analysis in Modern Power Systems with Intermittent Energy Sources
Energies, 2022 Renewable resources integration through distributed generation (DG) affects conventional consideration of power system performance and confronts deterministic load flow (DLF) analysis with serious challenges.
Filip Mišurović, Saša Mujović
doaj +1 more source
EXPTIME Tableaux for the Coalgebraic mu-Calculus [PDF]
Logical Methods in Computer Science, 2011 The coalgebraic approach to modal logic provides a uniform framework that captures the semantics of a large class of structurally different modal logics, including e.g. graded and probabilistic modal logics and coalition logic.
Corina Cirstea +2 more
doaj +1 more source