Conference Schedule




Monday 10 November

8:00- 8:45	Registration
8:45- 9:00	Welcome Session (Room Panorama)
9:00- 10:30	Session A1 Invited Talk Eric Gregoire: New perspectives on reasoning about logical conflicts in A.I. (Room Panorama)
10:30- 11:00	Coffee Break
	Room Panorama	Room Megaron A	Room Megaron B	Room Megaron C
11:00- 13:00	Session A21 SAT/CSP 1 CSP: Methodologies, Techniques & Applications	Session A22 Machine Learning 1	Session A23 Planning 1	Session A24 Ontologies - Knowledge Representation & Reasoning I
13:00- 14:00	Lunch Break
14:00- 16:00	Session A31 SAT/CSP 2 CSP/SAT/ Optimization & Applications	Session A32 Tutoring systems - Machine Learning II	Session A33 Clustering	Session A34 Knowledge Representation & Reasoning II
16:00- 16:30	Coffee Break
16:30- 18:30	Session A41 SAT/CSP 3 SAT, MAX-SAT and their Applications	Session A42 Social Networks I	Session A43 Planning II & Multi-Agents	Session A44 Emotion Analysis
19:00- 20:00	Welcome Reception (St. Raphael Resort-Venue)

Tuesday 11 November

8:30- 9:00	Registration
9:00- 10:30	Session B1 Invited Talk Barry O'Sullivan: Energy Management and Data Centres: Where Optimisation and Learning Meet (Room Panorama)
10:30- 11:00	Coffee Break
	Room Panorama	Room Megaron A	Room Megaron B	Room Megaron C
11:00- 13:00	Session B21 SAT/CSP 4 Complexity Issues, Soft Constraints	Session B22 CIMA 2014	Session B23 Social Networks II	Session B24 A.I. Applications
13:00- 14:00	Lunch Break
14:00- 16:00	Session B31 SAT/CSP 5 CSP: Applications	Session B32 Documents & Natural Language Processing	Session B33 Robotics - Gesture - Cognition	Session B34 AI Tools, Methodology and Applications I
16:00- 16:30	Coffee Break
16:30- 18:30	Session B41 SAT/CSP 6 Parallel Solving, Over-Constrainted CSPs	Session B42 Big Data - Data Mining & Databases	Session B43 Argumentation	Session B44 AI Tools, Methodology and Applications II
19:00- 22:30	Conference Dinner

Wednesday 12 November

8:30- 9:00	Registration
9:00- 10:30	Session C1 Invited Talk George Vouros: Reaching Semantic Agreements in Multi-Agent Systems (Room Panorama)
10:30- 11:00	Coffee Break
	Room Panorama	Room Megaron A	Room Megaron B	Room Megaron C
11:00- 13:00	Session C21 Constraints, SAT and Optimization	Session C22 A.I. for Traffic- Transportation & Navigation Issues	Session C23 AI Tools, Methodology and Applications III	Session C24 AI Tools, Methodology and Applications IV
13:00- 14:00	Lunch Break

Important Note: The time for presentation is 20-25 minutes for regular papers and 15 minutes for short papers. A DLP and a laptop will be available. The presenters have the option of either using the available laptop or connect their own laptop to the DLP.



Session A21. SAT/CSP 1 CSP: Methodologies, Techniques & Applications
Chair: Barry O'Sullivan

• Christian Bessiere, Remi Coletta and Nadjib Lazaar. Solve a Constraint Problem Without Modeling It (REGULAR)
• Hiep Nguyen, Thomas Schiex, Christian Bessiere and Simon de Givry. Maintaining Virtual Arc Consistency Dynamically During Search (REGULAR)
• Victor Reyes and Ignacio Araya. Probing-based variable selection heuristics for NCSPs (REGULAR)
• Ignacio Araya. Estimating Upper Bounds for Improving the Filtering in Interval Branch and Bound Optimizers (REGULAR)

Session A22. Machine Learning I
Chair: Shizhong Liao

