Results 31 to 40 of about 794,201 (275)

Activation of midbrain and ventral striatal regions implicates salience processing during a modified beads task. [PDF]

PLoS ONE, 2013
IntroductionMetacognition, i.e. critically reflecting on and monitoring one's own reasoning, has been linked behaviorally to the emergence of delusions and is a focus of cognitive therapy in patients with schizophrenia. However, little is known about the
Christine Esslinger, Urs Braun, Frederike Schirmbeck, Andreia Santos, Andreas Meyer-Lindenberg, Mathias Zink, Peter Kirsch   +6 more
doaj   +1 more source

Modal Specifications for Probabilistic Timed Systems [PDF]

Electronic Proceedings in Theoretical Computer Science, 2013
Modal automata are a classic formal model for component-based systems that comes equipped with a rich specification theory supporting abstraction, refinement and compositional reasoning.
Tingting Han, Christian Krause, Marta Kwiatkowska, Holger Giese   +3 more
doaj   +1 more source

Quantitative multi-objective verification for probabilistic systems [PDF]

, 2011
We present a verification framework for analysing multiple quantitative objectives of systems that exhibit both nondeterministic and stochastic behaviour.
Marta Kwiatkowska, Parker, D., Qu, H., Hongyang Qu, Forejt, Vojtech, Norman, G., Norman, G, Forejt, V., Vojtěch Forejt, Parker, D, Kwiatkowska, MZ, Kwiatkowska, M., David Parker, Leino, KRM, Qu, H, Gethin Norman, Forejt, V, Abdulla, PA   +17 more
core   +1 more source

Normative benchmarks are useful for studying individual differences in reasoning [PDF]

, 2011
We applaud many aspects of Elqayam & Evans' (E&E's) call for a descriptivist research programme in studying reasoning. Nevertheless, we contend that normative benchmarks are vital for understanding individual differences in performance. We argue that the
Stupple, Edward J. N., Linden J. Ball, Ball, Linden J., Stupple, Edward, Ball, Linden, Edward J. N. Stupple   +5 more
core   +1 more source

Mapping Validation by Probabilistic Reasoning [PDF]

, 2008
In the semantic web environment, where several independent ontologies are used in order to describe knowledge and data, ontologies have to be aligned by defining mappings among the elements of one ontology and the elements of another ontology. Very often, mappings are not derived from the semantics of the ontologies that are compared.
Silvana Castano, Alfio Ferrara, Davide Lorusso, Tobias Henrik Näth, Ralf Möller 0001   +4 more
openaire   +3 more sources

BayesNetBP: An R Package for Probabilistic Reasoning in Bayesian Networks

Journal of Statistical Software, 2020
The BayesNetBP package has been developed for probabilistic reasoning and visualization in Bayesian networks with nodes that are purely discrete, continuous or mixed (discrete and continuous).
Han Yu, Janhavi Moharil, Rachael Hageman Blair   +2 more
doaj   +1 more source

Probabilistic Couplings for Probabilistic Reasoning

CoRR, 2017
This thesis explores proofs by coupling from the perspective of formal verification. Long employed in probability theory and theoretical computer science, these proofs construct couplings between the output distributions of two probabilistic processes. Couplings can imply various guarantees comparing two runs of a probabilistic computation.
openaire   +2 more sources

A Logic For Inductive Probabilistic Reasoning [PDF]

Synthese, 2005
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +4 more sources

IS CAUSAL REASONING HARDER THAN PROBABILISTIC REASONING?

The Review of Symbolic Logic, 2022
AbstractMany tasks in statistical and causal inference can be construed as problems of entailment in a suitable formal language. We ask whether those problems are more difficult, from a computational perspective, for causal probabilistic languages than for pure probabilistic (or “associational”) languages.
Milan Mossé, Duligur Ibeling, Thomas Icard   +2 more
openaire   +4 more sources

Model fitting data from syllogistic reasoning experiments

Data in Brief, 2016
The data presented in this article are related to the research article entitled “Probabilistic representation in syllogistic reasoning: A theory to integrate mental models and heuristics” (M. Hattori, 2016) [1].
Masasi Hattori
doaj   +1 more source