Only one teaching material is held by the teacher, namely Al-Qur'an Hadith package book, even though teacher has a laptop and school projector as tool for developing learning media materials. However, teachers rarely develop materials they use. This study aims to determine validity practicality of e-modules based on Forward Backward Chaining. The method used R&D using ADDIE model. 20 studen...

In this study, we have designed and implemented a system that supports learners to use backward chaining to solve proof problems about the congruence of two triangles. In addition, we have carried out an evaluation experiment in a public junior high school to measure the learning effect of the system. As a result of hypothesis tests, for students with good pretest scores, the effect of the syst...

This paper investigates how information systems design professionals use principles (extracted from a prior science research project) in new situation. We do this by capturing think-aloud protocols experienced who are given access to potentially useful principles. Our analysis identifies two dimensions of use: behaviors (what designers do) and application modes (how apply the principles). Mappi...

Explicit instruction in a problem-solving strategy accelerated learning not only in the domain where it was taught but also in a second domain where it was not taught. We present data from a study in which students learned two unrelated deductive domains: probability and physics. During the probability instruction, the Strategy group was trained with an Intelligent Tutoring System (ITS) that ex...

Certain learners are less sensitive to learning environments and can always learn, while others are more sensitive to variations in learning environments and may fail to learn (Cronbach & Snow, 1977). We refer to the former as high learners and the latter as low learners. One important goal of any learning environment is to bring students up to the same level of mastery. We showed that an intel...

We present a family of dialectic proof procedures for the admissibility semantics of assumptionbased argumentation. These proof procedures are defined for any conventional logic formulated as a collection of inference rules and show how any such logic can be extended to a dialectic argumentation system. The proof procedures find a set of assumptions, to defend a given belief, by starting from a...

Exploring the vast number of possible feature interactions in domains such as gene expression microarray data is an onerous task. We describe Backward-Chaining Rule Induction (BCRI) as a semi-supervised mechanism for biasing the search for IF-THEN rules that express plausible feature interactions. BCRI adds to a relatively limited tool-chest of hypothesis generation software and is an alternati...