• 80 Chowdhury Farhan Ahmed, Nicolas Lachiche, Clement Charnay and Agnes Braud. Reframing Continuous Input Attributes (REGULAR)
• 77 Dominique Bouthinon and Henry Soldano. Learning First Order Rules From Ambiguous Examples (REGULAR)
• 220 Josef Pihera and Nysret Musliu. Application of Machine Learning to Algorithm Selection for TSP (REGULAR)
• 27 Jin Xu, Zhihua Cai and Wenyin Gong. An Adaptive Strategy to Adjust the Components of Memetic Algorithms (REGULAR)
• 101 Leonardo Tavares, Rodney Saldanha, Douglas Vieira and Adriano Lisboa. A comparative study of Extreme Learning Machine Pruning based on detection of linear independence (SHORT)
• 133 Yongming Wang and Junzhong Gu. Hybridization of Support Vector Regression and Firefly Algorithm for Diarrhoeal Outpatient Visits Forecasting (SHORT)

Session A23. Planning I
Chair: Sherief Abdallah

• 148 Marika Ivanova and Pavel Surynek. Adversarial Cooperative Path-finding: Complexity and Algorithms (REGULAR)
• 92 Jianbing Ma, Weiru Liu, Jun Hong, Lluis Godo and Carles Sierra. Plan Selection for Probabilistic BDI Agents (REGULAR)
• 204 George Markou and Ioannis Refanidis. Anytime Planning for Web Service Composition via Alternative Plan Merging (REGULAR)
• 200 Enrico Scala, Sebastiano Concetto Marco Caff and Francesco Di Mauro. A Numeric PDDL Based Approach for Temporally Constrained Journey Problems (REGULAR)
• 256 Radja Boukharrou, Ahmed Chawki Chaouche, Jean-Michel Ilie and Djamel Eddine Saidouni. Contextual-Timed Planning Management for Ambient Systems (REGULAR)
• 234 Filip Dvorak, Arthur Bit-Monnot, Felix Ingrand, Malik Ghallab and Roman Bartak. Planning and Acting with Temporal and Hierarchical Decomposition Models (SHORT)

Session A24. Ontologies - Knowledge Representation & Reasoning I
Chair: Euripides Petrakis

• 84 Jose Martin Lozano Aparicio, Joel Carbonera, Mara Abel and Marcelo Pimenta. Ontology View extraction: an approach based on ontological meta-properties (REGULAR)
• 140 Luan Garcia, Joel Luis Carbonera and Mara Abel. An Ontology-Based Automatic Approach for Lithologic Correlation (REGULAR)
• 197 Montserrat Batet and David Sanchez. A semantic approach for ontology evaluation (REGULAR)
• 225 Said Jabbour, Yue Ma, Badran Raddaoui and Lakhdar Sais. On the Characterization of Inconsistency: A Prime Implicates Based Framework (REGULAR)
• 104 Kim Bauters, Weiru Liu, Jun Hong, Lluis Godo and Carles Sierra. A Syntactic Approach to Revising Epistemic States with Uncertain Inputs (REGULAR)
• 31 Ilias Tachmazidis, Long Cheng, Spyros Kotoulas, Grigoris Antoniou and Tomas E. Ward. Massively Parallel Reasoning under the Well-Founded Semantics using X10 (REGULAR)

Session A31. SAT/CSP 2 CSP/SAT/Optimization & Applications
Chair: Bertrand Mazure

• Nicolas Schwind, Tenda Okimoto, Sebastien Konieczny, Maxime Wack and Katsumi Inoue. Utilitarian and Egalitarian Solutions for Multi-Objective Constraint Optimization (REGULAR)
• Alejandro Arbelaez, Deepak Mehta, Barry O'Sullivan and Luis Quesada. Constraint Based Local Search for Distance and Capacity Bounded Network Design Problem (REGULAR)
• Michael Codish, Luis Cruz-Filipe, Michael Frank and Peter Schneider-Kamp. Twenty-Five Comparators is Optimal when Sorting Nine Inputs (and Twenty-Nine for Ten) (REGULAR)
• Michael Sioutis. Triangulation versus Graph Partitioning for Tackling Large Real World Qualitative Spatial Networks (REGULAR)

