Presentations and Authors


Last name A B C D E F G H I J K L M N O P Q R S T U V W X Y Z All
Track:
 

Frontmatter

Preface PDF
Qiang Yang, Michael Wooldridge
Conference Organization PDF
Qiang Yang
Program Committee PDF
Qiang Yang
Conference Organizers and Sponsors PDF
Qiang Yang
Awards and Distinguished Papers PDF
Qiang Yang
IJCAI Organization PDF
Qiang Yang
Past IJCAI Conferences PDF
Qiang Yang

Main Track — Agent and Multiagent Systems

Optimal Incremental Preference Elicitation during Negotiation PDF
Tim Baarslag, Enrico H. Gerding
Composing and Verifying Commitment-Based Multiagent Protocols PDF
Matteo Baldoni, Cristina Baroglio, Amit K. Chopra, Munindar P. Singh
Strategic Abstention Based on Preference Extensions: Positive Results and Computer-Generated Impossibilities PDF
Florian Brandl, Felix Brandt, Christian Geist, Johannes Hofbauer
Efficiency and Complexity of Price Competition Among Single-Product Vendors PDF
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 PDF
Adam Clearwater, Clemens Puppe, Arkadii Slinko
Learning Behaviors in Agents Systems with Interactive Dynamic Influence Diagrams PDF
Ross Conroy, Yifeng Zeng, Marc Cavazza, Yingke Chen
Structural Results for Cooperative Decentralized Control Models PDF
Jilles Steeve Dibangoye, Olivier Buffet, Olivier Simonin
Tractable Inquiry in Information-Rich Environments PDF
Barbara Dunin-Kęplicz, Alina Strachocka
An Adaptive Computational Model for Personalized Persuasion PDF
Yilin Kang, Ah-Hwee Tan, Chunyan Miao
Tradeoffs between Incentive Mechanisms in Boolean Games PDF
Vadim Levit, Zohar Komarovsky, Tal Grinshpoun, Amnon Meisels
Environment-Driven Social Force Model: Lévy Walk Pattern in Collective Behavior PDF
Danyan Lv, Zhaofeng Li, Yichuan Jiang
The Power of Local Manipulation Strategies in Assignment Mechanisms PDF
Timo Mennle, Michael Weiss, Basil Philipp, Sven Seuken
Revenue Maximization Envy-Free Pricing for Homogeneous Resources PDF
Gianpiero Monaco, Piotr Sankowski, Qiang Zhang
Exchange of Indivisible Objects with Asymmetry PDF
Zhaohong Sun, Hideaki Hata, Taiki Todo, Makoto Yokoo
Characterization of Scoring Rules with Distances: Application to the Clustering of Rankings PDF
Paolo Viappiani
Quantifying Robustness of Trust Systems against Collusive Unfair Rating Attacks Using Information Theory PDF
Dongxia Wang, Tim Muller, Jie Zhang, Yang Liu
Optimal Auctions for Partially Rational Bidders PDF
Zihe Wang, Pingzhong Tang
An Expert-Level Card Playing Agent Based on a Variant of Perfect Information Monte Carlo Sampling PDF
Florian Wisser
Agile Planning for Real-World Disaster Response PDF
Feng Wu, Sarvapali D. Ramchurn, Wenchao Jiang, Jeol E. Fischer, Tom Rodden, Nicholas R. Jennings
Optimal Pricing for the Competitive and Evolutionary Cloud Market PDF
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 PDF
Yexiang Xue, Stefano Ermon, Carla P. Gomes, Bart Selman

Main Track — Artificial Intelligence and Social Sciences

Emotions in Argumentation: an Empirical Evaluation PDF
Sahbi Benlamine, Maher Chaouachi, Serena Villata, Elena Cabrio, Claude Frasson, Fabien Gandon
Parliamentary Voting Procedures: Agenda Control, Manipulation, and Uncertainty PDF
Robert Bredereck, Jiehua Chen, Rolf Niedermeier, Toby Walsh
Computer Science on the Move: Inferring Migration Regularities from the Web via Compressed Label Propagation PDF
Fabian Hadiji, Martin Mladenov, Christian Bauckhage, Kristian Kersting
Semi-Universal Portfolios with Transaction Costs PDF
Dingjiang Huang, Yan Zhu, Bin Li, Shuigeng Zhou, Steven C.H. Hoi
Context-Independent Claim Detection for Argument Mining PDF
Marco Lippi, Paolo Torroni
A Deterministic Partition Function Approximation for Exponential Random Graph Models PDF
Wen Pu, Jaesik Choi, Yunseong Hwang, Eyal Amir
Bonus or Not? Learn to Reward in Crowdsourcing PDF
Ming Yin, Yiling Chen

Main Track — Auctions and Market-Based Systems

Mechanism Design and Implementation for Lung Exchange PDF
Suiqian Luo, Pingzhong Tang
Maximal Cooperation in Repeated Games on Social Networks PDF
Catherine Moon, Vincent Conitzer
Selling Reserved Instances in Cloud Computing PDF
Changjun Wang, Weidong Ma, Tao Qin, Xujin Chen, Xiaodong Hu, Tie-Yan Liu

Main Track — Constraint Optimization

A Multicore Tool for Constraint Solving PDF
Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro
Improving the Effectiveness of SAT-Based Preprocessing for MaxSAT PDF
Jeremias Berg, Paul Saikko, Matti Järvisalo
Maximum Satisfiability Using Cores and Correction Sets PDF
Nikolaj Bjorner, Nina Narodytska
Recursive Decomposition for Nonconvex Optimization PDF
Abram L. Friesen, Pedro Domingos
Finding Diverse Solutions of High Quality to Constraint Optimization Problems PDF
Thierry Petit, Andrew C. Trapp

Main Track — Constraints, Satisfiability, and Search

On the Resiliency of Unit Propagation to Max-Resolution PDF
André Abramé, Djamal Habet
Improving the Efficiency of Dynamic Programming on Tree Decompositions via Machine Learning PDF
Michael Abseher, Frederico Dusberger, Nysret Musliu, Stefan Woltran
Exploiting the Structure of Unsatisfiable Cores in MaxSAT PDF
Carlos Ansotegui, Frederic Didier, Joel Gabas
Multi-Armed Bandits for Adaptive Constraint Propagation PDF
Amine Balafrej, Christian Bessiere, Anastasia Paparrizou
Combining Preference Elicitation and Search in Multiobjective State-Space Graphs PDF
Nawal Benabbou, Patrice Perny
ReACTR: Realtime Algorithm Configuration through Tournament Rankings PDF
Tadhg Fitzgerald, Yuri Malitsky, Barry O'Sullivan
Expressive Logical Combinators for Free PDF
Pierre Geneves, Alan Schmitt
Statistical Regimes and Runtime Prediction PDF
Barry Hurley, Barry O'Sullivan
Solving QBF by Clause Selection PDF
Mikolas Janota, Joao Marques-Silva
Compiling Constraint Networks into Multivalued Decomposable Decision Graphs PDF
Frédéric Koriche, Jean-Marie Lagniez, Pierre Marquis, Samuel Thomas
Filtering Nogoods Lazily in Dynamic Symmetry Breaking During Search PDF
Jimmy H. M. Lee, Zichen Zhu
Multi-Pass High-Level Presolving PDF
Kevin Leo, Guido Tack
Decomposition of the Factor Encoding for CSPs PDF
Chavalit Likitvivatanavong, Wei Xia, Roland H. C. Yap
Towards Automatic Dominance Breaking for Constraint Optimization Problems PDF
Christopher Mears, Maria Garcia de la Banda
On the Empirical Time Complexity of Random 3-SAT at the Phase Transition PDF
Zongxu Mu, Holger H. Hoos
Efficient Operations On MDDs for Building Constraint Programming Models PDF
Guillaume Perez, Jean-Charles Régin
Personalized Mathematical Word Problem Generation PDF
Oleksandr Polozov, Eleanor O'Rourke, Adam M. Smith, Luke Zettlemoyer, Sumit Gulwani, Zoran Popović
On Constrained Boolean Pareto Optimization PDF
Chao Qian, Yang Yu, Zhi-Hua Zhou
Packing Curved Objects PDF
Ignacio Antonio Salas Donoso, Gilles Chabert
Efficient Algorithms with Performance Guarantees for the Stochastic Multiple-Choice Knapsack Problem PDF
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 PDF
Supriyo Ghosh, Akshat Kumar, Pradeep Varakantham
Collective Biobjective Optimization Algorithm for Parallel Test Paper Generation PDF
Minh Luan Nguyen, Siu Cheung Hui, Alvis C. M. Fong
Max-Sum Goes Private PDF
Tamir Tassa, Roie Zivan, Tal Grinshpoun
Applying Max-Sum to Asymmetric Distributed Constraint Optimization PDF
Roie Zivan, Tomer Parash, Yarden Naveh

Main Track — Game Theory

A Bargaining Mechanism for One-Way Games PDF
Andres Abeliuk, Gerardo Berbeglia, Pascal Van Hentenryck
Strategic Network Formation through an Intermediary PDF
Elliot Anshelevich, Onkar Bhardwaj, Koushik Kar
The Adjusted Winner Procedure: Characterizations and Equilibria PDF
Haris Aziz, Simina Brânzei, Aris Filos-Ratsikas, Søren Kristoffer Stiil Frederiksen
Welfare Maximization in Fractional Hedonic Games PDF
Haris Aziz, Serge Gaspers, Joachim Gudmundsson, Julian Mestre, Hanjo Taubig
Possible and Necessary Allocations via Sequential Mechanisms PDF
Haris Aziz, Toby Walsh, Lirong Xia
Learning Cooperative Games PDF
Maria Florina Balcan, Ariel D. Procaccia, Yair Zick
A Dictatorship Theorem for Cake Cutting PDF
Simina Brânzei, Peter Bro Miltersen
Simultaneous Abstraction and Equilibrium Finding in Games PDF
Noam Brown, Tuomas Sandholm
Incentivizing Peer Grading in MOOCS: An Audit Game Approach PDF
Alejandro Uriel Carbonara, Anupam Datta, Arunesh Sinha, Yair Zick
Approximate Nash Equilibria with Near Optimal Social Welfare PDF
Artur Czumaj, Michail Fasoulakis, Marcin Jurdzinski
Influence in Classification via Cooperative Game Theory PDF
Amit Datta, Anupam Datta, Ariel D. Procaccia, Yair Zick
SAT Is an Effective and Complete Method for Solving Stable Matching Problems with Couples PDF
Joanna Drummond, Andrew Perrault, Fahiem Bacchus
Optimal Network Security Hardening Using Attack Graph Games PDF
Karel Durkota, Viliam Lisý, Branislav Bošanský, Christopher Kiekintveld
Gibbard–Satterthwaite Games PDF
Edith Elkind, Umberto Grandi, Francesca Rossi, Arkadii Slinko
Equilibrium Refinement through Negotiation in Binary Voting PDF
Umberto Grandi, Davide Grossi, Paolo Turrini
Structural Tractability of Shapley and Banzhaf Values in Allocation Games PDF
Gianluigi Greco, Francesco Lupia, Francesco Scarcello
Smooth UCT Search in Computer Poker PDF
Johannes Heinrich, David Silver
Fixing Tournaments for Kings, Chokers, and More PDF
Michael P. Kim, Virginia Vassilevska Williams
A Characterization of n-Player Strongly Monotone Scheduling Mechanisms PDF
Annamaria Kovacs, Angelina Vidali
Limited Lookahead in Imperfect-Information Games PDF
Christian Kroer, Tuomas Sandholm
Impartial Peer Review PDF
David Kurokawa, Omer Lev, Jamie Morgenstern, Ariel D. Procaccia
Truthful Cake Cutting Mechanisms with Externalities: Do Not Make Them Care for Others Too Much! PDF
Minming Li, Jialin Zhang, Qiang Zhang
Equilibrium Analysis of Multi-Defender Security Games PDF
Jian Lou, Yevgeniy Vorobeychik
When Does Schwartz Conjecture Hold? PDF
Matthias Mnich, Yash Raj Shrestha, Yongjie Yang
Strategic Candidacy Games with Lazy Candidates PDF
Svetlana Obraztsova, Edith Elkind, Maria Polukarov, Zinovi Rabinovich
Simple Causes of Complexity in Hedonic Games PDF
Dominik Peters, Edith Elkind
Convergence to Equilibria in Strategic Candidacy PDF
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 PDF
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 PDF
Piotr Lech Szczepański, Aleksy Stanisław Barcz, Tomasz Paweł Michalak, Talal Rahwan
Solving Heads-Up Limit Texas Hold'em PDF
Oskari Tammelin, Neil Burch, Michael Johanson, Michael Bowling
Envy-Free Sponsored Search Auctions with Budgets PDF
Bo Tang, Jinshan Zhang
Implementing the Wisdom of Waze PDF
Shoshana Vasserman, Michal Feldman, Avinatan Hassidim
Spiteful Bidding in the Dollar Auction PDF
Marcin Waniek, Agata Nieścieruk, Tomasz Michalak, Talal Rahwan
Security Games with Information Leakage: Modeling and Computation PDF
Haifeng Xu, Albert Xing Jiang, Arunesh Sinha, Zinovi Rabinovich, Shaddin Dughmi, Milind Tambe
Computing Optimal Mixed Strategies for Security Games with Dynamic Payoffs PDF
Yue Yin, Haifeng Xu, Jiarui Gan, Bo An, Albert Xin Jiang

