08:45 Welcome Desk & Registration (08:45 - 09:30)
09:30
09:30 - 09:45 - Room Manhattan Opening Session
09:45
09:45 - 11:15 - Room Manhattan Panel
"AI and the End of Humanity?"

Chair:
Jaap van den Herik, Leiden University, Netherlands

Participants:
Béatrice Duval, LERIA, University of Angers, France
Chris Reed, University of Dundee, United Kingdom
Robert Kowalski, Imperial College London, United Kingdom
11:15 Coffee-Break (11:15 - 11:30)
11:30
11:30 - 13:00 - Room Berlin A Parallel Session 1 - Agents & Artificial Intelligence
  • 11: Entry Point Matters - Effective Introduction of Innovation in Social Networks Ramon Hermoso and Maria Fasli
  • 41: An Inflation / Deflation Model for Price Stabilization in Networks Jun Kiniwa, Kensaku Kikuta and Hiroaki Sandoh
  • 163: Privacy Risk Assessment of Textual Publications in Social Networks David Sanchez and Alexandre Viejo
  • 172: Agent-based Modelling for Green Space Allocation in Urban Areas - Factors Influencing Agent Behaviour Marta Vallejo, Verena Rieser and David W. Corne
11:30 - 13:00 - Room Berlin B Parallel Session 1 - Artificial Intelligence
  • 81: Rejecting Foreign Elements in Pattern Recognition Problem - Reinforced Training of Rejection Level Wladyslaw Homenda, Agnieszka Jastrzebska and Witold Pedrycz
  • 19: Choroid Characterization in EDI OCT Retinal Images Based on Texture Analysis A. Gonzalez-Lopez, B. Remeseiro, M. Ortega and M. G. Penedo
  • 99: Towards a Generic Architecture for Recommenders Benchmarking Mohamed Ramzi Haddad, Hajer Baazaoui, Djemel Ziou and Henda Ben Ghezala
  • 170: Ontology Selection for Semantic Similarity Assessment Montserrat Batet and David Sanchez
11:30 - 13:00 - Room Geneva Parallel Session 1 - Agents
  • 38: Hybrid POMDP-BDI - An Agent Architecture with Online Stochastic Planning and Desires with Changing Intensity Levels Gavin Rens and Thomas Meyer
  • 113: From Formal Modelling to Agent Simulation Execution and Testing Ilias Sakellariou, Dimitris Dranidis, Marina Ntika and Petros Kefalas
  • 184: Autonomous Pareto Front Scanning using an Adaptive Multi-Agent System for Multidisciplinary Optimization Julien Martin, Jean-Pierre Georgé, Marie-Pierre Gleizes and Mickaël Meunier
13:00 Lunch (13:00 - 14:30)
14:30
14:30 - 16:30 - Room Mediterranean 5 Parallel Session 2 - Agents & Artificial Intelligence
  • 117: Fast Solving of Influence Diagrams for Multiagent Planning on GPU-enabled Architectures Fadel Adoe, Yingke Chen and Prashant Doshi
  • 46: Comparison of Power Consumption Reduce Effect of Intelligent Lighting System and Lighting Control System Using Motion Sensors Katsunori Onobayashi, Yuki Sakakibara, Hiromitsu Nakabayashi, Mitsunori Miki and Hiroto Aida
  • 69: Semantic Interoperability for Web Services based Smart Home Systems Hannu Järvinen and Petri Vuorimaa
  • 165: Extreme Sensitive Robotic - A Context-Aware Ubiquitous Learning Nicolas Verstaevel, Christine Régis, Valérian Guivarch, Marie-Pierre Gleizes and Fabrice Robert
  • 168: Butler-ising HomeManager - A Pervasive Multi-Agent System for Home Intelligence Enrico Denti and Roberta Calegari
14:30 - 16:30 - Room Berlin A Parallel Session 2a - Agents & Artificial Intelligence
  • 24: Critical Position Identification in Games and Its Application to Speculative Play Mohd Nor Akmal Khalid, Umi Kalsom Yusof, Hiroyuki Iida and Taichi Ishitobi
  • 55: AGAGD - An Adaptive Genetic Algorithm Guided by Decomposition for Solving PCSPs Lamia Sadeg-Belkacem, Zineb Habbas and Wassila Aggoune-Mtalaa
  • 83: JChoc DisSolver - Bridging the Gap Between Simulation and Realistic Use Imade Benelallam, Zakarya Erraji, Ghizlaneg Elkhattabi, Jaouad Ait Haddou and El Houssine Bouyakhf
  • 18: Intelligent Agents - Conversations from Human-agent Imitation Games Kevin Warwick and Huma Shah
