Cleaning up the mess: a formal framework for autonomously reverting BDI agent actions.

João Guilherme Faccin Ingrid Nunes

Published in: SEAMS@ICSE (2018)

Keyphrases

bdi agents
main contribution
multi agent systems
bdi model
databases
neural network
information systems
case study
formal model