Results 11 to 20 of about 816,456 (248)
Probabilistic Reasoning in the Sciences [PDF]
The ReasonerReport on the Conference on Probabilistic Reasoning in the Sciences which took place at the Marche Polytechnic University in Ancona, Italy. 29-31 August 2024.
Michal Sikorski +2 more
doaj +2 more sources
Assume-guarantee verification for probabilistic systems [PDF]
, 2010 We present a compositional verification technique for systems that exhibit both probabilistic and nondeterministic behaviour. We adopt an assume- guarantee approach to verification, where both the assumptions made about system components and the ...
Kwiatkowska, M. +3 more
core +8 more sources
Science capital is related to probabilistic reasoning
Scientific ReportsRecognizing trustworthy scientific information is crucial in the current information era, and having sufficient resources to interact with and make use of scientific information is more important than ever.
Hanna Julku +4 more
doaj +2 more sources
A Probabilistic Assume-Guarantee Reasoning Framework Based on Genetic Algorithm
IEEE Access, 2019 Probabilistic assume-guarantee reasoning is a theoretically feasible way to alleviate the state space explosion problem in stochastic model checking. The key to probabilistic assume-guarantee reasoning is how to generate the assumption.
Yan Ma, Zining Cao, Yang Liu
doaj +1 more source
IDENTIFIKASI KEMAMPUAN PENALARAN ILMIAH SISWA SMA PADA MATERI SUHU DAN KALOR
Jurnal Pendidikan: Teori, Penelitian, dan Pengembangan, 2017 Scientific reasoning skills help students to explain concepts and argumentations, which is it’s beneficial for student. This article aims to identification pattern of scientific reasoning student that used to solving problems in heat and temperature ...
Ety Rimadani +2 more
doaj +1 more source
ByNowLife: A Novel Framework for OWL and Bayesian Network Integration
Information, 2019 An ontology-based system can currently logically reason through the Web Ontology Language Description Logic (OWL DL). To perform probabilistic reasoning, the system must use a separate knowledge base, separate processing, or third-party applications ...
Foni A. Setiawan +2 more
doaj +1 more source
Approximate reasoning for real-time probabilistic processes [PDF]
Logical Methods in Computer Science, 2006 We develop a pseudo-metric analogue of bisimulation for generalized semi-Markov processes. The kernel of this pseudo-metric corresponds to bisimulation; thus we have extended bisimulation for continuous-time probabilistic processes to a much broader ...
Vineet Gupta +2 more
doaj +1 more source
Probabilistic Logic under Coherence, Model-Theoretic Probabilistic Logic, and Default Reasoning in System P [PDF]
, 2001 We study probabilistic logic under the viewpoint of the coherence principle of de Finetti. In detail, we explore how probabilistic reasoning under coherence is related to model-theoretic probabilistic reasoning and to default reasoning in System P.
Lukasiewicz, T +10 more
core +1 more source
Qubahan Academic Journal, 2023 This research determined the effectiveness of the PACE (Present the error, Analyze the error, Correct the Error, Explain the error) technique in improving the mathematics performance in solving word problems among 7th Grade students in Harnett Central ...
Roghene A. Coloma +5 more
doaj +1 more source
Towards Probabilistic Reasoning in Type Theory - The Intersection Type Case [PDF]
, 2020 The development of different probabilistic models of uncertainty has been inspired by the rapid progress in various fields, e.g. in AI, probabilistic programming, etc.
Kasterovic, Simona +9 more
core +1 more source