Truncating Shortest Path Search for Efficient Map-Matching / 589
Takashi Imamichi, Takayuki Osogami, Rudy Raymond


Relevance for SAT(ID) / 596
Joachim Jansen, Bart Bogaerts, Jo Devriendt, Gerda Janssens, Marc Denecker


Counting Linear Extensions of Sparse Posets / 603
Kustaa Kangas, Teemu Hankala, Teppo Niinimäki, Mikko Koivisto


Comparing Search Algorithms Using Sorting and Hashing on Disk and in Memory / 610
Richard E. Korf


Limited Discrepancy AND/OR Search and Its Application to Optimization Tasks in Graphical

Models / 617
Javier Larrosa, Emma Rollon, Rina Dechter


FastLCD: Fast Label Coordinate Descent for the Efficient Optimization of 2D Label MRFs /

624
Kangwei Liu, Junge Zhang, Peipei Yang, Kaiqi Huang


Heuristics and Really Hard Instances for Subgraph Isomorphism Problems / 631
Ciaran McCreesh, Patrick Prosser, James Trimble


Markov Chain Analysis of Noise and Restart in Stochastic Local Search / 639
Ole J. Mengshoel, Youssef Ahres, Tong Yu


Efficiently Finding Conceptual Clustering Models with Integer Linear Programming / 647
Abdelkader Ouali, Samir Loudni, Yahia Lebbah, Patrice Boizumault, Albrecht Zimmermann,

Lakhdar Loukil


Scalable Segment Abstraction Method for Advertising Campaign Admission and Inventory

Allocation Optimization / 655
Fei Peng, Tuomas Sandholm


Improved Heuristic and Tie-Breaking for Optimally Solving Sokoban / 662
André G. Pereira, Robert Holte, Jonathan Schaeffer, Luciana S. Buriol, Marcus Ritt


An Approximation Algorithm for the Subpath Planning Problem / 669
Masoud Safilian, S. Mehdi Hashemi, Sepehr Eghbali, Aliakbar Safilian


External Memory Bidirectional Search / 676
Nathan R. Sturtevant, Jingwei Chen


Canonical Orderings on Grids / 683
Nathan R. Sturtevant, Steve Rabin


Monte Carlo Tree Search in Continuous Action Spaces with Execution Uncertainty / 690
Timothy Yee, Viliam Lisy, Michael Bowling


Multiple Constraint Acquisition / 698
Robin Arcangioli, Christian Bessiere, Nadjib Lazaar


Ranking Constraints / 705
Christian Bessiere, Emmanuel Hebrard, George Katsirelos, Zeynep Kiziltan, Toby Walsh


Bias in Algorithm Portfolio Performance Evaluation / 712
Chris Cameron, Holger H. Hoos, Kevin Leyton-Brown


Constraint Acquisition with Recommendation Queries / 720
Abderrazak Daoudi, Younes Mechqrane, Christian Bessiere, Nadjib Lazaar, El Houssine

Bouyakhf


Combining the k-CNF and XOR Phase-Transitions / 727
Jeffrey M. Dudek, Kuldeep S. Meel, Moshe Y. Vardi


Linear Arithmetic Satisfiability via Strategy Improvement / 735
Azadeh Farzan, Zachary Kincaid


Constraint Detection in Natural Language Problem Descriptions / 744
Zeynep Kiziltan, Marco Lippi, Paolo Torroni


Improving Model Counting by Leveraging Definability / 751
Jean-Marie Lagniez, Emmanuel Lonca, Pierre Marquis


Static Symmetry Breaking with the Reflex Ordering / 758
Jimmy H. M. Lee, Zichen Zhu


A Clause Tableau Calculus for MaxSAT / 766
Chu-Min Li, Felip Manyà, Joan Ramon Soler


Optimizing Molecular Cloning of Multiple Plasmids / 773
Thierry Petit, Lolita Petit


Controllable Procedural Content Generation via Constrained Multi-Dimensional Markov Chain

Sampling / 780
Sam Snodgrass, Santiago Ontañón


Optimizing Simple Tabular Reduction with a Bitwise Representation / 787
Ruiwei Wang, Wei Xia, Roland H. C. Yap, Zhanshan Li


Mutual Influence Potential Networks: Enabling Information Sharing in Loosely-Coupled

Extended-Duration Teamwork / 796
Ofra Amir, Barbara J. Grosz, Krzysztof Z. Gajos


