A Proof-System for the Safe Execution of Tasks in Multi-agent Systems

Publisher Website

20 September 2002

book chapter
Published by Springer Nature

p. 14-26
https://doi.org/10.1007/3-540-45757-7_2

Abstract

No abstract available

Keywords

This publication has 5 references indexed in Scilit:

LAILA: a language for coordinating abductive reasoning among logic agents
Computer Languages, 2001
On agent-based software engineering
Artificial Intelligence, 2000
Formal semantics for an abstract agent programming language
Published by Springer Nature ,1998
The IFF proof procedure for abductive logic programming
The Journal of Logic Programming, 1997
AgentSpeak(L): BDI agents speak out in a logical computable language
Published by Springer Nature ,1996