Session A32. Tutoring systems & Machine Learning II
Chair: Panagiotis Kanellopoulos

• 18 Ruth Janning, Carlotta Schatten, Lars Schmidt-Thieme and Gerhard Backfried. An SVM Plait for Improving Affect Recognition in Intelligent Tutoring Systems (REGULAR)
• 180 Ke Niu, Zhendong Niu, Donglei Liu, Xiangyu Zhao and Peipei Gu. A Personalized User Evaluation Model for Web-Based Learning Systems (REGULAR)
• 146 Emilien Bondu, Nathalie Chaignaud, Jean-Philippe Kotowicz and Habib Abdulrab. A Support System for the Capitalization and the Exploitation of Expert Knowledge (REGULAR)
• 107 Zhi Yin, Xin Wang, Xiaoqiong Wu, Chen Liang and Congfu Xu. Collaborative Ranking via Learning Social Experts (REGULAR)
• 135 Ming Fang, Yuqi Xiao, Chongjun Wang and Junyuan Xie. Multi-Label classification: Dealing with Imbalance by Combining Labels (SHORT)
• 164 Lara Dantas and Meuser Valenca. Using neural networks in the identification of signatures for prediction of Alzheimer's Disease (SHORT)

Session A33. Clustering
Chair: Nicolas Lachiche

• 154 Bo Dong, Yan Cui and Shizhong Liao. Clustering Human Wrist Pulse Signals via Multiple Criteria Decision Making (REGULAR)
• 138 Fenfei Guo, Deqiang Han and Chongzhao Han. k-intervals: a new extension of the k-means algorithm (REGULAR)
• 89 Joel Carbonera. Categorical data clustering: A correlation-based approach for unsupervised attribute weighting (SHORT)
• 175 Qin Liu, Jingxiao Zhang, Jiakai Xiao, Hongming Zhu and Qinpei Zhao. A Supervised Feature Selection Algorithm through Minimum Spanning Tree Clustering (REGULAR)
• 251 Joel Luis Carbonera. An entropy-based subspace clustering algorithm for categorical data (REGULAR)
• 108 Felix Richter, Sergio Di Martino and Dirk C. Mattfeld. Temporal and spatial clustering for a parking prediction service (SHORT)

Session A34. Knowledge Representation & Reasoning II
Chair: Filip Dvorak

• 88 Nikolaos Mainas and Euripides Petrakis. CHOROS 2: Improving the Performance of Qualitative Spatial Reasoning in OWL (REGULAR)
• 64 Aymeric Le Dorze, Laurent Garcia, David Genest and Stephane Loiseau. Synthesis of cognitive maps and applications (REGULAR)
• 149 Stavros Kontopoulos and Georgios Drakopoulos. A space efficient scheme for persistent graph representation (SHORT)
• 62 David Genest, Marc Legeay, Stephane Loiseau and Christophe Bechade. CGQL: A Graphical Query Language for Conceptual Graphs (SHORT)
• 151 Eleftherios Anagnostopoulos, Euripides Petrakis and Sotirios Batsakis. CHRONOS: A Reasoning Engine for Qualitative Temporal Information in OWL (SHORT)
• 127 Ligia Maria Soares Passos and Stephane Julia. Linear Logic as a Tool for Deadlock-freeness Scenarios Detection in Interorganizational Workflow Processes (SHORT)

Session A41. SAT/CSP 3 SAT, MAX-SAT and their Applications
Chair: Samir Loudni

• Eric Gregoire, Jean-Marie Lagniez and Bertrand Mazure. Multiple Contraction Through Partial-Max-SAT (REGULAR)
• Jeremias Berg and Matti Jarvisalo. SAT-Based Approaches to Treewidth Computation: An Evaluation (REGULAR)
• Andre Abrame and Djamal Habet. Local Max-Resolution in Branch and Bound Solvers for Max-SAT (REGULAR)

