Sciweavers

IJCAI
1989
13 years 11 months ago
Correct Parallel Status Assignment for the Reason Maintenance System
This paper represents a beginning development of a parallel truth maintenance system to interact with a parallel inference engine. We present a solution which performs status assi...
Rosanne M. Fulcomer, William E. Ball
IJCAI
1989
13 years 11 months ago
An Integrated Knowledge Based Assembly Control System for Automobile Manufacturing
In this paper a knowledge based assembly control system for automobile manufacturing is presented which has been implemented for the B M W manufacturing facilities in Munich. The ...
Burkhard Freitag, Bernhard Huber, Wolfgang Womann
IJCAI
1989
13 years 11 months ago
Constrained Heuristic Search
Cognitive architectures aspire for generality both in terms of problem solving and learning across a range of problems, yet to date few examples of domain independent learning has...
Mark S. Fox, Norman M. Sadeh, Can A. Baykan
IJCAI
1989
13 years 11 months ago
Introducing Actions into Qualitative Simulation
Many potential uses of qualitative physics, such as robot planning and intelligent computer-aided engineering, require integrating physics with actions taken by agents. This paper...
Kenneth D. Forbus
IJCAI
1989
13 years 11 months ago
An Empirical Comparison of ID3 and Back-propagation
AI and connectionist approaches to learning from examples differ in knowledge-base representation and inductive mechanisms. To explore these differences we experiment with a syste...
Douglas H. Fisher, Kathleen B. McKusick
IJCAI
1989
13 years 11 months ago
Constraint Satisfiability Algorithms for Interactive Student Scheduling
A constraint satisfiability problem consists of a set of variables, their associated domains (i.e., the set of values the variable can take) and a set of constraints on these vari...
Ronen Feldman, Martin Charles Golumbic
IJCAI
1989
13 years 11 months ago
Reasoning about Kinematic Topology
t ion which is much more abstract than a place vocabulary, the kinematic topology. Kinematic topology does not define qualitative inference rules, but provides a characterization o...
Boi Faltings, Emmanuel Baechler, J. Primus
IJCAI
1989
13 years 11 months ago
Vivid Knowledge and Tractable Reasoning
David W. Etherington, Alexander Borgida, Ronald J....