Main Track — Graphical Models

From Weighted to Unweighted Model Counting PDF
Supratik Chakraborty, Dror Fried, Kuldeep S. Meel, Moshe Y. Vardi
Pushing Forward Marginal MAP with Best-First Search PDF
Radu Marinescu, Rina Dechter, Alexander Ihler
Indirect Causes in Dynamic Bayesian Networks Revisited PDF
Alexander Motzek, Ralf Möller
Differential Semantics of Intervention in Bayesian Networks PDF
Biao Qin
Bayesian Modelling of Community-Based Multidimensional Trust in Participatory Sensing under Data Sparsity PDF
Matteo Venanzi, Luke Teacy, Alex Rogers, Nick Jennings
A Unified Model for Unsupervised Opinion Spamming Detection Incorporating Text Generality PDF
Yinqing Xu, Bei Shi, Wentao Tian, Wai Lam

Main Track — Heuristic Search

Model-Based Genetic Algorithms for Algorithm Configuration PDF
Carlos Ansotegui, Yuri Malitsky, Horst Samulowitz, Meinolf Sellmann, Kevin Tierney
ICBS: Improved Conflict-Based Search Algorithm for Multi-Agent Pathfinding PDF
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 PDF
Shaowei Cai
Generalized Rapid Action Value Estimation PDF
Tristan Cazenave
A Fast Goal Recognition Technique Based on Interaction Estimates PDF
Yolanda E-Martin, Maria D. R-Moreno, David E. Smith
Interplanetary Trajectory Planning with Monte Carlo Tree Search PDF
Daniel Hennes, Dario Izzo
FlashNormalize: Programming by Examples for Text Normalization PDF
Dileep Kini, Sumit Gulwani
Efficient Search with an Ensemble of Heuristics PDF
Mike Phillips, Venkatraman Narayanan, Sandip Aine, Maxim Likhachev
Compositional Program Synthesis from Natural Language and Examples PDF
Mohammad Raza, Sumit Gulwani, Natasa Milic-Frayling
Mining Expert Play to Guide Monte Carlo Search in the Opening Moves of Go PDF
Erik S. Steinmetz, Maria Gini
H-Index Manipulation by Merging Articles: Models, Theory, and Experiments PDF
René van Bevern, Christian Komusiewicz, Rolf Niedermeier, Manuel Sorge, Toby Walsh
Computing Possibly Optimal Solutions for Multi-Objective Constraint Optimisation with Tradeoffs PDF
Nic Wilson, Abdul Razak, Radu Marinescu

Main Track — Knowledge Acquisition

Mining Definitions from RDF Annotations Using Formal Concept Analysis PDF
Mehwish Alam, Aleksey Buzmakov, Victor Codocedo, Amedeo Napoli
Personalizing Product Rankings Using Collaborative Filtering on Opinion-Derived Topic Profiles PDF
Claudiu Cristian Musat, Boi Faltings
AskWorld: Budget-Sensitive Query Evaluation for Knowledge-on-Demand PDF
Mehdi Samadi, Partha Talukdar, Manuela Veloso, Tom Mitchell
Building Hierarchies of Concepts via Crowdsourcing PDF
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 PDF
Francesco Belardinelli, Davide Grossi, Alessio Lomuscio
Formal Analysis of Dialogues on Infinite Argumentation Frameworks PDF
Francesco Belardinelli, Davide Grossi, Nicolas Maudet
On the Graded Acceptability of Arguments PDF
Davide Grossi, Sanjay Modgil
A Common-Sense Conceptual Categorization System Integrating Heterogeneous Proxytypes and the Dual Process of Reasoning PDF
Antonio Lieto, Daniele Paolo Radicioni, Valentina Rho
A Simple Probabilistic Extension of Modal Mu-calculus PDF
Wanwei Liu, Lei Song, Ji Wang, Lijun Zhang
The Complexity of MAP Inference in Bayesian Networks Specified Through Logical Languages PDF
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 PDF
Marius Pasca, Hylke Buisman
Automatic Generation of Raven’s Progressive Matrices PDF
Ke Wang, Zhendong Su
From Raw Sensor Data to Detailed Spatial Knowledge PDF
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 PDF
Francis Bisson, Hugo Larochelle, Froduald Kabanza
Biclustering Gene Expressions Using Factor Graphs and the Max-Sum Algorithm PDF
Matteo Denitto, Alessandro Farinelli, Manuele Bicego
Greedy Structure Search for Sum-Product Networks PDF
Aaron Dennis, Dan Ventura
On the Consistency of AUC Pairwise Optimization PDF
Wei Gao, Zhi-Hua Zhou
Multi-Label Active Learning: Query Type Matters PDF
Sheng-Jun Huang, Songcan Chen, Zhi-Hua Zhou
Joint Learning of Constituency and Dependency Grammars by Decomposed Cross-Lingual Induction PDF
Wenbin Jiang, Qun Liu, Thepchai Supnithi
Mobility Profiling for User Verification with Anonymized Location Data PDF
Miao Lin, Hong Cao, Vincent Zheng, Kevin Chen-Chuan Chang, Shonali Krishnaswamy
Analysis of Sampling Algorithms for Twitter PDF
Deepan Subrahmanian Palguna, Vikas Joshi, Venkatesan Chakaravarthy, Ravi Kothari, LV Subramaniam
Portfolio Choices with Orthogonal Bandit Learning PDF
Weiwei Shen, Jun Wang, Yu-Gang Jiang, Hongyuan Zha
Information Gathering in Networks via Active Exploration PDF
Adish Singla, Eric Horvitz, Pushmeet Kohli, Ryen White, Andreas Krause
Medical Synonym Extraction with Concept Space Models PDF
Chang Wang, Liangliang Cao, Bowen Zhou
Detecting Emotions in Social Media: A Constrained Optimization Approach PDF
Yichen Wang, Aditya Pal
Regression Model Fitting under Differential Privacy and Model Inversion Attack PDF
Yue Wang, Cheng Si, Xintao Wu
Correcting Covariate Shift with the Frank-Wolfe Algorithm PDF
Junfeng Wen, Russell Greiner, Dale Schuurmans
Cognitive Modelling for Predicting Examinee Performance PDF
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 PDF
Rui Yan, Yiping Song, Cheng-Te Li, Ming Zhang, Xiaohua Hu
Auxiliary Information Regularized Machine for Multiple Modality Feature Learning PDF
Yang Yang, Han-Jia Ye, De-Chuan Zhan, Yuan Jiang
Discriminative Reordering Model Adaptation via Structural Learning PDF
Biao Zhang, Jinsong Su, Deyi Xiong, Hong Duan, Junfeng Yao
Revisiting Gaussian Process Dynamical Models PDF
Jing Zhao, Shiliang Sun
Character-Based Parsing with Convolutional Neural Network PDF
Xiaoqing Zheng, Haoyuan Peng, Yi Chen, Pengjing Zhang, Wenqiang Zhang
Active Learning from Crowds with Unsure Option PDF
Jinhong Zhong, Ke Tang, Zhi-Hua Zhou

Main Track — Model Verification / Model Checking

Symbolic Model Checking for One-Resource RB+-ATL PDF
Natasha Alechina, Brian Logan, Hoang Nga Nguyen, Franco Raimondi
The Complexity of Model Checking Succinct Multiagent Systems PDF
Xiaowei Huang, Qingliang Chen, Kaile Su
Verifying Emergent Properties of Swarms PDF
Panagiotis Kouvaros, Alessio Lomuscio
Pushdown Multi-Agent System Verification PDF
Aniello Murano, Giuseppe Perelli

Main Track — Multidisciplinary Topics and Applications

Algorithmic Exam Generation PDF
Omer Geiger, Shaul Markovitch
The Right to Obscure: A Mechanism and Initial Evaluation PDF
Eric Hsin-Chun Huang, Jaron Lanier, Yoav Shoham
A New Input Method for Human Translators: Integrating Machine Translation Effectively and Imperceptibly PDF
Guoping Huang, Jiajun Zhang, Yu Zhou, Chengqing Zong
Combining Eye Movements and EEG to Enhance Emotion Recognition PDF
Yifei Lu, Wei-Long Zheng, Binbin Li, Bao-Liang Lu
Handling Complex Commands as Service Robot Task Requests PDF
Vittorio Perera, Manuela Veloso
A Study of Human-Agent Collaboration for Multi-UAV Task Allocation in Dynamic Environments PDF
Sarvapali D. Ramchurn, Joel E Fischer, Yuki Ikuno, Feng Wu, Jack Flann, Antony Waldock
Automated Geometry Theorem Proving for Human-Readable Proofs PDF
Ke Wang, Zhendong Su
Offline Sketch Parsing via Shapeness Estimation PDF
Jie Wu, Changhu Wang, Liqing Zhang, Yong Rui

Main Track — Multiagent Systems

A Scalable Interdependent Multi-Issue Negotiation Protocol for Energy Exchange PDF
Muddasser Alam, Enrico H. Gerding, Alex Rogers, Sarvapali D. Ramchurn
Equilibria Under the Probabilistic Serial Rule PDF
Haris Aziz, Serge Gaspers, Simon Mackenzie, Nicholas Mattei, Nina Narodytska, Toby Walsh
Towards City-Scale Mobile Crowdsourcing: Task Recommendations under Trajectory Uncertainties PDF
Cen Chen, Shih-Fen Cheng, Hoong Chuin Lau, Archan Misra
Estimating the Margin of Victory of an Election Using Sampling PDF
Palash Dey, Y. Narahari
Strategy-Proofness of Scoring Allocation Correspondences for Indivisible Goods PDF
Nhan-Tam Nguyen, Dorothea Baumeister, Jörg Rothe
Spectrum-Based Fault Localisation for Multi-Agent Systems PDF
Lúcio S. Passos, Rui Abreu, Rosaldo J. F. Rossetti
What Do We Elect Committees For? A Voting Committee Model for Multi-Winner Rules PDF
Piotr Krzysztof Skowron

