2651 search results - page 445 / 531 » Beliefs in Agent Implementation |
175
click to vote
AAAI
1996
15 years 6 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...
180
click to vote
AAAI
1990
15 years 6 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 ...
148
click to vote
AAAI
1990
15 years 6 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...
170
click to vote
AAAI
1990
15 years 6 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. ...
186
click to vote
AAAI
1992
15 years 6 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...