Sciweavers

1634 search results - page 153 / 327
» Reasoning about Knowledge Using Rough Sets
Sort
View
FUZZIEEE
2007
IEEE
14 years 5 months ago
Towards Fuzzy Compositional Modelling
Compositional Modelling (CM) has been applied to synthesize automatically plausible scenarios in many problem domains with promising results. However, it is assumed that the generi...
Xin Fu, Qiang Shen, Ruiqing Zhao
SEFM
2005
IEEE
14 years 4 months ago
Description Logics for Shape Analysis
Verification of programs requires reasoning about sets of program states. In case of programs manipulating pointers, program states are pointer graphs. Verification of such prog...
Lilia Georgieva, Patrick Maier
JAIR
2008
130views more  JAIR 2008»
13 years 10 months ago
Axiomatic Foundations for Ranking Systems
Reasoning about agent preferences on a set of alternatives, and the aggregation of such preferences into some social ranking is a fundamental issue in reasoning about multi-agent ...
Alon Altman, Moshe Tennenholtz
APIN
2008
100views more  APIN 2008»
13 years 11 months ago
A case-based approach for characterization and analysis of subgroup patterns
In general, cases capture knowledge and concrete experiences of specific situations. By exploiting case-based knowledge for characterizing a subgroup pattern, additional informati...
Martin Atzmüller, Frank Puppe
AI
2006
Springer
14 years 2 months ago
Satisfaction Equilibrium: Achieving Cooperation in Incomplete Information Games
So far, most equilibrium concepts in game theory require that the rewards and actions of the other agents are known and/or observed by all agents. However, in real life problems, a...
Stéphane Ross, Brahim Chaib-draa