Main Track — Natural Language Processing

Multi-Document Abstractive Summarization Using ILP Based Multi-Sentence Compression PDF
Siddhartha Banerjee, Prasenjit Mitra, Kazunari Sugiyama
Do We Criticise (and Laugh) in the Same Way? Automatic Detection of Multi-Lingual Satirical News in Twitter PDF
Francesco Barbieri, Francesco Ronzano, Horacio Saggion
Embedding Semantic Relations into Word Representations PDF
Danushka Bollegala, Takanori Maehara, Ken-ichi Kawarabayashi
Positive, Negative, or Neutral: Learning an Expanded Opinion Lexicon from Emoticon-Annotated Tweets PDF
Felipe Bravo-Marquez, Eibe Frank, Bernhard Pfahringer
Joint Learning of Character and Word Embeddings PDF
Xinxiong Chen, Lei Xu, Zhiyuan Liu, Maosong Sun, Huanbo Luan
A Hybrid Neural Model for Type Classification of Entity Mentions PDF
Li Dong, Furu Wei, Hong Sun, Ming Zhou, Ke Xu
Iterative Learning of Parallel Lexicons and Phrases from Non-Parallel Corpora PDF
Meiping Dong, Yang Liu, Huanbo Luan, Maosong Sun, Tatsuya Izuha, Dakun Zhang
Word-Error Correction of Continuous Speech Recognition Based on Normalized Relevance Distance PDF
Yohei Fusayasu, Katsuyuki Tanaka, Tetsuya Takiguchi, Yasuo Ariki
Joint POS Tagging and Text Normalization for Informal Text PDF
Chen Li, Yang Liu
Reader-Aware Multi-Document Summarization via Sparse Coding PDF
Piji Li, Lidong Bing, Wai Lam, Hang Li, Yi Liao
Incorporating Domain and Sentiment Supervision in Representation Learning for Domain Adaptation PDF
Biao Liu, Minlie Huang, Jiashen Sun, Xuan Zhu
Learning Context-Sensitive Word Embeddings with Neural Tensor Skip-Gram Model PDF
Pengfei Liu, Xipeng Qiu, Xuanjing Huang
Automated Rule Selection for Aspect Extraction in Opinion Mining PDF
Qian Liu, Zhiqiang Gao, Bing Liu, Yuanlin Zhang
Integrating Importance, Non-Redundancy and Coherence in Graph-Based Extractive Summarization PDF
Daraksha Parveen, Michael Strube
Convolutional Neural Tensor Network Architecture for Community-Based Question Answering PDF
Xipeng Qiu, Xuanjing Huang
An Active Learning Approach to Coreference Resolution PDF
Mrinmaya Sachan, Eduard Hovy, Eric P. Xing
Towards Addressing the Winograd Schema Challenge — Building and Using a Semantic Parser and a Knowledge Hunting Module PDF
Arpit Sharma, Nguyen H Vo, Somak Aditya, Chitta Baral
On Conceptual Labeling of a Bag of Words PDF
Xiangyan Sun, Yanghua Xiao, Haixun Wang, Wei Wang
Modeling Mention, Context and Entity with Neural Networks for Entity Disambiguation PDF
Yaming Sun, Lei Lin, Duyu Tang, Nan Yang, Zhenzhou Ji, Xiaolong Wang
User Modeling with Neural Network for Review Rating Prediction PDF
Duyu Tang, Bing Qin, Ting Liu, Yuekui Yang
Target-Dependent Twitter Sentiment Classification with Rich Automatic Features PDF
Duy-Tin Vo, Yue Zhang
Syntax-Based Deep Matching of Short Texts PDF
Mingxuan Wang, Zhengdong Lu, Hang Li, Qun Liu
Modeling Quantum Entanglements in Quantum Language Models PDF
Mengjiao Xie, Yuexian Hou, Peng Zhang, Jingfei Li, Wenjie Li, Dawei Song
Convolutional Neural Networks for Text Hashing PDF
Jiaming Xu, Peng Wang, Guanhua Tian, Bo Xu, Jun Zhao, Fangyuan Wang, Hongwei Hao
Compressive Document Summarization via Sparse Optimization PDF
Jin-ge Yao, Xiaojun Wan, Jianguo Xiao
Optimizing Sentence Modeling and Selection for Document Summarization PDF
Wenpeng Yin, Yulong Pei
Learning Term Embeddings for Hypernymy Identification PDF
Zheng Yu, Haixun Wang, Xuemin Lin, Min Wang
Local Translation Prediction with Global Sentence Representation PDF
Jiajun Zhang, Dakun Zhang, Jie Hao
Prior-Based Dual Additive Latent Dirichlet Allocation for User-Item Connected Documents PDF
Wei Zhang, Jianyong Wang
Representation Learning for Measuring Entity Relatedness with Rich Information PDF
Yu Zhao, Zhiyuan Liu, Maosong Sun
Linking Heterogeneous Input Features with Pivots for Domain Adaptation PDF
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 PDF
Daniele Alfarone, Jesse Davis
Coherence Across Components in Cognitive Systems — One Ontology to Rule Them All PDF
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? PDF
Salem Benferhat, Zied Bouraoui, Karim Tabia
Scalable Maintenance of Knowledge Discovery in an Ontology Stream PDF
Freddy Lecue
Bootstrapping Domain Ontologies from Wikipedia: A Uniform Approach PDF
Daniil Mirylenka, Andrea Passerini, Luciano Serafini
An Ontology Matching Approach Based on Affinity-Preserving Random Walks PDF
Chuncheng Xiang, Baobao Chang, Zhifang Sui

Main Track — Planning

Exploiting Symmetries by Planning for a Descriptive Quotient PDF
Mohammad Abdulaziz, Charles Gretton, Michael Norrish
Cost-Optimal and Net-Benefit Planning — A Parameterised Complexity View PDF
Meysam Aghighi, Christer Bäckström
On the Boundary of (Un)decidability: Decidable Model-Checking for a Fragment of Resource Agent Logic PDF
Natasha Alechina, Nils Bulling, Brian Logan, Hoang Nga Nguyen
Tight Bounds for HTN Planning with Task Insertion PDF
Ron Alford, Pascal Bercher, David W. Aha
ASAP-UCT: Abstraction of State-Action Pairs in UCT PDF
Ankit Anand, Aditya Grover, Mausam ., Parag Singla
Further Connections Between Contract-Scheduling and Ray-Searching Problems PDF
Spyros Angelopoulos
Temporal Planning with Semantic Attachment of Non-Linear Monotonic Continuous Behaviours PDF
Josef Bajada, Maria Fox, Derek Long
A Privacy Preserving Algorithm for Multi-Agent Planning and Search PDF
Ronen Israel Brafman
Exploiting Block Deordering for Improving Planners Efficiency PDF
Lukáš Chrpa, Fazlul Hasan Siddiqui
On the Online Generation of Effective Macro-Operators PDF
Lukáš Chrpa, Mauro Vallati, Thomas Leo McCluskey
Estimating the Probability of Meeting a Deadline in Hierarchical Plans PDF
Liat Cohen, Solomon Eyal Shimony, Gera Weiss
Synthesis for LTL and LDL on Finite Traces PDF
Giuseppe De Giacomo, Moshe Vardi
Mixed Discrete-Continuous Heuristic Generative Planning Based on Flow Tubes PDF
Enrique Fernandez-Gonzalez, Erez Karpas, Brian C. Williams
Delete Relaxations for Planning with State-Dependent Action Costs PDF
Florian Geißer, Thomas Keller, Robert Mattmüller
Optimal Planning with Axioms PDF
Franc Ivankovic, Patrik Haslum
Optimal Policy Generation for Partially Satisfiable Co-Safe LTL Specifications PDF
Bruno Lacerda, David Parker, Nick Hawes
Probabilistic Knowledge-Based Programs PDF
Jérôme Lang, Bruno Zanuttini
Metareasoning for Planning Under Uncertainty PDF
Christopher H. Lin, Andrey Kolobov, Ece Kamar, Eric Horvitz
Classical Planning with Simulators: Results on the Atari Video Games PDF
Nir Lipovetzky, Miquel Ramirez, Hector Geffner
Action2Activity: Recognizing Complex Activities from Sensor Data PDF
Ye Liu, Liqiang Nie, Lei Han, Luming Zhang, David S. Rosenblum
Exploratory Digraph Navigation Using A* PDF
Fabrice Mayran de Chamisso, Laurent Soulier, Michaël Aupetit
Compiling Away Uncertainty in Strong Temporal Planning with Uncontrollable Durations PDF
Andrea Micheli, Minh Do, David E. Smith
Sorting Sequential Portfolios in Automated Planning PDF
Sergio Núñez, Daniel Borrajo, Carlos Linares López
Factored Upper Bounds for Multiagent Planning Problems under Uncertainty with Non-Factored Value Functions PDF
Frans Adriaan Oliehoek, Matthijs T. J. Spaan, Stefan John Witwicki
Adversarial Hierarchical-Task Network Planning for Complex Real-Time Games PDF
Santiago Ontanon, Michael Buro
Models of Action Concurrency in Temporal Planning PDF
Jussi Rintanen
Point-Based Planning for Multi-Objective POMDPs PDF
Diederik Marijn Roijers, Shimon Whiteson, Frans A. Oliehoek
Deordering and Numeric Macro Actions for Plan Repair PDF
Enrico Scala, Pietro Torasso
Planning for Stochastic Games with Co-Safe Objectives PDF
Lei Song, Yuan Feng, Lijun Zhang
Simulation-Based Admissible Dominance Pruning PDF
Álvaro Torralba, Jörg Hoffmann
Polynomial-Time Reformulations of LTL Temporally Extended Goals into Final-State Goals PDF
Jorge Torres, Jorge A. Baier
On the Effective Configuration of Planning Domain Models PDF
Mauro Vallati, Frank Hutter, Lukas Chrpa, Thomas Leo McCluskey
Integrating Partial Order Reduction and Symmetry Elimination for Cost-Optimal Classical Planning PDF
Martin Wehrle, Malte Helmert, Alexander Shleyfman, Michael Katz
Multi-Objective POMDPs with Lexicographic Reward Preferences PDF
Kyle Hollins Wray, Shlomo Zilberstein
An Iterative Approach to Synthesize Data Transformation Programs PDF
Bo Wu, Craig A. Knoblock
MORRF*: Sampling-Based Multi-Objective Motion Planning PDF
Daqing Yi, Michael A. Goodrich, Kevin D Seppi

Main Track — Recommender Systems

