Program

Reinforcement Learning

Papers:

• Revisiting the Cross Entropy Method with Applications in Stochastic Global Optimization and RL
  Ajin George Joseph, Shalabh Bhatnagar
• Online Adaptation of Deep Architectures through Reinforcement Learning
  Thushan Ganegedara, Fabio Ramos, Lionel Ott
• Dynamic Choice of State Abstraction in Q-learning
  Marco Tamassia, Fabio Zambetta, William Raffe, Florian Mueller, Xiaodong Li
• Budgeted Multi-Armed Bandit in Continuous Action Space
  Francesco Trovò, Stefano Paladino, Marcello Restelli, Nicola Gatti
• Socially-aware Multiagent Learning towards Socially Optimal Outcomes
  Xiaohong Li, Chengwei Zhang, Jianye Hao, Karl Tuyls, Siqi Chen

Planning

Papers:

• Analysing Approximability and Heuristics in Planning Using the Exponential-time Hypothesis
  Meysam Aghighi, Christer Bäckström, Peter Jonsson, Simon Ståhlberg
• Combining Deterministic and Nondeterministic Search for Optimal Journey Planning Under Uncertainty
  Akihiro Kishimoto, Adi Botea, Elizabeth Daly
• Interval-Based Relaxation for General Numeric Planning
  Enrico Scala, Patrik Haslum, Sylvie Thiébaux
• Mathematical Programming Models for Optimizing Partial-Order Plan Flexibility
  Buser Say, Andre Augusto Cire, Chris Beck
• More than a Name? – On Implications of Preconditions and Effects of Compound HTN Planning Tasks
  Pascal Bercher, Daniel Höller, Gregor Behnke, Susanne Biundo

Robotics

Papers:

• Multi-Robot Adversarial Coverage
  Roi Yehoshua, Noa Agmon
• A Probabilistic Logic Programming Approach to Automatic Video Montage
  Bram Aerts, Toon Goedemé, Joost Vennekens
• Adaptive symbiotic collaboration for targeted complex manipulation tasks
  Rui Silva, Francisco Melo, Manuela Veloso
• Towards Lifelong Object Learning by Integrating Situated Robot Perception and Semantic Web Mining
  Jay Young, Valerio Basile, Lars Kunze, Elena Cabrio, Nick Hawes
• Interruptible Task Execution with Resumption in Golog
  Gesche Gierse, Tim Niemueller, Jens Claßen, Gerhard Lakemeyer

Game Theory

Papers:

• Leader-Follower MDP models with factored state space and many followers — Followers abstraction
  Regis Sabbadin, Anne-France Viet
• A Distributed Asynchronous Solver for Nash Equilibria in Hypergraphical Games
  Mohamed Wahbi, Kenneth Brown
• Formalizing Commitment-based Deals in Boolean Games
  Sofie De Clercq, Steven Schockaert, Anne Nowe, Martine De Cock
• On the Construction of High Dimensional Simple Games
  Martin Olsen, Sascha Kurz, Xavier Molinero
• Situation Calculus Game Structures and GDL
  Giuseppe De Giacomo, Yves Lesperance, Adrian Pearce

Knowledge Representation

Papers:

• Exploring Parallel Tractability of Ontology Materialization
  Zhangquan Zhou, Guilin Qi, Birte Glimm
• Complexity of Probabilistic Datalog+\-
  Ismail Ceylan, Thomas Lukasiewicz, Rafael Penaloza Nyssen
• Entity Embeddings with Conceptual Subspaces as a Basis for Plausible Reasoning
  Shoaib Jameel, Steven Schockaert
• Strategy Representation and Reasoning in the Situation Calculus
  Liping Xiong, Yongmei Liu
• A Minimization-Based Approach to Iterated Multi-Agent Belief Change
  Paul Vicol, James Delgrande, Torsten Schaub

Argumentation

Papers:

• Synthesizing Argumentation Frameworks from Examples
  Andreas Niskanen, Johannes Wallner, Matti Järvisalo
