629 search results - page 26 / 126 » Reasoning About Knowledge of Unawareness |
AAAI
1990
13 years 8 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...
CPAIOR
2010
Springer
14 years 14 days ago
2010
Springer
Interval coefficients have been introduced in OR and CP to specify uncertain data in order to provide reliable solutions to convex models. The output is generally a solution set, ...
SWAP
2007
13 years 8 months ago
2007
Abstract. Ontologies are pervading many areas of knowledge representation and management. To date, most research efforts have been spent on the development of sufficiently express...
EWCBR
1994
Springer
13 years 11 months ago
1994
Springer
We propose in this paper a general framework for integrating inductive and case-based reasoning (CBR) techniques for diagnosis tasks. We present a set of practical integrated appro...
ECOI
2008
13 years 7 months ago
2008
Successful transfer and uptake of qualitative reasoning technology for modelling and simulation in a variety of domains has been hampered by the lack of a structured methodology t...