Open information systems semantics for distributed artificial intelligence
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
Categories of Artificial Societies
ESAW '01 Proceedings of the Second International Workshop on Engineering Societies in the Agents World II
Role-assignment in open agent societies
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Verifiable agent interaction in abductive logic programming: The SCIFF framework
ACM Transactions on Computational Logic (TOCL)
Artificial institutions: a model of institutional reality for open multiagent systems
Artificial Intelligence and Law
Specifying Open Agent Systems: A Survey
Engineering Societies in the Agents World IX
A declarative approach for flexible business processes management
BPM'06 Proceedings of the 2006 international conference on Business Process Management Workshops
EPEW'05/WS-FM'05 Proceedings of the 2005 international conference on European Performance Engineering, and Web Services and Formal Methods, international conference on Formal Techniques for Computer Systems and Business Processes
| Hi-index | 0.01 |
Open systems are complex, heterogeneous systems whose complexity is often handled by component-based approaches. While the internal functioning of such components is invisible to the outside, a great emphasis is put on the verification of properties that ensure a safe, predictable, and understandable external behaviour. At the same time, the rules that govern and describe the system behaviour must guarantee maximum flexibility. Developing technologies that can satisfy the requirements of open multi-agent systems poses an important and difficult challenge. Here, declarative approaches have the potential of offering solutions satisfying the needs for both specifying and developing open multi-agent systems and other open systems for diverse applications such as business processes, clinical guidelines and cloud computing.