Accepted papers

ECAI

Full papers

• A simple account of multi-agent epistemic planning, Martin Cooper, Andreas Herzig, Faustine Maffre, Frederic Maris, Pierre Regnier
• Abstraction-based Verification of Infinite-state Reactive Modules, Francesco Belardinelli, Alessio R. Lomuscio
• When Do Rule Changes Count-as Legal Rule Changes?, Thomas King, Virginia Dignum, Catholijn Jonker
• Constant Time EXPected Similarity Estimation for Large-Scale Anomaly Detection, Markus Schneider, Wolfgang Ertel, Günther Palm
• AUC Maximization in Bayesian Hierarchical Models, Mehmet Gonen
• Validating Cross-Perspective Topic Modeling for Extracting Political Parties’ Positions from Parliam, Janneke Zwaan, van der, Maarten Marx, Jaap Kamps
• Finite Unary Relations and Qualitative Constraint Satisfaction, Peter Jonsson
• Dynamic Choice of State Abstraction in Q-learning, Marco Tamassia, Fabio Zambetta, William Raffe, Florian Mueller, Xiaodong Li”
• A Dialectical Proof Theory for Universal Acceptance in Coherent Logic-based Argumentation Frameworks, Arioua Abdallah, Madalina Croitoru
• Adaptive Binary Quantization for Fast Nearest Neighbor Search, Zhujin Li, Xianglong Liu, Junjie Wu, Hao Su
• Exploring Parallel Tractability of Ontology Materialization, Zhangquan Zhou, Guilin Qi, Birte Glimm
• Student-t Process Regression with dependent Student-t noise, Qingtao Tang, Yisen Wang, Shu-Tao Xia
• An Extension of the Owen Value Interaction Index and Its Application to Inter-links Prediction, Piotr Szczepański, Tomasz Michalak, Talal Rahwan, Michael Wooldridge
• Cluster-Driven Model for Better Word and Text Embedding, Zhe Zhao, Tao Liu, Bofang Li, Xiaoyong Du
• Learning temporal context for activity recognition, Claudio Coppola, Tom Krajnik, Tom Duckett, Nicola Bellotto
• Leader-Follower MDP models with factored state space and many followers — Followers abstraction, Regis Sabbadin, Anne-France Viet
• CUBE: A CUDA approach for Bucket Elimination on GPUs, Filippo Bistaffa, Nicola Bombieri, Alessandro Farinelli
• Managing energy markets in future smart grids using bilateral contracts, Romain Calliere, Samir Aknine, Antoine Nongaillard, Sarvapali Ramchurn
• 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
• A Data Driven Similarity Measure and Example Mapping Function for General, Unlabelled Data Sets, Damien Lejeune, Kurt Driessens
• On Stochastic Primal-Dual Hybrid Gradient Approach for Compositely Regularized Minimization, Linbo Qiao, Tianyi Lin, Yugang Jiang, Fan Yang, Wei Liu, Xicheng Lu
• Decentralized Large-Scale Electricity Consumption Shifting by Prosumer Cooperatives, Charilaos Akasiadis, Georgios Chalkiadakis
• Analysing Approximability and Heuristics in Planning Using the Exponential-time Hypothesis, Meysam Aghighi, Christer Bäckström, Peter Jonsson, Simon Ståhlberg
• Lexicographic refinements in possibilistic decision trees, Nahla Ben Amor, zeineb el khalfi, Hélène Fargier, Régis Sabaddin
• Even Angels Need the Rules: AI, Roboethics, and the Law, Ugo Pagallo
• One-class to Multi-class Model Update using the Class-Incremental Optimum-Path Forest Classifier, Mateus Riva, Moacir Ponti, Teofilo de Campos
• More than a Name? – On Implications of Preconditions and Effects of Compound HTN Planning Tasks, Pascal Bercher, Daniel Höller, Gregor Behnke, Susanne Biundo
• A Probabilistic Logic Programming Approach to Automatic Video Montage, Bram Aerts, Toon Goedemé, Joost Vennekens
• Checking the Conformance of Requirements in Agent Designs using ATL, Nitin Yadav, John Thangarajah
• A Uniform Account of Realizability in Abstract Argumentation, Thomas Linsbichler, Jörg Pührer, Hannes Strass
• A Scalable Clustering-Based Local Multi-Label Classification Method, Lu Sun, Mineichi Kudo, Keigo Kimura
• Multiscale Triangular Centroid Distance for Shape-based Plant Leaf Recognition, Chengzhuan Yang, Hui Wei, Qian Yu
• Complexity of Control by Partitioning Veto and Maximin Elections and of Control by Adding Candidat, Cynthia Maushagen, Jörg Rothe
• Agent-based Refinement for Predicate Abstraction of Multi-Agent Systems, Francesco Belardinelli, Alessio R. Lomuscio, Jakub Michaliszyn
• Combining Deterministic and Nondeterministic Search for Optimal Journey Planning Under Uncertainty, Akihiro Kishimoto, Adi Botea, Elizabeth Daly
• Robust Real-time Human Perception with Depth Camera, Guyue Zhang, Luchao Tian, Ye Liu, Jun Liu, Xiang An Liu, Yang Liu, Yan Qiu Chen
• A New Kernelized Associative Memory and some of its Applications, Matthew Saltz, Lluis Belanche
• Strategical Argumentative Agent for Human Persuasion, Rosenfeld Ariel, Sarit Kraus
• Formalizing Commitment-based Deals in Boolean Games, Sofie De Clercq, Steven Schockaert, Anne Nowe, Martine De Cock
• A Joint Model for Sentiment-Aware Topic Detection on Social Media, Kang Xu, Guilin Qi, Junheng Huang, Tianxing Wu
• A Reinforcement Learning Framework for Trajectory Prediction under Uncertainty and Budget Constraint, Truc Viet Le, Siyuan Liu, Hoong Chuin Lau
• Person Re-Identification Via Multiple Course-To-Fine Deep Metrics, Mingfu Xiong, Jun Chen, Zheng Wang, Zhongyuan Wang, Ruimin Hu, Chao Liang, Daming Shi
• How Hard Is Bribery with Distance Restrictions?, Yongjie Yang, Yash Raj Shrestha, Jiong Guo
• Beyond IC Postulates: Classification Criteria for Merging Operators, Adrian Haret, Andreas Pfandler, Stefan Woltran
• Schema-based Debugging of Federated Data Sources, Andreas Nolle, Christian Meilicke, Melisachew Chekol, German Nemirovski, Heiner Stuckenschmidt
• Belief contraction within fragments of propositional logic, NADIA CREIGNOU, Raida KTARI, Odile PAPINI
• A Novel Cross-Modal Topic Correlation Model for Cross-Media Retrieval, Yong Cheng, Fei Huang, Cheng Jin, Yuejie Zhang, Tao Zhang
• Situation Calculus Game Structures and GDL, Giuseppe De Giacomo, Yves Lesperance, Adrian Pearce
• The Game of Reciprocation Habits, Gleb Polevoy, Mathijs De Weerdt, Catholijn M. Jonker
• Randomized Distribution Feature for Image Classification, Hongming Shan, Junping Zhang
• ShapeLearner: Towards Shape-Based Visual Knowledge Harvesting, Huayong Xu, Yafang Wang, Kang Feng, Gerard de Melo, Wei Wu, Andrei Sharf, Baoquan Chen/em>
• Observation-Based Multi-Agent Planning with Communication, Luca Gasparini, Timothy Norman, Martin Kollingbaum
• 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
• Is Spearman’s Law of Diminishing Returns (SLODR) Meaningful for Artificial Agents?, Jose Hernandez-Orallo
• Efficient Computation of IRV Margins, Blom Michelle, Vanessa Teague, Peter Stuckey, Ron Tidhar
• On Labelling Statements in Multi-labelling Argumentation, Pietro Baroni, Guido Governatori, Regis Riveret
• Annotate-Sample-Average (ASA): A New Distant Supervision Approach for Twitter Sentiment Analysis, Felipe Bravo-Marquez, Eibe Frank, Bernhard Pfahringer
• Semi-supervised Group Sparse Representation: Model, Algorithm and Applications, Longwen Gao, Yeqing Li, Junzhou Huang, Shuigeng Zhou
• Modeling Bounded Rationality for Sponsored Search Auctions, Jiang Rong, Tao Qin, Bo An, Tie-Yan Liu
• An Improved State Filter Algorithm for SIR Epidemic Forecasting, Weipeng Huang, Gregory Provan
• Socially-aware Multiagent Learning towards Socially Optimal Outcomes, Xiaohong Li, chengwei zhang, Jianye Hao, Karl Tuyls, Siqi Chen
• Factors of collective intelligence: how smart are agent collectives?, Nader Chmait, David Dowe, Yuan-Fang Li, David Green, Javier Insa-Cabrera
• Synthesizing Argumentation Frameworks from Examples, Andreas Niskanen, Johannes Wallner, Matti Järvisalo
• Budgeted Multi-Armed Bandit in Continuous Action Space, Francesco Trovò, Stefano Paladino, Marcello Restelli, Nicola Gatti
• A Framework for Automatic Debugging of Functional and Degradation Failures, Nuno Cardoso, Abreu Rui, Alexander Feldman, Johan De Kleer
• Online Adaptation of Deep Architectures through Reinforcement Learning, Thushan Ganegedara, Fabio Ramos, Lionel Ott
• Multi-Class Probabilistic Active Learning, Daniel Kottke, Georg Krempl, Dominik Lang, Johannes Teschner, Myra Spiliopoulou
• Online Prediction of Exponential Decay Time Series with Human-Agent Application, Rosenfeld Ariel, Joseph Keshet, Claudia Goldman, Sarit Kraus
• Set-valued conditioning in a possibility theory setting, Salem Benferhat, Vladik Kreinovich, Amélie Levray, Karim Tabia
• An Improved CNF Encoding Scheme for Probabilistic Inference, Anicet Bart, Frédéric Koriche, Jean-Marie Lagniez, Pierre Marquis
• A Bayesian approach to norm identification, Stephen Cranefield, Felipe Meneguzzi, Nir Oren, Bastin Tony Roy Savarimuthu
• Subsumed Label Elimination for Maximum Satisfiability, Jeremias Berg, Paul Saikko, Matti Järvisalo
• Vertical Optimization of Resource Dependent Flight Paths, Anders Knudsen, Marco Chiarandini, Kim Larsen
• Exploiting Bayesian Network Sensitivity Functions for Inference in Credal Networks, Janneke Bolt, Jasper De Bock, Silja Renooij
• Interval-Based Relaxation for General Numeric Planning, Enrico Scala, Patrik Haslum, Sylvie Thiébaux
• Randomized Canonical Correlation Discriminant Analysis for Face Recognition, Bo Ma, Hui He, Hongwei Hu, Meili Wei
• Reconsidering AGM-Style Belief Revision in the Context of Logic Programs, Zhiqiang Zhuang, James Delgrande, Abhaya Nayak, Abdul Sattar
• Value Based Reasoning and the Actions of Others, Katie Atkinson, Trevor Bench-Capon
• Analogical classifiers: a theoretical perspective, Nicolas Hug, Henri Prade, Gilles Richard, Mathieu Serrurier
• Uncertainty-Sensitive Reasoning for Inferring sameAs Facts in Linked Data, Mustafa Al-Bakri, Manuel Atencia, Jérôme David, Steffen Lalande, Marie-Christine Rousset
• Can a Condorcet Rule Have a Low Coalitional Manipulability?, François Durand, Fabien Mathieu, Ludovic Noirie
• Leveraging Stratification in Twitter Sampling, Vikas Joshi, Deepak P, LV Subramaniam
• Upper and Lower Time and Space Bounds for Planning, Christer Bäckström, Peter Jonsson
• Translation-based Revision and Merging for Minimal Horn Reasoning, Gerhard Brewka, Jean-Guy Mailly, Stefan Woltran
• 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
• Distributed Controllers for Norm Enforcement, Bas Testerink, Mehdi Dastani, Nils Bulling
• Automatic Verification of Golog Programs via Predicate Abstraction, Mo Peiming, Li Naiqi, Yongmei Liu
• An Assessment Study of Features and Meta-level Features in Twitter Sentiment Analysis, Jonnathan Carvalho, Alexandre Plastino
• Crowdfunding Public Projects with Provision Point: A Prediction Market Approach, praphul chandra, Sujit Gujar, Y. Narahari
• Welfare of Sequential Allocation Mechanisms for Indivisible Goods, Haris Aziz, Thomas Kalinowski, Toby Walsh, Lirong Xia
• A Computational Approach to Consensus-Finding, Eric Grégoire, Jean-Marie Lagniez
• Complexity and Tractability Islands for Combinatorial Auctions on Discrete Intervals with Gaps, Janosch Döcker, Britta Dorn, Ulle Endriss, Dominikus Krüger
• Efficient SAT Approach to Multi-Agent Path Finding under the Sum of Costs Objective, Surynek Pavel, Ariel Felner, Roni Stern, Eli Boyarski
• Fixed-Domain Reasoning for Description Logics, Sarah Alice Gaggl, Sebastian Rudolph, Lukas Schweizer
• On Redundancy in Simple Temporal Networks, Jae Hee Lee, Sanjiang Li, Zhiguo Long, Michael Sioutis
• On Metric Temporal Description Logics, Victor Gutierrez Basulto, Jean Jung, Ana Ozaki
• Plan-based Narrative Generation with Coordinated Subplots, Julie Porteous, Fred Charles, Marc Cavazza
• Hybrid Gaussian and von Mises model-based clustering, Sergio Luengo-Sanchez, Concha Bielza, Pedro Larranaga
• Adaptive symbiotic collaboration for targeted complex manipulation tasks, Rui Silva, Francisco Melo, Manuela Veloso
• Attuning Ontology Alignments to Semantically Heterogeneous Multi-Agent Interactions, Paula Chocron, Marco Schorlemmer
• On the Construction of High Dimensional Simple Games, Martin Olsen, Sascha Kurz, Xavier Molinero
• A Dynamic Logic of Norm Change, Max Knobbout, Mehdi Dastani, John-Jules Meyer
• h-Index Manipulation by Undoing Merges, René van Bevern, Christian Komusiewicz, Hendrik Molter, Rolf Niedermeier, Jiehua Chen, Toby Walsh
• Planning under Uncertainty for Aggregated Electric Vehicle Charging with Renewable Energy Supply, Erwin Walraven, Matthijs Spaan
• On the Computation of Top-k Extensions in Abstract Argumentation Frameworks, Said Jabbour, Badran Raddaoui, Lakhdar Sais, Yakoub Salhi
• On Revision of Partially Specified Convex Probabilistic Belief Bases, Gavin Rens, Thomas Meyer, Giovanni Casini
• Solving Dynamic Controllability Problem of Multi-agent Plans with Uncertainty using MILP, Guillaume Casanova, Cedric Pralet, Charles Lesire, Thierry Vidal
• Combining Efficient Preprocessing and Incremental MaxSAT Reasoning for MaxClique in Large Graphs, Hua Jiang, Chu-Min Li, Felip Manya
• An Efficient Approach for the Generation of Allen Relations, Kleanthi Georgala, Mohamed Sherif, Axel-Cyrille Ngonga Ngomo
• You Can’t Always Forget What You Want: on the limits of forgetting in answer set programming, Ricardo Gonçalves, Matthias Knorr, Joao Leite
• Skeptical, Weakly Skeptical, and Credulous Inference Based on Preferred Ranking Functions, Christoph Beierle, Christian Eichhorn, Gabriele Kern-Isberner, Steven Kutsch
• Solving Set Optimization Problems by Cardinality Optimization with an Application to Argumentation, Wolfgang Faber, Mauro Vallati, Federico Cerutti, Massimiliano Giacomin
• 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
• Strategy Representation and Reasoning in the Situation Calculus, Liping Xiong, Yongmei Liu
• Exploiting MUS Structure to Measure Inconsistency of Knowledge Bases, Said Jabbour, Lakhdar Sais
• Gaining Insight by Structural Knowledge Extraction, Pietro Cottone, Salvatore Gaglio, Giuseppe Lo Re, Marco Ortolani
• The Complexity of Threshold Query Answering in Probabilistic Ontological Data Exchange, Thomas Lukasiewicz, Livia Predoiu
• Markov Logic Networks with Numerical Constraints, Melisachew Chekol, Jakob Huber, Christian Meilicke, Heiner Stuckenschmidt
• Revisiting the Cross Entropy Method with Applications in Stochastic Global Optimization and RL, Ajin George Joseph, Shalabh Bhatnagar
• Online Auctions for Dynamic Assignments: Theory and Empirical Evaluation, Sujit Gujar, Boi Faltings
• Mathematical Programming Models for Optimizing Partial-Order Plan Flexibility, Buser Say, Andre Augusto Cire, Chris Beck
• On Distances between KD45_n Kripke Models and their Use for Belief Revision, Thomas Caridroit, Sebastien Konieczny, Tiago de Lima, Pierre Marquis
• Unsupervised Activity Recognition using Latent Semantic Analysis on a Mobile Robot, Paul Duckworth, Muhannad Alomari, Yiannis Gatsoulis, David Hogg, Anthony Cohn
• Dichotomy for Pure Scoring Rules Under Manipulative Electoral Actions, Edith Hemaspaandra, Henning Schnoor
• Higher-order Correlation Coefficient Analysis for EEG-based Brain-Computer Interface, Ye Liu, Qibin Zhao, Liqing Zhang
• Classtering: Joint Classification and Clustering with Mixture of Factor Analysers, Emanuele Sansone, Andrea Passerini, Francesco De Natale
• Extending the Description Logic tEL(deg) with Acyclic TBoxes, Oliver Fernandez Gil, Franz Baader
• Clique-Width and Directed Width Measures for Answer-Set Programming, Bernhard Bliem, Sebastian Ordyniak, Stefan Woltran
• Emotion Analysis as a Regression Problem — Dimensional Models and Their Implications on Emotion Representation and Metrical Evaluation, Sven Buechel, Udo Hahn
• Aspect-Based Relational Sentiment Analysis Using a Stacked Neural Network Architecture, Soufian Jebbara, Philipp Cimiano
• Learning Invariant Representation for Malicious Network Traffic Detection, Karel Bartos, Michal Sofka, Vojtech Franc
• Making sense of item response theory in machine learning, Fernando Martínez-Plumed, Ricardo Prudêncio, Adolfo Martinez-Uso, Jose Hernandez-Orallo
• Real-time Timeline Summarisation for High-impact Events in Twitter, Yiwei Zhou, Nattiya Kanhabua, Alexandra Cristea
• Towards Better Models of Externalities in Sponsored Search Auctions, Nicola Gatti, Marco Rocco, Paolo Serafino, Carmine Ventre
• A Computational Method for Extracting, Representing, and Predicting Social Closeness, Katherine Metcalf, David Leake
• Planning using Actions with Control Parameters, Emre Savas, Maria Fox, Derek Long, Daniele Magazzeni
• Fixed-Parameter Tractable Optimization under DNNF Constraints, Frederic Koriche, Daniel Le Berre, Emmanuel Lonca, Pierre Marquis
• Preference modeling with possibilistic networks and symbolic weights: a theoretical study, Nahla Ben Amor, Didier Dubois, Héla Gouider, Henri Prade
• A Minimization-Based Approach to Iterated Multi-Agent Belief Change, Paul Vicol, James Delgrande, Torsten Schaub
• Parameterised Model Checking for Alternating-time Temporal Logic, Panagiotis Kouvaros, Alessio R. Lomuscio
• Interpretable Encoding of Densities using Possibilistic Logic, Ondrej Kuzelka, Jesse Davis, Steven Schockaert
• Interruptible Task Execution with Resumption in Golog, Gesche Gierse, Tim Niemueller, Jens Claßen, Gerhard Lakemeyer
• Unsupervised Ranking of Knowledge Bases for Named Entity Recognition, Yassine Mrabet, Halil Kilicoglu, Dina Demner-Fushman
• Skeleton-Based Orienteering for Level Set Estimation, Lorenzo Bottarelli, Manuele Bicego, Jason Blum, Alessandro Farinelli
• Constructing Hierarchical Task Models Using Invariance Analysis, Damir Lotinac, Anders Jonsson
• Learning the Structure of Dynamic Hybrid Relational Models, Davide Nitti, Irma Ravkic, Jesse Davis, Luc De Raedt
• A Distributed Asynchronous Solver for Nash Equilibria in Hypergraphical Games, Mohamed Wahbi, Kenneth Brown
• Summary Information for Reasoning about Hierarchical Plans, Lavindra de Silva, Sebastian Sardina, Lin Padgham
• Knowledge-Based Programs with Defaults in a Modal Situation Calculus, Jens Claßen, Malte Neuss
• Solving Multi-agent Knapsack Problems Using Incremental Approval Voting, Nawal Benabbou, Patrice Perny
• Propositional Abduction with Implicit Hitting Sets, Alexey Ignatiev, Antonio Morgado, Joao Marques-Silva
• Improved Multi-Label Classification using Inter-dependence Structure via a Generative Mixture Model, Ramanuja Simha, Hagit Shatkay
• Accelerating Norm Emergence through Hierarchical Heuristic Learning, Tianpei Yang, Zhaopeng Meng, Jianye Hao, Sandip Sen, Chao Yu
• Entity Embeddings with Conceptual Subspaces as a Basis for Plausible Reasoning, Shoaib Jameel, Steven Schockaert
• Automatic Bridge Bidding Using Deep Reinforcement Learning, Chih-Kuan Yeh, Hsuan-Tien Lin
• Hierarchical Strategy Synthesis for Pursuit-Evasion Problems, Rattanachai Ramaithitima, Siddharth Srivastava, Subhrajit Bhattacharya, Alberto Speranzon, Vijay Kumar
• Decidable Reasoning in a First-Order Logic of Limited Conditional Belief, Christoph Schwering, Gerhard Lakemeyer
• A Temporal-Causal Modelling Approach to Integrated Contagion and Network Change in Social Networks, Romy Blankendaal, Sarah Parinussa, Jan Treur
• Exact Particle Filter Modularization Improves Runtime Performance, Padraic Edgington, Anthony Maida
• Using the Sugeno Integral in Optimal Assignment Problems with Qualitative Utilities, Soufiane Drissi Oudghiri, Patrice Perny, Olivier Spanjard, Mohamed Hachimi
• Complexity of Probabilistic Datalog+\-, Ismail Ceylan, Thomas Lukasiewicz, Rafael Penaloza Nyssen
• Strategic voting in a social context: considerate equilibria, Laurent Gourvès, Julien Lesca, Anaelle Wilczynski
• The Complexity of Deciding Legality of a Single Step of Magic: the Gathering, Krishnendu Chatterjee, Rasmus Ibsen-Jensen
• Description Logics Reasoning w.r.t. general TBoxes is decidable for Concrete Domains with the EHD-p, Claudia Carapelle, Anni-Yasmin Turhan
• Realisability of Production Recipes, Lavindra de Silva, Paolo Felli, Jack Chaplin, Brian Logan, David Sanderson, Svetan Ratchev
• Towards Lifelong Object Learning by Integrating Situated Robot Perception and Semantic Web Mining, Jay Young, Valerio Basile, Lars Kunze, Elena Cabrio, Nick Hawes
• Declaratively Capturing Local Label Correlations with Multi-Label Trees, Reem Al-Otaibi, Meelis Kull, Peter Flach
• Multi-Robot Adversarial Coverage, Roi Yehoshua
• 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
• False-Name-Proof Mechanisms for Path Auctions in Social Networks, Lei Zhang, Haibin Chen, Jun Wu, Chong-Jun Wang, Junyuan Xie
• Multi-Robot Adversarial Coverage, Roi Yehoshua, Noa Agmon
• Parameterized Complexity Results for the Kemeny Rule in Judgment Aggregation, Ronald de Haan
• AGM-Style Revision of Beliefs and Intentions, Marc van Zee, Dragan Doder
• Facility Location Games with Optional Preference, Hongning Yuan, Kai Wang, Chi Kit Ken Fong, Yong Zhang, Minming Li
• A Deliberation Procedure for Judgment Aggregation Problems, Marija Slavkovik, Wojtek Jamroga
• Partial Order Temporal Plan Merging for Mobile Robot Tasks, Lenka Mudrova, Bruno Lacerda, Nick Hawes

