IJCAI
1989
13 years 10 months ago
1989
IJCAI
1989
13 years 10 months ago
1989
We study the role of visual reasoning as a computationally feasible heuristic tool in geometry problem solving. We use an algebraic notation to represent geometric objects and to ...
IJCAI
1989
13 years 10 months ago
1989
This paper presents a new planning/scheduling methodology for the constrained resource problem (CRP), in which the amount of available resources is limited and usually monotonical...
IJCAI
1989
13 years 10 months ago
1989
Diagnostic tasks involve identifying faulty components from observations of symptomatic device behavior. This paper presents a general diagnostic theory that uses the perspective ...
IJCAI
1989
13 years 10 months ago
1989
IJCAI
1989
13 years 10 months ago
1989
A homogeneous paradigm for evidence integration is presented, and a vision system to recognize 3D objects is demonstrated using this paradigm. A new concept called generalizedfeat...
IJCAI
1989
13 years 10 months ago
1989
IJCAI
1989
13 years 10 months ago
1989
IJCAI
1989
13 years 10 months ago
1989
Nilsson's Probabilistic Logic is a set theoretic mechanism for reasoning with uncertainty. We propose a new way of looking at the probability constraints enforced by the fram...
IJCAI
1989
13 years 10 months ago
1989
In designing autonomous agents that deal competently with issues involving time and space, there is a tradeoff to be made between guaranteed response-time reactions on the one han...