Accepted papers

  • Alison R. Panisson, Débora Engelmann and Rafael H. Bordini.
    Engineering Explainable Agents: An Argumentation-Based Approach.
  • Rafael C. Cardoso, Angelo Ferrando, Louise Dennis and Michael Fisher.
    Implementing Ethical Governors in BDI.
  • Angelo Ferrando and Fabio Papacchini.
    StreamB: a declarative language for automatically synthesising abstract environments in agent platforms.
  • Antonio Carlos Rocha Costa.
    TPO: A Type System for Agent Societies.
  • Jason Miller and Babak Esfandiari.
    Modelling the Execution Time of the Jason BDI Reasoning Cycle.
  • Yuan Yao and Di Wu.
    GenGPT: a Systematic Way to Generate Synthetic Goal-Plan Trees.
  • Mostafa Mohajeriparizi, Giovanni Sileno and Tom Van Engers.
    Seamless Integration and Testing for MAS Engineering.
  • Patrick Gavigan and Babak Esfandiari.
    BDI for Autonomous Mobile Robot Navigation.
  • Saba Gholizadeh Ansari, Wishnu Prasetya, Mehdi Dastani, Frank Dignum and Gabriele Keller.
    An Appraisal Transition System for Event-driven Emotions in Agent-based Player Experience Testing.
  • Timotheus Kampik, Cleber Amaral and Jomi Fred Hubner.
    Developer Operations and Engineering Multi-Agent Systems.
  • Victor Charpenay, Tobias Käfer and Andreas Harth.
    A Unifying Framework for Agency in Hypermedia Environments.
  • Matteo Baldoni, Cristina Baroglio, Olivier Boissier, Roberto Micalizio and Stefano Tedeschi.
    Exception Handling in Multiagent Organizations: Playing with JaCaMo.
  • Alexander Birch Jensen.
    Formal Verification of a Cognitive Agent Using Theorem Proving.
  • Peter Stringer, Rafael C. Cardoso, Clare Dixon and Louise A. Dennis.
    Implementing Durative Actions with Failure Detection in Gwendolen.
  • Szonya Durant, Benedict Wilkins, Callum Woods, Emanule Uliana and Kostas Stathis.
    Attention Guidance Agents for the MATBII cockpit task.
  • Seyed Ali Hosseini, David Minarsch and Marco Favorito.
    A Practical Framework for General Dialogue-based Bilateral Interactions.
  • Stefania Costantini, Andrea Formisano and Valentina Pitoni.
    An Epistemic Logic for Modular Development of Multi-Agent Systems.
  • David Minarsch, Marco Favorito, Seyed Ali Hosseini, Yuri Turchenkov and Jonathan Ward.
    Autonomous Economic Agent Framework.
  • Matt Luckcuck and Rafael C. Cardoso.
    Formal Verification of a Map Merging Protocolin the Multi-Agent Programming Contest.
  • Samuel Christie, Amit Chopra and Munindar Singh.
    Mandrake: Multiagent Systems as a Basis for Programming Fault-Tolerant Decentralized Applications.
  • David Toluhi, Renate Schmidt and Bijan Parsia.
    Concept Description and Definition Extractionfor the ANEMONE.
  • Burak Karaduman and Moharram Challenger.
    Smart Cyber-physical System-of-Systems using Intelligent Agents and Multi-agent Systems.
  • Parantapa Bhattacharya, A. Jan de Mooij, Davide Dell'Anna, Mehdi Dastani, Brian Logan and Samarth Swarup.
    PanSim + Sim-2APL: A Framework for Large-Scale Distributed Simulation with Complex Agents.
  • Amit Chopra, Samuel Christie and Munindar Singh.
    Multiagent Foundations for Distributed Systems: A Vision.
  • Sultan Alsarra and Rym Zalila-Wenkstern.
    Requirements Engineering in AOSE: Taxonomy and Challenges.