Sciweavers

IJCAI
1989
13 years 5 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 5 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 5 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 5 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 5 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 5 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 5 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 5 months ago
Vivid Knowledge and Tractable Reasoning
David W. Etherington, Alexander Borgida, Ronald J....