Interactive Teaching Strategies for Agent Training / 804
Ofra Amir, Ece Kamar, Andrey Kolobov, Barbara J. Grosz


Planning with Task-Oriented Knowledge Acquisition for a Service Robot / 812
Kai Chen, Fangkai Yang, Xiaoping Chen


A Polynomial Time Optimal Algorithm for Robot-Human Search under Uncertainty / 819
Shaofei Chen, Tim Baarslag, Dengji Zhao, Jing Chen, Lincheng Shen


Apprenticeship Scheduling: Learning to Schedule from Human Experts / 826
Matthew Gombolay, Reed Jensen, Jessica Stigile, Sung-Hyun Son, Julie Shah


DeepSchema: Automatic Schema Acquisition from Wearable Sensor Data in Restaurant

Situations / 834
Eun-Sol Kim, Kyoung-Woon On, Byoung-Tak Zhang


Interactive Martingale Boosting / 841
Ashish Kulkarni, Pushpak Burange, Ganesh Ramakrishnan


Fear and Hope Emerge from Anticipation in Model-Based Reinforcement Learning / 848
Thomas Moerland, Joost Broekens, Catholijn Jonker


Predictive Models of Malicious Behavior in Human Negotiations / 855
Zahra Nazari, Jonathan Gratch


Verbalization: Narration of Autonomous Robot Experience / 862
Stephanie Rosenthal, Sai P. Selvaraj, Manuela Veloso


Interactive Scheduling of Appliance Usage in the Home / 869
Ngoc Cuong Truong, Tim Baarslag, Sarvapali D. Ramchurn, Long Tran-Thanh


Polynomial Datalog Rewritings for Expressive Description Logics with Closed Predicates /

878
Shqiponja Ahmetaj, Magdalena Ortiz, Mantas Simkus


Completion of Disjunctive Logic Programs / 886
Mario Alviano, Carmine Dodaro


Query Answering with Transitive and Linear-Ordered Data / 893
Antoine Amarilli, Michael Benedikt, Pierre Bourhis, Michael Vanden Boom


Evaluation of Arguments from Support Relations: Axioms and Semantics / 900
Leila Amgoud, Jonathan Ben-Naim


Incomplete Causal Laws in the Situation Calculus Using Free Fluents / 907
Marcelo Arenas, Jorge A. Baier, Juan S. Navarro, Sebastian Sardina


On the Relationship between P-log and LPMLN / 915
Evgenii Balai, Michael Gelfond


Online Agent Supervision in the Situation Calculus / 922
Bita Banihashemi, Giuseppe De Giacomo, Yves Lespérance


Equivalent Stream Reasoning Programs / 929
Harald Beck, Minh Dao-Tran, Thomas Eiter


The Inconsistency in Gödel’s Ontological Argument: A Success Story for AI in Metaphysics

/ 936
Christoph Benzmüller, Bruno Woltzenlogel Paleo


Ontology-Mediated Queries Distributing over Components / 943
Gerald Berger, Andreas Pieris


Leviathan: A New LTL Satisfiability Checking Tool Based on a One-Pass Tree-Shaped Tableau

/ 950
Matteo Bertello, Nicola Gigante, Angelo Montanari, Mark Reynolds


Query-Driven Repairing of Inconsistent DL-Lite Knowledge Bases / 957
Meghyn Bienvenu, Camille Bourgaux, François Goasdoué


First Order-Rewritability and Containment of Conjunctive Queries in Horn Description

Logics / 965
Meghyn Bienvenu, Peter Hansen, Carsten Lutz, Frank Wolter


Automated Synthesis of Timed Failure Propagation Graphs / 972
Benjamin Bittner, Marco Bozzano, Alessandro Cimatti


ASP for Anytime Dynamic Programming on Tree Decompositions / 979
Bernhard Bliem, Benjamin Kaufmann, Torsten Schaub, Stefan Woltran


Extending the Harper Identity to Iterated Belief Change / 987
Richard Booth, Jake Chandler


Preferential Query Answering over the Semantic Web with Possibilistic Networks / 994
Stefan Borgwardt, Bettina Fazzinga, Thomas Lukasiewicz, Akanksha Shrivastava, Oana

Tifrea-Marciuska


Query-Based Entailment and Inseparability for ALC Ontologies / 1001
Elena Botoeva, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev


Knowledge Compilation Meets Communication Complexity / 1008
Simone Bova, Florent Capelli, Stefan Mengel, Friedrich Slivovsky


