2651 search results - page 445 / 531 » Beliefs in Agent Implementation |
AAAI
1996
13 years 11 months ago
1996
Most model-based diagnosis systems, such as GDE and Sherlock, have concerned discrete, static systems such as logic circuits and use simple constraint propagation to detect incons...
AAAI
1990
13 years 11 months ago
1990
Qualitative reasoning can, and should, be decomposed into a model-building task, which creates a qualitative differential equation (QDE) as a model of a physical situation, and a ...
AAAI
1990
13 years 11 months ago
1990
An original methodology, called backward model tracing to model student performance which features a profitable integration of the bug collection and bug construction techniques i...
AAAI
1990
13 years 11 months ago
1990
This paper presents a new approach for exploiting Truth Maintenance Systems(TMSs) which makes them simpler to use without necessarily incurring a substantial performance penalty. ...
AAAI
1992
13 years 11 months ago
1992
Effective problem-solving about complex engineered devices requires device models that are both adequate for the problem and computationally efficient . Producing such models requ...