Session A42. Social Networks I
Chair: Michalis Zervakis

• 91 Wanyuan Wang and Yichuan Jiang. A Practical Negotiation-Based Team Formation Model for Non-Cooperative Social Networks (REGULAR)
• 269 Alessia Amelio and Clara Pizzuti. Community Detection in Multidimensional Networks (REGULAR)
• 252 Peiyu Yang, Tongyu Zhu and Xuejin Wan. Identifying Significant Places Using Multi-day Call Detail Records (REGULAR)
• 242 Rushed Kanawati. Multi-objective approach for local community computation (REGULAR)
• 195 Jianye Hao, Huang Dongping, Yi Cai and Ho-Fung Leung. Networked Reinforcement Social Learning towards Coordination in Cooperative Multiagent Systems (SHORT)
• 38 Xin Wang and Congfu Xu. SBMF: Similarity-Based Matrix Factorization for Collaborative Recommendation (SHORT)

Session A43. Planning II & Multi-Agents
Chair: Guangbing Yang

• 258 Cesar Guzman, Pablo Castejon Navarro, Eva Onaindia and Jeremy Frank. Robust plan execution in multi-agent environments (REGULAR)
• 168 Yifeng Zhou and Yichuan Jiang. Agent Division and Fusion for Task Execution in Undependable Multiagent Systems (REGULAR)
• 222 Sherief Abdallah and Seema Sadleh. DNVA: a tool for visualizing and analyzing multi-agent learning in networks (REGULAR)
• 271 Faten Ben Hmida, Wided Lejouad Chaari, Remy Dupas and Anne Seguy. Evaluation of communication in multiagent systems for supply chain planning and control (SHORT)

Session A44. Emotion Analysis
Chair: Georgios Drakopoulos

• 95 Shunshun Yin, Jun Han, Kuldeep Kumar and Yu Huang. Dependency-Topic-Affects-Sentiment-LDA Model for Sentiment Analysis (REGULAR)
• 178 Nabeela Altrabsheh, Mihaela Cocea and Sanaz Fallahkhair. Sentiment analysis: towards a tool for analysing real-time students feedback (SHORT)
• 198 Jun Yang, Lan Jiang, Chongjun Wang and Junyuan Xie. Multi-Label Emotion Classification for Tweets in Weibo: Method and Application (SHORT)

Session B21. SAT/CSP 4 Complexity Issues, Soft Constraints
Chair: Nicolas Schwind

• Ronald de Haan, Iyad Kanj and Stefan Szeider. Small Unsatisfiable Subsets in Constraint Satisfaction (REGULAR)
• El Mouelhi Achref, Philippe Jegou and Cyril Terrioux. Hidden Tractable Classes: from Theory to Practice (REGULAR)
• Balasim Al-Saedi, Eric Gregoire, Bertrand Mazure and Lakhdar Sais. Extensions and Variants of Dalal's Quad Polynomial Fragments of SAT (REGULAR)
• Alexander Knapp, Alexander Schiendorfer and Wolfgang Reif. Quality over Quantity in Soft Constraints (REGULAR)

Session B22. CIMA 2014
Chair: Ioannis Hatzilygeroudis

• Sarah Calderwood, Kim Bauters, Weiru Liu and Jun Hong. Adaptive uncertain information fusion to enhance plan selection in BDI agent systems
• Yingke Chen, Kim Bauters, Weiru Liu, Jun Hong, Kevin McAreavey, Llu'is Godo and Carles Sierra. AgentSpeak+: AgentSpeak with Probabilistic Planning
• Anca Goron, Ioan Alfred Letia. Instrumenting the Auditing of Business Process Logs
• Andrei Mocanu, Xiuyi Fan, Francesca Toni, Matthew Williams and Jiarong Chen. RecoMedic: Recommending Medical Literature through Argumentation
• Menelaos Makriyiannis, Tudor Lung, Robert Craven, Francesca Toni and Jack Kelly. Smarter Electricity through Argumentation
• Douglas A. G. Vieira, Adriano L. Santos1, Hani C. Yehia1, Adriano C. Lisboa1, Carlos A. M Nascimento. A hybrid computational vision technique for smoke detection in videos
• Maumita Bhattacharya. Diversity Handling in Evolutionary Landscape
• Gloria Cerasela Crisan, Elena Nechita, Vasile Palade. Ant-Based System Analysis on the Traveler Salesman Problem Under Uncertain Dynamic Behaviour

