Accepted Papers

Long Papers

Breaking Conditional Symmetry in Automated Constraint Modelling with Conjure
Ozgur Akgun, Ian P. Gent, Christopher Jefferson, Ian Miguel, and Peter Nightingale
Decidable Model-Checking for a Resource Logic with Production of Resources
Natasha Alechina, Brian Logan, Hoang Nga Nguyen, and Franco Raimondi
Data interlinking through robust linkkey extraction
Manuel Atencia, Jérôme David, and Jérôme Euzenat
Knowledge and Gossip
Maduka Attamah, Hans van Ditmarsch, Davide Grossi, and Wiebe van der Hoek
The Significance of Bidding, Accepting and Opponent Modeling in Automated Negotiation
Tim Baarslag, Alexander Dirkzwager, Koen V. Hindriks, and Catholijn M. Jonker
Parameterising the Complexity of Planning by the Number of Paths in the Domain-transition Graphs
Christer Bäckström
Extending Acyclicity Notions for Existential Rules
Jean-François Baget, Fabien Garreau, Marie-Laure Mugnier, and Swan Rocher
Communicating with Unknown Teammates
Samuel Barrett, Noa Agmon, Noam Hazon, Sarit Kraus and Peter Stone
Symmetry-Driven Decision Diagrams for Knowledge Compilation
Anicet Bart, Frédéric Koriche, Jean-Marie Lagniez, and Pierre Marquis
Effective and Robust Natural Language Understanding for Human Robot Interaction
Emanuele Bastianelli, Giuseppe Castellucci, Danilo Croce, Roberto Basili, and Daniele Nardi
Context-free and Context-sensitive Kernels: Update and Deletion Equivalence in Abstract Argumentation
Ringo Baumann
Compact Argumentation Frameworks
Ringo Baumann, Wolfgang Dvořák, Thomas Linsbichler, Hannes Strass, and Stefan Woltran
Scoring Rules for the Allocation of Indivisible Goods
Dorothea Baumeister, Sylvain Bouveret, Jérôme Lang, Nhan-Tam Nguyen, Trung Thanh Nguyen, and Jörg Rothe
Model Checking Auctions as Artifact Systems: Decidability via Finite Abstraction
Francesco Belardinelli
Incremental Elicitation of Choquet Capacities for Multicriteria Decision Making
Nawal Benabbou, Patrice Perny, and Paolo Viappiani
Automating Gödel's Ontological Proof of God's Existence with Higher-order Automated Theorem Provers
Christoph Benzmüller, and Bruno  Woltzenlogel Paleo
Boosting Constraint Acquisition via Generalization Queries
Christian Bessiere, Remi Coletta, Abderrazak Daoudi, Nadjib Lazaar, Younes Mechqrane, and El Houssine Bouyakhf
Influencing Social Networks: An Optimal Control Study
Daan Bloembergen, Bijan Ranjbar-Sahraei, Haitham Bou Ammar,  Karl Tuyls, and Gerhard Weiss
Inference in the FO(C) Modelling Language
Bart Bogaerts, Joost Vennekens, Marc Denecker, and Jan Van den Bussche
Abduction and Dialogical Proof in Argumentation and Logic Programming
Richard Booth, Dov Gabbay, Souhila Kaci, Tjitze Rienstra, and Leendert van der Torre
Credibility-Limited Improvement Operators
Richard Booth, Eduardo Fermé, Sébastien Konieczny, and Ramón Pino Pérez
'Being a Manifold' as the Topological Primitive of Mereotopology
Stefano Borgo
Analogical classification: A new way to deal with examples
Myriam Bounhas, Henri Prade, and Gilles  Richard
Manipulating picking sequences
Sylvain Bouveret, and Jérôme Lang
On the Properties of Belief Tracking for Online Contingent Planning using Regression
Ronen Brafman, and Guy Shani
GRAPPA: A Semantical Framework for Graph-Based Argument Processing
Gerhard Brewka, and Stefan Woltran
Multi-Context Systems for Reactive Reasoning in Dynamic Environments
Gerhard Brewka, Stefan Ellmauthaler, and Jörg Pührer
Abstract Disjunctive Answer Set Solvers
Remi Brochenin, Yuliya Lierler, and Marco Maratea
Planning and Execution of Robot Tasks Based on a Platform-Independent Model of Robot Capabilities
Jennifer Buehler, and Maurice Pagnucco
ATL* With Truly Perfect Recall: Expressivity and Validities
Nils Bulling, Wojciech Jamroga, and Matei Popovici
Eliciting a Suitable Voting Rule via Examples
Olivier Cailloux, and Ulle Endriss
A GPU Implementation of Large Neighborhood Search for Solving Constraint Optimization Problems
Federico Campeotto, Agostino Dovier, Ferdinando Fioretto, and Enrico Pontelli
A Systematic Solution to the (De-)Composition Problem in General Game Playing
Timothy Cerexhe, David Rajaratnam, Abdallah Saffidine, and Michael Thielscher
Practical Performance of Refinements of Nash Equilibria in Extensive-Form Zero-Sum Games
Jiří Čermák, Branislav Bošanský, and Viliam Lisý
Formal Arguments, Preferences, and Natural Language Interfaces to Humans: an Empirical Evaluation
Federico Cerutti, Nava Tintarev, and Nir Oren
Lattice-based biclustering using Partition Pattern Structures
Victor Codocedo, and Amedeo Napoli
Reducing global consistency to local consistency in Ontology-based Data Access
Marco Console, and Maurizio Lenzerini
On the Efficient Implementation of Social Abstract Argumentation
Marco Correia, Jorge Cruz, and João Leite
Belief merging within fragments of propositional logic
Nadia Creignou, Odile Papini, Stefan Rümmele, and Stefan Woltran
A Single-Agent Approach to Multiagent Planning
Matthew Crosby, Anders Jonsson, and Michael Rovatsos
Characterising Semantic Relatedness using Interpretable Directions in Conceptual Spaces
Joaquín Derrac, and Steven Schockaert
Concept Dissimilarity Based on Tree Edit Distances and Morphological Dilations
Felix Distel, Jamal Atif, and Isabelle Bloch
Nonparametric Bayesian Multi-Task Large-margin Classification
Changying Du, Jia He, Fuzhen Zhuang, Yuan Qi, and Qing He
Reasoning about Uncertainty and Explicit Ignorance in Generalized Possibilistic Logic
Didier Dubois, Henri Prade, and Steven Schockaert
An Axiomatic Analysis of  Structured Argumentation for Prioritized Default Reasoning
Phan Minh Dung
A Profit-Aware Negotiation Mechanism for On-Demand Transport Services
Malcolm Egan, and Michal Jakob
Mining Heterogeneous Multidimensional Sequential Patterns
Elias Egho, Chedy Raïssi, Nicolas Jay, and Amedeo Napoli
Towards Practical Deletion Repair of Inconsistent DL-programs
Thomas Eiter, Michael Fink, and Daria Stepanova
Collective Rationality in Graph Aggregation
Ulle Endriss, and Umberto Grandi
Self-decomposable Global Constraints
Jean-Guillaume Fages, Xavier Lorca, and Thierry Petit
Solving Maximum Weight Clique Using Maximum Satisfiability Reasoning
Zhiwen Fang, Chu-Min Li, Kan Qiao, Xu Feng, and Ke Xu
Multilateral Bargaining for Resource Division
Shaheen Fatima, and Michael Wooldridge
Bargaining for Coalition Structure Formation
Shaheen Fatima, Tomasz P. Michalak, and Michael Wooldridge
Monte-Carlo Tree Search: To MC or to DP?
Zohar Feldman, and Carmel Domshlak
Improving pattern discovery relevancy by deriving constraints from expert models
Frédéric Flouvat, Jérémy Sanhes, Claude Pasquier, Nazha Selmaoui-Folcher, and Jean-François Boulicaut
Argumentation Accelerated Reinforcement Learning for Cooperative Multi-Agent Systems
Yang Gao, and Francesca Toni
Detecting the Reputation Polarity of Microblog Posts
Cristina Gârbacea, Manos Tsagkias, and Maarten de Rijke
Lower and Upper Approximations for Depleting Modules of Description Logic Ontologies
William  Gatens, Boris Konev, and Frank Wolter
Answer Set Programming as SAT modulo Acyclicity
Martin Gebser, Tomi Janhunen, and Jussi Rintanen
Past, Present, and Future: An Optimal Online Algorithm for Single-Player GDL-II Games
Florian Geißer, Thomas Keller, and Robert Mattmüller
Nested Dichotomies with probability sets for multi-class classification
YANG Gen, DESTERCKE Sébastien, and MASSON Marie-Hélène
LTL Verification of Online Executions with Sensing in Bounded Situation Calculus
Giuseppe De Giacomo, Yves Lespérance, Fabio Patrizi, and Stavros Vassos
Evolving Multi-Context Systems
Ricardo Gonçalves, Matthias Knorr, and João Leite
Embedding Heterogeneous Data by Preserving Multiple Kernels
Mehmet Gönen
Bayesian Multiview Dimensionality Reduction for Learning Predictive Subspaces
Mehmet Gönen, Gulefşan Bozkurt Gönen, and Fikret Gürgen
Near Fairness in Matroids
Laurent Gourvès, Jérôme Monnot, and Lydia Tlilane
Strategic Argumentation is NP-Complete
G. Governatori, F. Olivieri, S. Scannapieco, A. Rotolo, and M. Cristani
Diagnosis of Hybrid Systems with SMT: Opportunities and Challenges
Alban Grastien
Controlling Two-Stage Voting Rules
Jiong Guo, and Yash Raj Shrestha
Human-Computer Negotiations in Three-Player Market Settings
Galit Haim, Ya'akov (Kobi) Gal, Sarit Kraus, and Bo An
Measuring Diversity of Preferences in a Group
Vahid Hashemi, and Ulle Endriss
Spatio-Temporal Stream Reasoning with Incomplete Spatial Information
Fredrik Heintz, and Daniel de Leng
On the revision of planning tasks
Andreas Herzig, Viviane Menezes, Leliane Nunes de Barros, and Renata Wassermann
"Distance''? Who Cares? Tailoring Merge-and-Shrink Heuristics to Detect Unsolvability
Jörg Hoffmann, Peter Kissmann, and Álvaro Torralba
Language Classification of Hierarchical Planning Problems
Daniel Höller, Gregor Behnke, Pascal Bercher, and Susanne Biundo
Progression in Maximum Satisfiability
Alexey Ignatiev, Antonio Morgado, Vasco Manquinho, Ines Lynce, and Joao Marques-Silva
A Practical Integer-Linear Programming Model for the Delete Relaxation in Cost-Optimal Planning
Tatsuya Imai, and Alex Fukunaga
Combining Restarts, Nogoods and Decompositions for Solving CSPs
Philippe Jégou, and Cyril Terrioux
Conflict Resolution in Partially Ordered OWL DL Ontologies
Qiu Ji, Zhiqiang Gao, and Zhisheng Huang
GOSU: computing GOal SUpport with commitments in multiagent systems
Özgür Kafalı, Akın Günay, and Pınar Yolum
Learning Pruning Rules for Heuristic Search Planning
Michal Krajňanský, Jörg Hoffmann, Olivier Buffet, and Alan Fern
Knowledge-based Bias Correction -- A Case Study in Veterinary Decision Support
Thomas E. Krak, and Linda C. van der Gaag
Qualitative Spatial and Temporal Reasoning with AND/OR Linear Programming
Arne Kreutzmann, and Diedrich Wolter
How Hard is it to Compute Majority-Preserving  Judgment Aggregation Rules?
Jérôme Lang, and Marija Slavkovik
The Complexity of Reasoning with Relative Directions
Jae Hee Lee
LTLf Satisfiability Checking
Jianwen  Li, Lijun Zhang, Geguang Pu, Moshe Y. Vardi, and Jifeng He
Constrained Latent Dirichlet Allocation for Subgroup Discovery with Topic Rules
Rui Li, Zahra Ahmadi, and Stefan Kramer
Bias reformulation for one-shot function induction
Dianhuan Lin, Eyal Dechter, Kevin Ellis, Joshua B. Tenenbaum, and Stephen H. Muggleton
Uncorrelated Multilinear Nearest Feature Line Analysis
Ye Liu, and Liqing Zhang
Common Spatial-Spectral Boosting Pattern for Brain-Computer Interface
Ye Liu, Hao Zhang, Qibin Zhao, and Liqing Zhang
Decidability of model checking multi-agent systems against a class of EHS specifications
Alessio R. Lomuscio, and Jakub Michaliszyn
Trust-based belief change
Emiliano Lorini, Guifei Jiang, and Laurent Perrussel
The Logical Difference for ELHr-Terminologies using Hypergraphs
Michel Ludwig, and Dirk Walther
Probabilistic Preference Logic Networks
Thomas Lukasiewicz, Maria Vanina Martinez, and Gerardo I. Simari
An Efficient Bayesian Network Structure Learning Algorithm in the Presence of Deterministic Relations
Ahmed Mabrouk, Christophe Gonzales, Karine Jabet-Chevalier, and Eric Chojnacki
An Evolutionary Spatial Game-based Approach for the Self-regulation of Social Exchanges in MAS
Luís F. K. Macedo, Graçaliz P. Dimuro, Marilton S. Aguiar, and Helder Coelho
How Hard is Control in Single-Crossing Elections?
Krzysztof Magiera, and Piotr Faliszewski
Comparing Defeasible Logics
Michael J. Maher
Information-based Incentivisation when Rewards are Inadequate
Samhar Mahmoud, Lina Barakat, Simon Miles, Adel Taweel, Brendan Delaney, and Michael Luck
Privacy Preserving Landmark Detection
Shlomi Maliah, Guy Shani, and Roni Stern
Efficient Autarkies
Joao Marques-Silva, Alexey Ignatiev, Antonio Morgado, Vasco Manquinho, and Ines Lynce
Some Elements for a Prehistory of Artificial Intelligence in the Last Four Centuries
Pierre Marquis, Odile Papini, and Henri Prade
Random Forests of Very Fast Decision Trees on GPU for Mining Evolving Big Data Streams
Diego Marron, Albert Bifet, and Gianmarco De Francisci Morales
Imprecise Probabilistic Horn Clause Logic
Steffen Michels, Arjen Hommersom, Peter J.F. Lucas, and Marina Velikova
From analogical proportions in lattices to proportional analogies in formal concepts
Laurent Miclet, Nelly Barbot, and Henri Prade
Landmarks in Oversubscription Planning
Vitaly Mirkis, and Carmel Domshlak
A Cluster-Based Approach to Improve Similarity-Based Retrieval for Process-Oriented Case-Based Reasoning
Gilbert Müller, and Ralph Bergmann
A finite-valued solver for disjunctive fuzzy answer set programs
Mushthofa Mushthofa, Steven Schockaert, and Martine De Cock
A Shapley Value-based Approach to Determine Gatekeepers in Social Networks with Applications
Ramasuri Narayanam, Oskar Skibski, Hemank Lamba, and Tomasz Michalak
The Computational Impact of Partial Votes on Strategic Voting
Nina Narodytska, and Toby Walsh
How much trust is enough to trust? A market-adaptive trust threshold setting for e-marketplaces
Zeinab Noorian, Mohsen  Mohkami, and Julita Vassileva
Pattern-based Explanation for Automated Decisions
Ingrid Nunes, Simon Miles, Michael Luck, Simone Barbosa, and Carlos Lucena
CV-width: A New Complexity Parameter for CNFs
Umut Oztok, and Adnan Darwiche
Integrating BDI Agents into a MATSim Simulation
Lin Padgham, Kai Nagel, Dhirendra Singh, and Qingyu Chen
Schedule Generation Schemes for Job Shop Problems with Fuzziness
Juan José Palacios, Camino R. Vela, Ines González-Rodríguez, and Jorge Puente
The Persistence of Most Probable Explanations in Bayesian Networks
Arnoud Pastink, and Linda C. van der Gaag
Dito: a CSP-based diagnostic engine
Yannick Pencolé
Quality-based Rewards for Monte-Carlo Tree Search Simulations
Tom Pepels, Mandy J.W. Tak, Marc Lanctot, and Mark H.M. Winands
Syntactic Possibilistic Goal Generation
Célia da Costa Pereira, and Andrea G. B. Tettamanzi
Multi-objective learning of hybrid classifiers
Rok Piltaver, Mitja Luštrek, Jernej  Zupančič, Sašo  Džeroski, and Matjaž Gams
A resource-sensitive logic of agency
Daniele Porello, and Nicolas Troquard
Consolidation of Probabilistic Knowledge Bases by Inconsistency Minimization
Nico Potyka, and Matthias Thimm
On support relations in abstract argumentation as abstractions of inferential relations
Henry Prakken
Symmetry Breaking for Exact Solutions in Adjustable Robust Optimisation
Steve D. Prestwich, Marco Laumanns, and Ban Kawas
An Agent-Based Model of Procrastination
Ruurdje Procee, Bart A. Kamphorst, Arlette van Wissen, and John-Jules Ch. Meyer
An argumentation system for reasoning with LPm
Wenzhao Qiao, and Nico Roos
Provisional Propagation for Verifying Monotonicity of Bayesian Networks
Merel T. Rietbergen, Linda C. van der Gaag, and Hans L. Bodlaender
Optimal Planning in the Presence of Conditional Effects: Extending LM-Cut with Context-Splitting
Gabriele Röger, Florian Pommerening, and Malte Helmert
The semantics of behavior
Nico Roos
Statistical Constraints
Roberto Rossi, Steven Prestwich, and S. Armagan Tarim
Proactive and Reactive Reconfiguration for the Robust Execution of Multi Modality Plans
Enrico Scala, and Pietro Torasso
Normalized Relevance Distance - A Stable Metric for Computing Semantic Relatedness over Reference Corpora
Christoph Schaefer, Daniel Hienert, and Thomas Gottron
Declarative Spatial Reasoning with Boolean Combinations of Axis-Aligned Rectangular Polytopes
Carl Schultz, and Mehul Bhatt
A Semantic Account of Iterated Belief Revision in the Situation Calculus
Christoph Schwering, and Gerhard Lakemeyer
Heterogeneous Facility Location without Money on the Line
Paolo Serafino, and Carmine Ventre
Sequential diagnosis of high cardinality faults in knowledge-bases by direct diagnosis generation
Kostyantyn Shchekotykhin, Gerhard Friedrich, Patrick Rodler, and Philipp Fleiss
Unleashing Dec-MDPs in Security Games: Enabling Effective Defender Teamwork
Eric Shieh, Albert Xin Jiang, Amulya Yadav, Pradeep Varakantham, and Milind Tambe
On Combinatorial Actions and CMABs with Linear Side Information
Alexander Shleyfman, Antonín Komenda, and Carmel Domshlak
Optimisation for the Ride-Sharing Problem: a Complexity-based Approach
Gilles Simonin, and Barry O'Sullivan
OpenSim: A framework for integrating agent-based models and simulation components
Dhirendra Singh, and Lin Padgham
Set-theoretic duality: A fundamental feature of combinatorial optimisation
John Slaney
Graph abstraction for closed pattern mining in attributed networks
Henry Soldano, and Guillaume Santini
Hybrid Query Answering Over OWL Ontologies
Giorgos Stoilos, and Giorgos Stamou
Verifying the Precision of Diagnostic Algorithms
Xingyu Su, and Alban Grastien
A Centrality Measure for Networks With Community Structure Based on a Generalization of the Owen Value
Piotr L. Szczepański, Tomasz P. Michalak, and Michael Wooldridge
Knowledge-based Specification of Robot Motions
Moritz Tenorth, Georg Bartels, and Michael Beetz
Quantifying the Completeness of Goals in BDI Agent Systems
John Thangarajah, James Harland, David N. Morley, and Neil Yorke-Smith
Modelling the Dynamics of Emotional Awareness
Dilhan J. Thilakarathne, and Jan Treur
Coherence and Compatibility of Markov Logic Networks
Matthias Thimm
Mixing Materialization and Query Rewriting for Existential Rules
Michaël Thomazo, and Sebastian Rudolph
Computing Skypattern Cubes
Willy Ugarte, Patrice Boizumault, Samir Loudni, and Bruno Crémilleux
The PeerRank Method for Peer Assessment
Toby Walsh
Qualitative Simulation with Answer Set Programming
Timothy Wiley, Claude Sammut, and Ivan Bratko
Preference Inference Based on Lexicographic Models
Nic Wilson
Learning Domain-specific Sentiment Lexicon with Supervised Sentiment-aware LDA
Min Yang, Dingju Zhu, Rashed Mustafa, and Kam-Pui Chow
Novel architecture of a digital neuron for FFNN employing special multiplication
Roman Záluský, Daniela Ďuračková, Viera Stopjaková, Lukáš Nagy, and Vladimír Sedlák
Verifying CTL* Properties of Golog Programs over Local-Effect Actions
Benjamin Zarrieß, and Jens Claßen
False-name-proof Combinatorial Auction Design via Single-minded Decomposition
Dengji Zhao, Siqi Luo, Taiki Todo, and Makoto Yokoo

