Results 31 to 40 of about 14,132 (263)
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
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
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
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
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
Probabilistic logic learning [PDF]
ACM SIGKDD Explorations Newsletter, 2003 The past few years have witnessed an significant interest in probabilistic logic learning, i.e. in research lying at the intersection of probabilistic reasoning, logical representations, and machine learning. A rich variety of different formalisms and learning techniques have been developed.
Luc De Raedt, Kristian Kersting
openaire +1 more source
Games, 2016 The modeling of awareness and unawareness is a significant topic in the doxastic logic literature, where it is usually tackled in terms of full belief operators. The present paper aims at a treatment in terms of partial belief operators.
Mikaël Cozic
doaj +1 more source
Self-Organized Complexity and Coherent Infomax from the Viewpoint of Jaynes’s Probability Theory
Information, 2012 This paper discusses concepts of self-organized complexity and the theory of Coherent Infomax in the light of Jaynes’s probability theory. Coherent Infomax, shows, in principle, how adaptively self-organized complexity can be preserved and improved by ...
William A. Phillips
doaj +1 more source
DeepProbLog: Neural Probabilistic Logic Programming [PDF]
, 2018 Accepted for spotlight at NeurIPS ...
Manhaeve, Robin +4 more
openaire +4 more sources