Short papers

• Towards Online Concept Drift Detection with Feature Selection for Data Stream Classification, Mahmood Hammoodi, Stahl Frederic, Mark Tennant
• Towards SPARQL-Based Induction for Large-Scale RDF Data sets, Simon Bin, Lorenz Bühmann, Jens Lehmann, Axel-Cyrille Ngonga Ngomo
• Burg Matrix Divergence based Multi-Space Distance Metric Learning for Binary Classification, Yan Wang, Han-Xiong Li
• A Novel Approach of Applying the Differential Evolution to Spatial Discrete Data, Vojtech Uher, Petr Gajdoš, Michal Radecký, Václav Snášel
• A Stochastic Belief Change Framework with an Observation Stream and Memory-based Learning of Default, Gavin Rens,Short Paper
• Topic-Level Influencers Identification in the Microblog Sphere, Yakun Wang, Zhongbao Zhang, Sen Su, Cheng Chang, Muhammad Azam Zia
• Multilevel Agent-Based Modelling for Assignment or Matching Problems, Antoine Nongaillard, Sebastien PICAULT
• Simple epistemic planning: generalised gossiping, Martin Cooper, Andreas Herzig, Faustine Maffre, Frederic Maris, Pierre Regnier
• All-Transfer Learning for Deep Neural Networks and its Application to Sepsis Classification, Yoshihide Sawada, Yoshikuni Sato, Toru Nakada, Kei Ujimoto, Nobuhiro Hayashi
• A General Characterization of Model-Based Diagnosis, Gregory Provan
• On the Impact of Subproblem Orderings on Anytime AND/OR Best-First Search for Lower-Bounds, William Lam, Kalev Kask, Rina Dechter, Javier Larrosa
• On the complexity of transferable utility games with cycle-complete graph structure, Ayumi Igarashi
• Salient Region Detection Based on the Global Contrast Combining Background Measure for Indoor Robots, Na Li, Zhenhua Wang, Lining Sun, Guodong Chen
• Inverse Reinforcement Learning in Swarm Systems, Adrian Sosic, Wasiur KhudaBukhsh, Abdelhak Zoubir, Heinz Koeppl
• Jointly Reweighing Labeled Data and Learning Affinities for Semi-Supervised Learning, Nan Li, Longin Latecki
• Identifying and Rewarding Subcrowds in Crowdsourcing, Siyuan Liu, Xiuyi Fan, Chunyan Miao
• Data set operations to hide decision tree rules, Dimitris Kalles, Vassilios Verykios, Georgios Feretzakis, Athanasios Papagelis
• Evolutionary agent-based modeling of past societies’ organization structure, Angelos Chliaoutakis, Georgios Chalkiadakis
• Strategic Path Planning Allowing On-the-Fly Updates, Ofri Keidar, Noa Agmon
• Finding Diverse High-Quality Plans for Hypothesis Generation, Shirin Sohrabi, Anton Riabov, Octavian Udrea, Oktie Hassanzadeh
• Using a Deep Understanding of Network Activities for Network Vulnerability Assessment, Mona Lange, Felix Kuhr, Ralf Moeller
• Computing extensions’ probabilities in probabilistic abstract argumentation: beyond independence, Bettina Fazzinga, Sergio Flesca, Filippo Furfaro
• Explained Activity Recognition with Computational Assumption-based Argumentation, Xiuyi Fan, Siyuan Liu, Huiguo Zhang, Cyril Leung, Chunyan Miao
• Execution Errors Enable the Evolution of Fairness in the Ultimatum Game, Fernando Santos, Francisco C. Santos, Ana Paiva, Jorge M. Pacheco
• Encoding Cryptographic Functions to SAT Using Transalg System, Ilya Otpuschennikov, Alexander Semenov, Irina Gribanova, Oleg Zaikin, Stepan Kochemazov
• Explanatory Diagnosis of an Ontology Stream via Reasoning about Actions, Quan Yu
• DARDIS: Distributed And Randomized DIspatching and Scheduling, Thomas Bridi, Michele Lombardi, Andrea Bartolini, Luca Benini, Michela Milano
• Reasoning about Belief and Evidence with Extended Justification Logic, Tuan-Fang Fan, Churn-Jung Liau
• Scaling Structure Learning of Probabilistic Logic Programs by MapReduce, Fabrizio Riguzzi, Elena Bellodi, Riccardo Zese, Giuseppe Cota, Evelina Lamma
• Employing Hypergraphs for Efficient Coalition Formation with Application to the V2G Problem, Filippos Christianos, Georgios Chalkiadakis
• Online Posted-Price Mechanisms with a Finite Period, Bo Zheng, Li Xiao, Guang Yang, Tao Qin
• Increasing Coalition Stability in Large-Scale Coalition Formation with Self-Interested Agents, Pavel Janovsky, Scott Deloach
• Learning Importance of Preferences, Ying Zhu, Mirek Truszczynski
• Strategies for Privacy Negotiation in Online Social Networks, Dilara Kekulluoglu, Nadin Kokciyan, Pinar Yolum
• DA-BSP: Towards Data-association Aware Belief Space Planning for Robust Active Perception, Shashank Pathak, Antony Thomas, Asaf Feniger, Vadim Indelman
• Ragged Boosted Trees for Classification of Ecological Momentary Assessment Data, Gerasimos Spanakis, Gerhard Weiss, Anne Roefs
• Reputation in the Academic World, Nardine Osman, Carles Sierra
• Propositional Belief Merging with T-norms, Henrique Oliveira, João Alcântara
• Collective Future Orientation and Stock Markets, Mohammed Hasanuzzaman, Wai Leung Sze, Parvez Salim, Gaël Dias
• Robust Learning of Classification Models from Noisy Soft-Label Information, Yanbing Xue, Milos Hauskrecht
• Distributed Interval Estimation Learning in Expert Referral Networks, Ashiqur KhudaBukhsh, Peter Jansen, Jaime Carbonell
• An Iterative Transfer Learning Based Ensemble Technique for Automatic Short Answer Grading, Shourya Roy, Himanshu Bhatt, Y. Narahari
• Long-time Sensor Data Analysis for Estimation of Physical Capacity, Yoshikuni Sato, Yoshihide Sawada, Toru Nakada, Tadayoshi Nonoyama, Masafumi Kubota, Yusuke Koie, Masaki Yasutake, Osamu Yamamura
• Enhancing Sketch-Based Image Retrieval via Deep Discriminative Representation, Fei Huang, Yong Cheng, Cheng Jin, Yuejie Zhang, Tao Zhang
• Structure in the Value Function of Two-Player Zero-Sum Games of Incomplete Information, Auke Wiggers, Frans Oliehoek, Diederik Roijers
• GDL-III: A Description Language for Epistemic General Game Playing, Michael Thielscher
• Impact of Automated Action Labeling in Classification of Human Actions in RGB-D Videos, David Jardim, Luís Nunes, Miguel Dias
• Identifying Temporality of Word Senses Based on Minimum Cuts, Mohammed Hasanuzzaman, Gaël Dias, Stéphane Ferrari
• Monitoring Opportunism in Multi-Agent Systems, Jieting Luo, John-Jules Meyer, Max Knobbout
• Young Driver Fatal Motorcycle Accident Analysis by Jointly Maximizing Accuracy and Information, Halbersberg Dan, Boaz Lerner
• Transfer of Reinforcement Learning Policies: from Bilateral to Multilateral Negotiations, Ioannis Efstathiou, Oliver Lemon
• Substantive irrationality in cognitive systems, Pierre Bisquert, Madalina Croitoru, Florence Dupin de Saint-Cyr, Abdelraouf Hecham
• Rule-based Stream Reasoning for Adaptive Operation of Content-Centric Networks, Harald Beck, Bruno Bierbaumer, Minh Dao-Tran, Thomas Eiter, Hermann Hellwagner, Konstantin Schekotihin
• A History Tree Heuristic to Generate Better Initiation Sets for Options in Reinforcement Learning, Alper Demir, Erkin Çilden, Faruk Polat
• Value-Based Reasoning and the Emergence of Norms, Trevor Bench-Capon
• On Truthful Auction Mechanisms for Electricity Allocation, Song Heng, Zhu Wu, Li Bin, Jiang Yi
• A BDI Player Model for Interactive Narratives, Rivera-Villicana Jessica, Fabio Zambetta, James Harland, Marsha Berry
• A Typicality-based Revision to Handle Exceptions in Description Logics, Roberto Micalizio, Gian Luca Pozzato
• A New Stochastic Local Search Approach for Computing Preferred Extensions of Abstract Argumentation, Dangdang Niu, Lei Liu, Shuai Lu
• Crowdsourced Referral Auctions, praphul chandra, Sujit Gujar, Y. Narahari
• Minisum and Minimax Committee Election Rules for General Preference Types, Dorothea Baumeister, Toni Boehnlein, Lisa Rey, Oliver Schaudt, Ann-Kathrin Selker
• Space Debris Removal: A Game Theoretic Analysis, Richard Klima, Daan Bloembergen, Rahul Savani, Karl Tuyls, Daniel Hennes, Dario Izzo
• Cuilt: a Scalable, Mix-and-Match Framework for Local Iterative Approximate Best-Response Algorithms, Mihaela Verman, Philip Stutz, Robin Hafen, Abraham Bernstein
• Not being at odds with a class: A new way of exploiting neighbors for classification, Myriam Bounhas, Henri Prade, Gilles Richard
• Using Recursive Neural Networks to detect and classify drug-drug interactions from biomedical texts, Víctor Suárez-Paniagua, Isabel Segura-Bedmar
• Efficient Computation of Deterministic Extensions for Dynamic Abstract Argumentation Frameworks, Sergio Greco, Francesco Parisi
• Rank Arguments based on Counter-Transitivity, Fuan Pu, Guiming Luo
• The Post-Modern Homunculus, Eric Neufeld
• Symmetric Multi-Aspect Evaluation of Comments, Theodore Patkos, Giorgos Flouris, Antonis Bikakis
• An efficient and expressive similarity measure for relational clustering using neighbourhood trees, Sebastijan Dumancic, Hendrik Blockeel
• On Inconsistency Measuring and Resolving, Said Jabbour
• A Fuzzy Semantic CEP Model for Situation Identification in Smart Homes, Amina Jarraya, Nathan Ramoly, Amel Bouzeghoub, Khedija Arour, Amel Borgi, Béatrice Finance
• Multi-Context Systems in Time, Stefania Costantini, Andrea Formisano
• Speech Emotion Recognition Using Voiced Segment Selection Algorithm, Yu Gu
• Scalable Exact MAP Inference in Graphical Models, Radu Marinescu, Akihiro Kishimoto, Adi Botea
• Hiding Actions in Concurrent Games, Vadim Malvone, Aniello Murano, Loredana Sorrentino
• Shape Invariant Formulation for Change Point Models in Multiple Dimensions, Jesse Glass
• Shaping Proto-Value Functions using Rewards, Raj Kumar Maity, Chandrashekar Lakshminarayanan, Sindhu Padakandla, Shalabh Bhatnagar
• Heuristic Constraint Answer Set Programming, Erich Teppan, Gerhard Friedrich
• Non-Deterministic Planning with Numeric Uncertainty, Liana Marinescu, Andrew Coles
• How Good is Predictive Routing in the Online Version of the Braess Paradox?, Laszlo Varga
• Delete-free Reachability Analysis for Temporal and Hierarchical Planning, Arthur Bit-Monnot, David Smith, Minh Do
• Intention Selection with Deadlines, Yuan Yao, Brian Logan, John Thangarajah
• Cost-Optimal Algorithms for Planning with Procedural Control Knowledge, Vikas Shivashankar, Ronald Alford, Mark Roberts, David Aha
• Adaptive Condorcet-based Stopping Rules can be Efficient, Omer Reingold, Nina Narodytska
• Landmark-based Plan Recognition, Ramon Fraga Pereira, Felipe Meneguzzi
• Multi-Level Semantics with Vertical Integrity Constraints, Alison Panisson, Rafael Bordini, Antonio da Rocha Costa
• Supervised Graph-based Term Weighting Scheme for Effective Text Classification, Niloofer Shanavas
• Temporal Planning with Constants in Context, Josef Bajada, Maria Fox, Derek Long
• Secure Multi-Agent Planning, Michal Stolba, Jan Tozicka, Antonin Komenda
• Analysis of Swarm Communication Models, Musad Haque, Christopher Ren, Electa Baker, Douglas Kirkpatrick, Julie Adams
• Fault Manifestability Verification for Discrete Event Systems, Lina Ye, Philippe Dague, Delphine Longuet, Laura Brandán Briones, Agnes Madalinski
• Using Petri Net Plans Framework for Modeling a UAV-UGV Cooperated Landing Task, Masoume M. Raeissi, Masoume M. Raeissi, Alessandro Farinelli, Riccardo Muradore
• Applications of Argumentation: The SoDA Software Methodology, Nikolaos Spanoudakis, Antonis Kakas, Pavlos Moraitis
• Decoupling Temporal Resource Constraints in Multi-agent Sequential Decision Making, Frits de Nijs, Matthijs Spaan, Mathijs De Weerdt
• Conflict Detection among Multiple Norms in Multi-Agent Systems,Eduardo Silvestre
• GPU-accelerated Value Iteration for the Computation of Reachability Probabilities in MDPs, Wu Zhimin, Ernst Moritz Hahn, Akin Gunay, Li Jun Zhang, Yang Liu
• Automatic Formation of Sets of Contrasting Rules to Identify Trigger Factors, Marharyta Aleksandrova, Armelle Brun, Oleg Chertov, Anne Boyer
• Link Prediction by Incidence Matrix Factorization, Sho Yokoi, Hiroshi Kajino, Hisashi Kashima
• Dialogues as social practices for serious games, Agnese Augello, Manuel Gentile, Lucas Weideveld, Frank Dignum
• Abducing Workflow Traces: a General Framework to Manage Incompleteness in Business Processes, Federico Chesani, Riccardo De Masellis, Chiara Di Francescomarino, Chiara Ghidini, Paola Mello, Marco Montali, Sergio Tessaris
• Optimal simple strategies for persuasion, Elizabeth Black, Amanda Coles, Christopher Hampson
• Non-Utilitarian Coalition Structure Generation, Oskar Skibski, Henryk Michalewski, Andrzej Nagórko, Tomasz Michalak, Andrew Dowell, Talal Rahwan, Michael Wooldridge
• PA*: Optimal Path Planning for Perception Tasks, Tiago Pereira, Manuela Veloso, António Moreira
• Domain Bias Reduction in Text-based Personality Analysis, Isil Yakut Kilic, Shimei Pan
• Classical Planning with Communicative Actions, Tania Marques, Michael Rovatsos
• Mixed Strategy Extraction from UCT Tree in Security Games, Jan Karwowski, Jacek Mandziuk
• Boolean Negotiation Games, Nils Bulling, Koen Hindriks
• Divide to Conquer: Toward Addressing Collusion among Human Adversaries in Security Games, Shahrzad Gholami, Bryan Wilder, Matthew Brown, Dana Thomas, Nicole Sintov, Milind Tambe
• Detecting Communities using Coordination Games, Radhika Arava, Pradeep Varakantham
• Pricing Options with Portfolio-holding Trading Agents in Direct Double Auction, Sarvar Abdullaev
• Efficient semantic tableau generation for abduction in propositional logic, Yifan Yang, Ricardo Aldama, Jamal Atif, Isabelle Bloch
• Efficient Bargaining Protocols For Coalition Structure Formation, Tarkowski Mateusz, Shaheen Fatima, Tomasz Michalak, Michael Wooldridge
• Case-Based Classification on Hierarchical Structure of Formal Concept Analysis, Qi Zhang, Chongyang Shi, Ping Sun, Zhengdong Niu
• Stochastic Area Pooling for Generic Convolutional Neural Network, Zhidong Deng, Zhenyang Wang, Shiyao Wang
• Hole in one: using qualitative reasoning for solving hard physical puzzle problems, Xiaoyu Ge, Jae Hee Lee, Jochen Renz, Peng Zhang
• REGLL: Relational Grounded Language Learning, Leonor Becerra-Bonache, Hendrik Blockeel, María Galván, François Jacquenet

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
• SMACH: Simulation of Realistic Human Behaviors and Electrical Consumption, Reynaud Quentin, Sempé François, Haradji Yvon, Sabouret Nicolas
• KNEWS: Using Logical and Lexical Semantics to Extract Knowledge from Natural Language, Valerio Basile, Elena Cabrio, Claudia Schon
• A Tool for Negotiating Privacy Constraints in Online Social Networks, Dilara Keküllüoglu, Nadin Kökciyan, Pınar Yolum
• 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, Darío Ramos-López, Thomas D. Nielsen, Helge Langseth, Antonio Salmerón, Anders L. Madsen
• Demo for Continuous Live Stress Monitoring with a Wristband, Martin Gjoreski, Hristijan Gjoreski, Mitja Lušterk, Matjaž Gams
• Interactive Exploration over Concept Lattices with LatViz, Mehwish Alam, Thi Nhu Nguyen Le, Amedeo Napoli
• Neonatologist at Home, Albert Pla-Planes, Natalia Mordvanyuk, Beatriz López, Abel López-Bermejo, Eva Bargalló, Cristina Armero
• Using Machine Learning for Link Discovery on the Web of Data, Axel-Cyrille Ngonga Ngomo, Daniel Obraczka, Kleanthi Georgala
• 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

PAIS

Full papers

• Planning Search and Rescue Missions for UAV Teams: Chris A. B. Baker, Sarvapali Ramchurn, W. T. Luke Teacy and Nicholas R. Jennings
• An Intelligent System for Aggression De-escalation Training: Tibor Bosse, Charlotte Gerritsen and Jeroen de Man
• 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
• Continuous Live Stress Monitoring with a Wristband: Martin Gjoreski, Hristijan Gjoreski, Mitja Luštrek and Matjaž Gams.
• An Intelligent System for Personalized Conference Event Recommendation and Scheduling: Aldy Gunawan, Hoong Chuin Lau, Pradeep Varakantham and Wenjie Wang
• 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
• Planning tourist agendas for different travel styles: Jesus Ibañez, Laura Sebastia and Eva Onaindia
• Integrating ARIMA and Spatio-temporal Bayesian Networks for High Resolution Malaria Prediction: A. H. M. Imrul Hasan and Peter Haddawy
• Rapid Adaptation of Air Combat Behaviour: Armon Toubman, Jan Joris Roessingh, Pieter Spronck, Aske Plaat and H. Jaap Van den Herik

Short Papers

• ONE – A Personalized Wellness System: Ajay Chander and Ramya Srinivasan