• Strategical Argumentative Agent for Human Persuasion
  Rosenfeld Ariel, Sarit Kraus
• A Rational Account of Classical Logic Argumentation for Real-world Agents
  Marcello DAgostino, Sanjay Modgil
• Two Dimensional Uncertainty in Persuadee Modelling in Argumentation
  Anthony Hunter
• Solving Set Optimization Problems by Cardinality Optimization with an Application to Argumentation
  Wolfgang Faber, Mauro Vallati, Federico Cerutti, Massimiliano Giacomin

Lunch – Posters – Demos –
Exhibition – Soapbox presentations

Demos:

• e-Turist: An Intelligent Personalized Trip Guide
  Božidara Cvetkovic, Hristijan Gjoreski, Vito Janko, Boštjan Kaluža, Anton Gradišek, Mitja Luštrek
• KNEWS: Using Logical and Lexical Semantics to Extract Knowledge from Natural Language
  Valerio Basile, Elena Cabrio, Claudia Schon
• Demo for Continuous Live Stress Monitoring with a Wristband
  Martin Gjoreski, Hristijan Gjoreski, Mitja Lušterk, Matjaž Gams
• Using Machine Learning for Link Discovery on the Web of Data
  Axel-Cyrille Ngonga Ngomo, Daniel Obraczka, Kleanthi Georgala

PhD Award Session

Schedule:

Norms in MAS

Papers:

• Accelerating Norm Emergence through Hierarchical Heuristic Learning
  Tianpei Yang, Zhaopeng Meng, Jianye Hao, Sandip Sen, Chao Yu
• A Bayesian approach to norm identification
  Stephen Cranefield, Felipe Meneguzzi, Nir Oren, Bastin Tony Roy Savarimuthu
• A Dynamic Logic of Norm Change
  Max Knobbout, Mehdi Dastani, John-Jules Meyer
• Distributed Controllers for Norm Enforcement
  Bas Testerink, Mehdi Dastani, Nils Bulling

PAIS

Papers:

• Planning Search and Rescue Missions for UAV Teams
  Chris A. B. Baker, Sarvapali Ramchurn, W. T. Luke Teacy and Nicholas R. Jennings
• Rapid Adaptation of Air Combat Behaviour
  Armon Toubman, Jan Joris Roessingh, Pieter Spronck, Aske Plaat and H. Jaap Van den Herik
• A Practical Approach to Fuse Shape and Appearance Information in a Gaussian Facial Action Estimation Framework
  Teena Hassan, Dominik Seuss, Johannes Wollenberg, Jens Garbas and Ute Schmid
• Learning the Repair Urgency for a Decision Support System for Tunnel Maintenance
  Yiannis Gatsoulis, Vania Dimitrova, Derek Magee, Bastien Sage-Vallier, Patrick Thiaudiere, Joaquin Valdes and Anthony Cohn

Learning

Papers:

• Student-t Process Regression with dependent Student-t noise
  Qingtao Tang, Yisen Wang, Shu-Tao Xia
• Semi-supervised Group Sparse Representation: Model, Algorithm and Applications
  Longwen Gao, Yeqing Li, Junzhou Huang, Shuigeng Zhou
• Making sense of item response theory in machine learning
  Fernando Martínez-Plumed, Ricardo Prudêncio, Adolfo Martinez-Uso, Jose Hernandez-Orallo
• Constant Time EXPected Similarity Estimation for Large-Scale Anomaly Detection
  Markus Schneider, Wolfgang Ertel, Günther Palm

Inference

Papers:

• Skeptical, Weakly Skeptical, and Credulous Inference Based on Preferred Ranking Functions
  Christoph Beierle, Christian Eichhorn, Gabriele Kern-Isberner, Steven Kutsch
• Propositional Abduction with Implicit Hitting Sets
  Alexey Ignatiev, Antonio Morgado, Joao Marques-Silva
• Decidable Reasoning in a First-Order Logic of Limited Conditional Belief
  Christoph Schwering, Gerhard Lakemeyer