Optimal Greedy Diversity for Recommendation PDF
Azin Ashkan, Branislav Kveton, Shlomo Berkovsky, Zheng Wen
Music Recommenders: User Evaluation Without Real Users? PDF
Susan Craw, Ben Horsburgh, Stewart Massie
A Synthetic Approach for Recommendation: Combining Ratings, Social Relations, and Reviews PDF
Guang-Neng Hu, Xin-Yu Dai, Yunya Song, Shu-Jian Huang, Jia-Jun Chen
Differentially Private Matrix Factorization PDF
Jingyu Hua, Chang Xia, Sheng Zhong
Sparse Probabilistic Matrix Factorization by Laplace Distribution for Collaborative Filtering PDF
Liping Jing, Peng Wang, Liu Yang
Personalized Tour Recommendation Based on User Interests and Points of Interest Visit Durations PDF
Kwan Hui Lim, Jeffrey Chan, Christopher Leckie, Shanika Karunasekera
Modeling Users' Dynamic Preference for Personalized Recommendation PDF
Xin Liu
A Boosting Algorithm for Item Recommendation with Implicit Feedback PDF
Yong Liu, Peilin Zhao, Aixin Sun, Chunyan Miao
Simple Atom Selection Strategy for Greedy Matrix Completion PDF
Zebang Shen, Hui Qian, Tengfei Zhou, Song Wang
Personalized Ad Recommendation Systems for Life-Time Value Optimization with Guarantees PDF
Georgios Theocharous, Philip S. Thomas, Mohammad Ghavamzadeh
Exploring Implicit Hierarchical Structures for Recommender Systems PDF
Suhang Wang, Jiliang Tang, Yilin Wang, Huan Liu
Recommendation Algorithms for Optimizing Hit Rate, User Satisfaction and Website Revenue PDF
Xin Wang, Yunhui Guo, Congfu Xu
Cross-Domain Collaborative Filtering with Review Text PDF
Xin Xin, Zhirun Liu, Chin-Yew Lin, Heyan Huang, Xiaochi Wei, Ping Guo

Main Track — Relational Learning

Inducing Probabilistic Relational Rules from Probabilistic Examples PDF
Luc De Raedt, Anton Dries, Ingo Thon, Guy Van den Broeck, Mathias Verbeke
Saul: Towards Declarative Learning Based Programming PDF
Parisa Kordjamshidi, Dan Roth, Hao Wu
Anytime Inference in Probabilistic Logic Programs with Tp-Compilation PDF
Jonas Vlasselaer, Guy Van den Broeck, Angelika Kimmig, Wannes Meert, Luc De Raedt
Knowledge Base Completion Using Embeddings and Rules PDF
Quan Wang, Bin Wang, Li Guo

Main Track — Robotics and Vision

Toward Estimating Others' Transition Models Under Occlusion for Multi-Robot IRL PDF
Kenneth Bogert, Prashant Doshi
Graph-Based Inverse Optimal Control for Robot Manipulation PDF
Arunkumar Byravan, Mathew Monfort, Brian Ziebart, Byron Boots, Dieter Fox
Reactive Integrated Motion Planning and Execution PDF
Andreas G. Hofmann, Enrique Fernandez, Justin Helbert, Scott D. Smith, Brian C. Williams
Weakly Supervised RBM for Semantic Segmentation PDF
Yong Li, Jing Liu, Yuhang Wang, Hanqing Lu, Songde Ma
Grounding the Meaning of Words through Vision and Interactive Gameplay PDF
Natalie Parde, Adam Hair, Michalis Papakostas, Konstantinos Tsiakas, Maria Dagioglou, Vangelis Karkaletsis, Rodney D. Nielsen
Intelligent Agent Supporting Human-Multi-Robot Team Collaboration PDF
Ariel Rosenfeld, Noa Agmon, Oleg Maksimov, Amos Azaria, Sarit Kraus
Co-Acquisition of Syntax and Semantics — An Investigation in Spatial Language PDF
Michael Spranger, Luc Steels
Reduced Time-Expansion Graphs and Goal Decomposition for Solving Cooperative Path Finding Sub-Optimally PDF
Pavel Surynek
Learning to Interpret Natural Language Commands through Human-Robot Dialog PDF
Jesse Thomason, Shiqi Zhang, Raymond J Mooney, Peter Stone
Logic-Geometric Programming: An Optimization-Based Approach to Combined Task and Motion Planning PDF
Marc Toussaint
Multi-Modality Tracker Aggregation: From Generative to Discriminative PDF
Xiaoqin Zhang, Wei Li, Mingyu Fan, Di Wang, Xiuzi Ye

Main Track — Satisfiability

Tractable Classes of Binary CSPs Defined by Excluded Topological Minors PDF
David A. Cohen, Martin C. Cooper, Peter G Jeavons, Stanislav Zivny
A Modularity-Based Random SAT Instances Generator PDF
Jesús Giráldez-Cru, Jordi Levy
An Exact Inference Scheme for MinSAT PDF
Chu-Min Li, Felip Manyà
Efficient Model Based Diagnosis with Maximum Satisfiability PDF
Joao Marques-Silva, Mikoláš Janota, Alexey Ignatiev, Antonio Morgado
Literal-Based MCS Extraction PDF
Carlos Mencía, Alessandro Previti, Joao Marques-Silva
Prime Compilation of Non-Clausal Formulae PDF
Alessandro Previti, Alexey Ignatiev, Antonio Morgado, Joao Marques-Silva

Main Track — Sequential Decision Making

Solving MDPs with Skew Symmetric Bilinear Utility Functions PDF
Hugo Gilbert, Olivier Spanjaard, Paolo Viappiani, Paul Weng
Non-Monotone Adaptive Submodular Maximization PDF
Alkis Gotovos, Amin Karbasi, Andreas Krause
Optimization of Probabilistic Argumentation with Markov Decision Models PDF
Emmanuel Hadoux, Aurélie Beynier, Nicolas Maudet, Paul Weng, Anthony Hunter
Stick-Breaking Policy Learning in Dec-POMDPs PDF
Miao Liu, Christopher Amato, Xuejun Liao, Lawrence Carin, Jonathan P. How

Main Track — Social Choice Theory

Structure in Dichotomous Preferences PDF
Edith Elkind, Martin Lackner
Efficient, Private, and eps-Strategyproof Elicitation of Tournament Voting Rules PDF
David Timothy Lee
Lie on the Fly: Iterative Voting Center with Manipulative Voters PDF
Lihi Naamani-Dery, Svetlana Obraztsova, Zinovi Rabinovich, Meir Kalech
Ranked Voting on Social Networks PDF
Ariel D. Procaccia, Nisarg Shah, Eric Sodomka
Non-Myopic Negotiators See What's Best PDF
Yair Zick, Yoram Bachrach, Ian A. Kash, Peter Key

Main Track — Social Networks

How Robust Is the Wisdom of the Crowds? PDF
Noga Alon, Michal Feldman, Omer Lev, Moshe Tennenholtz
Uncovering the Formation of Triadic Closure in Social Networks PDF
Zhanpeng Fang, Jie Tang
Personalized Ranking Metric Embedding for Next New POI Recommendation PDF
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 PDF
Wei-Xue Lu, Peng Zhang, Chuan Zhou, Chunyi Liu, Li Gao
Nonnegative Matrix Tri-Factorization with Graph Regularization for Community Detection in Social Networks PDF
Yulong Pei, Nilanjan Chakraborty, Katia Sycara
A Scalable Community Detection Algorithm for Large Graphs Using Stochastic Block Models PDF
Chengbin Peng, Zhihua Zhang, Ka-Chun Wong, Xiangliang Zhang, David Keyes
CEIL: A Scalable, Resolution Limit Free Approach for Detecting Communities in Large Networks PDF
Vishnu Sankar, Balaraman Ravindran, Shivashankar S
Maximizing the Coverage of Information Propagation in Social Networks PDF
Zhefeng Wang, Enhong Chen, Qi Liu, Yu Yang, Yong Ge, Biao Chang
Network Representation Learning with Rich Text Information PDF
Cheng Yang, Zhiyuan Liu, Deli Zhao, Maosong Sun, Edward Chang
Optimal Route Search with the Coverage of Users' Preferences PDF
Yifeng Zeng, Xuefeng Chen, Xin Cao, Shengchao Qin, Marc Cavazza, Yanping Xiang
Integrated Anchor and Social Link Predictions across Social Networks PDF
Jiawei Zhang, Philip S. Yu

Main Track — Vision and Perception

Groupwise Registration of Aerial Images PDF
Ognjen Arandjelovic, Duc-Son Pham, Svetha Venkatesh
Video Covariance Matrix Logarithm for Human Action Recognition in Videos PDF
Piotr Bilinski, Francois Bremond
Modeling Inter- and Intra-Part Deformations for Object Structure Parsing PDF
Ling Cai, Rongrong Ji, Wei Liu, Gang Hua
Cross-View Projective Dictionary Learning for Person Re-Identification PDF
Sheng Li, Ming Shao, Yun Fu
Inferring Painting Style with Multi-Task Dictionary Learning PDF
Gaowen Liu, Yan Yan, Elisa Ricci, Yi Yang, Yahong Han, Stefan Winkler, Nicu Sebe
Social Image Parsing by Cross-Modal Data Refinement PDF
Zhiwu Lu, Xin Gao, Songfang Huang, Liwei Wang, Ji-Rong Wen
Salient Object Detection via Augmented Hypotheses PDF
Tam Van Nguyen, Jose Sepulveda
Adaptive Sharing for Image Classification PDF
Li Shen, Gang Sun, Zhouchen Lin, Qingming Huang, Enhua Wu
Face Clustering in Videos with Proportion Prior PDF
Zhiqiang Tang, Yifan Zhang, Zechao Li, Hanqing Lu
Trailer Generation via a Point Process-Based Visual Attractiveness Model PDF
Hongteng Xu, Yi Zhen, Hongyuan Zha
Generalized Transitive Distance with Minimum Spanning Random Forest PDF
Zhiding Yu, Weiyang Liu, Wenbo Liu, Xi Peng, Zhuo Hui, B. V. K. Vijaya Kumar
Saliency Detection with a Deeper Investigation of Light Field PDF
Jun Zhang, Meng Wang, Jun Gao, Yi Wang, Xudong Zhang, Xindong Wu
Semantic Single Video Segmentation with Robust Graph Representation PDF
Handong Zhao, Yun Fu

Main Track — Web and Knowledge-Based Information Systems