An ASP Semantics for Default Reasoning with Constraints / 1015
Pedro Cabalar, Roland Kaminski, Max Ostrowski, Torsten Schaub


Plan Synthesis for Knowledge and Action Bases / 1022
Diego Calvanese, Marco Montali, Fabio Patrizi, Michele Stawowy


On the Impact of Modal Depth in Epistemic Planning / 1030
Tristan Charrier, Bastien Maubert, Francçois Schwarzentruber


Imperfect-Information Games and Generalized Planning / 1037
Giuseppe De Giacomo, Aniello Murano, Sasha Rubin, Antonio Di Stasio


LTLf and LDLf Synthesis under Partial Observability / 1044
Giuseppe De Giacomo, Moshe Y. Vardi


Investigating the Relationship between Argumentation Semantics via Signatures / 1051
Paul E. Dunne, Christof Spanring, Thomas Linsbichler, Stefan Woltran


Exploiting Partial Assignments for Efficient Evaluation of Answer Set Programs with

External Source Access / 1058
Thomas Eiter, Tobias Kaminski, Christoph Redl, Antonius Weinzierl


Forgetting in Multi-Agent Modal Logics / 1066
Liangda Fang, Yongmei Liu, Hans van Ditmarsch


Trend-Based Prediction of Spatial Change / 1074
Xiaoyu Ge, Jae Hee Lee, Jochen Renz, Peng Zhang


Towards Fast Algorithms for the Preference Consistency Problem Based on Hierarchical

Models / 1081
Anne-Marie George, Nic Wilson, Barry O’Sullivan


Querying Data Graphs with Arithmetical Regular Expressions / 1088
Maciej Graboń, Jakub Michaliszyn, Jan Otop, Piotr Wieczorek


On Consensus Extraction / 1095
éric Grégoire, Sébastien Konieczny, Jean Marie Lagniez


Temporalized EL Ontologies for Accessing Temporal Data: Complexity of Atomic Queries /

1102
Víctor Gutiérrez-Basulto, Jean Christoph Jung, Roman Kontchakov


Distributing Knowledge into Simple Bases / 1109
Adrian Haret, Jean-Guy Mailly, Stefan Woltran


Epistemic Boolean Games Based on a Logic of Visibility and Control / 1116
Andreas Herzig, Emiliano Lorini, Faustine Maffre, Francois Schwarzentruber


Normative Multiagent Systems: The Dynamic Generalization / 1123
Xiaowei Huang, Ji Ruan, Qingliang Chen, Kaile Su


Eliminating Disjunctions in Answer Set Programming by Restricted Unfolding / 1130
Jianmin Ji, Hai Wan, Kewen Wang, Zhe Wang, Chuhan Zhang, Jiangtao Xu


Epistemic GDL: A Logic for Representing and Reasoning about Imperfect Information Games /

1138
Guifei Jiang, Dongmo Zhang, Laurent Perrussel, Heng Zhang


Question Answering via Integer Programming over Semi-Structured Knowledge / 1145
Daniel Khashabi, Tushar Khot, Ashish Sabharwal, Peter Clark, Oren Etzioni, Dan Roth


Conservative Rewritability of Description Logic TBoxes / 1153
Boris Konev, Carsten Lutz, Frank Wolter, Michael Zakharyaschev


Temporal and Spatial OBDA with Many-Dimensional Halpern-Shoham Logic / 1160
Roman Kontchakov, Laura Pandolfo, Luca Pulina, Vladislav Ryzhikov, Michael Zakharyaschev


Learning Possibilistic Logic Theories from Default Rules / 1167
Ondřej Kuželka, Jesse Davis, Steven Schockaert


Answering Metaqueries over Hi (OWL 2 QL) Ontologies / 1174
Maurizio Lenzerini, Lorenzo Lepore, Antonella Poggi


Constraint Answer Set Programming versus Satisfiability Modulo Theories / 1181
Yuliya Lierler, Benjamin Susman


Exploring the Context of Locations for Personalized Location Recommendations / 1188
Xin Liu, Yong Liu, Xiaoli Li


A Decision Procedure for a Fragment of Linear Time Mu-Calculus / 1195
Yao Liu, Zhenhua Duan, Cong Tian


Efficient Path Consistency Algorithm for Large Qualitative Constraint Networks / 1202
Zhiguo Long, Michael Sioutis, Sanjiang Li


