1486 search results - page 272 / 298 » Mathematical Fuzzy Logics |
104
click to vote
PLDI
2009
ACM
15 years 6 months ago
2009
ACM
We show that recursive programs where variables range over finite domains can be effectively and efficiently analyzed by describing the analysis algorithm using a formula in a ...
114
click to vote
ICAI
2003
15 years 1 months ago
2003
Reasoning about capabilities in multi-agent systems is crucial for many applications. There are two aspects of reasoning about the capabilities of an agent to achieve its goals. O...
126
click to vote
AI
2010
Springer
14 years 12 months ago
2010
Springer
We develop a formal framework for comparing different versions of ontologies, and apply it to ontologies formulated in terms of DL-Lite, a family of `lightweight' description...
112
click to vote
IJIPT
2006
14 years 11 months ago
2006
Service-oriented development offers a novel architectural approach that addresses crucial characteristics of modern business process development such as dynamic evolution, intra- ...
BIRTHDAY
2010
Springer
14 years 9 months ago
2010
Springer
Yuri Gurevich made many varied and deep contributions to logic for computer science. Logic provides also the theoretical foundation of database systems. Hence, it is almost unavoid...