• Parameterised Model Checking for Alternating-time Temporal Logic
  Panagiotis Kouvaros, Alessio R. Lomuscio

Sentiment in Social Media

Papers:

• Annotate-Sample-Average (ASA): A New Distant Supervision Approach for Twitter Sentiment Analysis
  Felipe Bravo-Marquez, Eibe Frank, Bernhard Pfahringer
• Aspect-Based Relational Sentiment Analysis Using a Stacked Neural Network Architecture
  Soufian Jebbara, Philipp Cimiano
• An Assessment Study of Features and Meta-level Features in Twitter Sentiment Analysis
  Jonnathan Carvalho, Alexandre Plastino
• A Joint Model for Sentiment-Aware Topic Detection on Social Media
  Kang Xu, Guilin Qi, Junheng Huang, Tianxing Wu

Information Retrieval and NLP

Papers:

• A Novel Cross-Modal Topic Correlation Model for Cross-Media Retrieval
  Yong Cheng, Fei Huang, Cheng Jin, Yuejie Zhang, Tao Zhang
• Validating Cross-Perspective Topic Modeling for Extracting Political Parties’ Positions from Parliam
  Janneke Zwaan, van der, Maarten Marx, Jaap Kamps
• Emotion Analysis as a Regression Problem — Dimensional Models and Their Implications on Emotion Representation and Metrical Evaluation
  Sven Buechel, Udo Hahn
• Unsupervised Ranking of Knowledge Bases for Named Entity Recognition
  Yassine Mrabet, Halil Kilicoglu, Dina Demner-Fushman
• Cluster-Driven Model for Better Word and Text Embedding
  Zhe Zhao, Tao Liu, Bofang Li, Xiaoyong Du
• Plan-based Narrative Generation with Coordinated Subplots
  Julie Porteous, Fred Charles, Marc Cavazza

Clustering

Papers:

• Classtering: Joint Classification and Clustering with Mixture of Factor Analysers
  Emanuele Sansone, Andrea Passerini, Francesco De Natale
• A Scalable Clustering-Based Local Multi-Label Classification Method
  Lu Sun, Mineichi Kudo, Keigo Kimura
• Analogical classifiers: a theoretical perspective
  Nicolas Hug, Henri Prade, Gilles Richard, Mathieu Serrurier
• Adaptive Binary Quantization for Fast Nearest Neighbor Search
  Zhujin Li, Xianglong Liu, Junjie Wu, Hao Su
• Hybrid Gaussian and von Mises model-based clustering
  Sergio Luengo-Sanchez, Concha Bielza, Pedro Larranaga
• A Data Driven Similarity Measure and Example Mapping Function for General, Unlabelled Data Sets
  Damien Lejeune, Kurt Driessens

PAIS

Papers:

• An Intelligent System for Personalized Conference Event Recommendation and Scheduling
  Aldy Gunawan, Hoong Chuin Lau, Pradeep Varakantham and Wenjie Wang
• Integrating ARIMA and Spatio-temporal Bayesian Networks for High Resolution Malaria Prediction
  A. H. M. Imrul Hasan and Peter Haddawy
• ONE – A Personalized Wellness System
  Ajay Chander and Ramya Srinivasan
• An Intelligent System for Aggression De-escalation Training
  Tibor Bosse, Charlotte Gerritsen and Jeroen de Man
• Planning tourist agendas for different travel styles
  Jesus Ibañez, Laura Sebastia and Eva Onaindia
• Continuous Live Stress Monitoring with a Wristband
  Martin Gjoreski, Hristijan Gjoreski, Mitja Luštrek and Matjaž Gams

Social Choice

Papers:

• Modeling Bounded Rationality for Sponsored Search Auctions
  Jiang Rong, Tao Qin, Bo An, Tie-Yan Liu
• Towards Better Models of Externalities in Sponsored Search Auctions
  Nicola Gatti, Marco Rocco, Paolo Serafino, Carmine Ventre
• Efficient Computation of IRV Margins
  Blom Michelle, Vanessa Teague, Peter Stuckey, Ron Tidhar
