Changes for page Accepted Papers

From version 4.1
edited by Andrea Omicini
on 12/01/2022 23:27
Change comment: There is no comment for this version
To version 1.1
edited by Andrea Omicini
on 18/12/2020 13:13
Change comment: Imported from XAR

Summary

Details

Page properties
Title
... ... @@ -1,0 +1,1 @@
1 +List of Accepted Papers
Syntax
... ... @@ -1,1 +1,1 @@
1 -XWiki 2.1
1 +XWiki 1.0
Content
... ... @@ -1,61 +2,64 @@
1 -= PRIMA 2015 Accepted papers =
2 2  
3 ->Regular Papers
2 +#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 ->Short Papers
6 +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"