Foundations of logic programming; (2nd extended ed.)
Foundations of logic programming; (2nd extended ed.)
The CLP( R ) language and system
ACM Transactions on Programming Languages and Systems (TOPLAS)
Executing suspended logic programs
Fundamenta Informaticae - Special issue on foundations of constraint programming
Enhancing CLP branch and bound techniques for scheduling problems
Software—Practice & Experience
Algorithm for optimal winner determination in combinatorial auctions
Artificial Intelligence
Flexible protocol specification and execution: applying event calculus planning using commitments
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
Towards an organizational model for agent societies using contracts
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
Animated specifications of computational societies
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 3
Introduction to Multiagent Systems
Introduction to Multiagent Systems
From logic programming towards multi-agent systems
Annals of Mathematics and Artificial Intelligence
Verifying Compliance with Commitment Protocols
Autonomous Agents and Multi-Agent Systems
Planning for Security Management
IEEE Intelligent Systems
Categories of Artificial Societies
ESAW '01 Proceedings of the Second International Workshop on Engineering Societies in the Agents World II
An Abductive Logic Programming Architecture for Negotiating Agents
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
Agent-Mediated Interaction. From Auctions to Negotiation and Argumentation
Selected papers from the UKMAS Workshop on Foundations and Applications of Multi-Agent Systems
Abduction in well-founded semantics and generalized stable models via tabled dual programs
Theory and Practice of Logic Programming
A Logic based Approach to Interaction Design in Open Multi-Agent Systems
WETICE '04 Proceedings of the 13th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises
Heuristics, optimizations, and parallelism for protein structure prediction in CLP(FD)
PPDP '05 Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming
Mapping deontic operators to abductive expectations
Computational & Mathematical Organization Theory
Global Computing: IST/FET International Workshop, GC 2004, Rovereto, Italy, March 9-12, 2004, Revised Selected Papers (Lecture Notes in Computer Science)
Protocol conformance for logic-based agents
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
A-system: problem solving through abduction
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Abduction with hypotheses confirmation
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
A social ACL semantics by deontic constraints
CEEMAS'03 Proceedings of the 3rd Central and Eastern European conference on Multi-agent systems
Artificial intelligence today
The SCIFF abductive proof-procedure
AI*IA'05 Proceedings of the 9th conference on Advances in Artificial Intelligence
The SOCS computational logic approach to the specification and verification of agent societies
GC'04 Proceedings of the 2004 IST/FET international conference on Global Computing
The KGP model of agency for global computing: computational model and prototype implementation
GC'04 Proceedings of the 2004 IST/FET international conference on Global Computing
Security protocols verification in abductive logic programming: a case study
ESAW'05 Proceedings of the 6th international conference on Engineering Societies in the Agents World
Formal methods in agent-oriented software engineering
AOSE'10 Proceedings of the 10th international conference on Agent-oriented software engineering
Hi-index | 0.00 |
Amongst several fundamental aspects in multi-agent systems design, the definition of the agent interaction space is of the utmost importance. The specification of the agent interaction has several facets: syntax, semantics, and compliance verification. In an open society, heterogenous agents can participate without showing any credentials. Accessing their internals or their knowledge bases is typically impossible, thus it is impossible to prove a priori that agents will indeed behave according to the society rules. Within the SOCS (Societies Of ComputeeS) project, a language based on abductive semantics has been proposed as a mean to define interactions in open societies. The proposed language allows the designer to define open, extensible and not over-constrained protocols. Beside the definition language, a software tool has been developed with the purpose of verifying at execution time if the agents behave correctly with respect to the defined protocols. This paper provides a tutorial overview of the theory and of the tools the SOCS project provided to design, define and test agent interaction protocols.