1948 search results - page 71 / 390 » Formalizing Mirror Theory |
168
click to vote
CMOT
2011
14 years 6 months ago
2011
Artificial Intelligence has contributed (formal) design models and software support tools to application areas such as architecture, engineering and software design. This paper exp...
125
click to vote
AMAI
2004
Springer
15 years 8 months ago
2004
Springer
The framework of algorithmic knowledge assumes that agents use algorithms to compute the facts they explicitly know. In many cases of interest, a logical theory, rather than a par...
118
Voted
SIGMOD
2004
ACM
16 years 3 months ago
2004
ACM
We perform a theoretical study of the following queryview security problem: given a view V to be published, does V logically disclose information about a confidential query S? The...
136
click to vote
BIRTHDAY
2004
Springer
15 years 8 months ago
2004
Springer
In a reputation-based trust management system an entity’s behaviour determines its reputation which in turn affects other entities interaction with it. We present a mathematical...
ATAL
2003
Springer
15 years 8 months ago
2003
Springer
Effective human teams often benefit from proactivity through members’ capability of anticipating different needs of teammates. In this paper, we focus on three issues related...