Unnes Journal of Mathematics Education, 2018 The objective of this study is to determine does the AIR learning is effective towards students’ mathematical reasoning ability grade XI SMA 2 Pati on the sequence and the series material.
Arief Agoestanto +2 more
doaj +1 more source
Eksperimentasi Model Pembelajaran Berbasis Masalah Dan Problem Posing Pada Materi Bangun Ruang Sisi Datar Ditinjau Dari Kemampuan Penalaran Siswakelas VIII SMP Negeri Di Kabupaten Banyumas Tahun Pelajaran 2013/2014 [PDF]
, 2014 The objective of this research was to investigate the effect of the learning models on the learning achievement in Mathematics viewed from the reasoning ability of the students.
Budiyono, B. (Budiyono) +2 more
core
Applying knowledge compilation techniques to model-based reasoning [PDF]
Researchers in the area of knowledge compilation are developing general purpose techniques for improving the efficiency of knowledge-based systems. In this article, an attempt is made to define knowledge compilation, to characterize several classes of ...
Keller, Richard M.
core +1 more source
The Bayesian Case Model: A Generative Approach for Case-Based Reasoning and Prototype Classification [PDF]
, 2014 We present the Bayesian Case Model (BCM), a general framework for Bayesian case-based reasoning (CBR) and prototype classification and clustering. BCM brings the intuitive power of CBR to a Bayesian generative framework.
Kim, Been, Rudin, Cynthia, Shah, Julie
core +2 more sources
Working group in model-based design and reasoning. Part II: design [PDF]
, 1996 Boi Faltings
openalex +1 more source
Model Based Deduction for Database Schema Reasoning
, 2004 We aim to demonstrate that automated deduction techniques, in particular those following the model computation paradigm, are very well suited for database schema/query reasoning. Specifically, we present an approach to compute completed paths for database or XPath queries.
Baumgartner, Peter +3 more
openaire +2 more sources
Work-in-progress Assume-guarantee reasoning with ioco [PDF]
, 2004 This paper presents a combination between the assume-guarantee paradigm and the testing relation ioco. The assume-guarantee paradigm is a ”divide and conquer” technique that decomposes the verification of a system into smaller tasks that involve the ...
Brandan Briones, Laura +2 more
core +2 more sources
Fuzzy Inductive Reasoning Model-Based Fault Detection Applied to a Commercial Aircraft [PDF]
, 2000 Josep M. Mirats Tur +1 more
openalex +1 more source
Model-Based Reasoning in Crime Prevention
, 2017 Model-based reasoning approaches can be used to formalize and analyze (informal) theories from the field of criminology, to help gain more insight in criminological phenomena that were not clear based on just the informal theory. The analysis of the displacement of crime is an important research interest in criminological research.
Gerritsen, Charlotte, Bosse, T.
openaire +2 more sources
Dynamics of Inductive Inference in a Unified Framework [PDF]
We present a model of inductive inference that includes, as special cases, Bayesian reasoning, case-based reasoning, and rule-based reasoning. This unified framework allows us to examine, positively or normatively, how the various modes of inductive ...
David Schmeidler +2 more
core