PRIMA 2015 » List of Accepted Papers

List of Accepted papers

Regular Papers

  • Julia Radoszycki, Nathalie Peyrard and Régis Sabbadin. "Solving F3MDPs: Collaborative Multiagent Markov Decision Processes with Factored Transitions, Rewards and Stochastic Policies"
  • Wen Shen and Cristina Lopes. "Managing Autonomous Mobility on Demand Systems for Better Passenger Experience"
  • Vinay Katiyar and David Clarance. "Norm Establishment in a Single Dimension Axelrod Model"
  • Mirko Viroli, Danilo Pianini, Alessandro Ricci, Pietro Brunetti and Angelo Croatti. "Engineering multi-agent systems with aggregate computing"
  • Alan White, Austin Tate and Michael Rovatsos. "CAMP-BDI: A Pre-emptive Approach for Plan Execution Robustness in Multiagent Systems"
  • Christopher Ewin, Adrian Pearce and Stavros Vassos. "Optimizing Long-running Action Histories in the Situation Calculus through Search"
  • Erica Calardo, Guido Governatori and Antonino Rotolo. "Semantics for Modelling Reason-based Preferences"
  • Takamasa Ihara, Shunsuke Tsuruta, Taiki Todo, Yuko Sakurai and Makoto Yokoo. "Strategy-proof Cake Cutting Mechanisms for the All-or-nothing Utility"
  • Toshihiro Matsui, Marius Silaghi, Tenda Okimoto, Katsutoshi Hirayama, Makoto Yokoo and Hiroshi Matsuo. "Leximin Asymmetric Multiple Objective DCOP on Factor Graph"
  • Muhammad Yasir, Martin Purvis, Maryam Purvis and Bastin Tony Roy Savarimuthu. "Dynamic Coalition Formation in Micro-grids"
  • Luigi Sauro. "On the Hierarchical Nature of Partial Preferences"
  • Sasha Rubin, Florian Zuleger, Aniello Murano and Benjamin Aminof. "Verification of Asynchronous Mobile-Robots in Partially-Known Environments"
  • 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"
  • Aniello Murano, Giuseppe Perelli and Sasha Rubin. "Multi-Agent Path Planning in Known Dynamic Environments"
  • Wojtek Jamroga and Aniello Murano. "Module Checking for Uncertain Agents"
  • Rinde R.S. van Lon and Tom Holvoet. "Towards systematic evaluation of multi-agent systems in large scale and dynamic logistics"
  • Barbara Dunin-Keplicz and Alina Strachocka. "Paraconsistent Multi-party Persuasion in TalkLog"
  • Simone Gabbriellini and Francesco Santini. "A Micro Study on the Evolution of Arguments in Amazon.com’s Reviews
  • Emiliano Lorini and Roland Mühlenbernd. "The long-term benefits of following fairness norms: a game-theoretic analysis"
  • Terry Payne and Valentina Tamma. "Using Preferences in Negotiations over Ontological Correspondences"
  • Vincent Koeman and Koen Hindriks. "Designing a Source-Level Debugger for Cognitive Agent Programs"
  • Rem Collier, Sean Russell and David Lillis. "Reflecting on Agent Programming with AgentSpeak(L)"
  • Kamilia Ahmadi and Vicki Allan. "Checking The Reliability of Information Sources in Recommendation Based Trust Decision Making"
  • Tibor Bosse, Jurriaan van Diggelen, Mark Neerincx and Nanja Smets. "Supporting Human-Robot Teams in Space Missions using ePartners and Formal Abstraction Hierarchies"
  • Yuko Sakurai, Masato Shinoda, Satoshi Oyama and Makoto Yokoo. "Flexible reward plans for crowdsourced tasks"
  • Daniele Porello. "Majoritarian Group Actions"
  • Sam Leask and Brian Logan. "Programming Deliberation Strategies in Meta-APL"
  • Tiep Le, Tran Cao Son and Enrico Pontelli. "Multi-context Systems with Preferences"
  • Chanjuan Liu, Fenrong Liu and Kaile Su. "A Dynamic-logical Characterization of Solutions in Sight-limited Extensive Games"

Short Papers

  • Stefania Monica and Federico Bergenti. "Kinetic Description of Opinion Evolution in Multi-Agent Systems: Analytic Model and Simulations"
  • 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"
  • 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"
  • Tânia Marques. "Towards a taxonomy of task-oriented domains of dialogue"
  • Xiuyi Fan and Francesca Toni. "Mechanism Design for Argumentation-based Information-seeking and Inquiry"
  • Yumemo Shiba, Haruka Umegaki and Toshiharu Sugawara. "Fair Assessment of GroupWork by Mutual Evaluation with Irresponsible and Collusive Students Using Trust Networks"
  • Mehdi Farhangian, Martin Purvis, Maryam Purvis and Bastin Tony Roy Savarimuthu. "Modeling the Effects of Personality on Team Formation in Self-assembly Teams"
  • Warda El Kholy, Mohamed El Menshawy, Amine Laarej, Jamal Bentahar, Faisal Al-Saqqar and Rachida Dssouli. "Real-Time Conditional Commitment Logic"
  • Malcolm Egan, Martin Schaefer, Michal Jakob and Nir Oren. "A Double Auction Mechanism for On-Demand Transport Networks"
  • Matteo Baldoni, Cristina Baroglio, Federico Capuzzimati and Roberto Micalizio. "Exploiting Social Commitments in Programming Agent Interaction"
  • Matteo Baldoni, Cristina Baroglio and Roberto Micalizio. "Social Continual Planning in Open Multiagent Systems"
  • Giuseppe De Giacomo, Yves Lespérance and Adrian Pearce. "Situation Calculus Game Structures and GDL"
  • Hossein Khani and Mohsen Afsharchi. "Security Games with Ambiguous Belifs of Agents"
  • Madalina Croitoru, Rallou Thomopoulos and Srdjan Vesic. "Introducing Preference-Based Argumentation to Inconsistent Ontological Knowledge Bases"
  • Francesco Olivieri, Matteo Cristani and Guido Governatori. "Compliant business processes with exclusive choices from agent specification"
  • Francisco Coelho and Vitor Nogueira. "Probabilistic Perception Revision in AgentSpeak(L)"
  • 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"
  • Ewa Andrejczuk, Juan Antonio Rodriguez-Aguilar and Carles Sierra. "Collaborative Judgement"
  • Nils Bulling and Hoang Nga Nguyen. "Model Checking Resource Bounded Systems with Shared Resources via Alternating Büchi Pushdown Systems"
  • Tibor Bosse and Simon Provoost. "Integrating Conversation Trees and Cognitive Models within an ECA for Aggression De-escalation Training"
  • Agnieszka Zbrzezny and Andrzej Zbrzezny. "Checking WELTLK Properties of Weighted Interpreted Systems via SMT-based Bounded Model Checking"
  • Guillaume Aucher, Bastien Maubert, Sophie Pinchinat and Francois Schwarzentruber. "Games with communication: from belief to preference change"
  • Philippe Mathieu, Sebastien Picault and Yann Secq. "Design patterns for environments in multi-agent simulations"
  • Giovanni Sileno, Alexander Boer and Tom Van Engers. "Commitments, Expectations, Affordances and Susceptibilities: Towards Positional Agent Programming"
  • 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"