ECAI 2014

21st European Conference on Artificial Intelligence18-22 August 2014, Prague, Czech Republic

Including

Prestigious Applications of Intelligent Systems (PAIS 2014)

Proceedings

Edited by

Torsten Schaub

University ofPotsdam, Germany

Gerhard Friedrich

University ofKlagenfurt, Austria

and

Barry O'Sullivan

University College Cork, Ireland

Organized by the

European Coordinating Committee for Artificial Intelligence (ECCAI)

Hosted by the

Czech Technical University, Prague, Czech Republic

/OSPress

Amsterdam • Berlin • Tokyo • Washington, DC

xi

Contents

Introduction v

Torsten Schaub

Conference Organization vi

ECAI Long Papers

Breaking Conditional Symmetry in Automated Constraint Modelling with CONJURE 3

Ozgur Akgun, Ian P. Gent, Christopher Jefferson, Ian Miguel and Peter Nightingale

Decidable Model-Checking for a Resource Logic with Production of Resources 9

Natasha Alechina, Brian Logan, Hoang Nga Nguyen and Franco Raimondi

Data Interlinking Through Robust Linkkey Extraction 15

Manuel Atencia, Jerome David and Jerome Euzenat

Knowledge and Gossip 21

Maduka Attamah, Hans van Ditmarsch, Davide Grossi and Wiebe van der Hoek

The Significance of Bidding, Accepting and Opponent Modeling in Automated Negotiation 27

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 33

Christer Bdckstrdm

Extending Acyclicity Notions for Existential Rules 39

Jean-Francois Baget, Fabien Garreau, Marie-Laure Mugnier and Swan Rocher

Communicating with Unknown Teammates 45

Samuel Barrett, Noa Agmon, Noam Hazon, Sarit Kraus and Peter Stone

Symmetry-Driven Decision Diagrams for Knowledge Compilation 51

Anicet Bart, Frederic Koriche, Jean-Marie Lagniez and Pierre Marquis

Effective and Robust Natural Language Understanding for Human-Robot Interaction 57

Emanuele Bastianelli, Giuseppe Castellucci, Danilo Croce, Roberto Basili and Daniele Nardi

Context-Free and Context-Sensitive Kernels: Update and Deletion Equivalence in Abstract Argumentation 63

Ringo Baumann

Compact Argumentation Frameworks 69

Ringo Baumann, Wolfgang Dvorak, Thomas Linsbichler, Hannes Strass and Stefan Woltran

Scoring Rules for the Allocation of Indivisible Goods 75

Dorothea Baumeister, Sylvain Bouveret, Jerome Lang, Nhan-Tam Nguyen, Trung Thanh Nguyenand Jorg Rothe

Model Checking Auctions as Artifact Systems: Decidability via Finite Abstraction 81

Francesco Belardinelli

Incremental Elicitation of Choquet Capacities for Multicriteria Decision Making 87

Nawal Benabbou, Patrice Perny and Paolo Viappiani

Automating Godel's Ontological Proof of God's Existence with Higher-Order Automated Theorem Provers 93

Christoph Benzmiiller and Bruno Woltzenlogel Paleo

xii

Boosting Constraint Acquisition via Generalization Queries 99

Christian Bessiere, Remi Coletta, Abderrazak Daoudi, Nadjib Lazaar, Younes Mechqraneand El Hoitssine Bouyakhf

Influencing Social Networks: An Optimal Control Study 105

Daan Bloembergen, Bijan Ranjbar-Sahraei, Haitham Bon Ammar, Karl Tuyls and Gerhard Weiss

Inference in the FO(C) Modelling Language 111

Bart Bogaerts, Joost Vennekens, Marc Denecker and Jan Van den Bussche

Abduction and Dialogical Proof in Argumentation and Logic Programming 117

Richard Booth, Dov Gabbay, Souhila Kaci, Tjitze Rienstra and Leendert van der Torre

Credibility-Limited Improvement Operators 123

Richard Booth, Edaardo Ferme, Sebastien Konieczny and Ramon Pino Perez

'Being a Manifold' as the Topological Primitive of Mereotopology 129

Stefano Borgo

Analogical Classification: A New Way to Deal with Examples 135

Myriam Bounhas, Henri Prade and Gilles Richard

Manipulating Picking Sequences 141

Sylvain Bouveret and Jerome Lang

On The Properties of Belief Tracking for Online Contingent Planning Using Regression 147

Ronen Brafman and Guy Shani

GRAPPA: A Semantical Framework for Graph-Based Argument Processing 153

Gerhard Brewka and Stefan Woltran

Multi-Context Systems for Reactive Reasoning in Dynamic Environments 159

Gerhard Brewka, Stefan Ellmauthaler and Jorg Piihrer

Abstract Disjunctive Answer Set Solvers 165

Remi Brochenin, Yitliya Lierler and Marco Maratea

