Title
A Logic based Approach to Interaction Design in Open Multi-Agent Systems
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 ...
Year
DOI
Venue
2004
10.1109/ENABL.2004.3
WETICE
Keywords
Field
DocType
interaction design,agent-based computing,software agent-supported collaboration,paper briefly,enterprise collaboration,open multi-agent systems,design methodology,logic design,multiagent systems,space technology,formal specification,logic programming,formal verification,knowledge representation,multi agent systems,application software,open systems,information systems,protocols,open system
Functional verification,Programming language,Interaction design,Computer science,Correctness,Formal specification,Multi-agent system,Logic programming,Open system (systems theory),Formal verification
Conference
ISBN
Citations 
PageRank 
0-7695-2183-5
8
0.51
References 
Authors
14
6
Name
Order
Citations
PageRank
marco alberti146730.93
Marco Gavanelli259648.07
Evelina Lamma31268109.21
federico chesani480146.41
Paola Mello544421.33
Paolo Torroni6116780.57