Session B23. Social Networks II
Chair: Rushed Kanawati

• 137 Aminu Muhammad, Nirmalie Wiratunga and Robert Lothian. A Hybrid Sentiment Lexicon for Social Media Mining (REGULAR)
• 51 Mohamed Bouguessa, Rokia Missaoui and Mohamed Talbi. A Novel Approach for Detecting Community Structure in Networks (REGULAR)
• 267 Andreas Kanavos, Isidoros Perikos, Pantelis Vikatos, Ioannis Hatzilygeroudis, Christos Makris and Athanasios Tsakalidis. Conversation Emotional Modelling in Social Networks (REGULAR)
• 209 Mohamed Mbarki, Omar Marey, Bentahar Jamal and Khalid Sultan. Agent Types and Adaptive Negotiation Strategies in Argumentation-Based Negotiation (REGULAR)
• 54 Zhirun Liu, Heyan Huang, Xianling Mao and Xiaochi Wei. Tri-Rank: An Authority Ranking Framework in Heterogeneous Academic Networks by Mutual Reinforce (REGULAR)
• 185 Hedia Zardi, Lotfi Ben Romdhane and Zahia Guessoum. A multi-agent Homophily-based-Approach for community detection in social networks (SHORT)

Session B24. A.I. Applications
Chair: George Vouros

• 172 Gerardo Beruvides, Ramon Quiza, Ferardo Castno, Marcelino Rivas and Rodolfo Haber. Intelligent Models for Predicting the Thrust Force and Perpendicular Vibrations in Microdrilling Processes (REGULAR)
• 69 Malak Al-Nory and Alexander Brodsky. Towards Optimal Decision Guidance for Smart Grids with Integrated Renewable Generation and Water Desalination (REGULAR)
• 212 Simon Fossier. A risk assessment and alerting system for maritime attacks (REGULAR)
• 131 Bruno Faical, Gustavo Pessin, Geraldo Pereira, Andre C. P. L. F. Carvalho, Gustavo Furquim and Jo Ueyama. Fine-tuning of UAV control rules for spraying pesticides on crop fields (REGULAR)
• 29 Michal Grec, Matej Horacek and Vilem Novak. Determination of soil damage by Fuzzy analysis (SHORT)
116 Marie-Odile Cordier, Christine Largouet and Yulong Zhao. Model-Checking an Ecosystem Model for Decision-Aid (SHORT)

Session B31. SAT/CSP 5 CSP: Applications
Chair: Philippe Jegou

• David Lesaint, Deepak Mehta, Barry O'Sullivan and Vincent Vigneron. A Decomposition Approach for Discovering Discriminative Motifs in a Sequence Database (REGULAR)
• Amina Kemmar , Willy Ugarte , Samir Loudni , Thierry Charnois, Yahia Lebbah, Patrice Boizumault and Bruno Cremilleux. Mining Relevant Sequence Patterns with CP-based Framework (REGULAR)
• Deepak Mehta, Barry O'Sullivan, Cemalettin Ozturk, Luis Quesada and Helmut Simonis. Designing an Optical Island in the Core Network: From Routing to Spectrum Allocation (REGULAR)
• Vincent Armant and Ken Brown. Minimizing the Driving Distance in Ride Sharing Systems (REGULAR)

Session B32. Documents & Natural Language Processing
Chair: Enrico Scala