Planning and Execution of Robot Tasks Based on a Platform-Independent Model of Robot Capabilities 171

Jennifer Buehler and Maurice Pagnucco

ATL with Truly Perfect Recall: Expressivity and Validities 177

Nils Bulling, Wojciech Jamroga and Matei Popovici

Eliciting a Suitable Voting Rule via Examples 183

Olivier Cailloux and Vile Endriss

A GPU Implementation of Large Neighborhood Search for Solving Constraint Optimization Problems 189

F. Campeotto, A. Dovier, F. Fioretto and E. Pontelli

A Systematic Solution to the (De-)Composition Problem in General Game Playing 195

Timothy Cerexhe, David Rajaratnam, Abdallah Saffidine and Michael Thielscher

Practical Performance of Refinements of Nash Equilibria in Extensive-Form Zero-Sum Games 201

Jin Cermdk, Branislav Bosansky and Viliam Lisy

Formal Arguments, Preferences, and Natural Language Interfaces to Humans: An Empirical Evaluation 20'

Federico Cerutti, Nava Tintarev and Nir Oren

Lattice-Based Biclustering Using Partition Pattern Structures 21:

Victor Codocedo and Amedeo Napoli

Reducing Global Consistency to Local Consistency in Ontology-Based Data Access 219

Marco Console and Manrizio Lenzerini

On the Efficient Implementation of Social Abstract Argumentation 225

Marco Correia, Jorge Cruz and Joao Leite

Belief Merging Within Fragments of Propositional Logic 231

Nadia Creignou, Odile Papini, Stefan Riimmele and Stefan Woltran

A Single-Agent Approach to Multiagent Planning 237

Matthew Crosby, Anders Jonsson and Michael Rovatsos

Characterising Semantic Relatedness Using Interpretable Directions in Conceptual Spaces 243

Joaquin Derrac and Steven Schockaert

Concept Dissimilarity Based on Tree Edit Distances and Morphological Dilations 249

Felix Distel, Jamal Atifand Isabelle Bloch

Nonparametric Bayesian Multi-Task Large-Margin Classification 255

Changying Du, Jia He, Fuzhen Zhuang, Yuan Qi and Qing He

Reasoning About Uncertainty and Explicit Ignorance in Generalized Possibilistic Logic 261

Didier Dubois, Henri Prade and Steven Schockaert

An Axiomatic Analysis of Structured Argumentation for Prioritized Default Reasoning 267

Phan Minh Dung

A Profit-Aware Negotiation Mechanism for On-Demand Transport Services 273

Malcolm Egan and Michal Jakob

Mining Heterogeneous Multidimensional Sequential Patterns 279

Elias Egho, Chedy Rai'ssi, Nicolas Jay and Amedeo Napoli

Towards Practical Deletion Repair of Inconsistent DL-Programs 285

Thomas Eiter, Michael Fink and Daria Stepanova

Collective Rationality in Graph Aggregation 291

Ulle Endriss and Umberto Grandi

Self-Decomposable Global Constraints 297

Jean-Guillaume Fages, Xavier Lorca and Thierry Petit

Solving Maximum Weight Clique Using Maximum Satisfiability Reasoning 303

Zhiwen Fang, Chu-Min Li, Kan Qiao, Xu Feng and Ke Xu

Multilateral Bargaining for Resource Division 309

Shaheen Fatima and Michael Wooldridge

Bargaining for Coalition Structure Formation 315

Shaheen Fatima, Tomasz Michalak and Michael Wooldridge

Monte-Carlo Tree Search: To MC or to DP? 321

Zohar Feldman and Carmel Domshlak

Improving Pattern Discovery Relevancy by Deriving Constraints from Expert Models 327

Frederic Flouvat, Jeremy Sanhes, Claude Pasquier, Nazha Selmaoui-Folcher

andJean-Francois Boulicaut

Argumentation Accelerated Reinforcement Learning for Cooperative Multi-Agent Systems 333

Yang Gao and Francesco Toni

Detecting the Reputation Polarity of Microblog Posts 339

Cristina Gdrbacea, Manos Tsagkias and Maarten de Rijke

XIV

Lower and Upper Approximations for Depleting Modules of Description Logic Ontologies 345

William Gatens, Boris Konev and Frank Wolter

Answer Set Programming as SAT Modulo Acyclicity 351

Martin Gebser, Tomi Janhanen and Jussi Rintanen

Past, Present, and Future: An Optimal Online Algorithm for Single-Player GDL-II Games 357

/•'lorian Geifier, Thomas Keller and Robert Mattmiiller

Nested Dichotomies with Probability Sets for Multi-Class Classification 363

Gen Yang, Sebastien Destercke and Marie-Helene Masson

LTL Verification of Online Executions with Sensing in Bounded Situation Calculus 369

