1948 search results - page 50 / 390 » Formalizing Mirror Theory |
157
click to vote
ATAL
2005
Springer
15 years 11 months ago
2005
Springer
This paper focuses on the problem of generating coalition structures for task allocation via coalition formation. It provides a unified formal framework for constructing those co...
167
click to vote
LPNMR
2005
Springer
15 years 11 months ago
2005
Springer
We introduce a declarative approach for a coherent composition of autonomous databases. For this we use ID-logic, a formalism that extends classical logic with inductive definitio...
132
click to vote
ESWS
2004
Springer
15 years 11 months ago
2004
Springer
Semantic interoperability has become a key issue for realizing the Semantic Web in its full potential. However, there is a lot of controversy regarding the meaning and scope of the...
143
click to vote
IV
2003
IEEE
15 years 10 months ago
2003
IEEE
In this paper we present a “lightweight” visual formalism that can be used to examine the state space complexity of an interface. The method can form a basis for designing, te...
128
click to vote
ATAL
2006
Springer
15 years 9 months ago
2006
Springer
Detecting and preventing the adversarial action of an agent with respect to the community of agents can be a serious issue in the design of open multi-agent systems. This task is ...