• Online Auctions for Dynamic Assignments: Theory and Empirical Evaluation
  Sujit Gujar, Boi Faltings
• False-Name-Proof Mechanisms for Path Auctions in Social Networks
  Lei Zhang, Haibin Chen, Jun Wu, Chong-Jun Wang, Junyuan Xie
• Strategic voting in a social context: considerate equilibria
  Laurent Gourvès, Julien Lesca, Anaelle Wilczynski

Logic Programming and Verification

Papers:

• You Can’t Always Forget What You Want: on the limits of forgetting in answer set programming
  Ricardo Gonçalves, Matthias Knorr, Joao Leite
• Automatic Verification of Golog Programs via Predicate Abstraction
  Mo Peiming, Li Naiqi, Yongmei Liu
• Clique-Width and Directed Width Measures for Answer-Set Programming
  Bernhard Bliem, Sebastian Ordyniak, Stefan Woltran
• Knowledge-Based Programs with Defaults in a Modal Situation Calculus
  Jens Claßen, Malte Neuss
• Abstraction-based Verification of Infinite-state Reactive Modules
  Francesco Belardinelli, Alessio R. Lomuscio
• Agent-based Refinement for Predicate Abstraction of Multi-Agent Systems
  Francesco Belardinelli, Alessio R. Lomuscio, Jakub Michaliszyn

AI in Social Media

Papers:

• Uncertainty-Sensitive Reasoning for Inferring sameAs Facts in Linked Data
  Mustafa Al-Bakri, Manuel Atencia, Jérôme David, Steffen Lalande, Marie-Christine Rousset
• An Extension of the Owen Value Interaction Index and Its Application to Inter-links Prediction
  Piotr Szczepanski, Tomasz Michalak, Talal Rahwan, Michael Wooldridge
• Leveraging Stratification in Twitter Sampling
  Vikas Joshi, Deepak P, LV Subramaniam
• Real-time Timeline Summarisation for High-impact Events in Twitter
  Yiwei Zhou, Nattiya Kanhabua, Alexandra Cristea
• A Computational Method for Extracting, Representing, and Predicting Social Closeness
  Katherine Metcalf, David Leake
• A Temporal-Causal Modelling Approach to Integrated Contagion and Network Change in Social Networks
  Romy Blankendaal, Sarah Parinussa, Jan Treur

Classification

Papers:

• A New Kernelized Associative Memory and some of its Applications
  Matthew Saltz, Lluis Belanche
• On Stochastic Primal-Dual Hybrid Gradient Approach for Compositely Regularized Minimization
  Linbo Qiao, Tianyi Lin, Yugang Jiang, Fan Yang, Wei Liu, Xicheng Lu
• Parallel Filter-Based Feature Selection Based on Balanced Incomplete Block Designs
  Antonio Salmeron, Anders Madsen, Frank Jensen, Helge Langseth, Thomas Nielsen, Darío Ramos-López, Ana Martinez, Andrés Masegosa
• AUC Maximization in Bayesian Hierarchical Models
  Mehmet Gonen
• Higher-order Correlation Coefficient Analysis for EEG-based Brain-Computer Interface
  Ye Liu, Qibin Zhao, Liqing Zhang

Planning

Papers:

• On Redundancy in Simple Temporal Networks
  Jae Hee Lee, Sanjiang Li, Zhiguo Long, Michael Sioutis
• Constructing Hierarchical Task Models Using Invariance Analysis
  Damir Lotinac, Anders Jonsson
• A simple account of multi-agent epistemic planning
  Martin Cooper, Andreas Herzig, Faustine Maffre, Frederic Maris, Pierre Regnier
• Observation-Based Multi-Agent Planning with Communication
  Luca Gasparini, Timothy Norman, Martin Kollingbaum
• Solving Dynamic Controllability Problem of Multi-agent Plans with Uncertainty using MILP
  Guillaume Casanova, Cedric Pralet, Charles Lesire, Thierry Vidal

Robotics

Papers:

