22nd European
Conference on
Artificial
Intelligence
29 aug - 02 sep

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 KD45n 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