A logic-based calculus of events
New Generation Computing
Communications of the ACM
Animated specifications of computational societies
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 3
IEEE Intelligent Systems
Categories of Artificial Societies
ESAW '01 Proceedings of the Second International Workshop on Engineering Societies in the Agents World II
Games as a Metaphor for Interactive Systems
HCI '96 Proceedings of HCI on People and Computers XI
Project JXTA-C: Enabling a Web of Things
HICSS '03 Proceedings of the 36th Annual Hawaii International Conference on System Sciences (HICSS'03) - Track 9 - Volume 9
Event Calculus Planning Through Satisfiability
Journal of Logic and Computation
A Service Workflow Management Framework Based on Peer-to-Peer and Agent Technologies
QSIC '05 Proceedings of the Fifth International Conference on Quality Software
Model checking knowledge, strategies, and games in multi-agent systems
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
A protocol-based semantics for an agent communication language
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
Protocol conformance for logic-based agents
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Artificial intelligence today
Automated Web Services Composition with the Event Calculus
Engineering Societies in the Agents World VIII
Assumption-Based Argumentation for Selection and Composition of Services
Computational Logic in Multi-Agent Systems
Fast track article: Game-based e-retailing in GOLEM agent environments
Pervasive and Mobile Computing
GECON'07 Proceedings of the 4th international conference on Grid economics and business models
Automated composition of web services with the abductive event calculus
Information Sciences: an International Journal
Producing enactable protocols in artificial agent societies
PRIMA'11 Proceedings of the 14th international conference on Agents in Principle, Agents in Practice
A formal model of agent-oriented virtual organisations and their formation
Multiagent and Grid Systems - Agent Based Computing: From Model to Implementation
Hi-index | 0.00 |
We study the problem of checking the competence of communicative agents operating in a global society in order to receive and offer electronic services. Such a society will be composed of local sub-societies that will often be semi-open, viz., entrance of agents in a semi-open society is conditional to specific admission criteria. Assuming that a candidate agent provides an abstract description of their communicative skills, we present a test that a controller agent could perform in order to decide if a candidate agent should be admitted. We formulate this test by revisiting an existing knowledge representation framework based on games specified as extended logic programs. The resulting framework finds useful application in complex and inter-operable web-services construed as semi-open societies in support of the global vision known as the Semantic Web.