Reasoning with Style PDF
Marti Bosch, Pierre Geneves, Nabil Layaida
Semantic Concept Discovery for Large-Scale Zero-Shot Event Detection PDF
Xiaojun Chang, Yi Yang, Alexander Hauptmann, Eric P Xing, Yao-Liang Yu
Raising Expectations in GDA Agents Acting in Dynamic Environments PDF
Dustin Dannenhauer, Hector Munoz-Avila
Scalable Graph Hashing with Feature Transformation PDF
Qing-Yuan Jiang, Wu-Jun Li
Web Page Classification Based on Uncorrelated Semi-Supervised Intra-View and Inter-View Manifold Discriminant Feature Extraction PDF
Xiao-Yuan Jing, Qian Liu, Fei Wu, Baowen Xu, Yangping Zhu, Songcan Chen
Distance-Bounded Consistent Query Answering PDF
Andreas Pfandler, Emanuel Sallinger
Short and Sparse Text Topic Modeling via Self-Aggregation PDF
Xiaojun Quan, Chunyu Kit, Yong Ge, Sinno Jialin Pan
Personalized Sentiment Classification Based on Latent Individuality of Microblog Users PDF
Kaisong Song, Shi Feng, Wei Gao, Daling Wang, Ge Yu, Kam-Fai Wong
Online Learning to Rank for Content-Based Image Retrieval PDF
Ji Wan, Pengcheng Wu, Steven C. H. Hoi, Peilin Zhao, Xingyu Gao, Dayong Wang, Yongdong Zhang, Jintao Li
Deep Multimodal Hashing with Orthogonal Regularization PDF
Daixin Wang, Peng Cui, Mingdong Ou, Wenwu Zhu
Hamming Compatible Quantization for Hashing PDF
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 PDF
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 PDF
Djallel Bouneffouf, Inanc Birol
Tracking Political Elections on Social Media: Applications and Experience PDF
Danish Contractor, Bhupesh Chawda, Sameep Mehta, L Venkata Subramaniam, Tanveer Afzal Faruquie
Deep Learning for Event-Driven Stock Prediction PDF
Xiao Ding, Yue Zhang, Ting Liu, Junwen Duan
Large Scale Homophily Analysis in Twitter Using a Twixonomy PDF
Stefano Faralli, Giovanni Stilo, Paola Velardi
Interactive Gender Inference with Integer Linear Programming PDF
Shoushan Li, Jingjing Wang, Guodong Zhou, Hanxiao Shi
Detecting Promotion Campaigns in Community Question Answering PDF
Xin Li, Yiqun Liu, Min Zhang, Shaoping Ma, Xuan Zhu, Jiashen Sun
VRCA: A Clustering Algorithm for Massive Amount of Texts PDF
Ming Liu, Lei Chen, Bingquan Liu, Xiaolong Wang
Towards Domain-Specific Semantic Relatedness: A Case Study from Geography PDF
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 PDF
Xuemeng Song, Liqiang Nie, Luming Zhang, Maofu Liu, Tat-Seng Chua
Unsupervised Sentiment Analysis for Social Media Images PDF
Yilin Wang, Suhang Wang, Jiliang Tang, Huan Liu, Baoxin Li
Re-Ranking Voting-Based Answers by Discarding User Behavior Biases PDF
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 PDF
Xiaofeng Yu, Junqing Xie, Shuai Wang
Exploiting k-Degree Locality to Improve Overlapping Community Detection PDF
Hongyi Zhang, Michael R. Lyu, Irwin King
Learning Geographical Hierarchy Features for Social Image Location Prediction PDF
Xiaoming Zhang, Xia Hu, Zhoujun Li
Catch the Black Sheep: Unified Framework for Shilling Attack Detection Based on Fraudulent Action Propagation PDF
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 PDF
Xingwei Zhu, Zhao-Yan Ming, Yu Hao, Xiaoyan Zhu

Artificial Intelligence and the Arts Track

Artificial Intelligence in the Concertgebouw PDF
Andreas Arzt, Harald Frostel, Thassilo Gadermaier, Martin Gasser, Maarten Grachten, Gerhard Widmer
Kinetic Imaginations: Exploring the Possibilities of Combining AI and Dance PDF
Alexander Berman, Valencia James
Heroic versus Collaborative AI for the Arts PDF
Mark d'Inverno, Jon McCormack
Computational Invention of Cadences and Chord Progressions by Conceptual Chord-Blending PDF
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 PDF
Lorenzo Gatti, Gözde Özbal, Marco Guerini, Oliviero Stock, Carlo Strapparava
Pseudo-Supervised Training Improves Unsupervised Melody Segmentation PDF
Stefan Lattner, Carlos Eduardo Cancino Chacón, Maarten Grachten
Swarm Systems in the Visualization of Consumption Patterns PDF
Catarina Maçãs, Pedro Cruz, Pedro Martins, Penousal Machado
Evolving Ambiguous Images PDF
Penousal Machado, Adriano Vinhas, João Correia, Aniko Ekárt
The Scaffolded Sound Beehive PDF
AnneMarie Maes
Generating 1/f Noise Sequences as Constraint Satisfaction: The Voss Constraint PDF
François Pachet, Pierre Roy, Alexandre Papadopoulos, Jason Sakellariou
Generating all Possible Palindromes from Ngram Corpora PDF
Alexandre Papadopoulos, Pierre Roy, Jean-Charles Régin, François Pachet
Haiku Generator that Reads Blogs and Illustrates Them with Sounds and Images PDF
Rafal Rzepka, Kenji Araki
Looking at Mondrian's Victory Boogie-Woogie: What Do I Feel? PDF
Andreza Sartori, Yan Yan, Gözde Özbal, Alkim Almila ​Akdag Salah​, Albert Ali Salah, Nicu Sebe
Aesthetic Visual Quality Evaluation of Chinese Handwritings PDF
Rongju Sun, Zhouhui Lian, Yingmin Tang, Jianguo Xiao
Narrative Hermeneutic Circle: Improving Character Role Identification from Natural Language Text via Feedback Loops PDF
Josep Valls-Vargas, Jichen Zhu, Santiago Ontanon
Learning to Rap Battle with Bilingual Recursive Neural Networks PDF
Dekai Wu, Karteek Addanki
Stroke-Based Stylization Learning and Rendering with Inverse Reinforcement Learning PDF
Ning Xie, Tingting Zhao, Feng Tian, Xiao Hua Zhang, Masashi Sugiyama

Computational Sustainability Track

Online Fair Division: Analysing a Food Bank Problem PDF
Martin Damyanov Aleksandrov, Haris Aziz, Serge Gaspers, Toby Walsh
A Personalised Thermal Comfort Model Using a Bayesian Network PDF
Frederik Auffenberg, Sebastian Stein, Alex Rogers
Aggregate Demand-Based Real-Time Pricing Mechanism for the Smart Grid: A Game-Theoretic Analysis PDF
Sambaran Bandyopadhyay, Ramasuri Narayanam, Ramachandra Kota, Pg Dr Mohammad Iskandarbin Pg Hj Petra, Zainul Charbiwala
Batch Reinforcement Learning for Smart Home Energy Management PDF
Heider Berlink, Anna HR Costa
Reasoning about Connectivity Constraints PDF
Christian Bessiere, Emmanuel Hebrard, George Katsirelos, Toby Walsh
Clustering Dynamic Spatio-Temporal Patterns in The Presence of Noise and Missing Data PDF
Xi Chen, James H. Faghmous, Ankush Khandelwal, Vipin Kumar
α-min: A Compact Approximate Solver For Finite-Horizon POMDPs PDF
Yann Dujardin, Tom Dietterich, Iadine Chades
When Security Games Go Green: Designing Defender Strategies to Prevent Poaching and Illegal Fishing PDF
Fei Fang, Peter Stone, Milind Tambe
Modeling Multi-Attribute Demand for Sustainable Cloud Computing with Copulae PDF
Maryam Ghasemi, Benjamin Lubin
On the Balance of Meter Deployment Cost and NILM Accuracy PDF
Xiaohong Hao, Bangsheng Tang, Yongcai Wang
Online Mechanisms for Charging Electric Vehicles in Settings with Varying Marginal Electricity Costs PDF
Keiichiro Hayakawa, Enrico H. Gerding, Sebastian Stein, Takahiro Shiga
Secure Routing in Wireless Sensor Networks via POMDPs PDF
Athirai A. Irissappane, Jie Zhang, Frans A. Oliehoek, Partha S. Dutta
Approximately Stable Pricing for Coordinated Purchasing of Electricity PDF
Andrew Perrault, Craig Boutilier
Multiple Instance Learning-Based Birdsong Classification Using Unsupervised Recording Segmentation PDF
Jose F. Ruiz-Muñoz, Mauricio Orozco Alzate, G. Castellanos-Dominguez
Abstract Routing Models and Abstractions in the Context of Vehicle Routing PDF
René Schönfelder, Martin Leucker
Copula Graphical Models for Wind Resource Estimation PDF
Kalyan Veeramachaneni, Alfredo Cuesta-Infante, Una-May O'Reilly
Fast Combinatorial Algorithm for Optimizing the Spread of Cascades PDF
Xiaojian Wu, Daniel Sheldon, Shlomo Zilberstein
Optimal Electric Vehicle Charging Station Placement PDF
Yanhai Xiong, Jiarui Gan, Bo An, Chunyan Miao, Ana L. C. Bazzan
A Crowdfunding Model for Green Energy Investment PDF
Ronghuo Zheng, Ying Xu, Nilanjan Chakraborty, Katia Sycara

Knowledge Representation Track

