Results 41 to 50 of about 188,896 (327)
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
Lifted Variable Elimination for Probabilistic Logic Programming
, 2014 Lifted inference has been proposed for various probabilistic logical frameworks in order to compute the probability of queries in a time that depends on the size of the domains of the random variables rather than the number of instances.
Bellodi, Elena +4 more
core +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
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
Advanced Functional Materials, EarlyView.An all‐in‐one analog AI accelerator is presented, enabling on‐chip training, weight retention, and long‐term inference acceleration. It leverages a BEOL‐integrated CMO/HfOx ReRAM array with low‐voltage operation (<1.5 V), multi‐bit capability over 32 states, low programming noise (10 nS), and near‐ideal weight transfer.
Donato Francesco Falcone +11 more
wiley +1 more source
Disjunctive Probabilistic Modal Logic is Enough for Bisimilarity on Reactive Probabilistic Systems [PDF]
, 2016 Larsen and Skou characterized probabilistic bisimilarity over reactive probabilistic systems with a logic including true, negation, conjunction, and a diamond modality decorated with a probabilistic lower bound.
Bernardo, Marco, Miculan, Marino
core +2 more sources