14:30 - 16:30 - Room Berlin B Parallel Session 2 - Artificial Intelligence
  • 35: Thompson Sampling in the Adaptive Linear Scalarized Multi Objective Multi Armed Bandit Saba Yahyaa, Madalina Drugan and Bernard Manderick
  • 52: Exploration Versus Exploitation Trade-off in Infinite Horizon Pareto Multi-armed Bandits Algorithms Madalina Drugan and Bernard Manderick
  • 114: Model Guided Sampling Optimization for Low-dimensional Problems Lukáš Bajer and Martin Holeňa
  • 150: An Artificial Immune Approach for Optimizing Crowd Emergency Evacuation Route Planning Problem Mohd Nor Akmal Khalid and Umi Kalsom Yusof
  • 151: Finding Resilient Solutions for Dynamic Multi-Objective Constraint Optimization Problems Maxime Clement, Tenda Okimoto, Nicolas Schwind and Katsumi Inoue
14:30 - 16:30 - Room Geneva Parallel Session 2a - Artificial Intelligence
  • 96: The Art of Balance - Problem-Solving vs. Pattern-Recognition Martyn Lloyd-Kelly, Fernand Gobet and Peter C. R. Lane
  • 42: Bioplausible Multiscale Filtering in Retinal to Cortical Processing as a Model of Computer Vision Nasim Nematzadeh, Trent W. Lewis and David M. W. Powers
  • 156: Creation of Emotion-inducing Scenarios using BDI Pierre Olivier Brosseau and Claude Frasson
14:30 - 16:30 - Room Manhattan Parallel Session 1 - PUaNLP
  • 2: What Did You Mean? - Facing the Challenges of User-generated Software Requirements Michaela Geierhos, Sabine Schulze and Frederik Simon Bäumer
  • 3: Building TALAA, a Free General and Categorized Arabic Corpus Essma Selab and Ahmed Guessoum
  • 4: Completing Mixed Language Grammars Through Womb Grammars Plus Ontologies Ife Adebara, Veronica Dahl and Sergio Tessaris
  • 5: Underspecified Relations with a Formal Language of Situation Theory Roussanka Loukanova
16:30 Coffee-Break (16:30 - 17:15)
16:30
16:30 - 17:30 - Mediterranean 1 Posters Session 1
ICAART
  • 3: Services of Ambient Assistance for Elderly and/or Disabled Person in Health Intelligent Habitat Amina Makhlouf, Nadia Saadia and Amar Ramdane-Cherif
  • 5: Action Preparation and Replanning in Manipulation Hisashi Hayashi and Hideki Ogawa
  • 13: Anywhere but Here - Enron’s Emails in the Midst of a Crisis Corey Taylor, Richard Leibbrandt and David Powers
  • 16: Human Visual System Based Framework For Gender Recognition Cherinet G. Zewdie and Hubert Konik
  • 25: Combining Paraconsistency and Probability in CTL Norihiro Kamide and Daiki Koizumi
  • 43: Improvement of n-ary Relation Extraction by Adding Lexical Semantics to Distant-Supervision Rule Learning Hong Li, Sebastian Krause, Feiyu Xu, Andrea Moro, Hans Uszkoreit and Roberto Navigli
  • 44: Reordering Variables using ‘Contribution Number’ Strategy to Neutralize Sudoku Sets Saajid Abuluaih, Azlinah Hj. Mohamed, Annamalai Muthukkaruppan and Hiroyuki Iida
  • 49: Implementation of a Realtime Event-location Analyzer Junyeob Yim, Bumsuk Lee and Byung-Yeon Hwang
  • 57: Study of Human Activity Related to Residential Energy Consumption Using Multi-level Simulations Thomas Huraux, Nicolas Sabouret and Yvon Haradji
  • 72: Vessel Rotation Planning - A Layered Distributed Constraint Optimization Approach Shijie Li, Rudy R. Negenborn and Gabriel Lodewijks
  • 74: Building Emotional Agents for Strategic Decision Making Bexy Alfonso, Emilio Vivancos, Vicente Botti and Penélope Hernández
  • 85: Inconsistency-based Ranking of Knowledge Bases Said Jabbour, Badran Raddaoui and Lakhdar Sais
  • 118: A Framework to Mitigate Debugging Difficulty on Agent Migration Shin Osaki, Masayuki Higashino, Kenichi Takahashi, Takao Kawamura and Kazunori Sugahara
  • 149: Checking Models for Activity Recognition Martin Nyolt, Kristina Yordanova and Thomas Kirste
  • 160: Formalizing the Qualitative Superposition of Rectangles in Proof Assistant Isabelle/HOL Fadoua Ghourabi and Kazuko Takahashi
17:30
17:30 - 18:30 - Room Manhattan Keynote Lecture Computational Logic as an Intelligent Agent’s Language of Thought Robert Kowalski, Imperial College London, United Kingdom
18:30 Welcome Drink (18:30 - 19:00)