A proof-system for the safe execution of tasks in multi-agent systems

DOI10.1007/3-540-45757-7_2MaRDI QIDQ4708903zbMATH OpenFDO

Authors Anna Ciampolini, Evelina Lamma, Paola Mello, Paolo Torroni

Publication date 20 June 2003

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2424/24240014.htm

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Logic in artificial intelligence (68T27)

Recommendations

• Verifying systems of resource-bounded agents
• Logic Programming
• Towards formal specification and verification in cyberspace
• Distributed Computing - IWDC 2004
• Logical formalism for specification of real-time multiagent systems

Describes a project that uses

Uses Software

• LAILA
• AgentSpeak

This page was built for publication: A proof-system for the safe execution of tasks in multi-agent systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4708903)