Sciweavers

4126 search results - page 73 / 826
» Relationships with other Formalisms
Sort
View
AI
2005
Springer
15 years 6 months ago
On the logic of cooperation and propositional control
Cooperation logics have recently begun to attract attention within the multi-agent systems community. Using a cooperation logic, it is possible to represent and reason about the s...
Wiebe van der Hoek, Michael Wooldridge
JCP
2007
122views more  JCP 2007»
15 years 6 months ago
Fast Information Retrieval in a Self-Organising P2P Network
— In this paper we present a formal description of PROSA, a P2P resource management system heavily inspired by social networks. Social networks have been deeply studied in the la...
Vincenza Carchiolo, Michele Malgeri, Giuseppe Mang...
AI
2004
Springer
15 years 6 months ago
On the computational complexity of qualitative coalitional games
We study coalitional games in which agents are each assumed to have a goal to be achieved, and where the characteristic property of a coalition is a set of choices, with each choi...
Michael Wooldridge, Paul E. Dunne
DEBU
2002
107views more  DEBU 2002»
15 years 6 months ago
Exploiting Web Service Semantics: Taxonomies vs. Ontologies
Comprehensive semantic descriptions of Web services are essential to exploit them in their full potential, that is, discovering them dynamically, and enabling automated service ne...
Asuman Dogac, Gokce Laleci, Yildiray Kabak, Ibrahi...
SQJ
2010
152views more  SQJ 2010»
15 years 4 months ago
Design pattern evolutions in QVT
One of the main goals of design patterns is to design for change. Many design patterns leave some room for future changes and evolutions. The application of design patterns leads ...
Jing Dong, Yajing Zhao, Yongtao Sun