A MaxSAT Algorithm Using Cardinality Constraints of Bounded Size PDF
Mario Alviano, Carmine Dodaro, Francesco Ricca
Stable Model Semantics of Abstract Dialectical Frameworks Revisited: A Logic Programming Perspective PDF
Mario Alviano, Wolfgang Faber
Combining Existential Rules and Description Logics PDF
Antoine Amarilli, Michael Benedikt
Bidirectional Constraints for Exchanging Data: Beyond Monotone Queries PDF
Marcelo Arenas, Gabriel Diéguez, Jorge Pérez
First-Order Rewritability of Temporal Ontology-Mediated Queries PDF
Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
Multi-Agent Only Knowing on Planet Kripke PDF
Guillaume Aucher, Vaishak Belle
Combining Existential Rules and Transitivity: Next Steps PDF
Jean-François Baget, Meghyn Bienvenu, Marie-Laure Mugnier, Swan Rocher
Dealing with Generic Contrariness in Structured Argumentation PDF
Pietro Baroni, Massimiliano Giacomin, Beishui Liao
AGM Meets Abstract Argumentation: Expansion and Revision for Dung Frameworks PDF
Ringo Baumann, Gerhard Brewka
Answer Update for Rule-Based Stream Reasoning PDF
Harald Beck, Minh Dao-Tran, Thomas Eiter
Epistemic Quantified Boolean Logic: Expressiveness and Completeness Results PDF
Francesco Belardinelli, Wiebe van der Hoek
Only Knowing Meets Common Knowledge PDF
Vaishak Belle, Gerhard Lakemeyer
ALLEGRO: Belief-Based Programming in Stochastic Dynamical Domains PDF
Vaishak Belle, Hector Levesque
Probabilistic Inference in Hybrid Domains by Weighted Model Integration PDF
Vaishak Belle, Andrea Passerini, Guy Van den Broeck
Compatible-Based Conditioning in Interval-Based Possibilistic Logic PDF
Salem Benferhat, Amélie Levray, Karim Tabia, Vladik Kreinovich
Partial Grounded Fixpoints PDF
Bart Bogaerts, Joost Vennekens, Marc Denecker
Complexity Results in Epistemic Planning PDF
Thomas Bolander, Martin Holm Jensen, Francois Schwarzentruber
Policies that Generalize: Solving Many Planning Problems with the Same Policy PDF
Blai Bonet, Hector Geffner
On the Entailment Problem for a Logic of Typicality PDF
Richard Booth, Giovanni Casini, Thomas Andreas Meyer, Ivan José Varzinczak
The Complexity of Subsumption in Fuzzy EL PDF
Stefan Borgwardt, Marco Cerami, Rafael Peñaloza
Temporal Query Answering in the Description Logic EL PDF
Stefan Borgwardt, Veronika Thost
Reasonable Highly Expressive Query Languages PDF
Pierre Bourhis, Markus Krötzsch, Sebastian Rudolph
Logic Program Termination Analysis Using Atom Sizes PDF
Marco Calautti, Sergio Greco, Cristian Molinaro, Irina Trubitsyna
On the Undecidability of the Situation Calculus Extended with Description Logic Ontologies PDF
Diego Calvanese, Giuseppe De Giacomo, Mikhail Soutchanski
Verification of Generalized Inconsistency-Aware Knowledge and Action Bases PDF
Diego Calvanese, Marco Montali, Ario Santoso
Probabilistic Belief Contraction Using Argumentation PDF
Kinzang Chhogyal, Abhaya Nayak, Zhiqiang Zhuang, Abdul Sattar
Tractable Learning for Structured Probability Spaces: A Case Study in Learning Preference Distributions PDF
Arthur Choi, Guy Van den Broeck, Adnan Darwiche
An Algebra of Granular Temporal Relations for Qualitative Reasoning PDF
Quentin Cohen-Solal, Maroua Bouzid, Alexandre Niveau
Extension Enforcement in Abstract Argumentation as an Optimization Problem PDF
Sylvie Coste-Marquis, Sébastien Konieczny, Jean-Guy Mailly, Pierre Marquis
Controlled Query Evaluation for Datalog and OWL 2 Profile Ontologies PDF
Bernardo Cuenca Grau, Evgeny Kharlamov, Egor V. Kostylev, Dmitriy Zheleznyakov
Multilateral Negotiation in Boolean Games with Incomplete Information Using Generalized Possibilistic Logic PDF
Sofie De Clercq, Steven Schockaert, Ann Nowé, Martine De Cock
Fixed-Parameter Tractable Reductions to SAT for Planning PDF
Ronald de Haan, Martin Kronegger, Andreas Pfandler
The Logic of Qualitative Probability PDF
James Delgrande, Bryan Renne
On the Aggregation of Argumentation Frameworks PDF
Jérôme Delobelle, Sébastien Konieczny, Srdjan Vesic
Combining Existential Rules with the Power of CP-Theories PDF
Tommaso Di Noia, Thomas Lukasiewicz, Maria Vanina Martinez, Gerardo I. Simari, Oana Tifrea-Marciuska
An Extension-Based Approach to Belief Revision in Abstract Argumentation PDF
Martin Diller, Adrian Haret, Thomas Linsbichler, Stefan Rümmele, Stefan Woltran
The Cube of Opposition: A Structure Underlying Many Knowledge Representation Formalisms PDF
Didier Dubois, Henri Prade, Agnès Rico
Modular Systems with Preferences PDF
Alireza Ensan, Eugenia Ternovska
A Logic for Reasoning about Justified Uncertain Beliefs PDF
Tuan-Fang Fan, Churn-Jung Liau
On the Progression of Knowledge and Belief for Nondeterministic Actions in the Situation Calculus PDF
Liangda Fang, Yongmei Liu, Ximing Wen
Epistemic Equilibrium Logic PDF
Luis Fariñas del Cerro, Andreas Herzig, Ezgi Iraz Su
The Combined Approach to Query Answering Beyond the OWL 2 Profiles PDF
Cristina Feier, David Carral, Giorgio Stefanoni, Bernardo Cuenca Grau, Ian Horrocks
Computing Social Behaviours Using Agent Models PDF
Paolo Felli, Tim Miller, Christian Muise, Adrian R. Pearce, Liz Sonenberg
On the Computational Complexity of Naive-Based Semantics for Abstract Dialectical Frameworks PDF
Sarah Alice Gaggl, Sebastian Rudolph, Hannes Strass
Polynomial Rewritings for Linear Existential Rules PDF
Georg Gottlob, Marco Manna, Andreas Pieris
Beyond SPARQL under OWL 2 QL Entailment Regime: Rules to the Rescue PDF
Georg Gottlob, Andreas Pieris
Group Decision Making via Weighted Propositional Logic: Complexity and Islands of Tractability PDF
Gianluigi Greco, Jerome Lang
Lightweight Temporal Description Logics with Rigid Roles and Restricted TBoxes PDF
Víctor Gutiérrez-Basulto, Jean Christoph Jung, Thomas Schneider
A Modification of the Halpern-Pearl Definition of Causality PDF
Joseph Halpern
Efficient Query Rewriting in the Description Logic EL and Beyond PDF
Peter Hansen, Carsten Lutz, İnanç Seylan, Frank Wolter
Merging in the Horn Fragment PDF
Adrian Haret, Stefan Rümmele, Stefan Woltran
Schema.org as a Description Logic PDF
Andre Hernich, Carsten Lutz, Ana Ozaki, Frank Wolter
Modelling the Persuadee in Asymmetric Argumentation Dialogues for Persuasion PDF
Anthony Hunter
Trust-Sensitive Belief Revision PDF
Aaron Hunter, Richard Booth
Simplifying A Logic Program Using Its Consequences PDF
Jianmin Ji, Hai Wan, Ziwei Huo, Zhenfeng Yuan
On Forgetting Postulates in Answer Set Programming PDF
Jianmin Ji, Jia-Huai You, Yisong Wang
Efficient Semantic Features for Automated Reasoning over Large Theories PDF
Cezary Kaliszyk, Josef Urban, Jiri Vyskocil
Computing Horn Rewritings of Description Logics Ontologies PDF
Mark Kaminski, Bernardo Cuenca Grau
Efficient Paraconsistent Reasoning with Ontologies and Rules PDF
Tobias Kaminski, Matthias Knorr, João Leite
Query Rewriting for Existential Rules with Compiled Preorder PDF
Melanie Konig, Michel Leclere, Marie-Laure Mugnier
Automatic Verification of Partial Correctness of Golog Programs PDF
Naiqi Li, Yongmei Liu
Ontology-Mediated Queries with Closed Predicates PDF
Carsten Lutz, Inanc Seylan, Frank Wolter
Combining Rewriting and Incremental Materialisation Maintenance for Datalog Programs with Equality PDF
Boris Motik, Yavor Nenov, Robert Piro, Ian Horrocks
Kernel Contraction and Base Dependence: Redundancy in the Base Resulting in Different Types of Dependence PDF
Mehrdad Oveisi, James P. Delgrande, Fred Popowich, Francis Jeffry Pelletier
A Top-Down Compiler for Sentential Decision Diagrams PDF
Umut Oztok, Adnan Darwiche
On the Parameterized Complexity of Belief Revision PDF
Andreas Pfandler, Stefan Rümmele, Johannes Peter Wallner, Stefan Woltran
Probabilistic Reasoning with Inconsistent Beliefs Using Inconsistency Measures PDF
Nico Potyka, Matthias Thimm
Did You Know? — Mining Interesting Trivia for Entities from Wikipedia PDF
Abhay Prakash, Manoj Kumar Chinnakotla, Dhaval Patel, Puneet Garg
Realizability of Three-Valued Semantics for Abstract Dialectical Frameworks PDF
Jörg Pührer
Execution Monitoring as Meta-Games for General Game-Playing Robots PDF
David Rajaratnam, Michael Thielscher
Membership Constraints in Formal Concept Analysis PDF
Sebastian Rudolph, Christian Sacarea, Diana Troanca
Characterization of the Expressivity of Existential Rule Queries PDF
Sebastian Rudolph, Michaël Thomazo
Towards Fully Observable Non-Deterministic Planning as Assumption-based Automatic Synthesis PDF
Sebastian Sardina, Nicolas D'Ippolito
Qualitative Reasoning about Directions in Semantic Spaces PDF
Steven Schockaert, Jae Hee Lee
Belief Revision and Progression of Knowledge Bases in the Epistemic Situation Calculus PDF
Christoph Schwering, Gerhard Lakemeyer, Maurice Pagnucco
MergeXplain: Fast Computation of Multiple Conflicts for Diagnosis PDF
Kostyantyn Shchekotykhin, Dietmar Jannach, Thomas Schmitz
Efficiently Characterizing Non-Redundant Constraints in Large Real World Qualitative Spatial Networks PDF
Michael Sioutis, Sanjiang Li, Jean-Francois Condotta
Characterizability in Belief Revision PDF
György Turán, Jon Yaggie
Efficiently Finding Conditional Instruments for Causal Inference PDF
Benito van der Zander, Johannes Textor, Maciej Liskiewicz
AGM Revision of Beliefs about Action and Time PDF
Marc van Zee, Dragan Doder, Mehdi Dastani, Leendert van der Torre
A Complete Epistemic Planner without the Epistemic Closed World Assumption PDF
Hai Wan, Rui Yang, Liangda Fang, Yongmei Liu, Huada Xu
Query Understanding through Knowledge-Based Conceptualization PDF
Zhongyuan Wang, Kejun Zhao, Haixun Wang, Xiaofeng Meng, Ji-Rong Wen
Computation and Complexity of Preference Inference Based on Hierarchical Models PDF
Nic Wilson, Anne-Marie George, Barry O'Sullivan
Verification of Knowledge-Based Programs over Description Logic Actions PDF
Benjamin Zarrieß, Jens Claßen
Characterizing Causal Action Theories and Their Implementations in Answer Set Programming: Action Languages B, C, and Beyond PDF
Haodi Zhang, Fangzhen Lin
First-Order Disjunctive Logic Programming vs Normal Logic Programming PDF
Yi Zhou
Extending AGM Contraction to Arbitrary Logics PDF
Zhiqiang Zhuang, Zhe Wang, Kewen Wang, James P Delgrande

Machine Learning Track