Giuseppe De Giaeomo, Yves Lesperance, Fabio Patrizi and Stavros Vassos

Evolving Multi-Context Systems 375

Ricardo Goncalves, Matthias Knorr andJoao Leite

Embedding Heterogeneous Data by Preserving Multiple Kernels 381

Mehmet Gonen

Bayesian Multiview Dimensionality Reduction for Learning Predictive Subspaces 387

Mehmet Gonen, Giilefsan Bozkurt Gonen and Fikret Giirgen

Near Fairness in Matroids 393

Laurent Gourves, Jerome Monnot and Lydia Tlilane

Strategic Argumentation Is NP-Complete 399

G. Govematori, F. Olivieri, S. Scannapieco, A. Rotolo and M. Cristani

Diagnosis of Hybrid Systems with SMT: Opportunities and Challenges 405

Athan Grastien

Controlling Two-Stage Voting Rules 411

Jiang Guo and Yash Raj Shrestha

Human-Computer Negotiation in Three-Player Market Settings 417Galit Haini, Ya 'akov (Kobi) Gal, Sarit Kraus and Bo An

Measuring Diversity of Preferences in a Group 423

Vahid Hashemi and Vile Endriss

Spatio-Temporal Stream Reasoning with Incomplete Spatial Information 429

Fredrik Heintz and Daniel de Leng

On the Revision of Planning Tasks 435

Andreas Herzig, Viviane Menezes, Leliane Nunes de Burros and Renata Wassermann

"Distance"? Who Cares? Tailoring Merge-and-Shrink Heuristics to Detect Unsolvability 441

Jorg Hoffmann, Peter Kissmann and Alvaro Torralba

Language Classification of Hierarchical Planning Problems 447Daniel Holler, Gregor Behnke, Pascal Bercher and Susanne Biundo

Progression in Maximum Satisfiability 453A. Ignatiev, A. Morgado, V. Mancjiiinho, I. Lynce and J. Marques-Silva

A Practical, Integer-Linear Programming Model for the Delete-Relaxation in Cost-Optimal Planning 459Tatsuya Imai and Alex Fnktinaga

Combining Restarts, Nogoods and Decompositions for Solving CSPs 455Philippe Jegou and Cyril Terriou.x

Conflict Resolution in Partially Ordered OWL DL OntologiesQiu Ji, Zhiqiang Gao and Zhisheng Huang

GOSU: Computing GOal SUpport with Commitments in Multiagent Systems

Ozgiir Kafah, Akin Gilnay and Pinar Yolum

Learning Pruning Rules for Heuristic Search PlanningMichal Krajhansky, Jorg Hoffmann, Olivier Buffet andAlan Fern

Knowledge-Based Bias Correction - A Case Study in Veterinary Decision SupportThomas E. Krak and Linda C. van der Gaag

Qualitative Spatial and Temporal Reasoning with AND/OR Linear ProgrammingArne Kreutzmann and Diedrich Walter

How Hard Is It to Compute Majority-Preserving Judgment Aggregation Rules?

Jerome Lang and Marija Slavkovik

The Complexity of Reasoning with Relative Directions

Jae Hee Lee

LTLf Satisfiability CheckingJianwen Li, Lijun Zhang, Geguang Pa, 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

Dianlwan Lin, Eyal Dechter, Kevin Ellis, Joshua Tenenbaum and Stephen Muggleton

Uncorrected Multilinear Nearest Feature Line AnalysisYe 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 SpecificationsAlessio R. Lomuscio and Jakub Michaliszyn

Trust-Based Belief ChangeEmiliano Lorini, Guifei Jiang and Laurent Perrussel

The Logical Difference forSX'H'-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

Luis F.K. Macedo, Gracaliz P. Dimuro, Marilton S. Aguiar and Helder Coelho

How Hard Is Control in Single-Crossing Elections?

KrzysztofMagiera and Piotr Faliszewski

Comparing Defeasible LogicsMichael J. Maher

Information-Based Incentivisation when Rewards Are InadequateSamhar Mahmoud, Lina Barakat, Simon Miles, Adel Taweel, Brendan Delanev and Michael Luck

XV1

Privacy Preserving Landmark Detection 597

Shlomi Maliah, Guy Shan't and Roni Stern

Efficient Autarkies 603

J. Marques-Silvu, A. Ignatiev, A. Morgado, V. Manquinho and I. Lynce

Some Elements for a Prehistory of Artificial Intelligence in the Last Four Centuries 609

Pierre Marquis, Odile Papini and Henri Prade

Random Forests of Very Fast Decision Trees on GPU for Mining Evolving Big Data Streams 615

Diego Matron, Albert Bifet and Gianmarco De Francisci Morales

Imprecise Probabilistic Horn Clause Logic 621

Steffen Michels, Arjen Hommersom, Peter J. F. Lucas and Marina Velikova

