Results 231 to 240 of about 14,132 (263)
Some of the next articles are maybe not open access.
Probabilistic Automata and Probabilistic Logic
2012We present a monadic second-order logic which is extended by an expected value operator and show that this logic is expressively equivalent to probabilistic automata for both finite and infinite words. We give possible syntax extensions and an embedding of our probabilistic logic into weighted MSO logic. We further derive decidability results which are
openaire +1 more source
Probabilistic Neighbourhood Logic
2000This paper presents a probabilistic extension of Neighbourhood Logic (NL[14,1],). The study of such an extension is motivated by the need to supply the Probabilistic Duration Calculus (PDC,[10,4]) with a proof system. The relation between the new logic and PDC is similar to that between DC [15] and ITL [12,3]. We present a complete proof system for the
openaire +1 more source
2001
The notion of “vagueness” must be sharply distinguished from the notion of “uncertainty”. Accordingly, fuzzy logic must be sharply distinguished from probabilistic logic. Indeed, a graded truth value for a formula α mustn’t be confused with a measure of our degree of belief in α.
openaire +1 more source
The notion of “vagueness” must be sharply distinguished from the notion of “uncertainty”. Accordingly, fuzzy logic must be sharply distinguished from probabilistic logic. Indeed, a graded truth value for a formula α mustn’t be confused with a measure of our degree of belief in α.
openaire +1 more source
Molecules with a sense of logic: a progress report
Chemical Society Reviews, 2015Joakim Andréasson, Uwe Pischel
exaly
Tribotronic Logic Circuits and Basic Operations
Advanced Materials, 2015Chi Zhang, Zhong Lin Wang
exaly
A supramolecular chemistry basis for molecular logic and computation
Coordination Chemistry Reviews, 2007Amilra Prasanna De Silva
exaly
Complexity and expressive power of logic programming
ACM Computing Surveys, 2001Thomas Eiter, Georg Gottlob
exaly