Sciweavers

IJCAI
1993
13 years 7 months ago
Bottom-up Abduction by Model Generation
Katsumi Inoue, Yoshihiko Ohta, Ryuzo Hasegawa, Mak...
IJCAI
1993
13 years 7 months ago
Nonmonotonic Model Inference-A Formalization of Student Modeling
A student model description language and its synthesis method are presented. The language called SMDL is based on a logic programming language taking 4 truth values such as true, ...
Mitsuru Ikeda, Yasuyuki Kono, Riichiro Mizoguchi
IJCAI
1993
13 years 7 months ago
Evolutionary Learning Strategy using Bug-Based Search
We introduce a new approach to GA (Genetic Algorithms) based problem solving. Earlier GAs did not contain local search (i.e. hill climbing) mechanisms, which led to optimization d...
Hitoshi Iba, Tetsuya Higuchi, Hugo de Garis, Taisu...
IJCAI
1993
13 years 7 months ago
A Parameterised Module System for Constructing Typed Logic Programs
The paper is concerned with the design of a module system for logic programming so as to satisfy many of the requirements of software en­ gineering. The design is based on the la...
Patricia M. Hill
IJCAI
1993
13 years 7 months ago
Induction of Oblique Decision Trees
This article describes a new system for induction of oblique decision trees. This system, OC1, combines deterministic hill-climbing with two forms of randomization to nd a good ob...
David G. Heath, Simon Kasif, Steven Salzberg
IJCAI
1993
13 years 7 months ago
Artificial Thought and Emergent Mind
We consider the question of whether or not a successful attempt to simulate human (rational) thought on a computer can contribute to our understanding of the mind, including perha...
Ivan M. Havel
IJCAI
1993
13 years 7 months ago
Generalization of the Dempster-Shafer Theory
The Dempster-Shafer theory gives a solid basis for reasoning applications characterized by uncertainty. A key feature of the theory is that propositions are represented as subsets...
J. W. Guan, David A. Bell
IJCAI
1993
13 years 7 months ago
Automated Trend Detection with Alternate Temporal Hypotheses
We have written a prototype computer program called TrenDx for automated trend detection during process monitoring. The program uses a representation called trend templates that d...
Ira J. Haimowitz, Isaac S. Kohane