From Analogical Proportions in Lattices to Proportional Analogies in Formal Concepts 627

Laurent Miclet, Nelly Burbot and Henri Prade

Landmarks in Oversubscription Planning 633

Vitaly Mirkis and Carmel Domshlak

A Cluster-Based Approach to Improve Similarity-Based Retrieval for Process-Oriented Case-Based

Reasoning 639

Gilbert Midler and Ralph Bergmann

A Finite-Valued Solver for Disjunctive Fuzzy Answer Set Programs 645

Mushthofa Mushthofa, Steven Schockaert and Martine De Cock

A Shapley Value-Based Approach to Determine Gatekeepers in Social Networks with Applications 651

Ramasuri Narayanam, Oskar Skibski, Hemank Lamba and Tomasz Michalak

The Computational Impact of Partial Votes on Strategic Voting 657

Nina Narodytska and Toby Walsh

How Much Trust Is Enough to Trust? A Market-Adaptive Trust Threshold Setting for e-Marketplaces 663

Zeinab Noorian, Mohsen Mohkami andJulita Vassileva

Pattern-Based Explanation for Automated Decisions 669

Ingrid Nunes, Simon Miles, Michael Luck, Simone Barbosa and Carlos Lucena

CV-Width: A New Complexity Parameter for CNFs 675

Umut Oztok and Adrian Darwiche

Integrating BDI Agents into a MATSim Simulation 681

Lin Padgham, Kai Nagel, Dhirendra Singh and Qingyu Chen

Schedule Generation Schemes for Job Shop Problems with Fuzziness 687

Juan Jose Palacios, Camino R. Vela, Ines Gonzalez-Rodriguez and Jorge Puente

The Persistence of Most Probable Explanations in Bayesian Networks 593Amoud Pastink and Linda C. van der Gaag

1)1TO: A CSP-Based Diagnostic Engine 699Yannick Pencole

Quality-Based Rewards for Monte-Carlo Tree Search Simulations 705Tom Pepels. Mandy JAV. Tak, Marc Lanctot and Mark H.M. Winands

Syntactic Possibilistic Goal Generation711

Celia da Costa Pereira and Andrea G.B. Tettamanzi

Multi-Objective Learning of Hybrid Classifiers

Rok Piltaver, Mitja Lustrek. Jernej Zupancic. Saso Dzeroski and Matjaz Gams

A Resource-Sensitive Logic of Agency 723

Daniele Porello and Nicolas Troquard

Consolidation of Probabilistic Knowledge Bases by Inconsistency Minimization 729

Nico Potyka and Matthias Thimm

On Support Relations in Abstract Argumentation as Abstractions of Inferential Relations 735

Henry Prakken

Symmetry Breaking for Exact Solutions in Adjustable Robust Optimisation 741

S.D. Prestwich, M. Laumanns and B. Kawas

An Agent-Based Model of Procrastination 747

Ruurdje Procee, Bart A. Kamphorst, Arlette van Wissen and John-Jules Ch. Meyer

An Argumentation System for Reasoning with LPm 753

Wenzhao Qiao and Nico Roos

Provisional Propagation for Verifying Monotonicity of Bayesian Networks 759

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 765

Gabriele Roger, Florian Pommerening and Malte Helmert

The Semantics of Behavior 771

Nico Roos

Statistical Constraints 777

Roberto Rossi, Steven Prestwich and S. Armagan Tarim

Proactive and Reactive Reconfiguration for the Robust Execution of Multi Modality Plans 783

Enrico Scala and Pietro Torasso

Normalized Relevance Distance - A Stable Metric for Computing Semantic Relatedness over Reference

Corpora 789

Christoph Schaefer, Daniel Hienert and Thomas Gottron

Declarative Spatial Reasoning with Boolean Combinations of Axis-Aligned Rectangular Polytopes 795

Carl Schultz and Mehul Bhatt

A Semantic Account of Iterated Belief Revision in the Situation Calculus 801

Christoph Schwering and Gerhard Lakemeyer

Heterogeneous Facility Location Without Money on the Line 807

Paolo Seraflno and Carmine Ventre

Sequential Diagnosis of High Cardinality Faults in Knowledge-Bases by Direct Diagnosis Generation 813

Kostyantyn Shchekotykhin, Gerhard Friedrich, Patrick Rodler and Philipp Fleiss

Unleashing Dec-MDPs in Security Games: Enabling Effective Defender Teamwork 819

Eric Shieh, Albert Xin Jiang, Amulya Yadav, Pradeep Varakantham and Milind Tambe

On Combinatorial Actions and CMABs with Linear Side Information 825

Alexander Shleyfman, Antonin Komenda and Carmel Domshlak

Optimisation for the Ride-Sharing Problem: A Complexity-Based Approach 831

Gilles Simonin and Barry O 'Sullivan

