Sciweavers

593 search results - page 70 / 119
» Implementing Norms in Multiagent Systems
Sort
View
ECAI
2010
Springer
15 years 28 days ago
Parallel Model Checking for Temporal Epistemic Logic
Abstract. We investigate the problem of the verification of multiagent systems by means of parallel algorithms. We present algorithms for CTLK, a logic combining branching time tem...
Marta Z. Kwiatkowska, Alessio Lomuscio, Hongyang Q...
ATAL
2005
Springer
15 years 5 months ago
OWL ontology translation based on the O3F framework
This paper presents an approach for ontology translation in the O3F ontology framework and a concrete implemented agent that translates between ontologies expressed in OWL. In the...
Luís Mota, Luís Miguel Botelho
ARGMAS
2005
Springer
15 years 5 months ago
Testing Formal Dialectic
Systems of argumentation or ’computational dialectic’ are emerging as a powerful means of structuring inter-agent communication in multi-agent systems. Individual systems of co...
Simon Wells, Chris Reed
SIGCOMM
2010
ACM
15 years 1 days ago
Experimenting with multipath TCP
It is becoming the norm for small mobile devices to have access to multiple technologies for connecting to the Internet. This gives researchers an increasing interest for solution...
Sébastien Barré, Olivier Bonaventure...
CONSTRAINTS
2002
143views more  CONSTRAINTS 2002»
14 years 11 months ago
A Constraint-Based Robotic Soccer Team
It is a challenging task for a team of multiple fast-moving robots to cooperate with each other and to compete with another team in a dynamic, real-time environment. For a robot te...
Yu Zhang, Alan K. Mackworth