• Hierarchical Strategy Synthesis for Pursuit-Evasion Problems
  Rattanachai Ramaithitima, Siddharth Srivastava, Subhrajit Bhattacharya, Alberto Speranzon, Vijay Kumar
• Efficient SAT Approach to Multi-Agent Path Finding under the Sum of Costs Objective
  Surynek Pavel, Ariel Felner, Roni Stern, Eli Boyarski
• Skeleton-Based Orienteering for Level Set Estimation
  Lorenzo Bottarelli, Manuele Bicego, Jason Blum, Alessandro Farinelli
• Learning the Structure of Dynamic Hybrid Relational Models
  Davide Nitti, Irma Ravkic, Jesse Davis, Luc De Raedt
• Partial Order Temporal Plan Merging for Mobile Robot Tasks
  Lenka Mudrova, Bruno Lacerda, Nick Hawes

Social Choice

Papers:

• Complexity of Control by Partitioning Veto and Maximin Elections and of Control by Adding Candidat
  Cynthia Maushagen, Jörg Rothe
• Dichotomy for Pure Scoring Rules Under Manipulative Electoral Actions
  Edith Hemaspaandra, Henning Schnoor
• Complexity and Tractability Islands for Combinatorial Auctions on Discrete Intervals with Gaps
  Janosch Döcker, Britta Dorn, Ulle Endriss, Dominikus Krüger
• Parameterized Complexity Results for the Kemeny Rule in Judgment Aggregation
  Ronald de Haan
• A Deliberation Procedure for Judgment Aggregation Problems
  Marija Slavkovik, Wojtek Jamroga

Description Logics

Papers:

• Fixed-Domain Reasoning for Description Logics
  Sarah Alice Gaggl, Sebastian Rudolph, Lukas Schweizer
• Description Logics Reasoning w.r.t. general TBoxes is decidable for Concrete Domains with the EHD-p, Claudia Carapelle, Anni-Yasmin Turhan
• Markov Logic Networks with Numerical Constraints
  Melisachew Chekol, Jakob Huber, Christian Meilicke, Heiner Stuckenschmidt
• Extending the Description Logic tEL(deg) with Acyclic TBoxes
  Oliver Fernandez Gil, Franz Baader
• On Metric Temporal Description Logics
  Victor Gutierrez Basulto, Jean Jung, Ana Ozaki

Argumentation

Papers:

• A Dialectical Proof Theory for Universal Acceptance in Coherent Logic-based Argumentation Frameworks
  Arioua Abdallah, Madalina Croitoru
• A Uniform Account of Realizability in Abstract Argumentation
  Thomas Linsbichler, Jörg Pührer, Hannes Strass
• On Labelling Statements in Multi-labelling Argumentation
  Pietro Baroni, Guido Governatori, Regis Riveret
• On the Computation of Top-k Extensions in Abstract Argumentation Frameworks
  Said Jabbour, Badran Raddaoui, Lakhdar Sais, Yakoub Salhi

Lunch – Posters – Demos –
Exhibition – Soapbox presentations

Demos:

• SMACH: Simulation of Realistic Human Behaviors and Electrical Consumption
  Reynaud Quentin, Sempé François, Haradji Yvon, Sabouret Nicolas
• Making Data Understand People
  Lernout Stephen, Devos Geert, Platteau Frank
• The AMIDST toolbox: a Java library for scalable probabilistic machine learning
  Andrés R. Masegosa, Ana M. Martínez, and Darío Ramos-López, Thomas D. Nielsen, Helge Langseth, Antonio Salmerón, Anders L. Madsen
• Interactive Exploration over Concept Lattices with LatViz
  Mehwish Alam, Thi Nhu Nguyen Le, Amedeo Napoli

AI and Human Values

Papers:

• Value Based Reasoning and the Actions of Others
  Katie Atkinson, Trevor Bench-Capon
• Even Angels Need the Rules: AI, Roboethics, and the Law
  Ugo Pagallo