OpenSim: A Framework for Integrating Agent-Based Models and Simulation Components 837

Dhirendra Singh and Lin Padgham

Set-Theoretic Duality: A Fundamental Feature of Combinatorial Optimisation 843

John Slaney

xviii

Graph Abstraction for Closed Pattern Mining in Attributed Networks 849

Henry Soldano and Guillaume Santini

Hybrid Query Answering Over OWL Ontologies 855

Giorgos Stoilos and Giorgos Stamou

Verifying the Precision of Diagnostic Algorithms 861

Xingyu Su and Alban Grastien

A Centrality Measure for Networks with Community Structure Based on a Generalization of the Owen

Value 867

Piotr L. Szczepahski, Tomasz P. Michalak and Michael Wooldridge

Knowledge-Based Specification of Robot Motions 873

Moritz Tenorth, Georg Bartels and Michael Beetz

Quantifying the Completeness of Goals in BDI Agent Systems 879

John Thangarajah, James Haiiand, David N. Morley and Neil Yorke-Smith

Modelling the Dynamics of Emotional Awareness 885

Dilhan J. Thilakarathne and Jan Treur

Coherence and Compatibility of Markov Logic Networks 891

Matthias Thimm

Mixing Materialization and Query Rewriting for Existential Rules 897

Michael Thomazo and Sebastian Rudolph

Computing Skypattern Cubes 903

Willy Ugarte, Patrice Boizumault, Samir Londni and Bruno Cremilleux

The Peei Rank Method for Peer Assessment 909

Toby Walsh

Qualitative Simulation with Answer Set Programming 915

Timothy Wiley, Claude Sammut and Ivan Bratko

Preference Inference Based on Lexicographic Models 921

Nic Wilson

Learning Domain-Specific Sentiment Lexicon with Supervised Sentiment-Aware LDA 927

Min Yang, Dingju Zhu, Rashed Mustafa and Kam-Pui Chow

Novel Architecture Of A Digital Neuron for FFNN Employing Special Multiplication 933

Roman Zdlusky>, Daniela Durackovd, Viera Stopjakovd, Lukas Nagy and Vladimir Sedldk

Verifying CTL* Properties of GOLOG Programs over Local-Effect Actions 939

Benjamin Zarrie/J and Jens Cla/Jen

False-Name-Proof Combinatorial Auction Design via Single-Minded Decomposition 945

Dengji Zhao. Siqi Luo, Taiki Todo and Makoto Yokoo

ECAI Short Papers

Checking the Correctness of Agent Designs Against Model-Based Requirements

YoosefAbushark, Michael Winikoff, Tim Miller, James Harland and John Thangarajah

How Good is the Shapley Value-Based Approach to the Influence Maximization Problem?

Kami! Adamczewski, Szymon Matejczyk and Tomasz P. Michalak

DL-Lite and Interval Temporal Logics: A Marriage ProposalA. Artale. D. Bresolin, A. Montanari, G. Sciavicco and V. Rvzhikov

Social Computing in JaCaMo 959

Matteo Baldoni, Cristina Baroglio and Federico Capuzzimati

Suboptimal Variants of the Conflict-Based Search Algorithm for the Multi-Agent Pathfinding Problem 961

Max Barer, Guni Sharon, Roni Stern and Ariel Felner

Analysis of Interval-Based Possibilistic Networks 963Salem Benferhat, Sylvain Lagrae and Karim Tabia

Post-Processing a Classifier's Predictions: Strategies and Empirical Evaluation 965Salem Benferhat, Karim Tabia, Mouaad Kezih and Mahmoud Taibi

Assertional-Based Prioritized Removed Sets Revision of DL-LiteR Knowledge Bases 967Salem Benferhat, Zied Bouraoui, Odile Papini and Eric Wiirbel

A First Comparison of Abstract Argumentation Reasoning-Tools 969

Stefano Bistarelli, Fabio Rossi and Francesco Santini

Sensitivity of Multi-Dimensional Bayesian Classifiers 971Janneke H. Bolt and Silja Renooij

A Privacy-Preserving Model for the Multi-Agent Propositional Planning Problem 973Andrea Bonisoli, Alfonso E. Gerevini, Alessandro Saetti and Ivan Serina

Mining Balanced Sequential Patterns in RTS Games 975

Guillaume Bosc, Mehdi Kaytone, Chedy Ral'ssi, Jean-Francois Bou/icaut and Philip Tan

From Formal Requirements on Technical Systems to Complete Designs - A Holistic Approach 977

Bjorn Bottcher, Natalia Moriz and Oliver Niggemann

Combining Reasoning on Semantic Web Metadata 979

Loris Bozzato and Luciano Serafini

Using Ensemble Techniques and Multi-Objectivization to Solve Reinforcement Learning Problems 981Tim Brys, Matthew E. Taylor and Ann Nowe

