Sciweavers

IJCAI
1989
13 years 5 months ago
Real-Time AI Systems: A Definition and An Architecture
Speed alone is insufficient for real-time performance. We define real-time performance in terms of speed, responsiveness, timeliness, and graceful adaptation. We claim that all fo...
Rajendra T. Dodhiawala, N. S. Sridharan, Peter Rau...
IJCAI
1989
13 years 5 months ago
And-Or Graphs Applied to RUE Resolution
In equality-based binary r e s o l u t i o n , the v i a b i l i t y t e s t is used as a decision mechanism to select disagreement sets and also to define the RUE u n i f i e r ....
Vincent J. Digricoli, James J. Lu, V. S. Subrahman...
IJCAI
1989
13 years 5 months ago
A Knowledge-Based Software Information System
The difficulty of maintaining very large software systems is becoming more widely acknowledged. One of the primary problems is the need to access information about a complex and e...
Premkumar T. Devanbu, Peter G. Selfridge, Bruce W....
IJCAI
1989
13 years 5 months ago
Experimental Evaluation of Preprocessing Techniques in Constraint Satisfaction Problems
This paper presents an evaluation of two orthogonal schemes for improving the efficiency of solving constraint satisfaction problems (CSPs). The first scheme involves a class of p...
Rina Dechter, Itay Meiri
IJCAI
1989
13 years 5 months ago
A Case-Based Mechanical Redesign System
Francois Daube, Barbara Hayes-Roth
IJCAI
1989
13 years 5 months ago
A Symbol Is Not a Symbol
One of the weak points of the present critics of AI is their lack of an alternative cognitive theory. In the paper the outline of such a theory is sketched, based on (one reading)...
Nils Dahlbäck
IJCAI
1989
13 years 5 months ago
Domain Dependence in Parallel Constraint Satisfaction
We describe a general technique for expressing domain knowledge in constraint satisfaction problems, and using it to develop optimized parallel arc consistency algorithms for the ...
Paul R. Cooper, Michael J. Swain
IJCAI
1989
13 years 5 months ago
A Theory of Diagnosis for Incomplete Causal Models
One of the problems of the recent approaches to problem solving based on deep knowledge is the lack of a formal treatment of incomplete knowledge. However, dealing with incomplete...
Luca Console, Daniele Theseider Dupré, Piet...
IJCAI
1989
13 years 5 months ago
An Adaptive Model of Decision-Making in Planning
Learning how to make decisions in a domain is a critical aspect of intelligent planning behavior. The ability of a planner to adapt its decision-making to a domain depends in part...
Gregg Collins, Lawrence Birnbaum, Bruce Krulwich