Frontmatter
| Preface | |
| Qiang Yang, Michael Wooldridge |
| Conference Organization | |
| Qiang Yang |
| Program Committee | |
| Qiang Yang |
| Conference Organizers and Sponsors | |
| Qiang Yang |
| Awards and Distinguished Papers | |
| Qiang Yang |
| IJCAI Organization | |
| Qiang Yang |
| Past IJCAI Conferences | |
| Qiang Yang |
Main Track — Agent and Multiagent Systems
| Optimal Incremental Preference Elicitation during Negotiation | |
| Tim Baarslag, Enrico H. Gerding |
| Composing and Verifying Commitment-Based Multiagent Protocols | |
| Matteo Baldoni, Cristina Baroglio, Amit K. Chopra, Munindar P. Singh |
| Strategic Abstention Based on Preference Extensions: Positive Results and Computer-Generated Impossibilities | |
| Florian Brandl, Felix Brandt, Christian Geist, Johannes Hofbauer |
| Efficiency and Complexity of Price Competition Among Single-Product Vendors | |
| Ioannis Caragiannis, Xenophon Chatzigeorgiou, Panagiotis Kanellopoulos, George A. Krimpas, Nikos Protopapas, Alexandros A. Voudouris |
| Generalizing the Single-Crossing Property on Lines and Trees to Intermediate Preferences on Median Graphs | |
| Adam Clearwater, Clemens Puppe, Arkadii Slinko |
| Learning Behaviors in Agents Systems with Interactive Dynamic Influence Diagrams | |
| Ross Conroy, Yifeng Zeng, Marc Cavazza, Yingke Chen |
| Structural Results for Cooperative Decentralized Control Models | |
| Jilles Steeve Dibangoye, Olivier Buffet, Olivier Simonin |
| Tractable Inquiry in Information-Rich Environments | |
| Barbara Dunin-Kęplicz, Alina Strachocka |
| An Adaptive Computational Model for Personalized Persuasion | |
| Yilin Kang, Ah-Hwee Tan, Chunyan Miao |
| Tradeoffs between Incentive Mechanisms in Boolean Games | |
| Vadim Levit, Zohar Komarovsky, Tal Grinshpoun, Amnon Meisels |
| Environment-Driven Social Force Model: Lévy Walk Pattern in Collective Behavior | |
| Danyan Lv, Zhaofeng Li, Yichuan Jiang |
| The Power of Local Manipulation Strategies in Assignment Mechanisms | |
| Timo Mennle, Michael Weiss, Basil Philipp, Sven Seuken |
| Revenue Maximization Envy-Free Pricing for Homogeneous Resources | |
| Gianpiero Monaco, Piotr Sankowski, Qiang Zhang |
| Exchange of Indivisible Objects with Asymmetry | |
| Zhaohong Sun, Hideaki Hata, Taiki Todo, Makoto Yokoo |
| Characterization of Scoring Rules with Distances: Application to the Clustering of Rankings | |
| Paolo Viappiani |
| Quantifying Robustness of Trust Systems against Collusive Unfair Rating Attacks Using Information Theory | |
| Dongxia Wang, Tim Muller, Jie Zhang, Yang Liu |
| Optimal Auctions for Partially Rational Bidders | |
| Zihe Wang, Pingzhong Tang |
| An Expert-Level Card Playing Agent Based on a Variant of Perfect Information Monte Carlo Sampling | |
| Florian Wisser |
| Agile Planning for Real-World Disaster Response | |
| Feng Wu, Sarvapali D. Ramchurn, Wenchao Jiang, Jeol E. Fischer, Tom Rodden, Nicholas R. Jennings |
| Optimal Pricing for the Competitive and Evolutionary Cloud Market | |
| Bolei Xu, Tao Qin, Guoping Qiu, Tie-Yan Liu |
| Uncovering Hidden Structure through Parallel Problem Decomposition for the Set Basis Problem: Application to Materials Discovery | |
| Yexiang Xue, Stefano Ermon, Carla P. Gomes, Bart Selman |
Main Track — Artificial Intelligence and Social Sciences
| Emotions in Argumentation: an Empirical Evaluation | |
| Sahbi Benlamine, Maher Chaouachi, Serena Villata, Elena Cabrio, Claude Frasson, Fabien Gandon |
| Parliamentary Voting Procedures: Agenda Control, Manipulation, and Uncertainty | |
| Robert Bredereck, Jiehua Chen, Rolf Niedermeier, Toby Walsh |
| Computer Science on the Move: Inferring Migration Regularities from the Web via Compressed Label Propagation | |
| Fabian Hadiji, Martin Mladenov, Christian Bauckhage, Kristian Kersting |
| Semi-Universal Portfolios with Transaction Costs | |
| Dingjiang Huang, Yan Zhu, Bin Li, Shuigeng Zhou, Steven C.H. Hoi |
| Context-Independent Claim Detection for Argument Mining | |
| Marco Lippi, Paolo Torroni |
| A Deterministic Partition Function Approximation for Exponential Random Graph Models | |
| Wen Pu, Jaesik Choi, Yunseong Hwang, Eyal Amir |
| Bonus or Not? Learn to Reward in Crowdsourcing | |
| Ming Yin, Yiling Chen |
Main Track — Auctions and Market-Based Systems
| Mechanism Design and Implementation for Lung Exchange | |
| Suiqian Luo, Pingzhong Tang |
| Maximal Cooperation in Repeated Games on Social Networks | |
| Catherine Moon, Vincent Conitzer |
| Selling Reserved Instances in Cloud Computing | |
| Changjun Wang, Weidong Ma, Tao Qin, Xujin Chen, Xiaodong Hu, Tie-Yan Liu |
Main Track — Constraint Optimization
| A Multicore Tool for Constraint Solving | |
| Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro |
| Improving the Effectiveness of SAT-Based Preprocessing for MaxSAT | |
| Jeremias Berg, Paul Saikko, Matti Järvisalo |
| Maximum Satisfiability Using Cores and Correction Sets | |
| Nikolaj Bjorner, Nina Narodytska |
| Recursive Decomposition for Nonconvex Optimization | |
| Abram L. Friesen, Pedro Domingos |
| Finding Diverse Solutions of High Quality to Constraint Optimization Problems | |
| Thierry Petit, Andrew C. Trapp |
Main Track — Constraints, Satisfiability, and Search
| On the Resiliency of Unit Propagation to Max-Resolution | |
| André Abramé, Djamal Habet |
| Improving the Efficiency of Dynamic Programming on Tree Decompositions via Machine Learning | |
| Michael Abseher, Frederico Dusberger, Nysret Musliu, Stefan Woltran |
| Exploiting the Structure of Unsatisfiable Cores in MaxSAT | |
| Carlos Ansotegui, Frederic Didier, Joel Gabas |
| Multi-Armed Bandits for Adaptive Constraint Propagation | |
| Amine Balafrej, Christian Bessiere, Anastasia Paparrizou |
| Combining Preference Elicitation and Search in Multiobjective State-Space Graphs | |
| Nawal Benabbou, Patrice Perny |
| ReACTR: Realtime Algorithm Configuration through Tournament Rankings | |
| Tadhg Fitzgerald, Yuri Malitsky, Barry O'Sullivan |
| Expressive Logical Combinators for Free | |
| Pierre Geneves, Alan Schmitt |
| Statistical Regimes and Runtime Prediction | |
| Barry Hurley, Barry O'Sullivan |
| Solving QBF by Clause Selection | |
| Mikolas Janota, Joao Marques-Silva |
| Compiling Constraint Networks into Multivalued Decomposable Decision Graphs | |
| Frédéric Koriche, Jean-Marie Lagniez, Pierre Marquis, Samuel Thomas |
| Filtering Nogoods Lazily in Dynamic Symmetry Breaking During Search | |
| Jimmy H. M. Lee, Zichen Zhu |
| Multi-Pass High-Level Presolving | |
| Kevin Leo, Guido Tack |
| Decomposition of the Factor Encoding for CSPs | |
| Chavalit Likitvivatanavong, Wei Xia, Roland H. C. Yap |
| Towards Automatic Dominance Breaking for Constraint Optimization Problems | |
| Christopher Mears, Maria Garcia de la Banda |
| On the Empirical Time Complexity of Random 3-SAT at the Phase Transition | |
| Zongxu Mu, Holger H. Hoos |
| Efficient Operations On MDDs for Building Constraint Programming Models | |
| Guillaume Perez, Jean-Charles Régin |
| Personalized Mathematical Word Problem Generation | |
| Oleksandr Polozov, Eleanor O'Rourke, Adam M. Smith, Luke Zettlemoyer, Sumit Gulwani, Zoran Popović |
| On Constrained Boolean Pareto Optimization | |
| Chao Qian, Yang Yu, Zhi-Hua Zhou |
| Packing Curved Objects | |
| Ignacio Antonio Salas Donoso, Gilles Chabert |
| Efficient Algorithms with Performance Guarantees for the Stochastic Multiple-Choice Knapsack Problem | |
| Long Tran-Thanh, Yingce Xia, Tao Qin, Nicholas R Jennings |
Main Track — Distributed Search/CSP/Optimization
| Probabilistic Inference Based Message-Passing for Resource Constrained DCOPs | |
| Supriyo Ghosh, Akshat Kumar, Pradeep Varakantham |
| Collective Biobjective Optimization Algorithm for Parallel Test Paper Generation | |
| Minh Luan Nguyen, Siu Cheung Hui, Alvis C. M. Fong |
| Max-Sum Goes Private | |
| Tamir Tassa, Roie Zivan, Tal Grinshpoun |
| Applying Max-Sum to Asymmetric Distributed Constraint Optimization | |
| Roie Zivan, Tomer Parash, Yarden Naveh |
Main Track — Game Theory
| A Bargaining Mechanism for One-Way Games | |
| Andres Abeliuk, Gerardo Berbeglia, Pascal Van Hentenryck |
| Strategic Network Formation through an Intermediary | |
| Elliot Anshelevich, Onkar Bhardwaj, Koushik Kar |
| The Adjusted Winner Procedure: Characterizations and Equilibria | |
| Haris Aziz, Simina Brânzei, Aris Filos-Ratsikas, Søren Kristoffer Stiil Frederiksen |
| Welfare Maximization in Fractional Hedonic Games | |
| Haris Aziz, Serge Gaspers, Joachim Gudmundsson, Julian Mestre, Hanjo Taubig |
| Possible and Necessary Allocations via Sequential Mechanisms | |
| Haris Aziz, Toby Walsh, Lirong Xia |
| Learning Cooperative Games | |
| Maria Florina Balcan, Ariel D. Procaccia, Yair Zick |
| A Dictatorship Theorem for Cake Cutting | |
| Simina Brânzei, Peter Bro Miltersen |
| Simultaneous Abstraction and Equilibrium Finding in Games | |
| Noam Brown, Tuomas Sandholm |
| Incentivizing Peer Grading in MOOCS: An Audit Game Approach | |
| Alejandro Uriel Carbonara, Anupam Datta, Arunesh Sinha, Yair Zick |
| Approximate Nash Equilibria with Near Optimal Social Welfare | |
| Artur Czumaj, Michail Fasoulakis, Marcin Jurdzinski |
| Influence in Classification via Cooperative Game Theory | |
| Amit Datta, Anupam Datta, Ariel D. Procaccia, Yair Zick |
| SAT Is an Effective and Complete Method for Solving Stable Matching Problems with Couples | |
| Joanna Drummond, Andrew Perrault, Fahiem Bacchus |
| Optimal Network Security Hardening Using Attack Graph Games | |
| Karel Durkota, Viliam Lisý, Branislav Bošanský, Christopher Kiekintveld |
| Gibbard–Satterthwaite Games | |
| Edith Elkind, Umberto Grandi, Francesca Rossi, Arkadii Slinko |
| Equilibrium Refinement through Negotiation in Binary Voting | |
| Umberto Grandi, Davide Grossi, Paolo Turrini |
| Structural Tractability of Shapley and Banzhaf Values in Allocation Games | |
| Gianluigi Greco, Francesco Lupia, Francesco Scarcello |
| Smooth UCT Search in Computer Poker | |
| Johannes Heinrich, David Silver |
| Fixing Tournaments for Kings, Chokers, and More | |
| Michael P. Kim, Virginia Vassilevska Williams |
| A Characterization of n-Player Strongly Monotone Scheduling Mechanisms | |
| Annamaria Kovacs, Angelina Vidali |
| Limited Lookahead in Imperfect-Information Games | |
| Christian Kroer, Tuomas Sandholm |
| Impartial Peer Review | |
| David Kurokawa, Omer Lev, Jamie Morgenstern, Ariel D. Procaccia |
| Truthful Cake Cutting Mechanisms with Externalities: Do Not Make Them Care for Others Too Much! | |
| Minming Li, Jialin Zhang, Qiang Zhang |
| Equilibrium Analysis of Multi-Defender Security Games | |
| Jian Lou, Yevgeniy Vorobeychik |
| When Does Schwartz Conjecture Hold? | |
| Matthias Mnich, Yash Raj Shrestha, Yongjie Yang |
| Strategic Candidacy Games with Lazy Candidates | |
| Svetlana Obraztsova, Edith Elkind, Maria Polukarov, Zinovi Rabinovich |
| Simple Causes of Complexity in Hedonic Games | |
| Dominik Peters, Edith Elkind |
| Convergence to Equilibria in Strategic Candidacy | |
| Maria Polukarov, Svetlana Obraztsova, Zinovi Rabinovich, Alexander Kruglyi, Nicholas R. Jennings |
| A Pseudo-Polynomial Algorithm for Computing Power Indices in Graph-Restricted Weighted Voting Games | |
| Oskar Skibski, Tomasz P. Michalak, Yuko Sakurai, Makoto Yokoo |
| The Game-Theoretic Interaction Index on Social Networks with Applications to Link Prediction and Community Detection | |
| Piotr Lech Szczepański, Aleksy Stanisław Barcz, Tomasz Paweł Michalak, Talal Rahwan |
| Solving Heads-Up Limit Texas Hold'em | |
| Oskari Tammelin, Neil Burch, Michael Johanson, Michael Bowling |
| Envy-Free Sponsored Search Auctions with Budgets | |
| Bo Tang, Jinshan Zhang |
| Implementing the Wisdom of Waze | |
| Shoshana Vasserman, Michal Feldman, Avinatan Hassidim |
| Spiteful Bidding in the Dollar Auction | |
| Marcin Waniek, Agata Nieścieruk, Tomasz Michalak, Talal Rahwan |
| Security Games with Information Leakage: Modeling and Computation | |
| Haifeng Xu, Albert Xing Jiang, Arunesh Sinha, Zinovi Rabinovich, Shaddin Dughmi, Milind Tambe |
| Computing Optimal Mixed Strategies for Security Games with Dynamic Payoffs | |
| Yue Yin, Haifeng Xu, Jiarui Gan, Bo An, Albert Xin Jiang |
Main Track — Graphical Models
| From Weighted to Unweighted Model Counting | |
| Supratik Chakraborty, Dror Fried, Kuldeep S. Meel, Moshe Y. Vardi |
| Pushing Forward Marginal MAP with Best-First Search | |
| Radu Marinescu, Rina Dechter, Alexander Ihler |
| Indirect Causes in Dynamic Bayesian Networks Revisited | |
| Alexander Motzek, Ralf Möller |
| Differential Semantics of Intervention in Bayesian Networks | |
| Biao Qin |
| Bayesian Modelling of Community-Based Multidimensional Trust in Participatory Sensing under Data Sparsity | |
| Matteo Venanzi, Luke Teacy, Alex Rogers, Nick Jennings |
| A Unified Model for Unsupervised Opinion Spamming Detection Incorporating Text Generality | |
| Yinqing Xu, Bei Shi, Wentao Tian, Wai Lam |
Main Track — Heuristic Search
| Model-Based Genetic Algorithms for Algorithm Configuration | |
| Carlos Ansotegui, Yuri Malitsky, Horst Samulowitz, Meinolf Sellmann, Kevin Tierney |
| ICBS: Improved Conflict-Based Search Algorithm for Multi-Agent Pathfinding | |
| Eli Boyarski, Ariel Felner, Roni Stern, Guni Sharon, David Tolpin, Oded Betzalel, Eyal Shimony |
| Balance between Complexity and Quality: Local Search for Minimum Vertex Cover in Massive Graphs | |
| Shaowei Cai |
| Generalized Rapid Action Value Estimation | |
| Tristan Cazenave |
| A Fast Goal Recognition Technique Based on Interaction Estimates | |
| Yolanda E-Martin, Maria D. R-Moreno, David E. Smith |
| Interplanetary Trajectory Planning with Monte Carlo Tree Search | |
| Daniel Hennes, Dario Izzo |
| FlashNormalize: Programming by Examples for Text Normalization | |
| Dileep Kini, Sumit Gulwani |
| Efficient Search with an Ensemble of Heuristics | |
| Mike Phillips, Venkatraman Narayanan, Sandip Aine, Maxim Likhachev |
| Compositional Program Synthesis from Natural Language and Examples | |
| Mohammad Raza, Sumit Gulwani, Natasa Milic-Frayling |
| Mining Expert Play to Guide Monte Carlo Search in the Opening Moves of Go | |
| Erik S. Steinmetz, Maria Gini |
| H-Index Manipulation by Merging Articles: Models, Theory, and Experiments | |
| René van Bevern, Christian Komusiewicz, Rolf Niedermeier, Manuel Sorge, Toby Walsh |
| Computing Possibly Optimal Solutions for Multi-Objective Constraint Optimisation with Tradeoffs | |
| Nic Wilson, Abdul Razak, Radu Marinescu |
Main Track — Knowledge Acquisition
| Mining Definitions from RDF Annotations Using Formal Concept Analysis | |
| Mehwish Alam, Aleksey Buzmakov, Victor Codocedo, Amedeo Napoli |
| Personalizing Product Rankings Using Collaborative Filtering on Opinion-Derived Topic Profiles | |
| Claudiu Cristian Musat, Boi Faltings |
| AskWorld: Budget-Sensitive Query Evaluation for Knowledge-on-Demand | |
| Mehdi Samadi, Partha Talukdar, Manuela Veloso, Tom Mitchell |
| Building Hierarchies of Concepts via Crowdsourcing | |
| Yuyin Sun, Adish Singla, Dieter Fox, Andreas Krause |
Main Track — Knowledge Representation, Reasoning, and Logic
| Finite Abstractions for the Verification of Epistemic Properties in Open Multi-Agent Systems | |
| Francesco Belardinelli, Davide Grossi, Alessio Lomuscio |
| Formal Analysis of Dialogues on Infinite Argumentation Frameworks | |
| Francesco Belardinelli, Davide Grossi, Nicolas Maudet |
| On the Graded Acceptability of Arguments | |
| Davide Grossi, Sanjay Modgil |
| A Common-Sense Conceptual Categorization System Integrating Heterogeneous Proxytypes and the Dual Process of Reasoning | |
| Antonio Lieto, Daniele Paolo Radicioni, Valentina Rho |
| A Simple Probabilistic Extension of Modal Mu-calculus | |
| Wanwei Liu, Lei Song, Ji Wang, Lijun Zhang |
| The Complexity of MAP Inference in Bayesian Networks Specified Through Logical Languages | |
| Denis Deratani Maua, Cassio Polpo de Campos, Fabio Gagliardi Cozman |
| Dissecting German Grammar and Swiss Passports: Open-Domain Decomposition of Compositional Entries in Large-Scale Knowledge Repositories | |
| Marius Pasca, Hylke Buisman |
| Automatic Generation of Raven’s Progressive Matrices | |
| Ke Wang, Zhendong Su |
| From Raw Sensor Data to Detailed Spatial Knowledge | |
| Peng Zhang, Jae Hee Lee, Jochen Renz |
Main Track — Machine Learning
| Using a Recursive Neural Network to Learn an Agent's Decision Model for Plan Recognition | |
| Francis Bisson, Hugo Larochelle, Froduald Kabanza |
| Biclustering Gene Expressions Using Factor Graphs and the Max-Sum Algorithm | |
| Matteo Denitto, Alessandro Farinelli, Manuele Bicego |
| Greedy Structure Search for Sum-Product Networks | |
| Aaron Dennis, Dan Ventura |
| On the Consistency of AUC Pairwise Optimization | |
| Wei Gao, Zhi-Hua Zhou |
| Multi-Label Active Learning: Query Type Matters | |
| Sheng-Jun Huang, Songcan Chen, Zhi-Hua Zhou |
| Joint Learning of Constituency and Dependency Grammars by Decomposed Cross-Lingual Induction | |
| Wenbin Jiang, Qun Liu, Thepchai Supnithi |
| Mobility Profiling for User Verification with Anonymized Location Data | |
| Miao Lin, Hong Cao, Vincent Zheng, Kevin Chen-Chuan Chang, Shonali Krishnaswamy |
| Analysis of Sampling Algorithms for Twitter | |
| Deepan Subrahmanian Palguna, Vikas Joshi, Venkatesan Chakaravarthy, Ravi Kothari, LV Subramaniam |
| Portfolio Choices with Orthogonal Bandit Learning | |
| Weiwei Shen, Jun Wang, Yu-Gang Jiang, Hongyuan Zha |
| Information Gathering in Networks via Active Exploration | |
| Adish Singla, Eric Horvitz, Pushmeet Kohli, Ryen White, Andreas Krause |
| Medical Synonym Extraction with Concept Space Models | |
| Chang Wang, Liangliang Cao, Bowen Zhou |
| Detecting Emotions in Social Media: A Constrained Optimization Approach | |
| Yichen Wang, Aditya Pal |
| Regression Model Fitting under Differential Privacy and Model Inversion Attack | |
| Yue Wang, Cheng Si, Xintao Wu |
| Correcting Covariate Shift with the Frank-Wolfe Algorithm | |
| Junfeng Wen, Russell Greiner, Dale Schuurmans |
| Cognitive Modelling for Predicting Examinee Performance | |
| Runze Wu, Qi Liu, Yuping Liu, Enhong Chen, Yu Su, Zhigang Chen, Guoping Hu |
| Opportunities or Risks to Reduce Labor in Crowdsourcing Translation? Characterizing Cost versus Quality via a PageRank-HITS Hybrid Model | |
| Rui Yan, Yiping Song, Cheng-Te Li, Ming Zhang, Xiaohua Hu |
| Auxiliary Information Regularized Machine for Multiple Modality Feature Learning | |
| Yang Yang, Han-Jia Ye, De-Chuan Zhan, Yuan Jiang |
| Discriminative Reordering Model Adaptation via Structural Learning | |
| Biao Zhang, Jinsong Su, Deyi Xiong, Hong Duan, Junfeng Yao |
| Revisiting Gaussian Process Dynamical Models | |
| Jing Zhao, Shiliang Sun |
| Character-Based Parsing with Convolutional Neural Network | |
| Xiaoqing Zheng, Haoyuan Peng, Yi Chen, Pengjing Zhang, Wenqiang Zhang |
| Active Learning from Crowds with Unsure Option | |
| Jinhong Zhong, Ke Tang, Zhi-Hua Zhou |
Main Track — Model Verification / Model Checking
| Symbolic Model Checking for One-Resource RB+-ATL | |
| Natasha Alechina, Brian Logan, Hoang Nga Nguyen, Franco Raimondi |
| The Complexity of Model Checking Succinct Multiagent Systems | |
| Xiaowei Huang, Qingliang Chen, Kaile Su |
| Verifying Emergent Properties of Swarms | |
| Panagiotis Kouvaros, Alessio Lomuscio |
| Pushdown Multi-Agent System Verification | |
| Aniello Murano, Giuseppe Perelli |
Main Track — Multidisciplinary Topics and Applications
| Algorithmic Exam Generation | |
| Omer Geiger, Shaul Markovitch |
| The Right to Obscure: A Mechanism and Initial Evaluation | |
| Eric Hsin-Chun Huang, Jaron Lanier, Yoav Shoham |
| A New Input Method for Human Translators: Integrating Machine Translation Effectively and Imperceptibly | |
| Guoping Huang, Jiajun Zhang, Yu Zhou, Chengqing Zong |
| Combining Eye Movements and EEG to Enhance Emotion Recognition | |
| Yifei Lu, Wei-Long Zheng, Binbin Li, Bao-Liang Lu |
| Handling Complex Commands as Service Robot Task Requests | |
| Vittorio Perera, Manuela Veloso |
| A Study of Human-Agent Collaboration for Multi-UAV Task Allocation in Dynamic Environments | |
| Sarvapali D. Ramchurn, Joel E Fischer, Yuki Ikuno, Feng Wu, Jack Flann, Antony Waldock |
| Automated Geometry Theorem Proving for Human-Readable Proofs | |
| Ke Wang, Zhendong Su |
| Offline Sketch Parsing via Shapeness Estimation | |
| Jie Wu, Changhu Wang, Liqing Zhang, Yong Rui |
Main Track — Multiagent Systems
| A Scalable Interdependent Multi-Issue Negotiation Protocol for Energy Exchange | |
| Muddasser Alam, Enrico H. Gerding, Alex Rogers, Sarvapali D. Ramchurn |
| Equilibria Under the Probabilistic Serial Rule | |
| Haris Aziz, Serge Gaspers, Simon Mackenzie, Nicholas Mattei, Nina Narodytska, Toby Walsh |
| Towards City-Scale Mobile Crowdsourcing: Task Recommendations under Trajectory Uncertainties | |
| Cen Chen, Shih-Fen Cheng, Hoong Chuin Lau, Archan Misra |
| Estimating the Margin of Victory of an Election Using Sampling | |
| Palash Dey, Y. Narahari |
| Strategy-Proofness of Scoring Allocation Correspondences for Indivisible Goods | |
| Nhan-Tam Nguyen, Dorothea Baumeister, Jörg Rothe |
| Spectrum-Based Fault Localisation for Multi-Agent Systems | |
| Lúcio S. Passos, Rui Abreu, Rosaldo J. F. Rossetti |
| What Do We Elect Committees For? A Voting Committee Model for Multi-Winner Rules | |
| Piotr Krzysztof Skowron |
Main Track — Natural Language Processing
| Multi-Document Abstractive Summarization Using ILP Based Multi-Sentence Compression | |
| Siddhartha Banerjee, Prasenjit Mitra, Kazunari Sugiyama |
| Do We Criticise (and Laugh) in the Same Way? Automatic Detection of Multi-Lingual Satirical News in Twitter | |
| Francesco Barbieri, Francesco Ronzano, Horacio Saggion |
| Embedding Semantic Relations into Word Representations | |
| Danushka Bollegala, Takanori Maehara, Ken-ichi Kawarabayashi |
| Positive, Negative, or Neutral: Learning an Expanded Opinion Lexicon from Emoticon-Annotated Tweets | |
| Felipe Bravo-Marquez, Eibe Frank, Bernhard Pfahringer |
| Joint Learning of Character and Word Embeddings | |
| Xinxiong Chen, Lei Xu, Zhiyuan Liu, Maosong Sun, Huanbo Luan |
| A Hybrid Neural Model for Type Classification of Entity Mentions | |
| Li Dong, Furu Wei, Hong Sun, Ming Zhou, Ke Xu |
| Iterative Learning of Parallel Lexicons and Phrases from Non-Parallel Corpora | |
| Meiping Dong, Yang Liu, Huanbo Luan, Maosong Sun, Tatsuya Izuha, Dakun Zhang |
| Word-Error Correction of Continuous Speech Recognition Based on Normalized Relevance Distance | |
| Yohei Fusayasu, Katsuyuki Tanaka, Tetsuya Takiguchi, Yasuo Ariki |
| Joint POS Tagging and Text Normalization for Informal Text | |
| Chen Li, Yang Liu |
| Reader-Aware Multi-Document Summarization via Sparse Coding | |
| Piji Li, Lidong Bing, Wai Lam, Hang Li, Yi Liao |
| Incorporating Domain and Sentiment Supervision in Representation Learning for Domain Adaptation | |
| Biao Liu, Minlie Huang, Jiashen Sun, Xuan Zhu |
| Learning Context-Sensitive Word Embeddings with Neural Tensor Skip-Gram Model | |
| Pengfei Liu, Xipeng Qiu, Xuanjing Huang |
| Automated Rule Selection for Aspect Extraction in Opinion Mining | |
| Qian Liu, Zhiqiang Gao, Bing Liu, Yuanlin Zhang |
| Integrating Importance, Non-Redundancy and Coherence in Graph-Based Extractive Summarization | |
| Daraksha Parveen, Michael Strube |
| Convolutional Neural Tensor Network Architecture for Community-Based Question Answering | |
| Xipeng Qiu, Xuanjing Huang |
| An Active Learning Approach to Coreference Resolution | |
| Mrinmaya Sachan, Eduard Hovy, Eric P. Xing |
| Towards Addressing the Winograd Schema Challenge — Building and Using a Semantic Parser and a Knowledge Hunting Module | |
| Arpit Sharma, Nguyen H Vo, Somak Aditya, Chitta Baral |
| On Conceptual Labeling of a Bag of Words | |
| Xiangyan Sun, Yanghua Xiao, Haixun Wang, Wei Wang |
| Modeling Mention, Context and Entity with Neural Networks for Entity Disambiguation | |
| Yaming Sun, Lei Lin, Duyu Tang, Nan Yang, Zhenzhou Ji, Xiaolong Wang |
| User Modeling with Neural Network for Review Rating Prediction | |
| Duyu Tang, Bing Qin, Ting Liu, Yuekui Yang |
| Target-Dependent Twitter Sentiment Classification with Rich Automatic Features | |
| Duy-Tin Vo, Yue Zhang |
| Syntax-Based Deep Matching of Short Texts | |
| Mingxuan Wang, Zhengdong Lu, Hang Li, Qun Liu |
| Modeling Quantum Entanglements in Quantum Language Models | |
| Mengjiao Xie, Yuexian Hou, Peng Zhang, Jingfei Li, Wenjie Li, Dawei Song |
| Convolutional Neural Networks for Text Hashing | |
| Jiaming Xu, Peng Wang, Guanhua Tian, Bo Xu, Jun Zhao, Fangyuan Wang, Hongwei Hao |
| Compressive Document Summarization via Sparse Optimization | |
| Jin-ge Yao, Xiaojun Wan, Jianguo Xiao |
| Optimizing Sentence Modeling and Selection for Document Summarization | |
| Wenpeng Yin, Yulong Pei |
| Learning Term Embeddings for Hypernymy Identification | |
| Zheng Yu, Haixun Wang, Xuemin Lin, Min Wang |
| Local Translation Prediction with Global Sentence Representation | |
| Jiajun Zhang, Dakun Zhang, Jie Hao |
| Prior-Based Dual Additive Latent Dirichlet Allocation for User-Item Connected Documents | |
| Wei Zhang, Jianyong Wang |
| Representation Learning for Measuring Entity Relatedness with Rich Information | |
| Yu Zhao, Zhiyuan Liu, Maosong Sun |
| Linking Heterogeneous Input Features with Pivots for Domain Adaptation | |
| Guangyou Zhou, Tingting He, Wensheng Wu, Xiaohua Tony Hu |
| A Subspace Learning Framework for Cross-Lingual Sentiment Classification with Partial Parallel Data | PDF Erratum |
| Guangyou Zhou, Tingting He, Jun Zhao, Wensheng Wu |
Main Track — Ontologies
| Unsupervised Learning of an IS-A Taxonomy from a Limited Domain-Specific Corpus | |
| Daniele Alfarone, Jesse Davis |
| Coherence Across Components in Cognitive Systems — One Ontology to Rule Them All | |
| Gregor Behnke, Denis Ponomaryov, Marvin Schiller, Pascal Bercher, Florian Nothdurft, Birte Glimm, Susanne Biundo |
| How to Select One Preferred Assertional-Based Repair from Inconsistent and Prioritized DL-Lite Knowledge Bases? | |
| Salem Benferhat, Zied Bouraoui, Karim Tabia |
| Scalable Maintenance of Knowledge Discovery in an Ontology Stream | |
| Freddy Lecue |
| Bootstrapping Domain Ontologies from Wikipedia: A Uniform Approach | |
| Daniil Mirylenka, Andrea Passerini, Luciano Serafini |
| An Ontology Matching Approach Based on Affinity-Preserving Random Walks | |
| Chuncheng Xiang, Baobao Chang, Zhifang Sui |
Main Track — Planning
| Exploiting Symmetries by Planning for a Descriptive Quotient | |
| Mohammad Abdulaziz, Charles Gretton, Michael Norrish |
| Cost-Optimal and Net-Benefit Planning — A Parameterised Complexity View | |
| Meysam Aghighi, Christer Bäckström |
| On the Boundary of (Un)decidability: Decidable Model-Checking for a Fragment of Resource Agent Logic | |
| Natasha Alechina, Nils Bulling, Brian Logan, Hoang Nga Nguyen |
| Tight Bounds for HTN Planning with Task Insertion | |
| Ron Alford, Pascal Bercher, David W. Aha |
| ASAP-UCT: Abstraction of State-Action Pairs in UCT | |
| Ankit Anand, Aditya Grover, Mausam ., Parag Singla |
| Further Connections Between Contract-Scheduling and Ray-Searching Problems | |
| Spyros Angelopoulos |
| Temporal Planning with Semantic Attachment of Non-Linear Monotonic Continuous Behaviours | |
| Josef Bajada, Maria Fox, Derek Long |
| A Privacy Preserving Algorithm for Multi-Agent Planning and Search | |
| Ronen Israel Brafman |
| Exploiting Block Deordering for Improving Planners Efficiency | |
| Lukáš Chrpa, Fazlul Hasan Siddiqui |
| On the Online Generation of Effective Macro-Operators | |
| Lukáš Chrpa, Mauro Vallati, Thomas Leo McCluskey |
| Estimating the Probability of Meeting a Deadline in Hierarchical Plans | |
| Liat Cohen, Solomon Eyal Shimony, Gera Weiss |
| Synthesis for LTL and LDL on Finite Traces | |
| Giuseppe De Giacomo, Moshe Vardi |
| Mixed Discrete-Continuous Heuristic Generative Planning Based on Flow Tubes | |
| Enrique Fernandez-Gonzalez, Erez Karpas, Brian C. Williams |
| Delete Relaxations for Planning with State-Dependent Action Costs | |
| Florian Geißer, Thomas Keller, Robert Mattmüller |
| Optimal Planning with Axioms | |
| Franc Ivankovic, Patrik Haslum |
| Optimal Policy Generation for Partially Satisfiable Co-Safe LTL Specifications | |
| Bruno Lacerda, David Parker, Nick Hawes |
| Probabilistic Knowledge-Based Programs | |
| Jérôme Lang, Bruno Zanuttini |
| Metareasoning for Planning Under Uncertainty | |
| Christopher H. Lin, Andrey Kolobov, Ece Kamar, Eric Horvitz |
| Classical Planning with Simulators: Results on the Atari Video Games | |
| Nir Lipovetzky, Miquel Ramirez, Hector Geffner |
| Action2Activity: Recognizing Complex Activities from Sensor Data | |
| Ye Liu, Liqiang Nie, Lei Han, Luming Zhang, David S. Rosenblum |
| Exploratory Digraph Navigation Using A* | |
| Fabrice Mayran de Chamisso, Laurent Soulier, Michaël Aupetit |
| Compiling Away Uncertainty in Strong Temporal Planning with Uncontrollable Durations | |
| Andrea Micheli, Minh Do, David E. Smith |
| Sorting Sequential Portfolios in Automated Planning | |
| Sergio Núñez, Daniel Borrajo, Carlos Linares López |
| Factored Upper Bounds for Multiagent Planning Problems under Uncertainty with Non-Factored Value Functions | |
| Frans Adriaan Oliehoek, Matthijs T. J. Spaan, Stefan John Witwicki |
| Adversarial Hierarchical-Task Network Planning for Complex Real-Time Games | |
| Santiago Ontanon, Michael Buro |
| Models of Action Concurrency in Temporal Planning | |
| Jussi Rintanen |
| Point-Based Planning for Multi-Objective POMDPs | |
| Diederik Marijn Roijers, Shimon Whiteson, Frans A. Oliehoek |
| Deordering and Numeric Macro Actions for Plan Repair | |
| Enrico Scala, Pietro Torasso |
| Planning for Stochastic Games with Co-Safe Objectives | |
| Lei Song, Yuan Feng, Lijun Zhang |
| Simulation-Based Admissible Dominance Pruning | |
| Álvaro Torralba, Jörg Hoffmann |
| Polynomial-Time Reformulations of LTL Temporally Extended Goals into Final-State Goals | |
| Jorge Torres, Jorge A. Baier |
| On the Effective Configuration of Planning Domain Models | |
| Mauro Vallati, Frank Hutter, Lukas Chrpa, Thomas Leo McCluskey |
| Integrating Partial Order Reduction and Symmetry Elimination for Cost-Optimal Classical Planning | |
| Martin Wehrle, Malte Helmert, Alexander Shleyfman, Michael Katz |
| Multi-Objective POMDPs with Lexicographic Reward Preferences | |
| Kyle Hollins Wray, Shlomo Zilberstein |
| An Iterative Approach to Synthesize Data Transformation Programs | |
| Bo Wu, Craig A. Knoblock |
| MORRF*: Sampling-Based Multi-Objective Motion Planning | |
| Daqing Yi, Michael A. Goodrich, Kevin D Seppi |
Main Track — Recommender Systems
| Optimal Greedy Diversity for Recommendation | |
| Azin Ashkan, Branislav Kveton, Shlomo Berkovsky, Zheng Wen |
| Music Recommenders: User Evaluation Without Real Users? | |
| Susan Craw, Ben Horsburgh, Stewart Massie |
| A Synthetic Approach for Recommendation: Combining Ratings, Social Relations, and Reviews | |
| Guang-Neng Hu, Xin-Yu Dai, Yunya Song, Shu-Jian Huang, Jia-Jun Chen |
| Differentially Private Matrix Factorization | |
| Jingyu Hua, Chang Xia, Sheng Zhong |
| Sparse Probabilistic Matrix Factorization by Laplace Distribution for Collaborative Filtering | |
| Liping Jing, Peng Wang, Liu Yang |
| Personalized Tour Recommendation Based on User Interests and Points of Interest Visit Durations | |
| Kwan Hui Lim, Jeffrey Chan, Christopher Leckie, Shanika Karunasekera |
| Modeling Users' Dynamic Preference for Personalized Recommendation | |
| Xin Liu |
| A Boosting Algorithm for Item Recommendation with Implicit Feedback | |
| Yong Liu, Peilin Zhao, Aixin Sun, Chunyan Miao |
| Simple Atom Selection Strategy for Greedy Matrix Completion | |
| Zebang Shen, Hui Qian, Tengfei Zhou, Song Wang |
| Personalized Ad Recommendation Systems for Life-Time Value Optimization with Guarantees | |
| Georgios Theocharous, Philip S. Thomas, Mohammad Ghavamzadeh |
| Exploring Implicit Hierarchical Structures for Recommender Systems | |
| Suhang Wang, Jiliang Tang, Yilin Wang, Huan Liu |
| Recommendation Algorithms for Optimizing Hit Rate, User Satisfaction and Website Revenue | |
| Xin Wang, Yunhui Guo, Congfu Xu |
| Cross-Domain Collaborative Filtering with Review Text | |
| Xin Xin, Zhirun Liu, Chin-Yew Lin, Heyan Huang, Xiaochi Wei, Ping Guo |
Main Track — Relational Learning
| Inducing Probabilistic Relational Rules from Probabilistic Examples | |
| Luc De Raedt, Anton Dries, Ingo Thon, Guy Van den Broeck, Mathias Verbeke |
| Saul: Towards Declarative Learning Based Programming | |
| Parisa Kordjamshidi, Dan Roth, Hao Wu |
| Anytime Inference in Probabilistic Logic Programs with Tp-Compilation | |
| Jonas Vlasselaer, Guy Van den Broeck, Angelika Kimmig, Wannes Meert, Luc De Raedt |
| Knowledge Base Completion Using Embeddings and Rules | |
| Quan Wang, Bin Wang, Li Guo |
Main Track — Robotics and Vision
| Toward Estimating Others' Transition Models Under Occlusion for Multi-Robot IRL | |
| Kenneth Bogert, Prashant Doshi |
| Graph-Based Inverse Optimal Control for Robot Manipulation | |
| Arunkumar Byravan, Mathew Monfort, Brian Ziebart, Byron Boots, Dieter Fox |
| Reactive Integrated Motion Planning and Execution | |
| Andreas G. Hofmann, Enrique Fernandez, Justin Helbert, Scott D. Smith, Brian C. Williams |
| Weakly Supervised RBM for Semantic Segmentation | |
| Yong Li, Jing Liu, Yuhang Wang, Hanqing Lu, Songde Ma |
| Grounding the Meaning of Words through Vision and Interactive Gameplay | |
| Natalie Parde, Adam Hair, Michalis Papakostas, Konstantinos Tsiakas, Maria Dagioglou, Vangelis Karkaletsis, Rodney D. Nielsen |
| Intelligent Agent Supporting Human-Multi-Robot Team Collaboration | |
| Ariel Rosenfeld, Noa Agmon, Oleg Maksimov, Amos Azaria, Sarit Kraus |
| Co-Acquisition of Syntax and Semantics — An Investigation in Spatial Language | |
| Michael Spranger, Luc Steels |
| Reduced Time-Expansion Graphs and Goal Decomposition for Solving Cooperative Path Finding Sub-Optimally | |
| Pavel Surynek |
| Learning to Interpret Natural Language Commands through Human-Robot Dialog | |
| Jesse Thomason, Shiqi Zhang, Raymond J Mooney, Peter Stone |
| Logic-Geometric Programming: An Optimization-Based Approach to Combined Task and Motion Planning | |
| Marc Toussaint |
| Multi-Modality Tracker Aggregation: From Generative to Discriminative | |
| Xiaoqin Zhang, Wei Li, Mingyu Fan, Di Wang, Xiuzi Ye |
Main Track — Satisfiability
| Tractable Classes of Binary CSPs Defined by Excluded Topological Minors | |
| David A. Cohen, Martin C. Cooper, Peter G Jeavons, Stanislav Zivny |
| A Modularity-Based Random SAT Instances Generator | |
| Jesús Giráldez-Cru, Jordi Levy |
| An Exact Inference Scheme for MinSAT | |
| Chu-Min Li, Felip Manyà |
| Efficient Model Based Diagnosis with Maximum Satisfiability | |
| Joao Marques-Silva, Mikoláš Janota, Alexey Ignatiev, Antonio Morgado |
| Literal-Based MCS Extraction | |
| Carlos Mencía, Alessandro Previti, Joao Marques-Silva |
| Prime Compilation of Non-Clausal Formulae | |
| Alessandro Previti, Alexey Ignatiev, Antonio Morgado, Joao Marques-Silva |
Main Track — Sequential Decision Making
| Solving MDPs with Skew Symmetric Bilinear Utility Functions | |
| Hugo Gilbert, Olivier Spanjaard, Paolo Viappiani, Paul Weng |
| Non-Monotone Adaptive Submodular Maximization | |
| Alkis Gotovos, Amin Karbasi, Andreas Krause |
| Optimization of Probabilistic Argumentation with Markov Decision Models | |
| Emmanuel Hadoux, Aurélie Beynier, Nicolas Maudet, Paul Weng, Anthony Hunter |
| Stick-Breaking Policy Learning in Dec-POMDPs | |
| Miao Liu, Christopher Amato, Xuejun Liao, Lawrence Carin, Jonathan P. How |
Main Track — Social Choice Theory
| Structure in Dichotomous Preferences | |
| Edith Elkind, Martin Lackner |
| Efficient, Private, and eps-Strategyproof Elicitation of Tournament Voting Rules | |
| David Timothy Lee |
| Lie on the Fly: Iterative Voting Center with Manipulative Voters | |
| Lihi Naamani-Dery, Svetlana Obraztsova, Zinovi Rabinovich, Meir Kalech |
| Ranked Voting on Social Networks | |
| Ariel D. Procaccia, Nisarg Shah, Eric Sodomka |
| Non-Myopic Negotiators See What's Best | |
| Yair Zick, Yoram Bachrach, Ian A. Kash, Peter Key |
Main Track — Social Networks
| How Robust Is the Wisdom of the Crowds? | |
| Noga Alon, Michal Feldman, Omer Lev, Moshe Tennenholtz |
| Uncovering the Formation of Triadic Closure in Social Networks | |
| Zhanpeng Fang, Jie Tang |
| Personalized Ranking Metric Embedding for Next New POI Recommendation | |
| Shanshan Feng, Xutao Li, Yifeng Zeng, Gao Cong, Yeow Meng Chee, Quan Yuan |
| Influence Maximization in Big Networks: An Incremental Algorithm for Streaming Subgraph Influence Spread Estimation | |
| Wei-Xue Lu, Peng Zhang, Chuan Zhou, Chunyi Liu, Li Gao |
| Nonnegative Matrix Tri-Factorization with Graph Regularization for Community Detection in Social Networks | |
| Yulong Pei, Nilanjan Chakraborty, Katia Sycara |
| A Scalable Community Detection Algorithm for Large Graphs Using Stochastic Block Models | |
| Chengbin Peng, Zhihua Zhang, Ka-Chun Wong, Xiangliang Zhang, David Keyes |
| CEIL: A Scalable, Resolution Limit Free Approach for Detecting Communities in Large Networks | |
| Vishnu Sankar, Balaraman Ravindran, Shivashankar S |
| Maximizing the Coverage of Information Propagation in Social Networks | |
| Zhefeng Wang, Enhong Chen, Qi Liu, Yu Yang, Yong Ge, Biao Chang |
| Network Representation Learning with Rich Text Information | |
| Cheng Yang, Zhiyuan Liu, Deli Zhao, Maosong Sun, Edward Chang |
| Optimal Route Search with the Coverage of Users' Preferences | |
| Yifeng Zeng, Xuefeng Chen, Xin Cao, Shengchao Qin, Marc Cavazza, Yanping Xiang |
| Integrated Anchor and Social Link Predictions across Social Networks | |
| Jiawei Zhang, Philip S. Yu |
Main Track — Vision and Perception
| Groupwise Registration of Aerial Images | |
| Ognjen Arandjelovic, Duc-Son Pham, Svetha Venkatesh |
| Video Covariance Matrix Logarithm for Human Action Recognition in Videos | |
| Piotr Bilinski, Francois Bremond |
| Modeling Inter- and Intra-Part Deformations for Object Structure Parsing | |
| Ling Cai, Rongrong Ji, Wei Liu, Gang Hua |
| Cross-View Projective Dictionary Learning for Person Re-Identification | |
| Sheng Li, Ming Shao, Yun Fu |
| Inferring Painting Style with Multi-Task Dictionary Learning | |
| Gaowen Liu, Yan Yan, Elisa Ricci, Yi Yang, Yahong Han, Stefan Winkler, Nicu Sebe |
| Social Image Parsing by Cross-Modal Data Refinement | |
| Zhiwu Lu, Xin Gao, Songfang Huang, Liwei Wang, Ji-Rong Wen |
| Salient Object Detection via Augmented Hypotheses | |
| Tam Van Nguyen, Jose Sepulveda |
| Adaptive Sharing for Image Classification | |
| Li Shen, Gang Sun, Zhouchen Lin, Qingming Huang, Enhua Wu |
| Face Clustering in Videos with Proportion Prior | |
| Zhiqiang Tang, Yifan Zhang, Zechao Li, Hanqing Lu |
| Trailer Generation via a Point Process-Based Visual Attractiveness Model | |
| Hongteng Xu, Yi Zhen, Hongyuan Zha |
| Generalized Transitive Distance with Minimum Spanning Random Forest | |
| Zhiding Yu, Weiyang Liu, Wenbo Liu, Xi Peng, Zhuo Hui, B. V. K. Vijaya Kumar |
| Saliency Detection with a Deeper Investigation of Light Field | |
| Jun Zhang, Meng Wang, Jun Gao, Yi Wang, Xudong Zhang, Xindong Wu |
| Semantic Single Video Segmentation with Robust Graph Representation | |
| Handong Zhao, Yun Fu |
Main Track — Web and Knowledge-Based Information Systems
| Reasoning with Style | |
| Marti Bosch, Pierre Geneves, Nabil Layaida |
| Semantic Concept Discovery for Large-Scale Zero-Shot Event Detection | |
| Xiaojun Chang, Yi Yang, Alexander Hauptmann, Eric P Xing, Yao-Liang Yu |
| Raising Expectations in GDA Agents Acting in Dynamic Environments | |
| Dustin Dannenhauer, Hector Munoz-Avila |
| Scalable Graph Hashing with Feature Transformation | |
| Qing-Yuan Jiang, Wu-Jun Li |
| Web Page Classification Based on Uncorrelated Semi-Supervised Intra-View and Inter-View Manifold Discriminant Feature Extraction | |
| Xiao-Yuan Jing, Qian Liu, Fei Wu, Baowen Xu, Yangping Zhu, Songcan Chen |
| Distance-Bounded Consistent Query Answering | |
| Andreas Pfandler, Emanuel Sallinger |
| Short and Sparse Text Topic Modeling via Self-Aggregation | |
| Xiaojun Quan, Chunyu Kit, Yong Ge, Sinno Jialin Pan |
| Personalized Sentiment Classification Based on Latent Individuality of Microblog Users | |
| Kaisong Song, Shi Feng, Wei Gao, Daling Wang, Ge Yu, Kam-Fai Wong |
| Online Learning to Rank for Content-Based Image Retrieval | |
| Ji Wan, Pengcheng Wu, Steven C. H. Hoi, Peilin Zhao, Xingyu Gao, Dayong Wang, Yongdong Zhang, Jintao Li |
| Deep Multimodal Hashing with Orthogonal Regularization | |
| Daixin Wang, Peng Cui, Mingdong Ou, Wenwu Zhu |
| Hamming Compatible Quantization for Hashing | |
| Zhe Wang, Ling-Yu Duan, Jie Lin, Xiaofang Wang, Tiejun Huang, Wen Gao |
| Determining Expert Research Areas with Multi-Instance Learning of Hierarchical Multi-Label Classification Model | |
| Tao Wu, Qifan Wang, Zhiwei Zhang, Luo Si |
Main Track — Web Mining
| Sampling with Minimum Sum of Squared Similarities for Nystrom-Based Large Scale Spectral Clustering | |
| Djallel Bouneffouf, Inanc Birol |
| Tracking Political Elections on Social Media: Applications and Experience | |
| Danish Contractor, Bhupesh Chawda, Sameep Mehta, L Venkata Subramaniam, Tanveer Afzal Faruquie |
| Deep Learning for Event-Driven Stock Prediction | |
| Xiao Ding, Yue Zhang, Ting Liu, Junwen Duan |
| Large Scale Homophily Analysis in Twitter Using a Twixonomy | |
| Stefano Faralli, Giovanni Stilo, Paola Velardi |
| Interactive Gender Inference with Integer Linear Programming | |
| Shoushan Li, Jingjing Wang, Guodong Zhou, Hanxiao Shi |
| Detecting Promotion Campaigns in Community Question Answering | |
| Xin Li, Yiqun Liu, Min Zhang, Shaoping Ma, Xuan Zhu, Jiashen Sun |
| VRCA: A Clustering Algorithm for Massive Amount of Texts | |
| Ming Liu, Lei Chen, Bingquan Liu, Xiaolong Wang |
| Towards Domain-Specific Semantic Relatedness: A Case Study from Geography | |
| Shilad Sen, Isaac Johnson, Rebecca Harper, Huy Mai, Samuel Horlbeck Olsen, Benjamin Mathers, Laura Souza Vonessen, Matthew Wright, Brent Hecht |
| Interest Inference via Structure-Constrained Multi-Source Multi-Task Learning | |
| Xuemeng Song, Liqiang Nie, Luming Zhang, Maofu Liu, Tat-Seng Chua |
| Unsupervised Sentiment Analysis for Social Media Images | |
| Yilin Wang, Suhang Wang, Jiliang Tang, Huan Liu, Baoxin Li |
| Re-Ranking Voting-Based Answers by Discarding User Behavior Biases | |
| Xiaochi Wei, Heyan Huang, Chin-Yew Lin, Xin Xin, Xianling Mao, Shangguang Wang |
| A Unified Probabilistic Model of User Activities and Relations on Social Networking Sites | |
| Xiaofeng Yu, Junqing Xie, Shuai Wang |
| Exploiting k-Degree Locality to Improve Overlapping Community Detection | |
| Hongyi Zhang, Michael R. Lyu, Irwin King |
| Learning Geographical Hierarchy Features for Social Image Location Prediction | |
| Xiaoming Zhang, Xia Hu, Zhoujun Li |
| Catch the Black Sheep: Unified Framework for Shilling Attack Detection Based on Fraudulent Action Propagation | |
| Yongfeng Zhang, Yunzhi Tan, Min Zhang, Yiqun Liu, Tat-Seng Chua, Shaoping Ma |
| Tackling Data Sparseness in Recommendation using Social Media based Topic Hierarchy Modeling | |
| Xingwei Zhu, Zhao-Yan Ming, Yu Hao, Xiaoyan Zhu |
Artificial Intelligence and the Arts Track
| Artificial Intelligence in the Concertgebouw | |
| Andreas Arzt, Harald Frostel, Thassilo Gadermaier, Martin Gasser, Maarten Grachten, Gerhard Widmer |
| Kinetic Imaginations: Exploring the Possibilities of Combining AI and Dance | |
| Alexander Berman, Valencia James |
| Heroic versus Collaborative AI for the Arts | |
| Mark d'Inverno, Jon McCormack |
| Computational Invention of Cadences and Chord Progressions by Conceptual Chord-Blending | |
| Manfred Eppe, Roberto Confalonieri, Ewen MacLean, Maximos Kaliakatsos, Emilios Cambouropoulos, Marco Schorlemmer, Mihai Codescu, Kai-Uwe Kühnberger |
| Slogans Are Not Forever: Adapting Linguistic Expressions to the News | |
| Lorenzo Gatti, Gözde Özbal, Marco Guerini, Oliviero Stock, Carlo Strapparava |
| Pseudo-Supervised Training Improves Unsupervised Melody Segmentation | |
| Stefan Lattner, Carlos Eduardo Cancino Chacón, Maarten Grachten |
| Swarm Systems in the Visualization of Consumption Patterns | |
| Catarina Maçãs, Pedro Cruz, Pedro Martins, Penousal Machado |
| Evolving Ambiguous Images | |
| Penousal Machado, Adriano Vinhas, João Correia, Aniko Ekárt |
| The Scaffolded Sound Beehive | |
| AnneMarie Maes |
| Generating 1/f Noise Sequences as Constraint Satisfaction: The Voss Constraint | |
| François Pachet, Pierre Roy, Alexandre Papadopoulos, Jason Sakellariou |
| Generating all Possible Palindromes from Ngram Corpora | |
| Alexandre Papadopoulos, Pierre Roy, Jean-Charles Régin, François Pachet |
| Haiku Generator that Reads Blogs and Illustrates Them with Sounds and Images | |
| Rafal Rzepka, Kenji Araki |
| Looking at Mondrian's Victory Boogie-Woogie: What Do I Feel? | |
| Andreza Sartori, Yan Yan, Gözde Özbal, Alkim Almila Akdag Salah, Albert Ali Salah, Nicu Sebe |
| Aesthetic Visual Quality Evaluation of Chinese Handwritings | |
| Rongju Sun, Zhouhui Lian, Yingmin Tang, Jianguo Xiao |
| Narrative Hermeneutic Circle: Improving Character Role Identification from Natural Language Text via Feedback Loops | |
| Josep Valls-Vargas, Jichen Zhu, Santiago Ontanon |
| Learning to Rap Battle with Bilingual Recursive Neural Networks | |
| Dekai Wu, Karteek Addanki |
| Stroke-Based Stylization Learning and Rendering with Inverse Reinforcement Learning | |
| Ning Xie, Tingting Zhao, Feng Tian, Xiao Hua Zhang, Masashi Sugiyama |
Computational Sustainability Track
| Online Fair Division: Analysing a Food Bank Problem | |
| Martin Damyanov Aleksandrov, Haris Aziz, Serge Gaspers, Toby Walsh |
| A Personalised Thermal Comfort Model Using a Bayesian Network | |
| Frederik Auffenberg, Sebastian Stein, Alex Rogers |
| Aggregate Demand-Based Real-Time Pricing Mechanism for the Smart Grid: A Game-Theoretic Analysis | |
| Sambaran Bandyopadhyay, Ramasuri Narayanam, Ramachandra Kota, Pg Dr Mohammad Iskandarbin Pg Hj Petra, Zainul Charbiwala |
| Batch Reinforcement Learning for Smart Home Energy Management | |
| Heider Berlink, Anna HR Costa |
| Reasoning about Connectivity Constraints | |
| Christian Bessiere, Emmanuel Hebrard, George Katsirelos, Toby Walsh |
| Clustering Dynamic Spatio-Temporal Patterns in The Presence of Noise and Missing Data | |
| Xi Chen, James H. Faghmous, Ankush Khandelwal, Vipin Kumar |
| α-min: A Compact Approximate Solver For Finite-Horizon POMDPs | |
| Yann Dujardin, Tom Dietterich, Iadine Chades |
| When Security Games Go Green: Designing Defender Strategies to Prevent Poaching and Illegal Fishing | |
| Fei Fang, Peter Stone, Milind Tambe |
| Modeling Multi-Attribute Demand for Sustainable Cloud Computing with Copulae | |
| Maryam Ghasemi, Benjamin Lubin |
| On the Balance of Meter Deployment Cost and NILM Accuracy | |
| Xiaohong Hao, Bangsheng Tang, Yongcai Wang |
| Online Mechanisms for Charging Electric Vehicles in Settings with Varying Marginal Electricity Costs | |
| Keiichiro Hayakawa, Enrico H. Gerding, Sebastian Stein, Takahiro Shiga |
| Secure Routing in Wireless Sensor Networks via POMDPs | |
| Athirai A. Irissappane, Jie Zhang, Frans A. Oliehoek, Partha S. Dutta |
| Approximately Stable Pricing for Coordinated Purchasing of Electricity | |
| Andrew Perrault, Craig Boutilier |
| Multiple Instance Learning-Based Birdsong Classification Using Unsupervised Recording Segmentation | |
| Jose F. Ruiz-Muñoz, Mauricio Orozco Alzate, G. Castellanos-Dominguez |
| Abstract Routing Models and Abstractions in the Context of Vehicle Routing | |
| René Schönfelder, Martin Leucker |
| Copula Graphical Models for Wind Resource Estimation | |
| Kalyan Veeramachaneni, Alfredo Cuesta-Infante, Una-May O'Reilly |
| Fast Combinatorial Algorithm for Optimizing the Spread of Cascades | |
| Xiaojian Wu, Daniel Sheldon, Shlomo Zilberstein |
| Optimal Electric Vehicle Charging Station Placement | |
| Yanhai Xiong, Jiarui Gan, Bo An, Chunyan Miao, Ana L. C. Bazzan |
| A Crowdfunding Model for Green Energy Investment | |
| Ronghuo Zheng, Ying Xu, Nilanjan Chakraborty, Katia Sycara |
Knowledge Representation Track
| A MaxSAT Algorithm Using Cardinality Constraints of Bounded Size | |
| Mario Alviano, Carmine Dodaro, Francesco Ricca |
| Stable Model Semantics of Abstract Dialectical Frameworks Revisited: A Logic Programming Perspective | |
| Mario Alviano, Wolfgang Faber |
| Combining Existential Rules and Description Logics | |
| Antoine Amarilli, Michael Benedikt |
| Bidirectional Constraints for Exchanging Data: Beyond Monotone Queries | |
| Marcelo Arenas, Gabriel Diéguez, Jorge Pérez |
| First-Order Rewritability of Temporal Ontology-Mediated Queries | |
| Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev |
| Multi-Agent Only Knowing on Planet Kripke | |
| Guillaume Aucher, Vaishak Belle |
| Combining Existential Rules and Transitivity: Next Steps | |
| Jean-François Baget, Meghyn Bienvenu, Marie-Laure Mugnier, Swan Rocher |
| Dealing with Generic Contrariness in Structured Argumentation | |
| Pietro Baroni, Massimiliano Giacomin, Beishui Liao |
| AGM Meets Abstract Argumentation: Expansion and Revision for Dung Frameworks | |
| Ringo Baumann, Gerhard Brewka |
| Answer Update for Rule-Based Stream Reasoning | |
| Harald Beck, Minh Dao-Tran, Thomas Eiter |
| Epistemic Quantified Boolean Logic: Expressiveness and Completeness Results | |
| Francesco Belardinelli, Wiebe van der Hoek |
| Only Knowing Meets Common Knowledge | |
| Vaishak Belle, Gerhard Lakemeyer |
| ALLEGRO: Belief-Based Programming in Stochastic Dynamical Domains | |
| Vaishak Belle, Hector Levesque |
| Probabilistic Inference in Hybrid Domains by Weighted Model Integration | |
| Vaishak Belle, Andrea Passerini, Guy Van den Broeck |
| Compatible-Based Conditioning in Interval-Based Possibilistic Logic | |
| Salem Benferhat, Amélie Levray, Karim Tabia, Vladik Kreinovich |
| Partial Grounded Fixpoints | |
| Bart Bogaerts, Joost Vennekens, Marc Denecker |
| Complexity Results in Epistemic Planning | |
| Thomas Bolander, Martin Holm Jensen, Francois Schwarzentruber |
| Policies that Generalize: Solving Many Planning Problems with the Same Policy | |
| Blai Bonet, Hector Geffner |
| On the Entailment Problem for a Logic of Typicality | |
| Richard Booth, Giovanni Casini, Thomas Andreas Meyer, Ivan José Varzinczak |
| The Complexity of Subsumption in Fuzzy EL | |
| Stefan Borgwardt, Marco Cerami, Rafael Peñaloza |
| Temporal Query Answering in the Description Logic EL | |
| Stefan Borgwardt, Veronika Thost |
| Reasonable Highly Expressive Query Languages | |
| Pierre Bourhis, Markus Krötzsch, Sebastian Rudolph |
| Logic Program Termination Analysis Using Atom Sizes | |
| Marco Calautti, Sergio Greco, Cristian Molinaro, Irina Trubitsyna |
| On the Undecidability of the Situation Calculus Extended with Description Logic Ontologies | |
| Diego Calvanese, Giuseppe De Giacomo, Mikhail Soutchanski |
| Verification of Generalized Inconsistency-Aware Knowledge and Action Bases | |
| Diego Calvanese, Marco Montali, Ario Santoso |
| Probabilistic Belief Contraction Using Argumentation | |
| Kinzang Chhogyal, Abhaya Nayak, Zhiqiang Zhuang, Abdul Sattar |
| Tractable Learning for Structured Probability Spaces: A Case Study in Learning Preference Distributions | |
| Arthur Choi, Guy Van den Broeck, Adnan Darwiche |
| An Algebra of Granular Temporal Relations for Qualitative Reasoning | |
| Quentin Cohen-Solal, Maroua Bouzid, Alexandre Niveau |
| Extension Enforcement in Abstract Argumentation as an Optimization Problem | |
| Sylvie Coste-Marquis, Sébastien Konieczny, Jean-Guy Mailly, Pierre Marquis |
| Controlled Query Evaluation for Datalog and OWL 2 Profile Ontologies | |
| Bernardo Cuenca Grau, Evgeny Kharlamov, Egor V. Kostylev, Dmitriy Zheleznyakov |
| Multilateral Negotiation in Boolean Games with Incomplete Information Using Generalized Possibilistic Logic | |
| Sofie De Clercq, Steven Schockaert, Ann Nowé, Martine De Cock |
| Fixed-Parameter Tractable Reductions to SAT for Planning | |
| Ronald de Haan, Martin Kronegger, Andreas Pfandler |
| The Logic of Qualitative Probability | |
| James Delgrande, Bryan Renne |
| On the Aggregation of Argumentation Frameworks | |
| Jérôme Delobelle, Sébastien Konieczny, Srdjan Vesic |
| Combining Existential Rules with the Power of CP-Theories | |
| Tommaso Di Noia, Thomas Lukasiewicz, Maria Vanina Martinez, Gerardo I. Simari, Oana Tifrea-Marciuska |
| An Extension-Based Approach to Belief Revision in Abstract Argumentation | |
| Martin Diller, Adrian Haret, Thomas Linsbichler, Stefan Rümmele, Stefan Woltran |
| The Cube of Opposition: A Structure Underlying Many Knowledge Representation Formalisms | |
| Didier Dubois, Henri Prade, Agnès Rico |
| Modular Systems with Preferences | |
| Alireza Ensan, Eugenia Ternovska |
| A Logic for Reasoning about Justified Uncertain Beliefs | |
| Tuan-Fang Fan, Churn-Jung Liau |
| On the Progression of Knowledge and Belief for Nondeterministic Actions in the Situation Calculus | |
| Liangda Fang, Yongmei Liu, Ximing Wen |
| Epistemic Equilibrium Logic | |
| Luis Fariñas del Cerro, Andreas Herzig, Ezgi Iraz Su |
| The Combined Approach to Query Answering Beyond the OWL 2 Profiles | |
| Cristina Feier, David Carral, Giorgio Stefanoni, Bernardo Cuenca Grau, Ian Horrocks |
| Computing Social Behaviours Using Agent Models | |
| Paolo Felli, Tim Miller, Christian Muise, Adrian R. Pearce, Liz Sonenberg |
| On the Computational Complexity of Naive-Based Semantics for Abstract Dialectical Frameworks | |
| Sarah Alice Gaggl, Sebastian Rudolph, Hannes Strass |
| Polynomial Rewritings for Linear Existential Rules | |
| Georg Gottlob, Marco Manna, Andreas Pieris |
| Beyond SPARQL under OWL 2 QL Entailment Regime: Rules to the Rescue | |
| Georg Gottlob, Andreas Pieris |
| Group Decision Making via Weighted Propositional Logic: Complexity and Islands of Tractability | |
| Gianluigi Greco, Jerome Lang |
| Lightweight Temporal Description Logics with Rigid Roles and Restricted TBoxes | |
| Víctor Gutiérrez-Basulto, Jean Christoph Jung, Thomas Schneider |
| A Modification of the Halpern-Pearl Definition of Causality | |
| Joseph Halpern |
| Efficient Query Rewriting in the Description Logic EL and Beyond | |
| Peter Hansen, Carsten Lutz, İnanç Seylan, Frank Wolter |
| Merging in the Horn Fragment | |
| Adrian Haret, Stefan Rümmele, Stefan Woltran |
| Schema.org as a Description Logic | |
| Andre Hernich, Carsten Lutz, Ana Ozaki, Frank Wolter |
| Modelling the Persuadee in Asymmetric Argumentation Dialogues for Persuasion | |
| Anthony Hunter |
| Trust-Sensitive Belief Revision | |
| Aaron Hunter, Richard Booth |
| Simplifying A Logic Program Using Its Consequences | |
| Jianmin Ji, Hai Wan, Ziwei Huo, Zhenfeng Yuan |
| On Forgetting Postulates in Answer Set Programming | |
| Jianmin Ji, Jia-Huai You, Yisong Wang |
| Efficient Semantic Features for Automated Reasoning over Large Theories | |
| Cezary Kaliszyk, Josef Urban, Jiri Vyskocil |
| Computing Horn Rewritings of Description Logics Ontologies | |
| Mark Kaminski, Bernardo Cuenca Grau |
| Efficient Paraconsistent Reasoning with Ontologies and Rules | |
| Tobias Kaminski, Matthias Knorr, João Leite |
| Query Rewriting for Existential Rules with Compiled Preorder | |
| Melanie Konig, Michel Leclere, Marie-Laure Mugnier |
| Automatic Verification of Partial Correctness of Golog Programs | |
| Naiqi Li, Yongmei Liu |
| Ontology-Mediated Queries with Closed Predicates | |
| Carsten Lutz, Inanc Seylan, Frank Wolter |
| Combining Rewriting and Incremental Materialisation Maintenance for Datalog Programs with Equality | |
| Boris Motik, Yavor Nenov, Robert Piro, Ian Horrocks |
| Kernel Contraction and Base Dependence: Redundancy in the Base Resulting in Different Types of Dependence | |
| Mehrdad Oveisi, James P. Delgrande, Fred Popowich, Francis Jeffry Pelletier |
| A Top-Down Compiler for Sentential Decision Diagrams | |
| Umut Oztok, Adnan Darwiche |
| On the Parameterized Complexity of Belief Revision | |
| Andreas Pfandler, Stefan Rümmele, Johannes Peter Wallner, Stefan Woltran |
| Probabilistic Reasoning with Inconsistent Beliefs Using Inconsistency Measures | |
| Nico Potyka, Matthias Thimm |
| Did You Know? — Mining Interesting Trivia for Entities from Wikipedia | |
| Abhay Prakash, Manoj Kumar Chinnakotla, Dhaval Patel, Puneet Garg |
| Realizability of Three-Valued Semantics for Abstract Dialectical Frameworks | |
| Jörg Pührer |
| Execution Monitoring as Meta-Games for General Game-Playing Robots | |
| David Rajaratnam, Michael Thielscher |
| Membership Constraints in Formal Concept Analysis | |
| Sebastian Rudolph, Christian Sacarea, Diana Troanca |
| Characterization of the Expressivity of Existential Rule Queries | |
| Sebastian Rudolph, Michaël Thomazo |
| Towards Fully Observable Non-Deterministic Planning as Assumption-based Automatic Synthesis | |
| Sebastian Sardina, Nicolas D'Ippolito |
| Qualitative Reasoning about Directions in Semantic Spaces | |
| Steven Schockaert, Jae Hee Lee |
| Belief Revision and Progression of Knowledge Bases in the Epistemic Situation Calculus | |
| Christoph Schwering, Gerhard Lakemeyer, Maurice Pagnucco |
| MergeXplain: Fast Computation of Multiple Conflicts for Diagnosis | |
| Kostyantyn Shchekotykhin, Dietmar Jannach, Thomas Schmitz |
| Efficiently Characterizing Non-Redundant Constraints in Large Real World Qualitative Spatial Networks | |
| Michael Sioutis, Sanjiang Li, Jean-Francois Condotta |
| Characterizability in Belief Revision | |
| György Turán, Jon Yaggie |
| Efficiently Finding Conditional Instruments for Causal Inference | |
| Benito van der Zander, Johannes Textor, Maciej Liskiewicz |
| AGM Revision of Beliefs about Action and Time | |
| Marc van Zee, Dragan Doder, Mehdi Dastani, Leendert van der Torre |
| A Complete Epistemic Planner without the Epistemic Closed World Assumption | |
| Hai Wan, Rui Yang, Liangda Fang, Yongmei Liu, Huada Xu |
| Query Understanding through Knowledge-Based Conceptualization | |
| Zhongyuan Wang, Kejun Zhao, Haixun Wang, Xiaofeng Meng, Ji-Rong Wen |
| Computation and Complexity of Preference Inference Based on Hierarchical Models | |
| Nic Wilson, Anne-Marie George, Barry O'Sullivan |
| Verification of Knowledge-Based Programs over Description Logic Actions | |
| Benjamin Zarrieß, Jens Claßen |
| Characterizing Causal Action Theories and Their Implementations in Answer Set Programming: Action Languages B, C, and Beyond | |
| Haodi Zhang, Fangzhen Lin |
| First-Order Disjunctive Logic Programming vs Normal Logic Programming | |
| Yi Zhou |
| Extending AGM Contraction to Arbitrary Logics | |
| Zhiqiang Zhuang, Zhe Wang, Kewen Wang, James P Delgrande |
Machine Learning Track
| Learning Regular Languages via Alternating Automata | |
| Dana Angluin, Sarah Eisenstat, Dana Fisman |
| Maximum Entropy Semi-Supervised Inverse Reinforcement Learning | |
| Julien Audiffren, Michal Valko, Alessandro Lazaric, Mohammad Ghavamzadeh |
| A Graph Kernel Based on the Jensen-Shannon Representation Alignment | |
| Lu Bai, Zhihong Zhang, Chaoyan Wang, Xiao Bai, Edwin Hancock |
| An Expectation-Maximization Algorithm to Compute a Stochastic Factorization From Data | |
| Andre M. S. Barreto, Rafael L. Beirigo, Joelle Pineau, Doina Precup |
| Count-Based Frequency Estimation with Bounded Memory | |
| Marc G. Bellemare |
| Autonomous Cross-Domain Knowledge Transfer in Lifelong Policy Gradient Reinforcement Learning | |
| Haitham Bou Ammar, Eric Eaton, Jose Marcio Luna, Paul Ruvolo |
| Reinforcement Learning from Demonstration through Shaping | |
| Tim Brys, Anna Harutyunyan, Halit Bener Suay, Sonia Chernova, Matthew E. Taylor, Ann Nowé |
| Compressed Spectral Regression for Efficient Nonlinear Dimensionality Reduction | |
| Deng Cai |
| Policy Shaping with Human Teachers | |
| Thomas Cederborg, Ishaan Grover, Charles L Isbell, Andrea L Thomaz |
| A Space Alignment Method for Cold-Start TV Show Recommendations | |
| Shiyu Chang, Jiayu Zhou, Pirooz Chubak, Junling Hu, Thomas Huang |
| Direct Policy Iteration with Demonstrations | |
| Jessica Chemali, Alessandro Lazaric |
| Model Metric Co-Learning for Time Series Classification | |
| Huanhuan Chen, Fengzhen Tang, Peter Tino, Anthony G. Cohn, Xin Yao |
| Training-Efficient Feature Map for Shift-Invariant Kernels | |
| Xixian Chen, Haiqin Yang, Irwin King, Michael R. Lyu |
| Mirror Representation for Modeling View-Specific Transform in Person Re-Identification | |
| Ying-Cong Chen, Wei-Shi Zheng, Jianhuang Lai |
| Efficient Generalized Conditional Gradient with Gradient Sliding for Composite Optimization | |
| Yiu-ming Cheung, Jian Lou |
| Robust Learning for Repeated Stochastic Games via Meta-Gaming | |
| Jacob W. Crandall |
| Learning Efficient Logical Robot Strategies Involving Composable Objects | |
| Andrew Cropper, Stephen H. Muggleton |
| Optimal Bayesian Hashing for Efficient Face Recognition | |
| Qi Dai, Jianguo Li, Jun Wang, Yurong Chen, Yu-Gang Jiang |
| Multi-View Matrix Decomposition: A New Scheme for Exploring Discriminative Information | |
| Cheng Deng, Zongting Lv, Wei Liu, Junzhou Huang, Dacheng Tao, Xinbo Gao |
| Intersecting Manifolds: Detection, Segmentation, and Labeling | |
| Shay Deutsch, Gerard Guy Medioni |
| Deep Low-Rank Coding for Transfer Learning | |
| Zhengming Ding, Ming Shao, Yun Fu |
| Speeding Up Automatic Hyperparameter Optimization of Deep Neural Networks by Extrapolation of Learning Curves | |
| Tobias Domhan, Jost Tobias Springenberg, Frank Hutter |
| Topic Modeling with Document Relative Similarities | |
| Jianguang Du, Jing Jiang, Dandan Song, Lejian Liao |
| Robust Multiple Kernel K-means Using L21-Norm | |
| Liang Du, Peng Zhou, Lei Shi, Hanmo Wang, Mingyu Fan, Wenjian Wang, Yi-Dong Shen |
| Crowdsourced Semantic Matching of Multi-Label Annotations | |
| Lei Duan, Satoshi Oyama, Masahito Kurihara, Haruhiko Sato |
| Random Feature Mapping with Signed Circulant Matrix Projection | |
| Chang Feng, Qinghua Hu, Shizhong Liao |
| Quiet: Faster Belief Propagation for Images and Related Applications | |
| Yasuhiro Fujiwara, Dennis Shasha |
| Potential Based Reward Shaping for Hierarchical Reinforcement Learning | |
| Yang Gao, Francesca Toni |
| Pre-release Prediction of Crowd Opinion on Movies by Label Distribution Learning | |
| Xin Geng, Peng Hou |
| Multitask Coactive Learning | |
| Robby Goetschalckx, Alan Fern, Prasad Tadepalli |
| Multi-Label Structure Learning with Ising Model Selection | |
| Andre R. Goncalves, Fernando J. Von Zuben, Arindam Banerjee |
| Bi-Parameter Space Partition for Cost-Sensitive SVM | |
| Bin Gu, Victor S. Sheng, Shuo Li |
| Online Robust Low Rank Matrix Recovery | |
| Xiaojie Guo |
| Robust Subspace Segmentation by Simultaneously Learning Data Representations and Their Affinity Matrix | |
| Xiaojie Guo |
| Active Imitation Learning of Hierarchical Policies | |
| Mandana Hamidi, Prasad Tadepalli, Robby Goetschalckx, Alan Fern |
| Identification of Time-Dependent Causal Model: A Gaussian Process Treatment | |
| Biwei Huang, Kun Zhang, Bernhard Schölkopf |
| A New Simplex Sparse Learning Model to Measure Data Similarity for Clustering | |
| Jin Huang, Feiping Nie, Heng Huang |
| Scalable Gaussian Process Regression Using Deep Neural Networks | |
| Wenbing Huang, Deli Zhao, Fuchun Sun, Huaping Liu, Edward Chang |
| Training-Time Optimization of a Budgeted Booster | |
| Yi Huang, Brian Powers, Lev Reyzin |
| Robust Dictionary Learning with Capped l1-Norm | |
| Wenhao Jiang, Feiping Nie, Heng Huang |
| Fast Cross-Validation for Incremental Learning | |
| Pooria Joulani, Andras Gyorgy, Csaba Szepesvari |
| Bayesian Active Learning for Posterior Estimation | |
| Kirthevasan Kandasamy, Jeff Schneider, Barnabas Poczos |
| Collaborative Place Models | |
| Berk Kapicioglu, David S. Rosenberg, Robert E. Schapire, Tony Jebara |
| Symbol Acquisition for Probabilistic High-Level Planning | |
| George Konidaris, Leslie Kaelbling, Tomas Lozano-Perez |
| Data Sparseness in Linear SVM | |
| Xiang Li, Huaimin Wang, Bin Gu, Charles X. Ling |
| Multi-Label Classification with Feature-Aware Non-Linear Label Space Transformation | |
| Xin Li, Yuhong Guo |
| Multi-Task Model and Feature Joint Learning | |
| Ya Li, Xinmei Tian, Tongliang Liu, Dacheng Tao |
| Word Embedding Revisited: A New Representation Learning and Explicit Matrix Factorization Perspective | |
| Yitan Li, Linli Xu, Fei Tian, Liang Jiang, Xiaowei Zhong, Enhong Chen |
| Mixed Error Coding for Face Recognition with Mixed Occlusions | |
| Ronghua Liang, Xiao-Xin Li |
| Density Corrected Sparse Recovery when R.I.P. Condition Is Broken | |
| Ming Lin, Zhengzhong Lan, Alexander G. Hauptmann |
| Regularizing Flat Latent Variables with Hierarchical Structures | |
| Rongcheng Lin, Huayu Li, Xiaojun Quan, Richang Hong, Zhiang Wu, Yong Ge |
| Robust Kernel Dictionary Learning Using a Whole Sequence Convergent Algorithm | |
| Huaping Liu, Jie Qin, Hong Cheng, Fuchun Sun |
| Multi-Task Multi-Dimensional Hawkes Processes for Modeling Event Sequences | |
| Dixin Luo, Hongteng Xu, Yi Zhen, Xia Ning, Hongyuan Zha, Xiaokang Yang, Wenjun Zhang |
| Between Imitation and Intention Learning | |
| James MacGlashan, Michael L. Littman |
| Optimizing Locally Linear Classifiers with Supervised Anchor Point Learning | |
| Xue Mao, Zhouyu Fu, Ou Wu, Weiming Hu |
| Using A* for Inference in Probabilistic Classifier Chains | |
| Deiner Mena, Elena Montañés, José Ramón Quevedo, Juan José del Coz |
| Introspective Forecasting | |
| Loizos Michael |
| EntScene: Nonparametric Bayesian Temporal Segmentation of Videos Aimed at Entity-Driven Scene Detection | |
| Adway Mitra, Chiranjib Bhattacharyya, Soma Biswas |
| Image Feature Learning for Cold Start Problem in Display Advertising | |
| Kaixiang Mo, Bo Liu, Lei Xiao, Yong Li, Jie Jiang |
| Inverse Reinforcement Learning in Relational Domains | |
| Thibaut Munzer, Bilal Piot, Matthieu Geist, Olivier Pietquin, Manuel Lopes |
| On the Runtime of Randomized Local Search and Simple Evolutionary Algorithms for Dynamic Makespan Scheduling | |
| Frank Neumann, Carsten Witt |
| Weakly Supervised Matrix Factorization for Noisily Tagged Image Parsing | |
| Yulei Niu, Zhiwu Lu, Songfang Huang, Peng Han, Ji-Rong Wen |
| Graph Invariant Kernels | |
| Francesco Orsini, Paolo Frasconi, Luc De Raedt |
| EigenGP: Gaussian Process Models with Adaptive Eigenfunctions | |
| Hao Peng, Yuan Qi |
| Scalable Probabilistic Tensor Factorization for Binary and Count Data | |
| Piyush Rai, Changwei Hu, Matthew Harding, Lawrence Carin |
| Nonparametric Independence Testing for Small Sample Sizes | |
| Aaditya Ramdas, Leila Wehbe |
| Data Compression for Learning MRF Parameters | |
| Khaled S. Refaat, Adnan Darwiche |
| Extended Discriminative Random Walk: A Hypergraph Approach to Multi-View Multi-Relational Transductive Learning | |
| Sai Nageswar Satchidanand, Harini Ananthapadmanaban, Balaraman Ravindran |
| Deep Linear Coding for Fast Graph Clustering | |
| Ming Shao, Sheng Li, Zhengming Ding, Yun Fu |
| Semi-Orthogonal Multilinear PCA with Relaxed Start | |
| Qiquan Shi, Haiping Lu |
| A Geometric Theory of Feature Selection and Distance-Based Measures | |
| Kilho Shin, Adrian Pino Angulo |
| Open Domain Short Text Conceptualization: A Generative + Descriptive Modeling Approach | |
| Yangqiu Song, Shusen Wang, Haixun Wang |
| Equivalence Results between Feedforward and Recurrent Neural Networks for Sequences | |
| Alessandro Sperduti |
| Polytree-Augmented Classifier Chains for Multi-Label Classification | |
| Lu Sun, Mineichi Kudo |
| Sketch the Storyline with CHARCOAL: A Non-Parametric Approach | |
| Siliang Tang, Fei Wu, Si Li, Weiming Lu, Zhongfei Zhang, Yueting Zhuang |
| Convergence of Common Proximal Methods for L1-Regularized Least Squares | |
| Shaozhe Tao, Daniel Boley, Shuzhong Zhang |
| Portable Option Discovery for Automated Learning Transfer in Object-Oriented Markov Decision Processes | |
| Nicholay Topin, Nicholas Haltmeyer, Shawn Squire, John Winder, Marie desJardins, James MacGlashan |
| Online Learning of k-CNF Boolean Functions | |
| Joel Veness, Marcus Hutter, Laurent Orseau, Marc Bellemare |
| Feature Selection from Microarray Data via an Ordered Search with Projected Margin | |
| Saulo Moraes Villela, Saul de Castro Leite, Raul Fonseca Neto |
| Constrained Information-Theoretic Tripartite Graph Clustering to Identify Semantically Similar Relations | |
| Chenguang Wang, Yangqiu Song, Dan Roth, Chi Wang, Jiawei Han, Heng Ji, Ming Zhang |
| Semantic Topic Multimodal Hashing for Cross-Media Retrieval | |
| Di Wang, Xinbo Gao, Xiumei Wang, Lihuo He |
| An Efficient Classifier Based on Hierarchical Mixing Linear Support Vector Machines | |
| Di Wang, Xiaoqin Zhang, Mingyu Fan, Xiuzi Ye |
| Learning to Hash on Partial Multi-Modal Data | |
| Qifan Wang, Luo Si, Bin Shen |
| Ranking Preserving Hashing for Fast Similarity Search | |
| Qifan Wang, Zhiwei Zhang, Luo Si |
| A Soft Version of Predicate Invention Based on Structured Sparsity | |
| William Yang Wang, Kathryn Mazaitis, William W. Cohen |
| Discriminative Unsupervised Dimensionality Reduction | |
| Xiaoqian Wang, Yun Liu, Feiping Nie, Heng Huang |
| A Joint Optimization Framework of Sparse Coding and Discriminative Clustering | |
| Zhangyang Wang, Yingzhen Yang, Shiyu Chang, Jinyan Li, Simon Fong, Thomas S Huang |
| Imaging Time-Series to Improve Classification and Imputation | |
| Zhiguang Wang, Tim Oates |
| Quantized Correlation Hashing for Fast Cross-Modal Search | |
| Botong Wu, Qiang Yang, Wei-Shi Zheng, Yizhou Wang, Jingdong Wang |
| Multi-Graph-View Learning for Complicated Object Classification | |
| Jia Wu, Shirui Pan, Xingquan Zhu, Zhihua Cai, Chengqi Zhang |
| Thompson Sampling for Budgeted Multi-Armed Bandits | |
| Yingce Xia, Haifang Li, Tao Qin, Nenghai Yu, Tie-Yan Liu |
| Perception Evolution Network Adapting to the Emergence of New Sensory Receptor | |
| Youlu Xing, Furao Shen, Jinxi Zhao |
| Multi-view Self-Paced Learning for Clustering | |
| Chang Xu, Dacheng Tao, Chao Xu |
| Ice-Breaking: Mitigating Cold-Start Recommendation Problem by Rating Comparison | |
| Jingwei Xu, Yuan Yao, Hanghang Tong, Xianping Tao, Jian Lu |
| Scalable Maximum Margin Matrix Factorization by Active Riemannian Subspace Search | |
| Yan Yan, Mingkui Tan, Ivor Tsang, Yi Yang, Chengqi Zhang, Qinfeng Shi |
| Deep Convolutional Neural Networks on Multichannel Time Series for Human Activity Recognition | |
| Jianbo Yang, Minh Nhut Nguyen, Phyo Phyo San, Xiao Li Li, Shonali Krishnaswamy |
| Accelerated Inexact Soft-Impute for Fast Large-Scale Matrix Completion | |
| Quanming Yao, James T. Kwok |
| Unsupervised Machine Condition Monitoring Using Segmental Hidden Markov Models | |
| Chao Yuan |
| Matrix Factorization with Scale-Invariant Parameters | |
| Guangxiang Zeng, Hengshu Zhu, Qi Liu, Ping Luo, Enhong Chen, Tong Zhang |
| Instance-Wise Weighted Nonnegative Matrix Factorization for Aggregating Partitions with Locally Reliable Clusters | |
| Xiaodong Zheng, Shanfeng Zhu, Junning Gao, Hiroshi Mamitsuka |
| A Direct Boosting Approach for Semi-supervised Classification | |
| Shaodan Zhai, Tian Xia, Zhongliang Li, Shaojun Wang |
| Increasingly Cautious Optimism for Practical PAC-MDP Exploration | |
| Liangpeng Zhang, Ke Tang, Xin Yao |
| Towards Class-Imbalance Aware Multi-Label Learning | |
| Min-Ling Zhang, Yu-Kun Li, Xu-Ying Liu |
| Solving the Partial Label Learning Problem: An Instance-Based Approach | |
| Min-Ling Zhang, Fei Yu |
| Multi-Task Multi-View Clustering for Non-Negative Data | |
| Xianchao Zhang, Xiaotong Zhang, Han Liu |
| Semi-Supervised Multi-Label Learning with Incomplete Labels | |
| Feipeng Zhao, Yuhong Guo |
| Self-Adaptive Hierarchical Sentence Model | |
| Han Zhao, Zhengdong Lu, Pascal Poupart |
| Dual-Regularized Multi-View Outlier Detection | |
| Handong Zhao, Yun Fu |
| Mobile Query Recommendation via Tensor Function Learning | |
| Zhou Zhao, Ruihua Song, Xing Xie, Xiaofei He, Yueting Zhuang |
| MUVIR: Multi-View Rare Category Detection | |
| Dawei Zhou, Jingrui He, K. Seluk Candan, Hasan Davulcu |
| Recovery of Corrupted Multiple Kernels for Clustering | |
| Peng Zhou, Liang Du, Lei Shi, Hanmo Wang, Yi-Dong Shen |
| Learning a Robust Consensus Matrix for Clustering Ensemble via Kullback-Leibler Divergence Minimization | |
| Peng Zhou, Liang Du, Hanmo Wang, Lei Shi, Yi-Dong Shen |
| Supervised Representation Learning: Transfer Learning with Deep Autoencoders | |
| Fuzhen Zhuang, Xiaohu Cheng, Ping Luo, Sinno Jialin Pan, Qing He |
| Adaptive Dropout Rates for Learning with Corrupted Features | |
| Jingwei Zhuo, Jun Zhu, Bo Zhang |
Demos Track
| Evolving Families of Shapes | |
| Filipe Assunção, João Correia, Pedro Martins, Penousal Machado |
| Max Order: A Tale of Creativity | |
| Fiammetta Ghedini, François Pachet, Pierre Roy |
| Modelling High-Dimensional Sequences with LSTM-RTRBM: Application to Polyphonic Music Generation | |
| Qi Lyu, Zhiyong Wu, Jun Zhu, Helen Meng |
| Capturing a Musician's Groove: Generation of Realistic Accompaniments from Single Song Recordings | |
| Mathieu Ramona, Giordano Cabral, François Pachet |
Journal Track
| Constitutive and Regulative Specifications of Commitment Protocols: A Decoupled Approach (Extended Abstract) | |
| Matteo Baldoni, Cristina Baroglio, Elisa Marengo, Viviana Patti |
| The Arcade Learning Environment: An Evaluation Platform for General Agents (Extended Abstract) | |
| Marc Bellemare, Yavar Naddaf, Joel Veness, Michael Bowling |
| Influencing Individually: Fusing Personalization and Persuasion (Extended Abstract) | |
| Shlomo Berkovsky, Jill Freyne, Harri Oinas-Kukkonen |
| Developing Corpora for Sentiment Analysis: The Case of Irony and Senti-TUT (Extended Abstract) | |
| Cristina Bosco, Viviana Patti, Andrea Bolioli |
| Data Complexity of Query Answering in Description Logics (Extended Abstract) | |
| Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati |
| Common Sense Reasoning for Detection, Prevention, and Mitigation of Cyberbullying (Extended Abstract) | |
| Karthik Dinakar, Rosalind Picard, Henry Lieberman |
| Complexity-Sensitive Decision Procedures for Abstract Argumentation (Extended Abstract) | |
| Wolfgang Dvořák, Matti Järvisalo, Johannes Peter Wallner, Stefan Woltran |
| The Complexity of Manipulative Attacks in Nearly Single-Peaked Electorates (Extended Abstract) | |
| Piotr Faliszewski, Edith Hemaspaandra, Lane A. Hemaspaandra |
| kLog: A Language for Logical and Relational Learning with Kernels (Extended Abstract) | |
| Paolo Frasconi, Fabrizio Costa, Luc De Raedt, Kurt De Grave |
| Framing Image Description as a Ranking Task: Data, Models and Evaluation Metrics (Extended Abstract) | |
| Micah Hodosh, Peter Young, Julia Hockenmaier |
| Measuring and Recommending Time-Sensitive Routes from Location-based Data | |
| Hsun-Ping Hsieh, Cheng-Te Li, Shou-De Lin |
| Algorithm Runtime Prediction: Methods and Evaluation (Extended Abstract) | |
| Frank Hutter, Lin Xu, Holger Hoos, Kevin Leyton-Brown |
| Phrase Detectives: Utilizing Collective Intelligence for Internet-Scale Language Resource Creation (Extended Abstract) | |
| Massimo Poesio, Jon Chamberlain, Udo Kruschwitz, Livio Robaldo, Luca Ducceschi |
| Norms as a Basis for Governing Sociotechnical Systems: Extended Abstract | |
| Munindar P. Singh |
| Continuous Body and Hand Gesture Recognition for Natural Human-Computer Interaction: Extended Abstract | |
| Yale Song, Randall Davis |
| On the Testability of BDI Agent Systems (Extended Abstract) | |
| Michael Winikoff, Stephen Cranefield |
| Inapproximability of Treewidth and Related Problems (Extended Abstract) | |
| Yu Wu, Per Austrin, Toniann Pitassi, David Liu |
| Feature Ensemble Plus Sample Selection: Domain Adaptation for Sentiment Classification (Extended Abstract) | |
| Rui Xia, Chengqing Zong, Xuelei Hu, Erik Cambria |
| Using Social Media to Enhance Emergency Situation Awareness: Extended Abstract | |
| Jie Yin, Sarvnaz Karimi, Andrew Lampert, Mark Cameron, Bella Robinson, Robert Power |
Best Papers from Sister Conferences Track
| When Are Description Logic Knowledge Bases Indistinguishable? | |
| Elena Botoeva, Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev |
| Description Logic Based Dynamic Systems: Modeling, Verification, and Synthesis | |
| Diego Calvanese, Giuseppe De Giacomo, Marco Montali, Fabio Patrizi |
| Exploiting Separability in Multiagent Planning with Continuous-State MDPs (Extended Abstract) | |
| Jilles Steeve Dibangoye, Christopher Amato, Olivier Buffet, François Charpillet |
| Trust-Guided Behavior Adaptation Using Case-Based Reasoning | |
| Michael Floyd, Michael Drinkwater, David Aha |
| Adapting to User Preference Changes in Interactive Recommendation | |
| Negar Hariri, Bamshad Mobasher, Robin Burke |
| Near-Optimal Approximation Mechanisms for Multi-Unit Combinatorial Auctions | |
| Piotr Krysta, Orestis Telelis, Carmine Ventre |
| How to Define Certain Answers | |
| Leonid Libkin |
| Firefly Monte Carlo: Exact MCMC with Subsets of Data | |
| Dougal Maclaurin, Ryan Prescott Adams |
| Matching and Grokking: Approaches to Personalized Crowdsourcing | |
| Peter Organisciak, Jaime Teevan, Susan Dumais, Robert C. Miller, Adam Tauman Kalai |
| Heuristics for Cost-Optimal Classical Planning Based on Linear Programming | |
| Florian Pommerening, Gabriele Roger, Malte Helmert, Blai Bonet |
| Reasoning with Probabilistic Ontologies | |
| Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma, Riccardo Zese |
| Examples and Tutored Problems: Adaptive Support Using Assistance Scores | |
| Amir Shareghi Najar, Antonija Mitrovic, Bruce McLaren |
| Max Is More than Min: Solving Maximization Problems with Heuristic Search | |
| Roni Stern, Scott Kiesel, Rami Puzis, Ariel Felner, Wheeler Ruml |
| Speedy versus Greedy Search | |
| Christopher Makoto Wilt, Wheeler Ruml |
Doctoral Consortium
| Online Fair Division | |
| Martin Damyanov Aleksandrov |
| Expressive Rule-Based Stream Reasoning | |
| Harald Beck |
| Graph Construction for Semi-Supervised Learning | |
| Lilian Berton, Alneu de Andrade Lopes |
| Stochastic Density Ratio Estimation and Its Application to Feature Selection | |
| Igor Braga |
| Encoding and Combining Knowledge to Speed up Reinforcement Learning | |
| Tim Brys |
| A Cognitively Inspired Approach for Knowledge Representation and Reasoning in Knowledge-Based Systems | |
| Joel Luis Carbonera, Mara Abel |
| Distribution of UCT and Its Ramifications | |
| Marc Yu-San Chee |
| A Distributed Platform to Ease the Development of Recommendation Algorithms on Large-Scale Graphs | |
| Alejandro Corbellini |
| Models for Conditional Preferences as extensions of CP-nets | |
| Cristina Cornelio |
| Information Extraction of Texts in the Biomedical Domain | |
| Viviana Cotik |
| Learning Efficient Logic Programs | |
| Andrew Cropper |
| RoTuEl: A Semi-Automated Method for Labeling Political Tweets | |
| Wilton de Paula Filho, Ana Cristina Bicharra Garcia |
| Bipartite Graph for Topic Extraction | |
| Thiago de Paulo Faleiros, Alneu de Andrade Lopes |
| Statistical Relational Learning Towards Modelling Social Media Users | |
| Golnoosh Farnadi |
| On the Static Analysis for SPARQL Queries Using Modal Logic | |
| Nicola Guido |
| Exploiting Trust Information to Cope with Malicious Entities in Multi-Agent Systems | |
| Athirai A. Irissappane |
| Artificial Prediction Markets for Online Prediction | |
| Fatemeh Jahedpari |
| Multi-Robot Exploration with Communication Restrictions | |
| Elizabeth A. Jensen |
| Diagnosis of Technical Systems | |
| Roxane Koitz, Franz Wotawa |
| Abstract Argumentation Frameworks — From Theoretical Insights to Practical Implications | |
| Thomas Linsbichler |
| Flexible Scheduling for an Agile Earth-Observing Satelllite | |
| Adrien Maillard |
| Towards More Practical Reinforcement Learning | |
| Travis Mandel |
| Using Small Humanoid Robots to Detect Autism in Toddlers | |
| Marie D. Manner |
| Automatic Extraction of References to Future Events from News Articles Using Semantic and Morphological Information | |
| Yoko Nakajima |
| Advances in Nonparametric Hypothesis Testing | |
| Aaditya Ramdas |
| Efficient Methods for Multi-Objective Decision-Theoretic Planning | |
| Diederik Marijn Roijers |
| Automated Agents for Advice Provision | |
| Ariel Rosenfeld |
| Dynamic Execution of Temporal Plans with Sensing Actions and Bounded Risk | |
| Pedro Henrique Santana, Brian C. Williams |
| An Intelligent and Unified Framework for Multiple Robot and Human Coalition Formation | |
| Sayan Dev Sen |
| Normative Practical Reasoning: An Argumentation-Based Approach | |
| Zohreh Shams |
| Unleashing the Power of Multi-Agent Voting Teams | |
| Leandro Soriano Marcolino |
| Feature Selection for Multi-Label Learning | |
| Newton Spolaôr, Maria Carolina Monard, Huei Diana Lee |
| Rational Architecture = Architecture from a Recommender Perspective | |
| Marc van Zee |
| Quantifying and Improving the Robustness of Trust Systems | |
| Dongxia Wang |
| The Spatio-Temporal Representation of Natural Reading | |
| Leila Wehbe |
| Approximate Algorithms for Stochastic Network Design | |
| Xiaojian Wu |
| Inference and Learning for Probabilistic Description Logics | |
| Riccardo Zese |
| Improvements of Symmetry Breaking During Search | |
| Zichen Zhu |
Invited
| Activity-based Scheduling of Science Campaigns for the Rosetta Orbiter | |
| Steve Chien, Gregg Rabideau, Daniel Tran, Martina Troesch, Joshua Doubleday, Federico Nespoli, Miguel Perez Ayucar, Marc Costa Sitja, Claire Vallat, Bernhard Geiger, Nico Altobelli, Manuel Fernandez, Fran Vallejo, Rafael Andres, Michael Kueppers |
| CoBots: Robust Symbiotic Autonomous Mobile Service Robots | |
| Manuela Veloso, Joydeep Biswas, Brian Coltin, Stephanie Rosenthal |