• 109 Guangbing Yang. A Novel Contextual Topic Model for Query-focused Multi-document Summarization (REGULAR)
• 201 Chi Zhang, Lei Zhang, Chong-Jun Wang and Jun-Yuan Xie. Text Summarization Based on Sentence Selection with Semantic Representation (REGULAR)
• 150 Souhila Kaci, Namrata Patel and Violaine Prince. From NL Preference Expressions to Comparative Preference Statements: A Preliminary Study in Eliciting Preferences for Customised Decision Support (REGULAR)
• 277 Rivindu Perera and Parma Nand. RealText-CS - Corpus based domain independant Content Selection model (REGULAR)
• 73 Gianni Costa and Riccardo Ortale. XML Document Co-Clustering via Non-negative Matrix Tri-Factorization (REGULAR)
• 96 Mihai Dascalu, Lucia Larise Stavarache, Stefan Trausan-Matu, Philippe Dessus and Maryse Bianco. Reflecting Comprehension through French Textual Complexity Factors (SHORT)

Session B33. Robotics-Gesture-Cognition
Chair: Wanyuan Wang

• 153 Marek Kurzynžski. Two-Stage Multiclassifier System with Correction of Competence of Base Classifiers Applied to the Control of Bioprosthetic Hand (REGULAR)
• 188 Virginia Andersson and Ricardo Araujo. Person Identification Using Anthropometric and Gait Data from Kinect Sensor (REGULAR)
• 76 Sami Dalhoumi, Gerard Dray and Jacky Montmain. Knowledge transfer for reducing calibration time in brain-computer interfacing (REGULAR)
• 33 Vinicius Godoy, Alceu de Souza Britto Jr., Jacques Facon, Alessandro L. Koerich and Luiz Eduardo Soares de Oliveira. An HMM-based Gesture Recognition Method Trained on Few Samples (REGULAR)
• 103 Petros Toumpaniaris, Dimitris Verganelakis, Nikos Spanoudakis and Michalis Zervakis. Intelligent Management of Brain Markers for Early Prognosis of the Spatiotemporal Growth of Gliomas (SHORT)
• 39 Marios Antonakakis, Vaso Tsirka, Michalis Zervakis and Sifis Micheloyannis. A Minimal Spanning Tree Analysis of EEG Responses to Complex Visual Stimuli (SHORT)

Session B34. AI Tools, Methodology and Applications I
Chair: Jo Ueyama

• 9 Jaroslaw Piersa. Ramification algorithm for transporting routes in R^2 (REGULAR)
• 232 Timo Klerx, Maik Anderka and Steffen Priesterjahn. Model-based Anomaly Detection for Discrete Event Systems (REGULAR)
• 63 Behzad Bordbar, Ahmed Al-Ajeli and Mohammed Alodib. On Diagnosis of Violations of Constraints in Petri Net Models of Discrete Event Systems (REGULAR)
• 52 Thelma E. Colanzi and Silvia Vergilio. A Comparative Analysis of Two Multi-Objective Evolutionary Algorithms in Product Line Architecture Design Optimization (REGULAR)
• 112 Feng Liu, Haibo Li and Chongjun Wang. nso-HSVI: A not-so-optimistic Heuristic Search Value Iteration Algorithm for POMDPs (SHORT)
• 248 Andrzej M.J. Skulimowski, Reveiling Complexity-Related Time-Series Features with the Monotonic Aggregation Transform (SHORT)

Session B41. SAT/CSP 6 Parallel Solving, Over-Constrainted CSPs
Chair: Alejandro Arbelaez

• Long Guo, Said Jabbour, Jerry Lonlac and Lakhdar Sais. Diversification by Clauses Deletion Strategies in Portfolio Parallel SAT Solving (REGULAR)
• Thorsten Ehlers, Dirk Nowotka and Philipp Sieweck. Communication in massively-parallel SAT Solving (REGULAR)
• Minas Dasygenis and Kostas Stergiou. Building Portfolios for Parallel Constraint Solving by Varying the Local Consistency Applied (REGULAR)
• Carlos Mencia and Joao Marques-Silva. Efficient Relaxations of Over-Constrained CSPs (REGULAR)