Belief Update for Proper Epistemic Knowledge Bases / 1209
Tim Miller, Christian Muise


Optimal Status Enforcement in Abstract Argumentation / 1216
Andreas Niskanen, Johannes P. Wallner, Matti Järvisalo


Efficient Representations for the Modal Logic S5 / 1223
Alexandre Niveau, Bruno Zanuttini


Expressivity of Datalog Variants — Completing the Picture / 1230
Sebastian Rudolph, Michaël Thomazo


Is Promoting Beliefs Useful to Make Them Accepted in Networks of Agents? / 1237
Nicolas Schwind, Katsumi Inoue, Gauvain Bourgne, Sébastien Konieczny, Pierre Marquis


Normative Practical Reasoning via Argumentation and Dialogue / 1244
Zohreh Shams, Marina De Vos, Nir Oren, Julian Padget


Efficient Sequential Model-Based Fault-Localization with Partial Diagnoses / 1251
Kostyantyn Shchekotykhin, Thomas Schmitz, Dietmar Jannach


Object-Relational Queries over CFDInc Knowledge Bases: OBDA for the SQL-Literate / 1258
Jason St. Jacques, David Toman, Grant Weddell


Diagnosability of Discrete-Event Systems with Uncertain Observations / 1265
Xingyu Su, Marina Zanella, Alban Grastien


Sampling-Based Belief Revision / 1272
Michael Thielscher


Efficient Query Answering over Expressive Inconsistent Description Logics / 1279
Eleni Tsalapati, Giorgos Stoilos, Giorgos Stamou, George Koletsos


Distributed Autoepistemic Logic and its Application to Access Control / 1286
Pieter Van Hertum, Marcos Cramer, Bart Bogaerts, Marc Denecker


Text-Enhanced Representation Learning for Knowledge Graph / 1293
Zhigang Wang, Juanzi Li


On the Representation and Embedding of Knowledge Bases beyond Binary Relations / 1300
Jianfeng Wen, Jianxin Li, Yongyi Mao, Shini Chen, Richong Zhang


Connecting Qualitative Spatial and Temporal Representations by Propositional Closure /

1308
Diedrich Wolter, Jae Hee Lee


From One Point to a Manifold: Knowledge Graph Embedding for Precise Link Prediction /

1315
Han Xiao, Minlie Huang, Xiaoyan Zhu


Strategy Representation and Reasoning for Incomplete Information Concurrent Games in the

Situation Calculus / 1322
Liping Xiong, Yongmei Liu


Expressive Completeness of Existential Rule Languages for Ontology-Based Query Answering

/ 1330
Heng Zhang, Yan Zhang, Jia-Huai You


A Characterization of the Semantics of Logic Programs with Aggregates / 1338
Yuanlin Zhang, Maede Rayatidamavandi


Forgetting Concept and Role Symbols in ALCOIHμ+(∇, ⊓)-Ontologies / 1345
Yizheng Zhao, Renate A. Schmidt


Driver Frustration Detection from Audio and Video in the Wild / 1354
Irman Abdić, Lex Fridman, Daniel McDuff, Erik Marchi, Bryan Reimer, Björn Schuller


The Complexity of Learning Acyclic CP-Nets / 1361
Eisa Alanazi, Malek Mouhoub, Sandra Zilles


Change Detection in Multivariate Datastreams: Likelihood and Detectability Loss / 1368
Cesare Alippi, Giacomo Boracchi, Diego Carrera, Manuel Roveri


Cold-Start Recommendations for Audio News Stories Using Matrix Factorization / 1375
Ehsan Mohammady Ardehaly, Aron Culotta, Vivek Sundararaman, Alwar Narayanan


MPMA: Mixture Probabilistic Matrix Approximation for Collaborative Filtering / 1382
Chao Chen, Dongsheng Li, Qin Lv, Junchi Yan, Stephen M. Chu, Li Shang


A Generalized Matching Pursuit Approach for Graph-Structured Sparsity / 1389
Feng Chen, Baojian Zhou


Entity Embedding-Based Anomaly Detection for Heterogeneous Categorical Events / 1396
Ting Chen, Lu-An Tang, Yizhou Sun, Zhengzhang Chen, Kai Zhang


ADL™: A Topic Model for Discovery of Activities of Daily Living in a Smart Home / 1404
Yu Chen, Tom Diethe, Peter Flach


Cost-Aware Pre-Training for Multiclass Cost-Sensitive Deep Learning / 1411
Yu-An Chung, Hsuan-Tien Lin, Shao-Wen Yang