• When Do Rule Changes Count-as Legal Rule Changes?
  Thomas King, Virginia Dignum, Catholijn Jonker

Learning in Use

Papers:

• Learning Invariant Representation for Malicious Network Traffic Detection
  Karel Bartos, Michal Sofka, Vojtech Franc
• A Reinforcement Learning Framework for Trajectory Prediction under Uncertainty and Budget Constraint
  Truc Viet Le, Siyuan Liu, Hoong Chuin Lau
• Automatic Bridge Bidding Using Deep Reinforcement Learning
  Chih-Kuan Yeh, Hsuan-Tien Lin
• The Need for Knowledge Extraction: Understanding Harmful Gambling Behavior with Neural Networks
  C. Percy, A. S. d’Avila Garcez, S. Dragicevic, M. Franca, G. Slabaugh and T. Weyde
• Online Prediction of Exponential Decay Time Series with Human-Agent Application
  Rosenfeld Ariel, Joseph Keshet, Claudia Goldman, Sarit Kraus

Image Recognition and Vision

Papers:

• Person Re-Identification Via Multiple Course-To-Fine Deep Metrics
  Mingfu Xiong, Jun Chen, Zheng Wang, Zhongyuan Wang, Ruimin Hu, Chao Liang, Daming Shi
• Multiscale Triangular Centroid Distance for Shape-based Plant Leaf Recognition
  Chengzhuan Yang, Hui Wei, Qian Yu
• Randomized Distribution Feature for Image Classification
  Hongming Shan, Junping Zhang
• Randomized Canonical Correlation Discriminant Analysis for Face Recognition
  Bo Ma, Hui He, Hongwei Hu, Meili Wei
• ShapeLearner: Towards Shape-Based Visual Knowledge Harvesting
  KHuayong Xu, Yafang Wang, Kang Feng, Gerard de Melo, Wei Wu, Andrei Sharf, Baoquan Chen

Constraints

Papers:

• A Framework for Actionable Clustering using Constraint Programming
  Thi-Bich-Hanh Dao, Christel Vrain, Ian Davidson, Khanh-Chuong Duong
• Repetitive Branch-and-Bound using Constraint Programming for Constrained MSS Clustering
  Tias Guns, Thi-Bich-Hanh Dao, Christel Vrain, Khanh-Chuong Duong
• Finite Unary Relations and Qualitative Constraint Satisfaction
  Peter Jonsson
• Subsumed Label Elimination for Maximum Satisfiability
  Jeremias Berg, Paul Saikko, Matti Järvisalo
• Combining Efficient Preprocessing and Incremental MaxSAT Reasoning for MaxClique in Large Graphs
  Hua Jiang, Chu-Min Li, Felip Manya

Social Choice

Papers:

• Using the Sugeno Integral in Optimal Assignment Problems with Qualitative Utilities
  Soufiane Drissi Oudghiri, Patrice Perny, Olivier divjard, Mohamed Hachimi
• A Computational Approach to Consensus-Finding
  Eric Grégoire, Jean-Marie Lagniez
• How Hard Is Bribery with Distance Restrictions?
  Yongjie Yang, Yash Raj Shrestha, Jiong Guo
• Can a Condorcet Rule Have a Low Coalitional Manipulability?
  François Durand, Fabien Mathieu, Ludovic Noirie
• Welfare of Sequential Allocation Mechanisms for Indivisible Goods
  Haris Aziz, Thomas Kalinowski, Toby Walsh, Lirong Xia

Belief Revision

Papers:

• Reconsidering AGM-Style Belief Revision in the Context of Logic Programs
  Zhiqiang Zhuang, James Delgrande, Abhaya Nayak, Abdul Sattar
• Belief contraction within fragments of propositional logic
  Nadia Creignou, Raida Ktari, Odile Papini
• On Distances between KD45_n Kripke Models and their Use for Belief Revision
  Thomas Caridroit, Sebastien Konieczny, Tiago de Lima, Pierre Marquis
• AGM-Style Revision of Beliefs and Intentions
  Marc van Zee, Dragan Doder
