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