Specification and verification of agent interaction protocols in a logic-based system
Proceedings of the 2004 ACM symposium on Applied computing
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
Mapping deontic operators to abductive expectations
Computational & Mathematical Organization Theory
Protocol conformance for logic-based agents
IJCAI'03 Proceedings of the 18th 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
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
CLIMA'04 Proceedings of the 5th international conference on Computational Logic in Multi-Agent Systems
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
A New Semantics of Social Commitments Using Branching Space-Time Logic
WI-IAT '09 Proceedings of the 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology - Volume 03
A new logical semantics for agent communication
CLIMA VII'06 Proceedings of the 7th international conference on Computational logic in multi-agent systems
| Hi-index | 0.00 |
The SOCS project (A computational logic model for the description, analysis and verification of global and open SOcieties of heterogeneous ComputeeS), funded by the European Commission under the Fifth Framework, Future and Emerging Technologies programme, has been one of the main sponsors of CLIMA VI. This short article outlines the project's main challenges and its main outcomes.