Spatial Evolutionary Game-Theoretic Perspective on Agent-Based Complex Negotiations 983

Siqi Chen, Jianye Hao, Gerhard Weiss, Karl Tuyls and Ho-fung Leung

Predicting Agents' Behavior by Measuring Their Social Preferences 985

Kan-Leung Cheng, Inon Zitckerman, Dana Nau andJennifer Golbeck

A Deductive Approach to the Identification and Description of Clusters in Linked Open Data 987

Simona Colucci, Silvia Giannini, Francesco M. Donini and Eugenia Di Sciascio

Adaptive Active Learning as a Multi-Armed Bandit Problem 989

Wojciech M. Czarnecki and Igor T. Podolak

Inconsistency Resolution and Global Conflicts 991C.A.D. Deagustini, M.V. Martinez, M.A. Falappa and G.R. Simari

Quality in Quantity - Relative Direction Constraints Using Sector Sets Around Oriented Points 993Andre van Delden

Actions with Durations and Failures in BDI Languages 995Louise A. Dennis and Michael Fisher

A Logic of Part and Whole for Buffered Geometries 997Heshan Da and Natasha Alechina

Learning Non-Cooperative Behaviour for Dialogue Agents 999loannis Efstathiou and Oliver Lemon

Propositional Merging and Judgment Aggregation: Two Compatible Approaches?Patricia Everaere, Sebastien 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 Francesco Toni

Planning with Ensembles of Classifiers

Alberto Garbajosa, Tomc'is de la Rosa and Raquel Fuentetaja

Social Network Data Analysis for Event Detection

Dario Garcia-Gasulla, Sergio Alvarez-Napagao, Artaro Tejeda-Gomez, Luis Oliva-Felipe,Ignasi Gomez-Sebastid, Javier Bejar and Javier Vdzquez-Salceda

Conditioned Belief Propagation Revisited

Thomas Geier, Felix Richter and Susanne Bhtndo

Utility-Based HTN PlanningIlche Georgievski and Alexander Lazovik

Using Multiple Contexts to Distinguish Standing from Sitting with a Single Accelerometer

Hristijan Gjoreski, Simon Kozina, Mitja Lustrek and Matjaz Gams

Enforcing Solutions in Constraint Networks

Eric Gregoire, 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 LearningAnna Harutyunyan, Tim Brys, Peter Vrancx and Ann Nowe

ADS2: Anytime Distributed Supervision of Distributed Systems that Face Unreliable or CostlyCommunication

Cedric Herpson, Amal El Fallah Seghrouchni and Vincent Cormble

An Algorithm for the Penalized Multiple Choice Knapsack ProblemElizabeth M. Milliard, Amy Greenwald and Victor Naroditskiy

Generation of Relevant Spreadsheet R.epair Candidates

Birgit Hofer, Rid Abreu, Alexandre Perez and Franz Wotawa

Comparing Models for Spreadsheet Fault Localization

Birgit Hofer and Franz Wotawa

Video Event Recognition by Dempster-Shafer TheoryXin Hong, Van 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 GamesAnisse 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 GKJianmin Ji and Mamies Strass

Fuzzy Logic for Preferences Expressible by Convolutions 1041

Krystian Jobczyk, Maroua Bouzid, Antoni Ligeza andJerzy Karczmarczuk

Estimating Trust from Agents' Interactions via Commitments 1043

Anup K. Kalia, Zhe Zhang and Munindar P. Singh

On the Usage of Behavior Models to Detect ATM Fraud 1045

Timo Klerx, Maik Anderka and Hans Kleine Mining

On the Use of Target Sets for Move Selection in Multi-Agent Debates 1047

Dionysios Kontarinis, Elise Bonzon, Nicolas Maudet and Pavlos Moraitis

Probabilistic Active Learning: A Short Proposition 1049

Georg Krempl, Daniel Kottke and Myra Spiliopoiilou

An Optimal Iterative Algorithm for Extracting MUCs in a Black-Box Constraint Network 1051

Philippe Laborie

Heuristics to Increase Observability in Spectrum-Based Fault Localization 1053

Claudio Landi, Arjan van Gemund and Marina Zanella

A Weakening of Independence in Judgment Aggregation: Agenda Separability 1055

Jerome Lang, Marija Slavkovik and Srdjan Vesic

A Decomposition Approach for Discovering Discriminative Motifs in a Sequence Database 1057

David Lesaint, Deepak Mehta, Barry O 'Sullivan and Vincent Vigneron

Width-Based Algorithms for Classical Planning: New Results 1059

Nir Lipoveizky and Hector Geffner

An Intelligent Threat Prevention Framework with Heterogeneous Information 1061

Wenjun Ma and Weiru Liu

Coordinated Team Learning and Difference Rewards for Distributed Intrusion Response 1063

