Modifiche per il documento Accepted Papers
Dalla versione 6.1
modificato da Andrea Omicini
il 16/04/2023 18:29
il 16/04/2023 18:29
Cambia il commento:
Nessun commento per questa versione
Alla versione 1.1
modificato da Andrea Omicini
il 18/12/2020 13:13
il 18/12/2020 13:13
Cambia il commento:
Imported from XAR
Summary
-
Page properties (3 modified, 0 added, 0 removed)
Details
- Page properties
-
- Titolo
-
... ... @@ -1,0 +1,1 @@ 1 +List of Accepted Papers - Syntax
-
... ... @@ -1,1 +1,1 @@ 1 -XWiki 2.11 +XWiki 1.0 - Content
-
... ... @@ -1,61 +2,64 @@ 1 -= Accepted Papers = 2 2 3 - >Regular Papers2 +#includeInContext("Main.MacroSheet") 4 4 5 -* //Julia Radoszycki, Nathalie Peyrard and Régis Sabbadin//. "Solving F3MDPs: Collaborative Multiagent Markov Decision Processes with Factored Transitions, Rewards and Stochastic Policies" 6 -* //Wen Shen and Cristina Lopes//. "Managing Autonomous Mobility on Demand Systems for Better Passenger Experience" 7 -* //Vinay Katiyar and David Clarance//. "Norm Establishment in a Single Dimension Axelrod Model" 8 -* //Mirko Viroli, Danilo Pianini, Alessandro Ricci, Pietro Brunetti and Angelo Croatti//. "Engineering multi-agent systems with aggregate computing" 9 -* //Alan White, Austin Tate and Michael Rovatsos//. "CAMP-BDI: A Pre-emptive Approach for Plan Execution Robustness in Multiagent Systems" 10 -* //Christopher Ewin, Adrian Pearce and Stavros Vassos//. "Optimizing Long-running Action Histories in the Situation Calculus through Search" 11 -* //Erica Calardo, Guido Governatori and Antonino Rotolo//. "Semantics for Modelling Reason-based Preferences" 12 -* //Takamasa Ihara, Shunsuke Tsuruta, Taiki Todo, Yuko Sakurai and Makoto Yokoo//. "Strategy-proof Cake Cutting Mechanisms for the All-or-nothing Utility" 13 -* //Toshihiro Matsui, Marius Silaghi, Tenda Okimoto, Katsutoshi Hirayama, Makoto Yokoo and Hiroshi Matsuo//. "Leximin Asymmetric Multiple Objective DCOP on Factor Graph" 14 -* //Muhammad Yasir, Martin Purvis, Maryam Purvis and Bastin Tony Roy Savarimuthu//. "Dynamic Coalition Formation in Micro-grids" 15 -* //Luigi Sauro//. "On the Hierarchical Nature of Partial Preferences" 16 -* //Sasha Rubin, Florian Zuleger, Aniello Murano and Benjamin Aminof//. "Verification of Asynchronous Mobile-Robots in Partially-Known Environments" 17 -* //Daniela Kengyel, Heiko Hamann, Payam Zahadat, Gerald Radspieler, Franz Wotawa and Thomas Schmickl//. "Potential of Heterogeneity in Collective Behaviors: A Case Study on Heterogeneous Swarms" 18 -* //Aniello Murano, Giuseppe Perelli and Sasha Rubin//. "Multi-Agent Path Planning in Known Dynamic Environments" 19 -* //Wojtek Jamroga and Aniello Murano//. "Module Checking for Uncertain Agents" 20 -* //Rinde R.S. van Lon and Tom Holvoet//. "Towards systematic evaluation of multi-agent systems in large scale and dynamic logistics" 21 -* //Barbara Dunin-Keplicz and Alina Strachocka//. "Paraconsistent Multi-party Persuasion in TalkLog" 22 -* //Simone Gabbriellini and Francesco Santini//. "A Micro Study on the Evolution of Arguments in Amazon.com’s Reviews 23 -* //Emiliano Lorini and Roland Mühlenbernd//. "The long-term benefits of following fairness norms: a game-theoretic analysis" 24 -* //Terry Payne and Valentina Tamma//. "Using Preferences in Negotiations over Ontological Correspondences" 25 -* //Vincent Koeman and Koen Hindriks//. "Designing a Source-Level Debugger for Cognitive Agent Programs" 26 -* //Rem Collier, Sean Russell and David Lillis//. "Reflecting on Agent Programming with AgentSpeak(L)" 27 -* //Kamilia Ahmadi and Vicki Allan//. "Checking The Reliability of Information Sources in Recommendation Based Trust Decision Making" 28 -* //Tibor Bosse, Jurriaan van Diggelen, Mark Neerincx and Nanja Smets//. "Supporting Human-Robot Teams in Space Missions using ePartners and Formal Abstraction Hierarchies" 29 -* //Yuko Sakurai, Masato Shinoda, Satoshi Oyama and Makoto Yokoo//. "Flexible reward plans for crowdsourced tasks" 30 -* //Daniele Porello//. "Majoritarian Group Actions" 31 -* //Sam Leask and Brian Logan//. "Programming Deliberation Strategies in Meta-APL" 32 -* //Tiep Le, Tran Cao Son and Enrico Pontelli//. "Multi-context Systems with Preferences" 33 -* //Chanjuan Liu, Fenrong Liu and Kaile Su//. "A Dynamic-logical Characterization of Solutions in Sight-limited Extensive Games" 4 +1 List of Accepted papers 34 34 35 - >ShortPapers6 +1.1 Regular Papers 36 36 37 -* //Stefania Monica and Federico Bergenti//. "Kinetic Description of Opinion Evolution in Multi-Agent Systems: Analytic Model and Simulations" 38 -* //Alexei Sharpanskykh and Rob Haest//. "An Agent-based Model to Study Effects of Team Processes on Compliance to Safety Regulations at an Airline Ground Service Organization" 39 -* //Sean Russell, Rem Collier and Gregory O'Hare//. "Agent-Oriented Programming Languages as a High-Level Abstraction for the Development of Intelligent Behaviours for Wireless Sensor Network Applications" 40 -* //Tânia Marques//. "Towards a taxonomy of task-oriented domains of dialogue" 41 -* //Xiuyi Fan and Francesca Toni//. "Mechanism Design for Argumentation-based Information-seeking and Inquiry" 42 -* //Yumemo Shiba, Haruka Umegaki and Toshiharu Sugawara//. "Fair Assessment of GroupWork by Mutual Evaluation with Irresponsible and Collusive Students Using Trust Networks" 43 -* //Mehdi Farhangian, Martin Purvis, Maryam Purvis and Bastin Tony Roy Savarimuthu//. "Modeling the Effects of Personality on Team Formation in Self-assembly Teams" 44 -* //Warda El Kholy, Mohamed El Menshawy, Amine Laarej, Jamal Bentahar, Faisal Al-Saqqar and Rachida Dssouli//. "Real-Time Conditional Commitment Logic" 45 -* //Malcolm Egan, Martin Schaefer, Michal Jakob and Nir Oren//. "A Double Auction Mechanism for On-Demand Transport Networks" 46 -* //Matteo Baldoni, Cristina Baroglio, Federico Capuzzimati and Roberto Micalizio//. "Exploiting Social Commitments in Programming Agent Interaction" 47 -* //Matteo Baldoni, Cristina Baroglio and Roberto Micalizio//. "Social Continual Planning in Open Multiagent Systems" 48 -* //Giuseppe De Giacomo, Yves Lespérance and Adrian Pearce//. "Situation Calculus Game Structures and GDL" 49 -* //Hossein Khani and Mohsen Afsharchi//. "Security Games with Ambiguous Belifs of Agents" 50 -* //Madalina Croitoru, Rallou Thomopoulos and Srdjan Vesic//. "Introducing Preference-Based Argumentation to Inconsistent Ontological Knowledge Bases" 51 -* //Francesco Olivieri, Matteo Cristani and Guido Governatori//. "Compliant business processes with exclusive choices from agent specification" 52 -* //Francisco Coelho and Vitor Nogueira//. "Probabilistic Perception Revision in AgentSpeak(L)" 53 -* //Christopher-Eyk Hrabia, Tobias Küster, Marcus Voß and Francisco Denis Pozo Pardo//. "Adaptive Multi-Stage Optimisation for EV Charging Integration into Smart Grid Control" 54 -* //Ewa Andrejczuk, Juan Antonio Rodriguez-Aguilar and Carles Sierra//. "Collaborative Judgement" 55 -* //Nils Bulling and Hoang Nga Nguyen//. "Model Checking Resource Bounded Systems with Shared Resources via Alternating Büchi Pushdown Systems" 56 -* //Tibor Bosse and Simon Provoost//. "Integrating Conversation Trees and Cognitive Models within an ECA for Aggression De-escalation Training" 57 -* //Agnieszka Zbrzezny and Andrzej Zbrzezny//. "Checking WELTLK Properties of Weighted Interpreted Systems via SMT-based Bounded Model Checking" 58 -* //Guillaume Aucher, Bastien Maubert, Sophie Pinchinat and Francois Schwarzentruber//. "Games with communication: from belief to preference change" 59 -* //Philippe Mathieu, Sebastien Picault and Yann Secq//. "Design patterns for environments in multi-agent simulations" 60 -* //Giovanni Sileno, Alexander Boer and Tom Van Engers//. "Commitments, Expectations, Affordances and Susceptibilities: Towards Positional Agent Programming" 61 -* //Joao Mario Lopes Brezolin, Sandro Rama Fiorini, Marcia De Borba Campos and Rafael H. Bordini//. "Using Conceptual Spaces for Object Recognition in Multi-Agent Systems" 8 + * ~~Julia Radoszycki, Nathalie Peyrard and Régis Sabbadin~~. "Solving F3MDPs: Collaborative Multiagent Markov Decision Processes with Factored Transitions, Rewards and Stochastic Policies" 9 + * ~~Wen Shen and Cristina Lopes~~. "Managing Autonomous Mobility on Demand Systems for Better Passenger Experience" 10 + * ~~Vinay Katiyar and David Clarance~~. "Norm Establishment in a Single Dimension Axelrod Model" 11 + * ~~Mirko Viroli, Danilo Pianini, Alessandro Ricci, Pietro Brunetti and Angelo Croatti~~. "Engineering multi-agent systems with aggregate computing" 12 + * ~~Alan White, Austin Tate and Michael Rovatsos~~. "CAMP-BDI: A Pre-emptive Approach for Plan Execution Robustness in Multiagent Systems" 13 + * ~~Christopher Ewin, Adrian Pearce and Stavros Vassos~~. "Optimizing Long-running Action Histories in the Situation Calculus through Search" 14 + * ~~Erica Calardo, Guido Governatori and Antonino Rotolo~~. "Semantics for Modelling Reason-based Preferences" 15 + * ~~Takamasa Ihara, Shunsuke Tsuruta, Taiki Todo, Yuko Sakurai and Makoto Yokoo~~. "Strategy-proof Cake Cutting Mechanisms for the All-or-nothing Utility" 16 + * ~~Toshihiro Matsui, Marius Silaghi, Tenda Okimoto, Katsutoshi Hirayama, Makoto Yokoo and Hiroshi Matsuo~~. "Leximin Asymmetric Multiple Objective DCOP on Factor Graph" 17 + * ~~Muhammad Yasir, Martin Purvis, Maryam Purvis and Bastin Tony Roy Savarimuthu~~. "Dynamic Coalition Formation in Micro-grids" 18 + * ~~Luigi Sauro~~. "On the Hierarchical Nature of Partial Preferences" 19 + * ~~Sasha Rubin, Florian Zuleger, Aniello Murano and Benjamin Aminof~~. "Verification of Asynchronous Mobile-Robots in Partially-Known Environments" 20 + * ~~Daniela Kengyel, Heiko Hamann, Payam Zahadat, Gerald Radspieler, Franz Wotawa and Thomas Schmickl~~. "Potential of Heterogeneity in Collective Behaviors: A Case Study on Heterogeneous Swarms" 21 + * ~~Aniello Murano, Giuseppe Perelli and Sasha Rubin~~. "Multi-Agent Path Planning in Known Dynamic Environments" 22 + * ~~Wojtek Jamroga and Aniello Murano~~. "Module Checking for Uncertain Agents" 23 + * ~~Rinde R.S. van Lon and Tom Holvoet~~. "Towards systematic evaluation of multi-agent systems in large scale and dynamic logistics" 24 + * ~~Barbara Dunin-Keplicz and Alina Strachocka~~. "Paraconsistent Multi-party Persuasion in TalkLog" 25 + * ~~Simone Gabbriellini and Francesco Santini~~. "A Micro Study on the Evolution of Arguments in Amazon.com’s Reviews 26 + * ~~Emiliano Lorini and Roland Mühlenbernd~~. "The long-term benefits of following fairness norms: a game-theoretic analysis" 27 + * ~~Terry Payne and Valentina Tamma~~. "Using Preferences in Negotiations over Ontological Correspondences" 28 + * ~~Vincent Koeman and Koen Hindriks~~. "Designing a Source-Level Debugger for Cognitive Agent Programs" 29 + * ~~Rem Collier, Sean Russell and David Lillis~~. "Reflecting on Agent Programming with AgentSpeak(L)" 30 + * ~~Kamilia Ahmadi and Vicki Allan~~. "Checking The Reliability of Information Sources in Recommendation Based Trust Decision Making" 31 + * ~~Tibor Bosse, Jurriaan van Diggelen, Mark Neerincx and Nanja Smets~~. "Supporting Human-Robot Teams in Space Missions using ePartners and Formal Abstraction Hierarchies" 32 + * ~~Yuko Sakurai, Masato Shinoda, Satoshi Oyama and Makoto Yokoo~~. "Flexible reward plans for crowdsourced tasks" 33 + * ~~Daniele Porello~~. "Majoritarian Group Actions" 34 + * ~~Sam Leask and Brian Logan~~. "Programming Deliberation Strategies in Meta-APL" 35 + * ~~Tiep Le, Tran Cao Son and Enrico Pontelli~~. "Multi-context Systems with Preferences" 36 + * ~~Chanjuan Liu, Fenrong Liu and Kaile Su~~. "A Dynamic-logical Characterization of Solutions in Sight-limited Extensive Games" 37 + 38 +1.1 Short Papers 39 + 40 + * ~~Stefania Monica and Federico Bergenti~~. "Kinetic Description of Opinion Evolution in Multi-Agent Systems: Analytic Model and Simulations" 41 + * ~~Alexei Sharpanskykh and Rob Haest~~. "An Agent-based Model to Study Effects of Team Processes on Compliance to Safety Regulations at an Airline Ground Service Organization" 42 + * ~~Sean Russell, Rem Collier and Gregory O'Hare~~. "Agent-Oriented Programming Languages as a High-Level Abstraction for the Development of Intelligent Behaviours for Wireless Sensor Network Applications" 43 + * ~~Tânia Marques~~. "Towards a taxonomy of task-oriented domains of dialogue" 44 + * ~~Xiuyi Fan and Francesca Toni~~. "Mechanism Design for Argumentation-based Information-seeking and Inquiry" 45 + * ~~Yumemo Shiba, Haruka Umegaki and Toshiharu Sugawara~~. "Fair Assessment of GroupWork by Mutual Evaluation with Irresponsible and Collusive Students Using Trust Networks" 46 + * ~~Mehdi Farhangian, Martin Purvis, Maryam Purvis and Bastin Tony Roy Savarimuthu~~. "Modeling the Effects of Personality on Team Formation in Self-assembly Teams" 47 + * ~~Warda El Kholy, Mohamed El Menshawy, Amine Laarej, Jamal Bentahar, Faisal Al-Saqqar and Rachida Dssouli~~. "Real-Time Conditional Commitment Logic" 48 + * ~~Malcolm Egan, Martin Schaefer, Michal Jakob and Nir Oren~~. "A Double Auction Mechanism for On-Demand Transport Networks" 49 + * ~~Matteo Baldoni, Cristina Baroglio, Federico Capuzzimati and Roberto Micalizio~~. "Exploiting Social Commitments in Programming Agent Interaction" 50 + * ~~Matteo Baldoni, Cristina Baroglio and Roberto Micalizio~~. "Social Continual Planning in Open Multiagent Systems" 51 + * ~~Giuseppe De Giacomo, Yves Lespérance and Adrian Pearce~~. "Situation Calculus Game Structures and GDL" 52 + * ~~Hossein Khani and Mohsen Afsharchi~~. "Security Games with Ambiguous Belifs of Agents" 53 + * ~~Madalina Croitoru, Rallou Thomopoulos and Srdjan Vesic~~. "Introducing Preference-Based Argumentation to Inconsistent Ontological Knowledge Bases" 54 + * ~~Francesco Olivieri, Matteo Cristani and Guido Governatori~~. "Compliant business processes with exclusive choices from agent specification" 55 + * ~~Francisco Coelho and Vitor Nogueira~~. "Probabilistic Perception Revision in AgentSpeak(L)" 56 + * ~~Christopher-Eyk Hrabia, Tobias Küster, Marcus Voß and Francisco Denis Pozo Pardo~~. "Adaptive Multi-Stage Optimisation for EV Charging Integration into Smart Grid Control" 57 + * ~~Ewa Andrejczuk, Juan Antonio Rodriguez-Aguilar and Carles Sierra~~. "Collaborative Judgement" 58 + * ~~Nils Bulling and Hoang Nga Nguyen~~. "Model Checking Resource Bounded Systems with Shared Resources via Alternating Büchi Pushdown Systems" 59 + * ~~Tibor Bosse and Simon Provoost~~. "Integrating Conversation Trees and Cognitive Models within an ECA for Aggression De-escalation Training" 60 + * ~~Agnieszka Zbrzezny and Andrzej Zbrzezny~~. "Checking WELTLK Properties of Weighted Interpreted Systems via SMT-based Bounded Model Checking" 61 + * ~~Guillaume Aucher, Bastien Maubert, Sophie Pinchinat and Francois Schwarzentruber~~. "Games with communication: from belief to preference change" 62 + * ~~Philippe Mathieu, Sebastien Picault and Yann Secq~~. "Design patterns for environments in multi-agent simulations" 63 + * ~~Giovanni Sileno, Alexander Boer and Tom Van Engers~~. "Commitments, Expectations, Affordances and Susceptibilities: Towards Positional Agent Programming" 64 + * ~~Joao Mario Lopes Brezolin, Sandro Rama Fiorini, Marcia De Borba Campos and Rafael H. Bordini~~. "Using Conceptual Spaces for Object Recognition in Multi-Agent Systems"