A Logic based Approach to Interaction Design in Open Multi-Agent Systems

Authors:
Marco Alberti;Marco Gavanelli;Evelina Lamma;Federico Chesani;Paola Mello;Paolo Torroni
Affiliations:
DI, Università di Ferrara, Italy;DI, Università di Ferrara, Italy;DI, Università di Ferrara, Italy;DEIS, Università di Bologna, Italy;DEIS, Università di Bologna, Italy;DEIS, Università di Bologna, Italy
Venue:
WETICE '04 Proceedings of the 13th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises
Year:
2004

Citing 0
Cited 3

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
Specification and verification of agent interaction using abductive reasoning

CLIMA'05 Proceedings of the 6th international conference on Computational Logic in Multi-Agent Systems
Multi-agent systems in computational logic: challenges and outcomes of the SOCS project

CLIMA'05 Proceedings of the 6th international conference on Computational Logic in Multi-Agent Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

The second "Agent-based Computing for Enterprise Collaboration" workshop at WETICE was aimed at bringing together researcher in the field of software agent-supported collaboration. This paper briefly discusses the content of the papers as presented by ...