Session B42. Big Data & Data Mining & Databases
Chair: Alfredo Cuzzocrea

• 98 Wenhao Shu and Wenbin Qian. Mutual Information-based Feature Selection for High Dimensional Set-valued Data (REGULAR)
• 67 Viktor Medvedev, Olga Kurasova, Virginijus Marcinkevicius, Aurimas Rapecka and Pavel Stefanovic. Strategies for Big Data Clustering (REGULAR)
• 46 Olivier Pivert, Virginie Thion, Helene Jaudoin and Gregory Smits. On a Fuzzy Algebra for Querying Graph Databases (REGULAR)
• 58 Mouna Ben Ishak, Philippe Leray and Nahla Ben Amor. Random generation and population of probabilistic relational models and databases (REGULAR)
• 245 Tiberiu Popa, Traian Rebedea and Costin-Gabriel Chiru, Detecting and Describing Historical Periods in a Large Corpora (REGULAR)
• 122 Vasileios Kagklis, Vassilios S. Verykios, Giannis Tzimas and Athanasios K. Tsakalidis. An Integer Linear Programming Scheme to Sanitize Sensitive Frequent Itemsets (SHORT)

Session B43. Argumentation
Chair: Jean-Marie Lagniez

• 191 Jeremie Dauphin and Claudia Schulz. ArgTeach - A learning tool for Argumentation Theory (REGULAR)
• 177 Farid Nouioua and Eric Wurbel. Removed Set-Based Revision of Abstract Argumentation Frameworks (REGULAR)
• 82 Nefise Yaglikci and Paolo Torroni. Microdebates App for Android: A tool for participating in argumentative online debates using a handheld device (REGULAR)
• 123 Stefano Bistarelli, Fabio Rossi and Francesco Santini. Efficient Solution for Credulous/sceptical Acceptance in Lower-order Dung’s Semantics (SHORT)
• 167 Valentinos Evripidou, Lucas Carstens, Francesca Toni and David Cabanillas. Argumentation-based collaborative decisions for design (SHORT)
• 97 Dimitris Kalles and Panagiotis Kanellopoulos. A pendulum effect of expert playing in games (SHORT)

Session B44. AI Tools, Methodology and Applications II
Chair: Ahmed Abubahia

• 12 Jiyun Li, Caiqi Sun and Juntao Lv. TCMF: Trust-based Context-aware Matrix Factorization For Collaborative Filtering (REGULAR)
• 16 Luciana Dos Santos Belo, Carlos Antonio Caetano Junior, Zenilton K. G. Patrocinio Jr. and Silvio Guimaraes. Graph-based hierarchical video summarization using global descriptors (REGULAR)
• 83 Ahmed Abubahia and Mihaela Cocea. Partition Clustering for GIS Data Protection (REGULAR)
• 161 Rahul Singhal. Automated generation of region based geometric questions (REGULAR)
• 132 Nassim Kalde, Olivier Simonin and Francois Charpillet. Asynchronous Computing of a Discrete Voronoi Diagram on a Cellular Automaton using 1-norm: application to roadmap extraction (SHORT)
• 59 Haoxiang Wang and Jingbin Wang. An Effective Image Representation Method using Kernel Classification (SHORT)

Session C21. Constraints, SAT and Optimization
Chair: Henry Soldano

• 210 Willy Ugarte, Patrice Boizumault, Samir Loudni and Bruno Cremilleux. Computing Skypattern Cubes using Relaxation (REGULAR)
• 15 Florence Bannay, Marie-Christine Lagasquie, William Raynaut and Patrick Saint-Dizier. Using a SMT solver for risk analysis: detecting logical mistakes in texts (REGULAR)
• 10 Pavel Surynek. Compact Representations of Cooperative Path-Finding as SAT Based on Matchings in Bipartite Graphs (REGULAR)
• 81 Vincent Barichard and Igor Stephan. The cut tool for QCSP (REGULAR)
• 142 Robin Lamarche-Perrin, Yves Demazeau and Jean-Marc Vincent. A Generic Algorithmic Framework to Solve Special Versions of the Set Partitioning Problem (SHORT)
• 205 Laura Climent, Richard Wallace, Barry O'Sullivan and Eugene Freuder. Extrapolating from Limited Uncertain Information to obtain Robust Solutions for Large-Scale Optimization Problems (REGULAR)