• Beyond IC Postulates: Classification Criteria for Merging Operators
  Adrian Haret, Andreas Pfandler, Stefan Woltran

Cool Frontiers

Papers:

• A Framework for Automatic Debugging of Functional and Degradation Failures
  Nuno Cardaso, Abreu Rui, Alexander Feldman, Johan de Kleer
• The Complexity of Deciding Legality of a Single Step of Magic: the Gathering
  Krishnendu Chatterjee, Rasmus Ibsen-Jensen
• h-Index Manipulation by Undoing Merges
  René van Bevern, Christian Komusiewicz, Hendrik Molter, Rolf Niedermeier, Jiehua Chen, Toby Walsh
• CUBE: A CUDA approach for Bucket Elimination on GPUs
  Filippo Bistaffa, Nicola Bombieri, Alessandro Farinelli

Lunch – Posters – Demos –
Exhibition – Soapbox presentations

Demos:

• A Tool for Negotiating Privacy Constraints in Online Social Networks
  Dilara Keküllüoglu, Nadin Kökciyan, Pınar Yolum
• Neonatologist at Home
  Albert Pla-Planes, Natalia Mordvanyuk, Beatriz López, Abel López-Bermejo, Eva Bargalló, Cristina Armero
• Cooperative UAV-UGV modeled by Petri Net Plans specification
  Andrea Bertolaso, Masoume M. Raeissi, Alessandro Farinelli, Riccardo Muradore
• Demo: Natural Language Processing for Online Fraud Scenario Extraction
  Bas Testerink, Floris Bex

Plan, Activity, and Intent Recognition

Papers:

• Unsupervised Activity Recognition using Latent Semantic Analysis on a Mobile Robot
  Paul Duckworth, Muhannad Alomari, Yiannis Gatsoulis, David Hogg, Anthony Cohn
• Robust Real-time Human Perception with Depth Camera
  Guyue Zhang, Luchao Tian, Ye Liu, Jun Liu, Xiang An Liu, Yang Liu, Yan Qiu Chen
• Learning temporal context for activity recognition
  Claudio Coppola, Tom Krajnik, Tom Duckett, Nicola Bellotto
• Gaining Insight by Structural Knowledge Extraction
  Pietro Cottone, Salvatore Gaglio, Giuseppe Lo Re, Marco Ortolani

Multi-Class Classification

Papers:

• Multi-Class Probabilistic Active Learning
  Daniel Kottke, Georg Krempl, Dominik Lang, Johannes Teschner, Myra Spiliopoulou
• One-class to Multi-class Model Update using the Class-Incremental Optimum-Path Forest Classifier
  Mateus Riva, Moacir Ponti, Teofilo de Campos
• Improved Multi-Label Classification using Inter-dependence Structure via a Generative Mixture Model
  Ramanuja Simha, Hagit Shatkay
• Declaratively Capturing Local Label Correlations with Multi-Label Trees
  Reem Al-Otaibi, Meelis Kull, Peter Flach

Distributed Problem Solving

Papers:

• Is Spearman’s Law of Diminishing Returns (SLODR) Meaningful for Artificial Agents?
  Jose Hernandez-Orallo
• Factors of collective intelligence: how smart are agent collectives?
  Nader Chmait, David Dowe, Yuan-Fang Li, David Green, Javier Insa-Cabrera
• Solving Multi-agent Knapsack Problems Using Incremental Approval Voting
  Nawal Benabbou, Patrice Perny

Game Theory

Papers:

• Get Me to My GATE On Time: Efficiently Solving General-Sum Bayesian Threat Screening Games
  Aaron Schlenker, Matthew Brown, Arunesh Sinha, Milind Tambe, Ruta Mehta
• Facility Location Games with Optional Preference
  Hongning Yuan, Kai Wang, Chi Kit Ken Fong, Yong Zhang, Minming Li
• The Game of Reciprocation Habits
  Gleb Polevoy, Mathijs De Weerdt, Catholijn M. Jonker
