8337 search results - page 74 / 1668 » Reasoning With Characteristic Models |
119
click to vote
AAMAS
2010
Springer
15 years 4 months ago
2010
Springer
Cognitive appraisal theories, which link human emotional experience to their interpretations of events happening in the environment, are leading approaches to model emotions. In th...
114
click to vote
JAIR
2006
15 years 4 months ago
2006
In a peer-to-peer inference system, each peer can reason locally but can also solicit some of its acquaintances, which are peers sharing part of its vocabulary. In this paper, we ...
113
click to vote
IJMMS
1998
15 years 3 months ago
1998
: Decision-support systems that help solving problems in open and weak theory domains, i.e. hard problems, need improved methods to ground their models in real world situations. Mo...
166
Voted
COMPOS
1997
Springer
15 years 8 months ago
1997
Springer
The main problem in model checking that prevents it from being used for veri cation of large systems is the state explosion problem. This problem often arises from combining parall...
137
Voted
MIE
2008
15 years 5 months ago
2008
In medicine many exceptions occur. In medical practise and in knowledge-based systems too, it is necessary to consider them and to deal with them appropriately. In medical studies ...