177 search results - page 17 / 36 » Reducing the complexity of logics for multiagent systems |
LICS
2005
IEEE
15 years 5 months ago
2005
IEEE
In recent work Baader has shown that a certain description logic with conjunction, existential quantification and with circular definitions has a polynomial time subsumption pro...
119
click to vote
WOLLIC
2009
Springer
15 years 6 months ago
2009
Springer
The paper provides a recipe for adequately representing a very inclusive class of finite-valued logics by way of tableaux. The only requisite for applying the method is that the o...
106
click to vote
ICTAI
2010
IEEE
14 years 9 months ago
2010
IEEE
A significant body of work in multiagent systems over more than two decades has focused on multi-agent coordination (1). Many challenges in multi-agent coordination can be modeled ...
CDC
2008
IEEE
15 years 6 months ago
2008
IEEE
— Safety must be ensured in the deployment of multi-agent vehicle systems. This paper presents decentralized collision avoidance algorithms for systems with second order dynamics...
IWSOC
2003
IEEE
15 years 5 months ago
2003
IEEE
The new technology of reconfigurable System-on-Chip is shown to be a good match to the requirements of realtime embedded systems. In particular, the judicious use of specialised d...