Short Papers

Checking The Correctness of Agent Designs Against Model-Based Requirements
Yoosef Abushark, Michael  Winikoff, Tim Miller, James Harland, and John Thangarajah
How good is the Shapley Value-based approach to the influence maximization problem?
Kamil Adamczewski, Szymon Matejczyk, and Tomasz P. Michalak
DL-Lite and Interval Temporal Logics: a Marriage Proposal
Alessandro Artale, Davide Bresolin, Angelo Montanari, Guido Sciavicco, and Vladislav Ryzhikov
Social Computing in JaCaMo
Matteo Baldoni, Cristina Baroglio, and Federico Capuzzimati
Suboptimal Variants of the Conflict-Based Search Algorithm for the Multi-Agent Pathfinding Problem
Max Barer, Guni Sharon, Roni Stern, and Ariel Felner
Analysis of interval-based possibilistic networks
Salem Benferhat, Sylvain Lagrue, and Karim Tabia
Post-processing a classifier's predictions: Strategies and empirical evaluation
Salem Benferhat, Karim Tabia, Mouaad Kezih, and Mahmoud Taibi
Assertional-based Prioritized Removed Sets Revision of DL-LiteR Knowledge Bases
Salem Benferhat, Zied Bouraoui, Odile Papini, and Eric Würbel
A First Comparison of Abstract Argumentation Reasoning-Tools
Stefano Bistarelli, Fabio Rossi, and Francesco Santini
Sensitivity of Multi-dimensional Bayesian Classifiers
Janneke H. Bolt, and Silja Renooij
A Privacy-preserving Model for the Multi-agent Propositional Planning Problem
Andrea Bonisoli, Alfonso Emilio Gerevini, Alessandro Saetti, and Ivan Serina
Mining Balanced Sequential Patterns in RTS Games
Guillaume Bosc, Mehdi Kaytoue, Chedy Raïssi, Jean-François Boulicaut, and Philip Tan
From Formal Requirements on Technical Systems to Complete Designs - A Holistic Approach
Björn Böttcher, Natalia Moriz, and Oliver Niggemann
Combining Reasoning on Semantic Web Metadata
Loris Bozzato, and Luciano Serafini
Using Ensemble Techniques and Multi-Objectivization to Solve Reinforcement Learning Problems
Tim Brys, Matthew E. Taylor, and Ann Nowe
Spatial evolutionary game-theoretic perspective on agent-based complex negotiations
Siqi Chen, Jianye Hao, Gerhard Weiss, Karl Tuyls, and Ho-fung Leung
Predicting Agents' Behavior by Measuring their Social Preferences
Kan-Leung  Cheng, Inon Zuckerman, Dana S. Nau, and Jennifer Golbeck
A deductive approach to the identification and description of clusters in Linked Open Data
Simona Colucci, Silvia Giannini, Francesco M. Donini, and Sciascio Di Eugenio
Adaptive Active Learning as a Multi-armed Bandit Problem
Wojciech Marian Czarnecki, and Igor T. Podolak
Inconsistency resolution and global conflicts
Cristhian Deagustini, Maria Vanina Martinez, Marcelo A.  Falappa, and Guillermo R Simari
Quality in Quantity -- Relative Direction Constraints using Sector Sets around Oriented Points
André van Delden
Actions with Durations and Failures in BDI Languages
Louise A. Dennis, and Michael Fisher
A Logic of Part and Whole for Buffered Geometries
Heshan Du, and Natasha Alechina
Learning non-cooperative behaviour for dialogue agents
Ioannis Efstathiou, and Oliver Lemon
Propositional Merging and Judgment Aggregation: Two Compatible Approaches?
Patricia Everaere, Sébastien Konieczny, and Pierre Marquis
Analyzing the tradeoff between efficiency and cost of norm enforcement in stochastic environments
Moser Silva Fagundes, Sascha Ossowski, and Felipe Meneguzzi
On Computing Explanations in Abstract Argumentation
Xiuyi Fan, and Francesca Toni
Planning with Ensembles of Classifiers
Alberto Garbajosa, Tomas de la Rosa, and Raquel Fuentetaja
Social network data analysis for event detection
Dario Garcia-Gasulla, Sergio Alvarez-Napagao, Arturo Tejeda-Gómez, Luis Oliva-Felipe, Ignasi Gómez-Sebastià, Javier Bejar, and Javier Vázquez-Salceda
Conditioned Belief Propagation Revisited
Thomas Geier, Felix Richter, and Susanne Biundo
Utility-Based HTN Planning
Ilche Georgievski, and Alexander Lazovik
Using multiple contexts to distinguish standing from sitting with a single accelerometer
Hristijan Gjoreski, Simon Kozina, Mitja  Luštrek, and Matjaž Gams
Enforcing Solutions in Constraint Networks
Éric Grégoire, Jean-Marie Lagniez, and Bertrand Mazure
Negotiation to Execute Continuous Long-Term Tasks
Valeriia Haberland, Simon Miles, and Michael Luck
Off-Policy Shaping Ensembles in Reinforcement Learning
Anna Harutyunyan, Tim Brys, Peter Vrancx, and Ann Nowé
ADS2: Anytime Distributed Supervision of Distributed Systems that Face Unreliable or Costly Communication
Cédric Herpson, Amal El Fallah Seghrouchni, and Vincent Corruble
An Algorithm for the Penalized Multiple Choice Knapsack Problem
Elizabeth Hilliard, Amy Greenwald, and Victor Naroditskiy
Generation of Relevant Spreadsheet Repair Candidates
Birgit Hofer, Rui Abreu, Alexandre Perez, and Franz Wotawa
Comparing Models for Spreadsheet Fault Localization
Birgit Hofer, and Franz Wotawa
Video Event Recognition by Dempster-Shafer Theory
Xin Hong, Yan Huang, Wenjun Ma, Paul Miller, Weiru Liu, and Huiyu Zhou
Probabilistic Argumentation with Incomplete Information
Anthony Hunter, and Matthias Thimm
Multiobjective Prices of Stability and Anarchy for Multiobjective Games
Anisse Ismaili
Prime Implicates Based Inconsistency Characterization
Said Jabbour, Yue Ma, Badran Raddaoui, and Lakhdar Sais
From Default and Autoepistemic Logics to Disjunctive Answer Set Programs via the Logic of GK
Jianmin Ji, and Hannes Strass
Fuzzy Logic for Preferences expressible by convolutions
Krystian Jobczyk, Maroua Bouzid, Antoni Ligęza, and Jerzy Karczmarczuk
Estimating Trust from Agents' Interactions via Commitments
Anup K. Kalia, Zhe Zhang, and Munindar P. Singh
On the Usage of Behavior Models to Detect ATM Fraud
Timo Klerx, Maik Anderka, and Hans Kleine Büning
On the Use of Target Sets for Move Selection in Multi-Agent Debates
Dionysios Kontarinis, Elise Bonzon, Nicolas Maudet, and Pavlos Moraitis
Probabilistic Active Learning: A Short Proposition
Georg Krempl, Daniel Kottke, and Myra Spiliopoulou
An Optimal Iterative Algorithm for Extracting MUCs in a Black-box Constraint Network
Philippe Laborie
Heuristics to Increase Observability in Spectrum-based Fault Localization
Claudio Landi, Arjan van Gemund, and Marina Zanella
A weakening of independence in judgment aggregation: agenda separability
Jérôme Lang, Marija Slavkovik, and Srdjan Vesic
A Decomposition Approach for Discovering Discriminative Motifs in a Sequence Database
David Lesaint, Deepak Mehta, Barry O'Sullivan, and Vincent Vigneron
Width-based Algorithms for Classical Planning: New Results
Nir Lipovetzky, and Hector Geffner
An Intelligent Threat Prevention Framework with Heterogeneous Information
Wenjun Ma, and Weiru Liu
Coordinated Team Learning and Difference Rewards for Distributed Intrusion Response
Kleanthis Malialis, Sam Devlin, and Daniel Kudenko
Timeout-Sensitive Portfolio Approach to Enumerating Minimal Correction Subsets for Satisfiability Problems
Yuri Malitsky, Barry O'Sullivan, Alessandro Previti, and Joao Marques-Silva
How Hard Is It to Control an Election by Breaking Ties?
Nicholas Mattei, Nina Narodytska, and Toby Walsh
Modeling Gaze Mechanisms for Grounding in HRI
Gregor Mehlmann, Kathrin Janowski, Tobias Baur, Markus Häring, Elisabeth André, and Patrick Gebhard
Faustian Dynamics in Sarkar's Social Cycle
Svetlana Obraztsova, Zinovi Rabinovich, and Alexandra Madunts
Trustworthy Advice
Nardine Osman, Patricia Gutierrez, and Carles Sierra
Momentum Online LDA for Large-scale Datasets
Jihong Ouyang, You Lu, and Ximing Li
Imitative Leadsheet Generation with User Constraints
François Pachet, and Pierre Roy
(Co)evolution Leads towards ROMAs
Jan Paredis
A New Study of Two Divergence Metrics for Change Detection in Data Streams
Abdulhakim Qahtan, Suojin Wang, Raymond Carroll, and Xiangliang  Zhang
Finding good stochastic factored policies for factored Markov decision processes
Julia Radoszycki, Nathalie Peyrard, and Régis Sabbadin
An Approximate Counting for Big Textual Data Streams
Rudy Raymond, Teruo Koyanagi, and Takayuki Osogami
Multi Agent Learning of Relational Action Models
Christophe Rodrigues, Henry Soldano, Gauvain Bourgne, and Céline Rouveirol
Transductive Learning for Multi-Task Copula Processes
Markus Schneider, and Fabio Ramos
Exploiting the Semantic Web for Systems Diagnosis
Anika Schumann, Freddy Lécué, and Joern Ploennigs
STIT is dangerously undecidable
François Schwarzentruber, and Caroline Semmling
Comparing Data Distribution Using Fading Histograms
Raquel Sebastião, João Gama and Teresa Mendonça
Bounded Intention Planning Revisited
Silvan Sievers, Martin Wehrle, and Malte Helmert
Introducing Hierarchical Adversarial Search, a Scalable Search Procedure for Real-Time Strategy Game
Marius Stanescu, Nicolas A. Barriga, and Michael Buro
Detection and Quantification of Hand Eczema by Visible Spectrum Skin Pattern Analysis
Christoph Suter, Alexander Navarini, Marc Pouly, Ruedi Arnold, Florian S. Gutzwiller, René Meier, and Thomas Koller
Surrogate-Agent Modeling for Improved Training
Ales Tavcar, Bostjan Kaluza, Marcel Kvassay, Bernhard Schneider, and Matjaz Gams
Simultaneous Tracking and Activity Recognition (STAR) using Advanced Agent-Based Behavioral Simulations
Arsène Fansi Tchango, Vincent Thomas, Olivier Buffet, Fabien Flacher, and Alain Dutech
Rational Deployment of Multiple Heuristics in IDA*
David Tolpin, Oded Betzalel, Ariel Felner, Solomon Eyal Shimony
Probabilistic Two-Level Anomaly Detection for Correlated Systems
Bin Tong, Tetsuro Morimura, Einoshin Suzuki and Tsuyoshi Idé
Generating Multiagent Plans by Distributed Intersection of Finite State Machines
Jan  Tožička, Jan Jakubův, and Antonín Komenda
AGDISTIS - Agnostic Disambiguation of Named Entities Using Linked Open Data
Ricardo Usbeck, Axel-Cyrille Ngonga Ngomo, Michael Röder, Daniel Gerber, Sandro Athaide Coelho, Sören Auer, and Andreas Both
Community Detection based on a Naming Game
Thaís Gobet Uzun, and Carlos Henrique Costa Ribeiro
Argumentation Frameworks Features: an Initial Study
Mauro Vallati, Federico Cerutti, and Massimiliano Giacomin
Unsupervised semantic clustering of Twitter hashtags
Carlos Vicient, and Antonio Moreno
Fast Instantiation of GGP Game Descriptions Using Prolog with Tabling
Jean-Noël Vittaut, and Jean Méhat
Emotional Trends in Social Media - A State Space Approach
Sören Volgmann, Francisco Rangel, Oliver Niggemann, and Paolo Rosso
Local Image Descriptor Inspired by Visual Cortex
Hui Wei, and Zheng Dong
A Concise Horn Theory for RCC8
Matthias Westphal, and Julien Hué
Noised Diffusion Dynamics with Individual Biased Opinion
Fuhan Yan, Zhaofeng Li, and Yichuan Jiang
Election Attacks with Few Candidates
Yongjie Yang
SP-MCTS-based Intention Scheduling for BDI Agents
Yuan Yao, Brian Logan, and John Thangarajah
Dynamic Taxi Pricing
Cheng Zeng, and Nir Oren
Semantical Information Graph Model toward Fast Information Valuation in Large Teamwork
Yulin Zhang, Yang Xu, Haixiao Hu, and Xianggen Liu
From Disjunctive to Normal Logic Programs via Unfolding and Shifting
Yi Zhou