Kleanthis Malialis, Sam Devlin and Daniel Kudenko

Timeout-Sensitive Portfolio Approach to Enumerating Minimal Correction Subsets for SatisfiabilityProblems 1065

Yuri Malitsky, Barry O'Sullivan, Alessandro Previti and Joao Marques-Silva

How Hard Is It to Control an Election by Breaking Ties? 1067

Nicholas Mattel, Nina Narodytska and Toby Walsh

Modeling Gaze Mechanisms for Grounding in HRI 1069

Gregor Mehlmann, Kathrin Janowski, Tobias Baur, Markus Hdring, Elisabeth Andre

and Patrick Gebhard

Faustian Dynamics in Sarkar's Social Cycle 1071

Svetlana Obraztsova, Zinovi Rabinovich and Alexandra Madunts

Trustworthy Advice 1073

Nardine Osman, Patricia Gutierrez and Carles Sierra

Momentum Online LDA for Large-scale Datasets 1075

Jihong Ouyang, You Lit andXiming Li

Imitative Leadsheet Generation with User Constraints 1077

Francois Pachet and Pierre Roy

(Co)evolution Leads Towards ROMAs 1079

Jan Paredis

xxii

A New Study of Two Divergence Metrics for Change Detection in Data Streams 1081

Abdulhakim Qahtan, Sitojin Wang, Raymond Carroll andXiangliang Zhang

Finding Good Stochastic Factored Policies for Factored Markov Decision Processes 1083

Julia Radoszycki, Nathalie Peyrard and Regis Sabbadin

An Approximate Counting for Big Textual Data Streams 1085

Rudy Raymond, Teruo Koyanagi and Takayuki Osogami

Multi Agent Learning of Relational Action Models 1087

Christophe Rodrigues, Henry Soldano, Gauvain Bourgne and Celine Rouveirol

Transductive Learning for Multi-Task Copula Processes 1089

Markus Schneider and Fabio Ramos

Exploiting the Semantic Web for Systems Diagnosis 1091

Anika Schumann, Freddy Lecue andJoern Ploennigs

ST1T is Dangerously Undecidable 1093

Francois Schwarzentruber and Caroline Semmling

Comparing Data Distribution Using Fading Histograms 1095

Rac/uel Sebastiao, Joao Gama and Teresa Mendonca

Bounded Intention Planning Revisited 1097

Silvan Sievers, Martin Wehrle and Malte Helmert

Introducing Hierarchical Adversarial Search, a Scalable Search Procedure for Real-Time Strategy Game 1099

Marius Stanescu, Nicolas A. Barriga and Michael Buro

Detection and Quantification of Hand Eczema by Visible Spectrum Skin Pattern Analysis 1101

Christoph Suter, Alexander Navarini, Marc Pouly, Ruedi Arnold, Florian S. Gutzwiller, Rene Meier

and Thomas Koller

Surrogate-Agent Modeling for Improved Training 1103

Ales Tavcar, Bostjan Kaluza, Marcel Kvassay, Bernhard Schneider and Matjaz Gams

Simultaneous Tracking and Activity Recognition (STAR) Using Advanced Agent-Based Behavioral

Simulations 1105

Arsene Fansi T., Vincent Thomas, Olivier Buffet, Fabien Flacher and Alain Dittech

Rational Deployment of Multiple Heuristics in IDA* 1107

David Tolpin, Oded Betzalel, Ariel Felner, Solomon Eyal Shimony

Probabilistic Two-Level Anomaly Detection for Correlated Systems ] 109

Bin Tong, Tetsuro Morimura, Einoshin Suzuki and Tsuyoshi Ide

Generating Multi-Agent Plans by Distributed Intersection of Finite State Machines 1111

Jan Tozicka, Jan Jakubiiv and Antonin Komenda

AGDISTIS - Agnostic Disambiguation of Named Entities Using Linked Open Data 1113Ricardo Usbeck, Axel-Cyrille Ngonga Ngomo, Michael Roder, Daniel Gerber, Sandro Athaide Coelho,Soren Atier and Andreas Both

Community Detection Based on a Naming Game j j j 5Thais Gobet Uzun and Carlos Henrique Costa Ribeiro

Argumentation Frameworks Features: An Initial Study j | j 7Maura Vallati, Federico Cerutti and Massimiliano Giacomin

Unsupervised Semantic Clustering of Twitter Hashtags j j ^Carlos Vicient and Antonio Moreno

Fast Instantiation of GGP Game Descriptions Using Prolog with Tabling 1121

Jean-Noel Vittaut andJean Mehat

Emotional Trends in Social Media - A State Space Approach 1123

Soren Volgmann, Francisco Rangel, Oliver Niggemann and Paolo Rosso

Local Image Descriptor Inspired by Visual Cortex 1125

Hid Wei and Zheng Dong

A Concise Horn Theory for RCC8 1127

