Results 21 to 30 of about 794,201 (275)
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
Probabilistic constraint reasoning [PDF]
Constraints, 2015 Dissertacao apresentada para obtencao do Grau de Doutor em Engenharia Informatica, pela Universidade Nova de Lisboa, Faculdade de Ciencias e ...
openaire +2 more sources
On Practical Reasoning and Automated Planning [PDF]
, 2012 Practical reasoning and automated planning are strictly related as they strive to answer to the same question: “which is the best course of action for an agent?” While the first research field addressed this topic mainly from an epistemological point of ...
Vallati, Mauro, Cerutti, Federico
core +3 more sources
Probabilistic Causal Reasoning
CoRR, 2013 Predicting the future is an important component of decision making. In most situations, however, there is not enough information to make accurate predictions. In this paper, we develop a theory of causal reasoning for predictive inference under uncertainty.
Thomas L. Dean, Keiji Kanazawa
openaire +3 more sources
Probabilistic Inference and Probabilistic Reasoning [PDF]
Philosophical Topics, 1990 Uncertainty enters into human reasoning and inference in at least two ways. It is reasonable to suppose that there will be roles for these distinct uses of uncertainty also in automated reasoning.
openaire +4 more sources
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
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
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
Identifikasi Kemampuan Berpikir Logis Mahasiswa Calon Guru Fisika Menggunakan Instrument TOLT
JPFT (Jurnal Pendidikan Fisika dan Teknologi), 2021 This study aimed to identify the type of reasoning and the level of prospective physics teacher studentsââ¬â¢ logical thinking ability. This type of research was a field study with a quantitative descriptive method.
Rahmawati Rahmawati +2 more
doaj +1 more source