Learning Higher-Order Logic Programs through Abstraction and Invention / 1418
Andrew Cropper, Stephen H. Muggleton


A Unifying Framework for Learning Bag Labels from Generalized Multiple-Instance Data /

1425
Gary Doran, Andrew Latham, Soumya Ray


Hidden Parameter Markov Decision Processes: A Semiparametric Regression Approach for

Discovering Latent Task Parametrizations / 1432
Finale Doshi-Velez, George Konidaris


EBEK: Exemplar-Based Kernel Preserving Embedding / 1441
Ahmed Elbagoury, Rania Ibrahim, Mohamed S. Kamel, Fakhri Karray


Version Space Reduction Based on Ensembles of Dissimilar Balanced Perceptrons / 1448
Karen Braga Enes, Saulo Moraes Villela, Raul Fonseca Neto


Robust Domain Generalisation by Enforcing Distribution Invariance / 1455
Sarah M. Erfani, Mahsa Baktashmotlagh, Masud Moshtaghi, Vinh Nguyen, Christopher Leckie,

James Bailey, Kotagiri Ramamohanarao


Copula Mixed-Membership Stochastic Blockmodel / 1462
Xuhui Fan, Richard Yi Da Xu, Longbing Cao


DrMAD: Distilling Reverse-Mode Automatic Differentiation for Optimizing Hyperparameters

of Deep Neural Networks / 1469
Jie Fu, Hongyin Luo, Jiashi Feng, Kian Hsiang Low, Tat-Seng Chua


A Robust Convex Formulation for Ensemble Clustering / 1476
Junning Gao, Makoto Yamada, Samuel Kaski, Hiroshi Mamitsuka, Shanfeng Zhu


Semi-Data-Driven Network Coarsening / 1483
Li Gao, Jia Wu, Hong Yang, Zhi Qiao, Chuan Zhou, Yue Hu


Constrained Local Latent Variable Discovery / 1490
Tian Gao, Qiang Ji


Knowledge-Based Sequence Mining with ASP / 1497
Martin Gebser, Thomas Guyet, René Quiniou, Javier Romero, Torsten Schaub


Incremental Truncated LSTD / 1505
Clement Gehring, Yangchen Pan, Martha White


A Distributed and Scalable Machine Learning Approach for Big Data / 1512
Hongliang Guo, Jie Zhang


Deep Learning for Reward Design to Improve Monte Carlo Tree Search in ATARI Games / 1519
Xiaoxiao Guo, Satinder Singh, Richard Lewis, Honglak Lee


Semi-Supervised Active Learning with Cross-Class Sample Transfer / 1526
Yuchen Guo, Guiguang Ding, Yue Gao, Jianmin Wang


Deep, Convolutional, and Recurrent Models for Human Activity Recognition Using Wearables

/ 1533
Nils Y. Hammerla, Shane Halloran, Thomas Plötz


Incorporating External Knowledge into Crowd Intelligence for More Specific Knowledge

Acquisition / 1541
Tao Han, Hailong Sun, Yangqiu Song, Yili Fang, Xudong Liu


Partially Supervised Graph Embedding for Positive Unlabelled Feature Selection / 1548
Yufei Han, Yun Shen


Online Bayesian Max-Margin Subspace Multi-View Learning / 1555
Jia He, Changying Du, Fuzhen Zhuang, Xin Yin, Qing He, Guoping Long


Tight Policy Regret Bounds for Improving and Decaying Bandits / 1562
Hoda Heidari, Michael Kearns, Aaron Roth


Bayesian Reinforcement Learning with Behavioral Feedback / 1571
Teakgyu Hong, Jongmin Lee, Kee-Eung Kim, Pedro A. Ortega, Daniel Lee


Grounding Topic Models with Knowledge Bases / 1578
Zhiting Hu, Gang Luo, Mrinmaya Sachan, Eric Xing, Zaiqing Nie


Class-Wise Supervised Hashing with Label Embedding and Active Bits / 1585
Long-Kai Huang, Sinno Jialin Pan


Transfer Learning with Active Queries from Source Domain / 1592
Sheng-Jun Huang, Songcan Chen


Learning Stable Linear Dynamical Systems with the Weighted Least Square Method / 1599
Wenbing Huang, Lele Cao, Fuchun Sun, Deli Zhao, Huaping Liu, Shanshan Yu