https://emas2021.in.tu-clausthal.de/index.php/accepted-papers 2023-07-13T05:51:07+00:00 emas2021 Joomla! - Open Source Content Management 2021-04-10T13:48:23+00:00 2021-04-10T13:48:23+00:00 https://emas2021.in.tu-clausthal.de/index.php/accepted-papers/10-accepted-papers Matteo Baldoni

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

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