Learning Regular Languages via Alternating Automata PDF
Dana Angluin, Sarah Eisenstat, Dana Fisman
Maximum Entropy Semi-Supervised Inverse Reinforcement Learning PDF
Julien Audiffren, Michal Valko, Alessandro Lazaric, Mohammad Ghavamzadeh
A Graph Kernel Based on the Jensen-Shannon Representation Alignment PDF
Lu Bai, Zhihong Zhang, Chaoyan Wang, Xiao Bai, Edwin Hancock
An Expectation-Maximization Algorithm to Compute a Stochastic Factorization From Data PDF
Andre M. S. Barreto, Rafael L. Beirigo, Joelle Pineau, Doina Precup
Count-Based Frequency Estimation with Bounded Memory PDF
Marc G. Bellemare
Autonomous Cross-Domain Knowledge Transfer in Lifelong Policy Gradient Reinforcement Learning PDF
Haitham Bou Ammar, Eric Eaton, Jose Marcio Luna, Paul Ruvolo
Reinforcement Learning from Demonstration through Shaping PDF
Tim Brys, Anna Harutyunyan, Halit Bener Suay, Sonia Chernova, Matthew E. Taylor, Ann Nowé
Compressed Spectral Regression for Efficient Nonlinear Dimensionality Reduction PDF
Deng Cai
Policy Shaping with Human Teachers PDF
Thomas Cederborg, Ishaan Grover, Charles L Isbell, Andrea L Thomaz
A Space Alignment Method for Cold-Start TV Show Recommendations PDF
Shiyu Chang, Jiayu Zhou, Pirooz Chubak, Junling Hu, Thomas Huang
Direct Policy Iteration with Demonstrations PDF
Jessica Chemali, Alessandro Lazaric
Model Metric Co-Learning for Time Series Classification PDF
Huanhuan Chen, Fengzhen Tang, Peter Tino, Anthony G. Cohn, Xin Yao
Training-Efficient Feature Map for Shift-Invariant Kernels PDF
Xixian Chen, Haiqin Yang, Irwin King, Michael R. Lyu
Mirror Representation for Modeling View-Specific Transform in Person Re-Identification PDF
Ying-Cong Chen, Wei-Shi Zheng, Jianhuang Lai
Efficient Generalized Conditional Gradient with Gradient Sliding for Composite Optimization PDF
Yiu-ming Cheung, Jian Lou
Robust Learning for Repeated Stochastic Games via Meta-Gaming PDF
Jacob W. Crandall
Learning Efficient Logical Robot Strategies Involving Composable Objects PDF
Andrew Cropper, Stephen H. Muggleton
Optimal Bayesian Hashing for Efficient Face Recognition PDF
Qi Dai, Jianguo Li, Jun Wang, Yurong Chen, Yu-Gang Jiang
Multi-View Matrix Decomposition: A New Scheme for Exploring Discriminative Information PDF
Cheng Deng, Zongting Lv, Wei Liu, Junzhou Huang, Dacheng Tao, Xinbo Gao
Intersecting Manifolds: Detection, Segmentation, and Labeling PDF
Shay Deutsch, Gerard Guy Medioni
Deep Low-Rank Coding for Transfer Learning PDF
Zhengming Ding, Ming Shao, Yun Fu
Speeding Up Automatic Hyperparameter Optimization of Deep Neural Networks by Extrapolation of Learning Curves PDF
Tobias Domhan, Jost Tobias Springenberg, Frank Hutter
Topic Modeling with Document Relative Similarities PDF
Jianguang Du, Jing Jiang, Dandan Song, Lejian Liao
Robust Multiple Kernel K-means Using L21-Norm PDF
Liang Du, Peng Zhou, Lei Shi, Hanmo Wang, Mingyu Fan, Wenjian Wang, Yi-Dong Shen
Crowdsourced Semantic Matching of Multi-Label Annotations PDF
Lei Duan, Satoshi Oyama, Masahito Kurihara, Haruhiko Sato
Random Feature Mapping with Signed Circulant Matrix Projection PDF
Chang Feng, Qinghua Hu, Shizhong Liao
Quiet: Faster Belief Propagation for Images and Related Applications PDF
Yasuhiro Fujiwara, Dennis Shasha
Potential Based Reward Shaping for Hierarchical Reinforcement Learning PDF
Yang Gao, Francesca Toni
Pre-release Prediction of Crowd Opinion on Movies by Label Distribution Learning PDF
Xin Geng, Peng Hou
Multitask Coactive Learning PDF
Robby Goetschalckx, Alan Fern, Prasad Tadepalli
Multi-Label Structure Learning with Ising Model Selection PDF
Andre R. Goncalves, Fernando J. Von Zuben, Arindam Banerjee
Bi-Parameter Space Partition for Cost-Sensitive SVM PDF
Bin Gu, Victor S. Sheng, Shuo Li
Online Robust Low Rank Matrix Recovery PDF
Xiaojie Guo
Robust Subspace Segmentation by Simultaneously Learning Data Representations and Their Affinity Matrix PDF
Xiaojie Guo
Active Imitation Learning of Hierarchical Policies PDF
Mandana Hamidi, Prasad Tadepalli, Robby Goetschalckx, Alan Fern
Identification of Time-Dependent Causal Model: A Gaussian Process Treatment PDF
Biwei Huang, Kun Zhang, Bernhard Schölkopf
A New Simplex Sparse Learning Model to Measure Data Similarity for Clustering PDF
Jin Huang, Feiping Nie, Heng Huang
Scalable Gaussian Process Regression Using Deep Neural Networks PDF
Wenbing Huang, Deli Zhao, Fuchun Sun, Huaping Liu, Edward Chang
Training-Time Optimization of a Budgeted Booster PDF
Yi Huang, Brian Powers, Lev Reyzin
Robust Dictionary Learning with Capped l1-Norm PDF
Wenhao Jiang, Feiping Nie, Heng Huang
Fast Cross-Validation for Incremental Learning PDF
Pooria Joulani, Andras Gyorgy, Csaba Szepesvari
Bayesian Active Learning for Posterior Estimation PDF
Kirthevasan Kandasamy, Jeff Schneider, Barnabas Poczos
Collaborative Place Models PDF
Berk Kapicioglu, David S. Rosenberg, Robert E. Schapire, Tony Jebara
Symbol Acquisition for Probabilistic High-Level Planning PDF
George Konidaris, Leslie Kaelbling, Tomas Lozano-Perez
Data Sparseness in Linear SVM PDF
Xiang Li, Huaimin Wang, Bin Gu, Charles X. Ling
Multi-Label Classification with Feature-Aware Non-Linear Label Space Transformation PDF
Xin Li, Yuhong Guo
Multi-Task Model and Feature Joint Learning PDF
Ya Li, Xinmei Tian, Tongliang Liu, Dacheng Tao
Word Embedding Revisited: A New Representation Learning and Explicit Matrix Factorization Perspective PDF
Yitan Li, Linli Xu, Fei Tian, Liang Jiang, Xiaowei Zhong, Enhong Chen
Mixed Error Coding for Face Recognition with Mixed Occlusions PDF
Ronghua Liang, Xiao-Xin Li
Density Corrected Sparse Recovery when R.I.P. Condition Is Broken PDF
Ming Lin, Zhengzhong Lan, Alexander G. Hauptmann
Regularizing Flat Latent Variables with Hierarchical Structures PDF
Rongcheng Lin, Huayu Li, Xiaojun Quan, Richang Hong, Zhiang Wu, Yong Ge
Robust Kernel Dictionary Learning Using a Whole Sequence Convergent Algorithm PDF
Huaping Liu, Jie Qin, Hong Cheng, Fuchun Sun
Multi-Task Multi-Dimensional Hawkes Processes for Modeling Event Sequences PDF
Dixin Luo, Hongteng Xu, Yi Zhen, Xia Ning, Hongyuan Zha, Xiaokang Yang, Wenjun Zhang
Between Imitation and Intention Learning PDF
James MacGlashan, Michael L. Littman
Optimizing Locally Linear Classifiers with Supervised Anchor Point Learning PDF
Xue Mao, Zhouyu Fu, Ou Wu, Weiming Hu
Using A* for Inference in Probabilistic Classifier Chains PDF
Deiner Mena, Elena Montañés, José Ramón Quevedo, Juan José del Coz
Introspective Forecasting PDF
Loizos Michael
EntScene: Nonparametric Bayesian Temporal Segmentation of Videos Aimed at Entity-Driven Scene Detection PDF
Adway Mitra, Chiranjib Bhattacharyya, Soma Biswas
Image Feature Learning for Cold Start Problem in Display Advertising PDF
Kaixiang Mo, Bo Liu, Lei Xiao, Yong Li, Jie Jiang
Inverse Reinforcement Learning in Relational Domains PDF
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 PDF
Frank Neumann, Carsten Witt
Weakly Supervised Matrix Factorization for Noisily Tagged Image Parsing PDF
Yulei Niu, Zhiwu Lu, Songfang Huang, Peng Han, Ji-Rong Wen
Graph Invariant Kernels PDF
Francesco Orsini, Paolo Frasconi, Luc De Raedt
EigenGP: Gaussian Process Models with Adaptive Eigenfunctions PDF
Hao Peng, Yuan Qi
Scalable Probabilistic Tensor Factorization for Binary and Count Data PDF
Piyush Rai, Changwei Hu, Matthew Harding, Lawrence Carin
Nonparametric Independence Testing for Small Sample Sizes PDF
Aaditya Ramdas, Leila Wehbe
Data Compression for Learning MRF Parameters PDF
Khaled S. Refaat, Adnan Darwiche
Extended Discriminative Random Walk: A Hypergraph Approach to Multi-View Multi-Relational Transductive Learning PDF
Sai Nageswar Satchidanand, Harini Ananthapadmanaban, Balaraman Ravindran
Deep Linear Coding for Fast Graph Clustering PDF
Ming Shao, Sheng Li, Zhengming Ding, Yun Fu
Semi-Orthogonal Multilinear PCA with Relaxed Start PDF
Qiquan Shi, Haiping Lu
A Geometric Theory of Feature Selection and Distance-Based Measures PDF
Kilho Shin, Adrian Pino Angulo
Open Domain Short Text Conceptualization: A Generative + Descriptive Modeling Approach PDF
Yangqiu Song, Shusen Wang, Haixun Wang
Equivalence Results between Feedforward and Recurrent Neural Networks for Sequences PDF
Alessandro Sperduti
Polytree-Augmented Classifier Chains for Multi-Label Classification PDF
Lu Sun, Mineichi Kudo
Sketch the Storyline with CHARCOAL: A Non-Parametric Approach PDF
Siliang Tang, Fei Wu, Si Li, Weiming Lu, Zhongfei Zhang, Yueting Zhuang
Convergence of Common Proximal Methods for L1-Regularized Least Squares PDF
Shaozhe Tao, Daniel Boley, Shuzhong Zhang
Portable Option Discovery for Automated Learning Transfer in Object-Oriented Markov Decision Processes PDF
Nicholay Topin, Nicholas Haltmeyer, Shawn Squire, John Winder, Marie desJardins, James MacGlashan
Online Learning of k-CNF Boolean Functions PDF
Joel Veness, Marcus Hutter, Laurent Orseau, Marc Bellemare
Feature Selection from Microarray Data via an Ordered Search with Projected Margin PDF
Saulo Moraes Villela, Saul de Castro Leite, Raul Fonseca Neto
Constrained Information-Theoretic Tripartite Graph Clustering to Identify Semantically Similar Relations PDF
Chenguang Wang, Yangqiu Song, Dan Roth, Chi Wang, Jiawei Han, Heng Ji, Ming Zhang
Semantic Topic Multimodal Hashing for Cross-Media Retrieval PDF
Di Wang, Xinbo Gao, Xiumei Wang, Lihuo He
An Efficient Classifier Based on Hierarchical Mixing Linear Support Vector Machines PDF
Di Wang, Xiaoqin Zhang, Mingyu Fan, Xiuzi Ye
Learning to Hash on Partial Multi-Modal Data PDF
Qifan Wang, Luo Si, Bin Shen
Ranking Preserving Hashing for Fast Similarity Search PDF
Qifan Wang, Zhiwei Zhang, Luo Si
A Soft Version of Predicate Invention Based on Structured Sparsity PDF
William Yang Wang, Kathryn Mazaitis, William W. Cohen
Discriminative Unsupervised Dimensionality Reduction PDF
Xiaoqian Wang, Yun Liu, Feiping Nie, Heng Huang
A Joint Optimization Framework of Sparse Coding and Discriminative Clustering PDF
Zhangyang Wang, Yingzhen Yang, Shiyu Chang, Jinyan Li, Simon Fong, Thomas S Huang
Imaging Time-Series to Improve Classification and Imputation PDF
Zhiguang Wang, Tim Oates
Quantized Correlation Hashing for Fast Cross-Modal Search PDF
Botong Wu, Qiang Yang, Wei-Shi Zheng, Yizhou Wang, Jingdong Wang
Multi-Graph-View Learning for Complicated Object Classification PDF
Jia Wu, Shirui Pan, Xingquan Zhu, Zhihua Cai, Chengqi Zhang
Thompson Sampling for Budgeted Multi-Armed Bandits PDF
Yingce Xia, Haifang Li, Tao Qin, Nenghai Yu, Tie-Yan Liu
Perception Evolution Network Adapting to the Emergence of New Sensory Receptor PDF
Youlu Xing, Furao Shen, Jinxi Zhao
Multi-view Self-Paced Learning for Clustering PDF
Chang Xu, Dacheng Tao, Chao Xu
Ice-Breaking: Mitigating Cold-Start Recommendation Problem by Rating Comparison PDF
Jingwei Xu, Yuan Yao, Hanghang Tong, Xianping Tao, Jian Lu
Scalable Maximum Margin Matrix Factorization by Active Riemannian Subspace Search PDF
Yan Yan, Mingkui Tan, Ivor Tsang, Yi Yang, Chengqi Zhang, Qinfeng Shi
Deep Convolutional Neural Networks on Multichannel Time Series for Human Activity Recognition PDF
Jianbo Yang, Minh Nhut Nguyen, Phyo Phyo San, Xiao Li Li, Shonali Krishnaswamy
Accelerated Inexact Soft-Impute for Fast Large-Scale Matrix Completion PDF
Quanming Yao, James T. Kwok
Unsupervised Machine Condition Monitoring Using Segmental Hidden Markov Models PDF
Chao Yuan
Matrix Factorization with Scale-Invariant Parameters PDF
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 PDF
Xiaodong Zheng, Shanfeng Zhu, Junning Gao, Hiroshi Mamitsuka
A Direct Boosting Approach for Semi-supervised Classification PDF
Shaodan Zhai, Tian Xia, Zhongliang Li, Shaojun Wang
Increasingly Cautious Optimism for Practical PAC-MDP Exploration PDF
Liangpeng Zhang, Ke Tang, Xin Yao
Towards Class-Imbalance Aware Multi-Label Learning PDF
Min-Ling Zhang, Yu-Kun Li, Xu-Ying Liu
Solving the Partial Label Learning Problem: An Instance-Based Approach PDF
Min-Ling Zhang, Fei Yu
Multi-Task Multi-View Clustering for Non-Negative Data PDF
Xianchao Zhang, Xiaotong Zhang, Han Liu
Semi-Supervised Multi-Label Learning with Incomplete Labels PDF
Feipeng Zhao, Yuhong Guo
Self-Adaptive Hierarchical Sentence Model PDF
Han Zhao, Zhengdong Lu, Pascal Poupart
Dual-Regularized Multi-View Outlier Detection PDF
Handong Zhao, Yun Fu
Mobile Query Recommendation via Tensor Function Learning PDF
Zhou Zhao, Ruihua Song, Xing Xie, Xiaofei He, Yueting Zhuang
MUVIR: Multi-View Rare Category Detection PDF
Dawei Zhou, Jingrui He, K. Seluk Candan, Hasan Davulcu
Recovery of Corrupted Multiple Kernels for Clustering PDF
Peng Zhou, Liang Du, Lei Shi, Hanmo Wang, Yi-Dong Shen
Learning a Robust Consensus Matrix for Clustering Ensemble via Kullback-Leibler Divergence Minimization PDF
Peng Zhou, Liang Du, Hanmo Wang, Lei Shi, Yi-Dong Shen
Supervised Representation Learning: Transfer Learning with Deep Autoencoders PDF
Fuzhen Zhuang, Xiaohu Cheng, Ping Luo, Sinno Jialin Pan, Qing He
Adaptive Dropout Rates for Learning with Corrupted Features PDF
Jingwei Zhuo, Jun Zhu, Bo Zhang

