| 9.00-10.00: KEYNOTE Speech I |
| Intercultural Collaboration: Human-Aware Research on Multiagent Systems |
| Toru Ishida, Department of Social Informatics, Kyoto University |
| 10.00-10:30: Coffee break |
| 10.30-12:00: PRIMA Session I - chair: Aditya Ghose |
(long presentations, 15+5 minutes)
-
Verifying Real-Time Properties of Multi-Agent Systems via SMT-based Bounded Model Checking
Agnieszka M. Zbrzezny and Andrzej Zbrzezny
-
Competitive VCG Redistribution Mechanisms for Public Project Problem
Mingyu Guo
-
Coalition Structure Formation Using Anytime Dynamic Programming
Narayan Changder, Aditya K. Ghose, and Animesh Dutta
(short presentations, 7+3 minutes)
-
A Multi Agent System for Understanding the Impact of Technology Transfer Offices in Green-IT
Christina Herzog, Jean-Marc Pierson and Laurent Lefévre
-
Demand Response Integration through Agent-based Coordination of Consumers in Virtual Power Plants
Anders Clausen, Aisha Umair, Zheng Ma, and Bo Nørregaard Jørgensen
|
| 12.00-13.30: Lunch Break |
| 13.30-15:00: PRIMA Session II - chair: Guido Governatori |
(long presentations, 15+5 minutes)
-
Individually Rational Strategy-proof Social Choice with Exogenous Indifference Sets
Mingyu Guo, Yuko Sakurai, Taiki Todo, and Makoto Yokoo
-
A Collaborative Framework for 3D Mapping using Unmanned Aerial Vehicles
Patrick Doherty, Jonas Kvarnström, Piotr Rudol, Marius Wzorek, Gianpaolo Conte, Cyrille Berger, Timo Hinzmann, and Thomas Stastny
-
Revenue Maximizing Markets for Zero-Day Exploits
Mingyu Guo, Hideaki Hata, and Ali Babar
(short presentations, 7+3 minutes)
-
Generalising Social Structure using Interval Type-2 Fuzzy Sets
(Christopher K. Frantz, Bastin Tony Roy Savarimuthu, Martin K. Purvis, and Mariusz Nowostawski
|
| 15.30-17:00: PRIMA Session III: social science session - chair: Makoto Yokoo |
(long presentations, 15+5 minutes)
-
How, When and Where Can Spatial Segregation Induce Opinion Polarization? Two Competing Models
Thomas Feliciani, Andreas Flache, and Jochem Tolsma
-
Can Noise in Behavioral Models Improve Macro-Precisions? An Empirical Test
Michael Mäs and Dirk Helbing
-
Ali Baba and the Thief, Convention Emergence in Games
Xin Sun and Livio Robaldo
-
Heuristics on the Data-collecting Robot Problem with Immediate Rewards
Zhi Xing and Jae C. Oh
(short presentations, 7+3 minutes)
-
Towards Better Crisis Management in Support Services Organizations Using Fine Grained Agent Based Simulation
Vivek Balaraman, Harshal Hayatnagarkar, Meghendra Singh, and Mayuri Duggirala
|
| 9.00-10.00: KEYNOTE Speech II |
| Agent-based modelling and simulation for co-operative traffic and transport |
| Joerg P. Mueller, Department of Informatics, Clausthal University of Technology |
| 10.00-10:30: Coffee break |
| 10.30-12:00: PRIMA Session IV - chair: Paolo Torroni |
(long presentations, 15+5 minutes)
-
Argumentation-Based Semantics for Logic Programs with First-Order Formulae
Phan Minh Dung, Tran Cao Son, and Phan Minh Thang
-
Resistance to Corruption of General Strategic Argumentation
Michael J. Maher
-
Balancing Rationality and Utility in Logic-Based Argumentation with Classical Logic Sentences and Belief Contraction
Ryuta Arisaka and Ken Satoh
(short presentations, 7+3 minutes)
-
Argumentation Versus Optimization for Supervised Acceptability Learning
Hiroyuki Kido
-
Dialectical Proof Procedures for Probabilistic Abstract Argumentation
Phan Minh Thang
|
| 12.00-13.30: Lunch Break |
| 13.30-15:00: PRIMA Session V - chair: Matteo Baldoni |
(long presentations, 15+5 minutes)
-
Semantic Reasoning with Uncertain Information from Unreliable Sources
Murat Şensoy, Lance Kaplan, and Geeth de Mel
-
Sequence Semantics for Normative Agents
Guido Governatori, Francesco Olivieri, Erica Calardo, Antonino Rotolo, and Matteo Cristani
-
Distant Group Responsibility in Multi-Agent Systems
Vahid Yazdanpanah and Mehdi Dastani
(short presentations, 7+3 minutes)
-
Plan Failure Analysis: Formalization and Application in Interactive Planning Through Natural Language Communication
Chitta Baral, Tran Cao Son, Michael Gelfond, and Arindam Mitra
|
| 15.30-17:00: PRIMA Session VI - chair: Mingyu Guo |
(long presentations, 15+5 minutes)
-
Offer Evaluation and Trade-off Making in Automated Negotiation Based on Intuitionistic Fuzzy Constraints
Jieyu Zhan and Xudong Luo
-
Spread of Cooperation in Complex Agent Networks Based on Expectation of Cooperation
Ryosuke Shibusawa, Tomoaki Otsuka, and Toshiharu Sugawara
-
Analyzing Topics and Trends in the PRIMA Literature
Hoa Khanh Dam and Aditya K. Ghose
(short presentations, 7+3 minutes)
-
Automatic Evacuation Management Using a Multi Agent System and Parallel Meta-heuristic Search
Leonel Enrique Aguilar Melgar, Maddegedara Lalith, Tsuyoshi Ichimura, and Muneo Hori
-
Modeling Organizational and Institutional Aspects in Renewable and Natural Resources Management Context
Islem Hènane, Sameh Hadouaj, Khaled Ghédira, and Ali Ferchichi
|