• Crowdfunding Public Projects with Provision Point: A Prediction Market Approach
  Praphul Chandra, Sujit Gujar, Y. Narahari

Reasoning about Knowledge and Data

Papers:

• Exploiting MUS Structure to Measure Inconsistency of Knowledge Bases
  Said Jabbour, Lakhdar Sais
• Schema-based Debugging of Federated Data Sources
  Andreas Nolle, Christian Meilicke, Melisachew Chekol, German Nemirovski, Heiner Stuckenschmidt
• An Efficient Approach for the Generation of Allen Relations
  Kleanthi Georgala, Mohamed Sherif, Axel-Cyrille Ngonga Ngomo
• Translation-based Revision and Merging for Minimal Horn Reasoning
  Gerhard Brewka, Jean-Guy Mailly, Stefan Woltran

Possibilistic Reasoning

Papers:

• Set-valued conditioning in a possibility theory setting
  Salem Benferhat, Vladik Kreinovich, Amélie Levray, Karim Tabia
• Preference modeling with possibilistic networks and symbolic weights: a theoretical study
  Nahla Ben Amor, Didier Dubois, Héla Gouider, Henri Prade
• Lexicographic refinements in possibilistic decision trees
  Nahla Ben Amor, zeineb el khalfi, Hélène Fargier, Régis Sabaddin
• Interpretable Encoding of Densities using Possibilistic Logic
  Ondrej Kuzelka, Jesse Davis, Steven Schockaert

Particle Filters

Papers:

• Exact Particle Filter Modularization Improves Runtime Performance
  Padraic Edgington, Anthony Maida
• An Improved State Filter Algorithm for SIR Epidemic Forecasting
  Weipeng Huang, Gregory Provan

Planning

Papers:

• Planning using Actions with Control Parameters
  Emre Savas, Maria Fox, Derek Long, Daniele Magazzeni
• Upper and Lower Time and Space Bounds for Planning
  Christer Bäckström, Peter Jonsson
• Summary Information for Reasoning about Hierarchical Plans
  Lavindra de Silva, Sebastian Sardina, Lin Padgham

Optimization

Papers:

• Realisability of Production Recipes
  Lavindra de Silva, Paolo Felli, Jack Chaplin, Brian Logan, David Sanderson, Svetan Ratchev
• Vertical Optimization of Resource Dependent Flight Paths
  Anders Knudsen, Marco Chiarandini, Kim Larsen
• Fixed-Parameter Tractable Optimization under DNNF Constraints
  Frederic Koriche, Daniel Le Berre, Emmanuel Lonca, Pierre Marquis

AI for Sustainable Energy

Papers:

• Decentralized Large-Scale Electricity Consumption Shifting by Prosumer Cooperatives
  Charilaos Akasiadis, Georgios Chalkiadakis
• Managing energy markets in future smart grids using bilateral contracts
  Romain Calliere, Samir Aknine, Antoine Nongaillard, Sarvapali Ramchurn
• Planning under Uncertainty for Aggregated Electric Vehicle Charging with Renewable Energy Supply
  Erwin Walraven, Matthijs Spaan

Ontologies and Conformance

Papers:

• Attuning Ontology Alignments to Semantically Heterogeneous Multi-Agent Interactions
  Paula Chocron, Marco Schorlemmer
• Checking the Conformance of Requirements in Agent Designs using ATL
  Nitin Yadav, John Thangarajah
• The Complexity of Threshold Query Answering in Probabilistic Ontological Data Exchange
  Thomas Lukasiewicz, Livia Predoiu

Probabilistic Reasoning

Papers:

• An Improved CNF Encoding Scheme for Probabilistic Inference
  Anicet Bart, Frédéric Koriche, Jean-Marie Lagniez, Pierre Marquis
• Exploiting Bayesian Network Sensitivity Functions for Inference in Credal Networks
  Janneke Bolt, Jasper De Bock, Silja Renooij
• On Revision of Partially Specified Convex Probabilistic Belief Bases
  Gavin Rens, Thomas Meyer, Giovanni Casini