2214 search results - page 329 / 443 » Complexity of Reasoning |
148
click to vote
ATAL
2006
Springer
15 years 7 months ago
2006
Springer
Qualitative Coalitional Games (QCGs) are a version of coalitional games in which an agent's desires are represented as goals which are either satisfied or unsatisfied, and ea...
123
click to vote
CBSE
2006
Springer
15 years 7 months ago
2006
Springer
We present a novel approach which facilitates formal verification of component-based software application families using model checking. This approach enables effective composition...
114
click to vote
DIAL
2004
IEEE
15 years 7 months ago
2004
IEEE
PDF became a very common format for exchanging printable documents. Further, it can be easily generated from the major documents formats, which make a huge number of PDF documents...
147
click to vote
EGICE
2006
15 years 7 months ago
2006
Abstract. In knowledge representation by fuzzy rule based systems two reasoning mechanisms can be distinguished: conjunction-based and implication-based inference. Both approaches ...
128
click to vote
EMO
2006
Springer
15 years 7 months ago
2006
Springer
1 In most real world optimization problems several optimization goals have to be considered in parallel. For this reason, there has been a growing interest in Multi-Objective Optim...