Demos Track

Evolving Families of Shapes PDF
Filipe Assunção, João Correia, Pedro Martins, Penousal Machado
Max Order: A Tale of Creativity PDF
Fiammetta Ghedini, François Pachet, Pierre Roy
Modelling High-Dimensional Sequences with LSTM-RTRBM: Application to Polyphonic Music Generation PDF
Qi Lyu, Zhiyong Wu, Jun Zhu, Helen Meng
Capturing a Musician's Groove: Generation of Realistic Accompaniments from Single Song Recordings PDF
Mathieu Ramona, Giordano Cabral, François Pachet

Journal Track

Constitutive and Regulative Specifications of Commitment Protocols: A Decoupled Approach (Extended Abstract) PDF
Matteo Baldoni, Cristina Baroglio, Elisa Marengo, Viviana Patti
The Arcade Learning Environment: An Evaluation Platform for General Agents (Extended Abstract) PDF
Marc Bellemare, Yavar Naddaf, Joel Veness, Michael Bowling
Influencing Individually: Fusing Personalization and Persuasion (Extended Abstract) PDF
Shlomo Berkovsky, Jill Freyne, Harri Oinas-Kukkonen
Developing Corpora for Sentiment Analysis: The Case of Irony and Senti-TUT (Extended Abstract) PDF
Cristina Bosco, Viviana Patti, Andrea Bolioli
Data Complexity of Query Answering in Description Logics (Extended Abstract) PDF
Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati
Common Sense Reasoning for Detection, Prevention, and Mitigation of Cyberbullying (Extended Abstract) PDF
Karthik Dinakar, Rosalind Picard, Henry Lieberman
Complexity-Sensitive Decision Procedures for Abstract Argumentation (Extended Abstract) PDF
Wolfgang Dvořák, Matti Järvisalo, Johannes Peter Wallner, Stefan Woltran
The Complexity of Manipulative Attacks in Nearly Single-Peaked Electorates (Extended Abstract) PDF
Piotr Faliszewski, Edith Hemaspaandra, Lane A. Hemaspaandra
kLog: A Language for Logical and Relational Learning with Kernels (Extended Abstract) PDF
Paolo Frasconi, Fabrizio Costa, Luc De Raedt, Kurt De Grave
Framing Image Description as a Ranking Task: Data, Models and Evaluation Metrics (Extended Abstract) PDF
Micah Hodosh, Peter Young, Julia Hockenmaier
Measuring and Recommending Time-Sensitive Routes from Location-based Data PDF
Hsun-Ping Hsieh, Cheng-Te Li, Shou-De Lin
Algorithm Runtime Prediction: Methods and Evaluation (Extended Abstract) PDF
Frank Hutter, Lin Xu, Holger Hoos, Kevin Leyton-Brown
Phrase Detectives: Utilizing Collective Intelligence for Internet-Scale Language Resource Creation (Extended Abstract) PDF
Massimo Poesio, Jon Chamberlain, Udo Kruschwitz, Livio Robaldo, Luca Ducceschi
Norms as a Basis for Governing Sociotechnical Systems: Extended Abstract PDF
Munindar P. Singh
Continuous Body and Hand Gesture Recognition for Natural Human-Computer Interaction: Extended Abstract PDF
Yale Song, Randall Davis
On the Testability of BDI Agent Systems (Extended Abstract) PDF
Michael Winikoff, Stephen Cranefield
Inapproximability of Treewidth and Related Problems (Extended Abstract) PDF
Yu Wu, Per Austrin, Toniann Pitassi, David Liu
Feature Ensemble Plus Sample Selection: Domain Adaptation for Sentiment Classification (Extended Abstract) PDF
Rui Xia, Chengqing Zong, Xuelei Hu, Erik Cambria
Using Social Media to Enhance Emergency Situation Awareness: Extended Abstract PDF
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? PDF
Elena Botoeva, Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
Description Logic Based Dynamic Systems: Modeling, Verification, and Synthesis PDF
Diego Calvanese, Giuseppe De Giacomo, Marco Montali, Fabio Patrizi
Exploiting Separability in Multiagent Planning with Continuous-State MDPs (Extended Abstract) PDF
Jilles Steeve Dibangoye, Christopher Amato, Olivier Buffet, François Charpillet
Trust-Guided Behavior Adaptation Using Case-Based Reasoning PDF
Michael Floyd, Michael Drinkwater, David Aha
Adapting to User Preference Changes in Interactive Recommendation PDF
Negar Hariri, Bamshad Mobasher, Robin Burke
Near-Optimal Approximation Mechanisms for Multi-Unit Combinatorial Auctions PDF
Piotr Krysta, Orestis Telelis, Carmine Ventre
How to Define Certain Answers PDF
Leonid Libkin
Firefly Monte Carlo: Exact MCMC with Subsets of Data PDF
Dougal Maclaurin, Ryan Prescott Adams
Matching and Grokking: Approaches to Personalized Crowdsourcing PDF
Peter Organisciak, Jaime Teevan, Susan Dumais, Robert C. Miller, Adam Tauman Kalai
Heuristics for Cost-Optimal Classical Planning Based on Linear Programming PDF
Florian Pommerening, Gabriele Roger, Malte Helmert, Blai Bonet
Reasoning with Probabilistic Ontologies PDF
Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma, Riccardo Zese
Examples and Tutored Problems: Adaptive Support Using Assistance Scores PDF
Amir Shareghi Najar, Antonija Mitrovic, Bruce McLaren
Max Is More than Min: Solving Maximization Problems with Heuristic Search PDF
Roni Stern, Scott Kiesel, Rami Puzis, Ariel Felner, Wheeler Ruml
Speedy versus Greedy Search PDF
Christopher Makoto Wilt, Wheeler Ruml

Doctoral Consortium

Online Fair Division PDF
Martin Damyanov Aleksandrov
Expressive Rule-Based Stream Reasoning PDF
Harald Beck
Graph Construction for Semi-Supervised Learning PDF
Lilian Berton, Alneu de Andrade Lopes
Stochastic Density Ratio Estimation and Its Application to Feature Selection PDF
Igor Braga
Encoding and Combining Knowledge to Speed up Reinforcement Learning PDF
Tim Brys
A Cognitively Inspired Approach for Knowledge Representation and Reasoning in Knowledge-Based Systems PDF
Joel Luis Carbonera, Mara Abel
Distribution of UCT and Its Ramifications PDF
Marc Yu-San Chee
A Distributed Platform to Ease the Development of Recommendation Algorithms on Large-Scale Graphs PDF
Alejandro Corbellini
Models for Conditional Preferences as extensions of CP-nets PDF
Cristina Cornelio
Information Extraction of Texts in the Biomedical Domain PDF
Viviana Cotik
Learning Efficient Logic Programs PDF
Andrew Cropper
RoTuEl: A Semi-Automated Method for Labeling Political Tweets PDF
Wilton de Paula Filho, Ana Cristina Bicharra Garcia
Bipartite Graph for Topic Extraction PDF
Thiago de Paulo Faleiros, Alneu de Andrade Lopes
Statistical Relational Learning Towards Modelling Social Media Users PDF
Golnoosh Farnadi
On the Static Analysis for SPARQL Queries Using Modal Logic PDF
Nicola Guido
Exploiting Trust Information to Cope with Malicious Entities in Multi-Agent Systems PDF
Athirai A. Irissappane
Artificial Prediction Markets for Online Prediction PDF
Fatemeh Jahedpari
Multi-Robot Exploration with Communication Restrictions PDF
Elizabeth A. Jensen
Diagnosis of Technical Systems PDF
Roxane Koitz, Franz Wotawa
Abstract Argumentation Frameworks — From Theoretical Insights to Practical Implications PDF
Thomas Linsbichler
Flexible Scheduling for an Agile Earth-Observing Satelllite PDF
Adrien Maillard
Towards More Practical Reinforcement Learning PDF
Travis Mandel
Using Small Humanoid Robots to Detect Autism in Toddlers PDF
Marie D. Manner
Automatic Extraction of References to Future Events from News Articles Using Semantic and Morphological Information PDF
Yoko Nakajima
Advances in Nonparametric Hypothesis Testing PDF
Aaditya Ramdas
Efficient Methods for Multi-Objective Decision-Theoretic Planning PDF
Diederik Marijn Roijers
Automated Agents for Advice Provision PDF
Ariel Rosenfeld
Dynamic Execution of Temporal Plans with Sensing Actions and Bounded Risk PDF
Pedro Henrique Santana, Brian C. Williams
An Intelligent and Unified Framework for Multiple Robot and Human Coalition Formation PDF
Sayan Dev Sen
Normative Practical Reasoning: An Argumentation-Based Approach PDF
Zohreh Shams
Unleashing the Power of Multi-Agent Voting Teams PDF
Leandro Soriano Marcolino
Feature Selection for Multi-Label Learning PDF
Newton Spolaôr, Maria Carolina Monard, Huei Diana Lee
Rational Architecture = Architecture from a Recommender Perspective PDF
Marc van Zee
Quantifying and Improving the Robustness of Trust Systems PDF
Dongxia Wang
The Spatio-Temporal Representation of Natural Reading PDF
Leila Wehbe
Approximate Algorithms for Stochastic Network Design PDF
Xiaojian Wu
Inference and Learning for Probabilistic Description Logics PDF
Riccardo Zese
Improvements of Symmetry Breaking During Search PDF
Zichen Zhu

Invited

Activity-based Scheduling of Science Campaigns for the Rosetta Orbiter PDF
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 PDF
Manuela Veloso, Joydeep Biswas, Brian Coltin, Stephanie Rosenthal