Results 41 to 50 of about 90,486 (306)
Probability Logic for Harsanyi Type Spaces [PDF]
Logical Methods in Computer Science, 2014 Probability logic has contributed to significant developments in belief types for game-theoretical economics. We present a new probability logic for Harsanyi Type spaces, show its completeness, and prove both a de-nesting property and a unique extension ...
Chunlai Zhou
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
Weighted versus Probabilistic Logics [PDF]
, 2009 While a mature theory around logics such as MSO, LTL, and CTL has been developed in the pure boolean setting of finite automata, weighted automata lack such a natural connection with (temporal) logic and related verification algorithms. In this paper, we will identify weighted versions of MSO and CTL that generalize the classical logics and even other ...
Gastin, Paul, Bollig, Benedikt
openaire +4 more sources
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
Probabilistic logic programming
Information and Computation, 1992 AbstractOf all scientific investigations into reasoning with uncertainty and chance, probability theory is perhaps the best understood paradigm. Nevertheless, all studies conducted thus far into the semantics of quantitative logic programming have restricted themselves to non-probabilistic semantic characterizations.
Raymond T. Ng, V. S. Subrahmanian
openaire +2 more sources
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
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
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
Probabilistic Logics and Probabilistic Networks
, 2011 While in principle probabilistic logics might be applied to solve a range of problems, in practice they are rarely applied at present. This is perhaps because they seem disparate, complicated, and computationally intractable. However, we shall argue in this programmatic paper that several approaches to probabilistic logic into a simple unifying ...
Romeijn, J.W. +3 more
openaire +3 more sources