Session C22. A.I. for Traffic-Transportation-Navigation Issues
Chair: Guangbing Yang

• 102 Carlo Manna and Steve Prestwich. Online Stochastic Planning for Taxi and Ridesharing (REGULAR)
• 100 Zhixin Song, Tongyu Zhu, Dongdong Wu and Shuai Liu. An Approach to Estimate Traffic Speed Based on Cellular Network Signaling Data on Highways (REGULAR)
• 136 Emilian Necula. Dynamic traffic flow prediction based on GPS Data (REGULAR)
• 79 Anas Malass, Mohamad El Falou, Mhamed Itmi and Salah El Falou. An application of adapted A* decentralized approach for on demand transportation problem (REGULAR)
• 93 Alexandre Bonhomme, Philippe Mathieu and Sebastien Picault. A versatile description framework for modeling behaviors in traffic simulations (REGULAR)
• 94 Zu Yan, Jie Ma, Jinwen Tian and Wenjie Zhang. Modeling Local Gravity Anomaly Self-Adaption Quotient Reference Maps for Underwater Autonomous Navigation (SHORT)

Session C23. AI Tools, Methodology and Applications III
Chair: Nysret Musliu

• 158 Pedro Oliveira, Matheus Souza, Ronyerison Braga, Ricardo Britto, Ricardo Lira Rabelo and Pedro Santos Neto. Athena: A Visual Tool to Support the Development of Computational Intelligence Systems (REGULAR)
• 266 Alfredo Cuzzocrea, Orlando Belo and Bruno Oliveira. Modeling and Supporting ETL Processes via a Pattern-Oriented, Task-Reusable Framework (REGULAR)
• 240 Lei Shi, James Gopsill, Linda Newnes and Steve Culley. A Sequence-based Approach to Analysing and Representing Engineering Project Normality (REGULAR)
• 13 Federico Bergenti. An Introduction to the JADEL Programming Language (SHORT)
• 249 Aurelio Grande, Rosiane de Freitas and Arilo Claudio Dias-Neto. A Search-Based Franework for Selecting Software Technologies (SHORT)
• 244 Jun Wu, Chongjun Wang and Junyuan Xie. Automated Model Revision for Coordinated Open Systems (SHORT)

Session C24. AI Tools, Methodology and Applications IV
Chair: Luiza Sayfullina

• 227 Luiza Sayfullina, Magnus Westerlund, Kaj-Mikael Bjork and Hannu Toivonen. HP Trend Filtering Using Gaussian Mixture Model Weighted Heuristic (REGULAR)
• 78 Andre Fabbri, Frederic Armetta, Eric Duchene and Salima Hassas. Knowledge complement for Monte Carlo Tree Search : an application to combinatorial games (REGULAR)
• 23 Eric Medvet, Alberto Bartoli and Giulio Piccinin. Publication Venue Recommendation based on Paper Abstract (REGULAR)
• 217 Imen Ouled Dlala, Dorra Attiaoui, Arnaud Martin and Boutheina Ben Yaghlane. Trolls Identification within an Uncertain Framework (SHORT)
• 42 Bo Zhao, Yu Zhou, Zhengyu Zhang, Ying Na and Tinghuai Ma. Information Quantity Based Automatic Reconstruction of Shredded Chinese Documents (SHORT)
• 160 Weam Binjumah, Yi Sun, Mark Hewitt, Rod Adams, Neil Davey, Darren Gullick, Simon Wilkinson, Mark Cronin and Gary Moss. Feature Selection Modelling for Percutaneous Absorption across Synthetic Membranes (SHORT)