8337 search results - page 214 / 1668 » Reasoning With Characteristic Models |
135
click to vote
ECSQARU
2009
Springer
15 years 11 months ago
2009
Springer
Model-based diagnosis is the field of research concerned with the problem of finding faults ms by reasoning with abstract models of the systems. Typically, such models offer a ...
148
click to vote
TPHOL
1999
IEEE
15 years 9 months ago
1999
IEEE
Combining theorem proving and model checking o ers the tantalizing possibility of e ciently reasoning about large circuits at high levels of abstraction. We have constructed a syst...
118
click to vote
ECSQARU
1997
Springer
15 years 9 months ago
1997
Springer
Abstract. Today, different formalisms exist to solve reasoning problems under uncertainty. For most of the known formalisms, corresponding computer implementations are available. ...
125
click to vote
HICSS
2002
IEEE
15 years 10 months ago
2002
IEEE
: In this contribution we present a Learner Model (LM) of Historical Text Comprehension (HTC), which infers the cognitive profile of learner’s global comprehension concerning the...
157
Voted
APPINF
2003
15 years 6 months ago
2003
We present an application prototype of dynamic knowledge representation programmed in LUPS (a language for updating logic programs). This is a case study to model intelligent agen...