Matthias Westphal and Julien Hue

Noised Diffusion Dynamics with Individual Biased Opinion 1129

Fuhan Yan, Zhaofeng Li and Yichuan Jiang

Election Attacks with Few Candidates 1131

Yongjie Yang

SP-MCTS-Based Intention Scheduling for BDI Agents 1133

Yuan Yao, Brian Logan and John Thangarajah

Dynamic Taxi Pricing 1135

Cheng Zeng and Nir Oren

Semantical Information Graph Model Toward Fast Information Valuation in Large Teamwork I 137

Yulin Zhang, Yang Xu, Haixiao Hu and Xianggen Liu

From Disjunctive to Normal Logic Programs via Unfolding and Shifting 1 139

Yi Zhou

PAIS Long Papers

N1CTA Evacuation Planner: Actionable Evacuation Plans with Contraflows 1 143

Caroline Even, Victor Pillac and Pascal Van Hentenryck

Bicycle Route Planning with Route Choice Preferences 1 149

Jan Hrncir, Qing Song, Pavol Zilecky, Marcel Nemet and Michal Jakob

No One Is Left "Unwatched": Fairness in Observation of Crowds of Mobile Targets in Active Camera

Surveillance 1 155

Prablm Natarajan, Kian Hsiang Low and Mohan Kankanhalli

iNTELLlREQ: Intelligent Techniques for Software Requirements Engineering 1161

Gerald Ninaus, Alexander Felfernig, Martin Stettinger, Stefan Reiterer, Gerhard Leitner,

Leopold Weninger and Walter Schanil

Efficient Policy Iteration for Periodic Markov Decision Processes 1167

Takayuki Osogami and Rudy Raymond

Geometrical Feature Extraction for Cuneiforms 1 173

Ariella Richardson and Uzy Smilansky

Influence of Internal Values and Social Networks for Achieving Sustainable Organizations 1179

N. Sanchez-Maroho, A. Alonso-Betanzos, O. Fontenla-Romero, C. Brinquis-Nuhez, J.G. Polhill

and T. Craig

Combining Engineering and Qualitative Models to Fault Diagnosis in Air Handling Units I 185

Peter Struss, Raymond Sterling, Jesus Febres, Umbreen Sabir and Marcus M. Keane

Stop-Free Strategies for Traffic Networks: Decentralized On-Line Optimization 1191

Mohamed Tlig, Olivier Buffet and Olivier Simonin

XXIV

An Integrated Reconfigurable System for Maritime Situational Awareness 1197

Marina Velikova, Peter Novak, Bas Huijbrechts, Jan Laarhuis, Jesper Hoeksma and Steffen Michels

PAIS Short Papers

Stochastic Filtering Methods for Predicting Agent Performance in the Smart Grid 1205

CharHaas Akasiadis and Georgios Chalkiadakis

Clustering Weather Situations with Respect to Prediction of Solar Irradiance by Multiple NWP Models 1207

Pavel Krc, Krystof Eben and Emil Pelikdn

Modular Behavior Trees: Language for Fast AI in Open-World Video Games 1209

Tomds Plch, Mate] Marko, Petr Ondrdcek, Martin Cerny, Jakub Gemrot and Cyril Brom

Extending Semantic Sensor Networks for Automatically Tackling Smart Building Problems 1211

Joern Ploennigs, Anika Schumann and Freddy Lecue

ParkinsonC/?ec£ Smart Phone App 1213Aleksander Sadikov, Vida Groznik, Jure Zabkar, Martin Mozina, Dejan Georgiev, Zvezdan Pirtosek

and Ivan Bratko

Condition Monitoring with Incomplete Observations 1215Jonas Vlasselaer, Wannes Meert, Rocco Langone and Luc De Raedt

Real-Time Adaptive Problem Detection in Poultry 1217Steven P.D. Woudenberg, Linda C. van der Gaag, Ad Feelders and Armin R. W. Elbers

System Demonstrations

The Piano Music Companion 1221Andreas Arzt, Sebastian Biick, Sebastian Flossmann, Harald Frostel, Martin Gasser,Cynthia C.S. Liem and Gerhard Widmer

VMAP: A Visual Schema Mapping Tool1223

Florin Chertes and Ingo Feinerer

Personalized Fully Multimodal Journey Planner1225

Michal Jakob, Jan Hrncir, Luis Oliva, Francesco Ronzano, Pavol Zilecky and Jason FinneganOrwellian Eye: Video Recommendation with Microsoft Kinect 12?7

Tomds Kliegr and Jaroslav Kuchar

Advanced Public Transport Network Analyserp^g

Jan Nykl, Michal Jakob and Jan Hrncir

Mobile Tourist Guide: Bridging the Gap Between Recommending, Planning and User-Centered Interaction 1231Richard Schaller and Martin Hacker

Author Index1233