Sciweavers

IJCAI
1993
13 years 10 months ago
Decidable Reasoning in Terminological Knowledge Representation Systems
Martin Buchheit, Francesco M. Donini, Andrea Schae...
IJCAI
1993
13 years 10 months ago
Reducing Ambiguity by Learning Assembly Specific Behaviour
In this paper we present a technique for automatically generating constraints on parameter derivatives that reduce ambiguity in the behaviour prediction. Starting with a behaviour...
Bert Bredeweg, Cis Schut
IJCAI
1993
13 years 10 months ago
The Statistical Learning of Accurate Heuristics
Heuristics used by search algorithms are usually composed of more primitive functions which we call "features". A method for combining features is presented which is bas...
Anna Bramanti-Gregor, Henry W. Davis
IJCAI
1993
13 years 10 months ago
Fuzzy Causal Simulation in Process Engineering
: This paper presents a causal simulation method for incompletely known dynamic systems in process engineering. The causal model of a process is represented as both a causal networ...
Kouamana Bousson, Louise Travé-Massuy&egrav...
IJCAI
1993
13 years 10 months ago
Compositional Model-Based Design
Prasanta K. Bose, Shankar A. Rajamoney
IJCAI
1993
13 years 10 months ago
Action Representation and Purpose: Re-evaluating the Foundations of Computational Vision
The traditional goal of computer vision, to reconstruct, or recover properties of, the scene has recently been challenged by advocates of a new purposive approach in which the vis...
Michael J. Black, Yiannis Aloimonos, Christopher M...
IJCAI
1993
13 years 10 months ago
PHI - A Logic-Based Tool for Intelligent Help Systems
Mathias Bauer, Susanne Biundo, Dietmar Dengler, Ja...
IJCAI
1993
13 years 10 months ago
Diagnosing and Solving Over-Determined Constraint Satisfaction Problems
Constraint relaxation is a frequently used technique for managing over-determined constraint satisfaction problems. A problem in constraint relaxation is the selection of the appr...
R. R. Bakker, F. Dikker, F. Tempelman, P. M. Wognu...