Tuesday, Aug 6th 2013 (Day 1)
08:30 - 09:00
Hall #2Welcome address and program overviewFrancesca Rossi
09:00 - 09:45
Hall #2
Francesca Rossi
Invited talkComputational Disaster ManagementPascal Van Hentenryck
09:45 - 10:15
Coffee Break
10:15 - 11:05
Hall #2
Kevin Leyton-Brown
Invited talkComputational Perspectives on Social Phenomena at Global ScalesJon Kleinberg
11:10 - 12:00
Hall #2
Craig Knoblock, Introduced by Raymond J. Mooney
IJCAI-13 Computers and Thought AwardTowards Large-Scale Visual Recognition and SearchKristen Grauman
12:00 - 13:30
13:30 - 15:15
Room 201CD

Session Chair: Francesca Rossi
Award papers
IJCAI 2013 distinguished paper Bayesian Optimization in High Dimensions via Random Embeddings Ziyu Wang, Masrour Zoghi, Frank Hutter, David Matheson, Nando de Freitas
IJCAI 2013 distinguished paper Maximizing Flexibility in Simple Temporal Networks Bob Huisman, Tomas Klos, Michel Wilson, Cees Witteveen
IJCAI-JAIR 2013 best paper award Adaptive Submodularity: Theory and Applications in Active Learning and Stochastic Optimization Daniel Golovin, Andreas Krause
2012 ECCAI Dissertation Award Declarative Pattern Mining using Constraint Programming Tias Guns
Room 307

Session Chair: Meinolf Sellmann
Constraints, Satisfiability, and Search 1
Towards rational deployment of multiple heuristics in A* Solomon Shimony, Erez Karpas, Ariel Felner, David Tolpin, Tal Beja
Monte Carlo *-Minimax Search Marc Lanctot, Abdallah Saffidine, Joel Veness, Chris Archibald, Mark Winands
Forward Perimeter Search with Controlled Use of Memory Thorsten Schuett, Robert Doebbelin, Alexander Reinefeld
Target-Value Search Revisited Carlos Linares López, Roni Stern, Ariel Felner
Room 203AB

Session Chair: Ulle Endriss
Agent-based and Multi-agent Systems 1
Maximal Recursive Rule: A New Social Decision Scheme Haris Aziz
A Social Welfare Optimal Sequential Allocation Procedure Thomas Kalinowski, Nina Narodytska, Toby Walsh
Control in the Presence of Manipulators: Cooperative and Competitive Cases Zack Fitzsimmons, Edith Hemaspaandra, Lane Hemaspaandra
Externalities in Cake Cutting Simina Branzei, Ariel Procaccia, Jie Zhang
Room 305CD

Session Chair: Subbarao Kambhampati
Planning and Scheduling 1
Controlling the Hypothesis Space in Probabilistic Plan Recognition Froduald Kabanza, Julien Filion, Abder Rezak Benaskeur, Hengameh Irandoust
The GoDeL Planning System: A more perfect union of Domain-Independent and Hierarchical Planning Vikas Shivashankar, Ron Alford, Ugur Kuter, Dana Nau
Flexible Execution of Partial Order Plans With Temporal Constraints Christian Muise, J. Christopher Beck, Sheila McIlraith
Room 203CD

Session Chair: Qiang Yang
Machine Learning 1
An Empirical Investigation of Ceteris Paribus Learnability Loizos Michael, Elena Papageorgiou
Uniform Convergence, Stability and Learnability for Ranking Problems Wei Gao, Zhi-Hua Zhou
Generalized Relational Topic Models with Fast Sampling Algorithms Ning Chen, Jun Zhu, Fei Xia, Bo Zhang
Multi-dimensional Causal Discovery Ulrich Schaechtle, Kostas Stathis, Stefano Bromuri
Room 201AB

Session Chair: Carsten Lutz
Knowledge Representation, Reasoning and Logic 1
Definability of Horn Revision from Horn Contraction Zhiqiang Zhuang, Maurice Pagnucco, Yan Zhang
Computing Stable Models for Nonmonotonic Existential Rules Despoina Magka, Markus Krötzsch, Ian Horrocks
Data Repair of Inconsistent DL-programs Thomas Eiter, Michael Fink, Daria Stepanova
Bounded Programs: A New Decidable Class of Logic Programs with Function Symbols Sergio Greco, Cristian Molinaro, Irina Trubitsyna
Room 305AB

Session Chair: Maosong Sun
Natural-Language Processing 1
Opinion Target Extraction Using Partial-Supervised Word Alignment Model Kang Liu, Liheng Xu, Jun Zhao
End-to-End Coreference Resolution for Clinical Narratives Prateek Jindal, Dan Roth
Integrating Semantic Relatedness and Words’ Intrinsic Features for Keyword Extraction Wei Zhang, Wei Feng, Jianyong Wang
Integrating Syntactic and Semantic Analysis into the Open Information Extraction Paradigm Andrea Moro, Roberto Navigli
Constraints, Satisfiability, and Search
Heuristic Subset Selection Chris Rayner, Nathan Sturtevant, Michael Bowling
Predicting the Size of Depth-First Branch and Bound Search Tree Levi Lelis, Lars Otten, Rina Dechter
Breakout local search for the vertex separator problem Benlic Una, Jin-Kao Hao
A Unified Approximate Nearest Neighbor Search Scheme by Combining Data Structure and Hashing Debing Zhang, Genmao Yang, Yao Hu, Deng Cai, Xiaofei He
Improved Bin Completion for Optimal Bin Packing and Number Partitioning Ethan Schreiber, Richard Korf
Agent-based and Multi-agent Systems
Monte-Carlo Expectation Maximization for Decentralized POMDPs Feng Wu, Shlomo Zilberstein
Using Double-oracle Method and Serialized Alpha-Beta Search for Pruning in Simultaneous Moves Games Branislav Bosansky, Jiri Cermak, Viliam Lisý, Roman Vitek, Michal Pechoucek
Bargaining for Revenue Shares on Tree Trading Networks Arpita Ghosh, Satyen Kale, Kevin Lang, Benjamin Moseley
On the Variance of the Shapley value in Weighted Voting Games Yair Zick
Multi-dimensional Single-peaked Consistency and its Approximations Xin Sui, Alex Francois-Nienaber, Craig Boutilier
Undecidability of epistemic multi-agent planning Guillaume Aucher, Thomas Bolander
Intention-Aware Routing to Minimise Delays at Electric Vehicle Charging Stations Mathijs de Weerdt, Enrico Gerding, Sebastian Stein, Valentin Robu, Nick Jennings
Machine Learning
What Users Care about: a Framework for Social Content Alignment Lei Hou, Juanzi Li, Xiaoli Li, Jiangfeng Qu, Xiaofei Guo, Ou Hui, Jie Tang
Improving Traffic Prediction with Tweet Semantics Jingrui He
Smart Hashing Update for Fast Response Qiang Yang, Longkai Huang, Wei-Shi Zheng, Ling Yingbiao
Robust Multiple Task Regression via Reweighted Least Square Jian Pu, Yugang Jiang, Jun Wang, Xiangyang Xue
One-Class Conditional Random Fields for Sequential Anomaly Detection Yale Song, Zhen Wen, Ching-Yung Lin, Randall Davis
Learning Finite Beta-Liouville Mixture Models via Variational Bayes for Proportional Data Clustering Wentao Fan, Nizar Bouguila
Learning Descriptive Visual Representation by Semantic Regularized Matrix Factorization Zhiwu Lu, Yuxin Peng
Change-Point Detection with Feature Selection in High-Dimensional Time-Series Data Makoto Yamada, Akisato Kimura, Futoshi Naya, Hiroshi Sawada
Linear Bayesian Reinforcement Learning Nikolaos Tziortziotis, Christos Dimitrakakis, Konstantinos D. Blekas
Path Integral Control by Reproducing Kernel Hilbert Space Embedding Konrad Rawlik, Marc Toussaint, Sethu Vijayakumar
Online Expectation Maximization for Reinforcement Learning in POMDPs Miao Liu, Xuejun Liao, Lawrence Carin
Knowledge Representation, Reasoning and Logic
Positive Subsumption in Fuzzy EL with General t-norms Stefan Borgwardt, Rafael Peñaloza
Ontology-Based Data Access with Closed Predicates is Inherently Intractable (Sometimes) Carsten Lutz, Inanc Seylan, Frank Wolter
Tractable Approximations of Consistent Query Answering for Robust Ontology-based Data Access Meghyn Bienvenu, Riccardo Rosati
Linear Temporal Logic and Linear Dynamic Logic on Finite Traces Giuseppe De Giacomo, Moshe Vardi
The Markov Assumption: Formalization and Impact Alexander Bochman
StarVars -- Effective Reasoning about Relative Direction Information Jae Hee Lee, Jochen Renz, Diedrich Wolter
Knowing That, Knowing What, and Public Communication: Public Announcement Logic with Kv Operators Yanjing Wang, Jie Fan
Verifiable Equilibria in Boolean Games Thomas Ågotnes, Paul Harrenstein, Wiebe van der Hoek, Michael Wooldridge
Reasoning about Continuous Uncertainty in the Situation Calculus Vaishak Belle, Hector Levesque
Learning from Polyhedral Sets Salvatore Ruggieri
15:15 - 15:45
Coffee Break
15:45 - 17:30
Room 201CD

Session Chair: David Poole
Best Papers 1
UAI 2012: Bayesian Probabilities for Constraint-based Causal Discovery Tom Claassen and Tom Heskes
WSDM 2012: Finding Your Friends and Following Them to Where You Are Adam Sadilek, Henry Kautz and Jeffrey Bigham
FOIS 2012: Three Semantics for the Core of the Distributed Ontology Language Till Mossakowski, Christoph Lange and Oliver Kutz
RR 2012: A Sound and Complete Backward Chaining Algorithm for Existential Rules Melanie Konig, Michel Leclere, Marie-Laure Mugnier and Michael Thomazo
Room 305AB

Session Chair: Ramon Lopez de la Mantaras
Best Papers 2
ICCBR 2011: Decision Generalisation from Game Logs in No Limit Texas Hold'em Jonathan Rubin and Ian Watson
ICCBR 2011: Preference-based CBR: General Ideas and Basic Principles Eyke Huellermeier and Weiwei Cheng
ICCBR 2012: A Case-Based Solution to the Cold-Start Problem in Group Recommenders Lara Quijano-Sanchez, Derek Bridge, Belen Diaz-Agudo and Juan Recio-Garcia
ICCBR 2012: Case Adaptation with Qualitative Algebras Valmi Dufour-Lussier, Florence Le Ber, Jean Lieber and Laura Martin
Room 307

Session Chair: Meinolf Sellmann
Constraints, Satisfiability, and Search 2
Extending Simple Tabular Reduction with Short Supports Christopher Jefferson, Peter Nightingale
Detecting and Exploiting Subproblem Tractability Christian Bessiere, Clement Carbonnel, Emmanuel Hebrard, George Katsirelos, Toby Walsh
Search Strategies for Optimal Multi-Way Number Partitioning Michael Moffitt
Constraint Satisfaction and Fair Multi-Objective Optimization Problems Gianluigi Greco, Francesco Scarcello
Room 203AB

Session Chair: Brent Venable
Agent-based and Multi-agent Systems 2
Analysis and Optimization of Multi-dimensional Percentile Mechanisms Xin Sui, Craig Boutilier, Tuomas Sandholm
Fully Proportional Representation as Resource Allocation: Approximability Results Piotr Skowron, Piotr Faliszewski, Arkadii Slinko
Efficient Vote Elicitation under Candidate Uncertainty Joel Oren, Yuval Filmus, Craig Boutilier
Elicitation and Approximately Stable Matching with Partial Preferences Joanna Drummond, Craig Boutilier
Room 305CD

Session Chair: Shlomo Zilberstein
Planning and Scheduling 2
Action-Model Acquisition from Noisy Plan Traces Hankz Hankui Zhuo, Rao Kambhampati
Problem Splitting using Heuristic Search in Landmark Orderings Simon Vernhes, Guillaume Infantes, Vincent Vidal
Symbolic Merge-and-Shrink for Cost-Optimal Planning Álvaro Torralba, Carlos Linares López, Daniel Borrajo
Plan Quality Optimisation via Block Decomposition Fazlul Siddiqui, Patrik Haslum
Room 203CD

Session Chair: Zhi-Hua Zhou
Machine Learning 2
A Theoretic Framework of K-means-based Consensus Clustering Junjie Wu, Hongfu Liu, Hui Xiong
Multi-modal Distance Learning Xie Pengtao
Tag-Weighted Topic Model for Mining Documents with Labels Shuangyin Li
Protein Function Prediction using Multiple Kernels Guoxian Yu, Huzefa Rangwala, Carlotta Domeniconi, Guoji Zhang, Zili Zhang
Room 201AB

Session Chair: Alessio Lomuscio
Knowledge Representation, Reasoning and Logic 2
Backdoors to Abduction Andreas Pfandler, Stefan Rümmele, Stefan Szeider
On the Complexity of Probabilistic Abstract Argumentation Bettina Fazzinga, Sergio Flesca, Francesco Parisi
The Impact of Disjunction on Query Answering Under Guarded-based Existential Rules Pierre Bourhis, Michael Morak, Andreas Pieris
Towards a Knowledge Compilation Map for Heterogeneous Representation Languages Hélène Fargier, Pierre Marquis, Alexandre Niveau
Room 311AB

Session Chair: Xianchao Wu
Natural-Language Processing 2
Combine Constituent and Dependency Parsing via Reranking Xiaona Ren
i, Poet: Chinese Poetry Composition through a Summarization Framework under Constrained Optimization Rui Yan, Han Jiang, Mirella Lapata, Shou-De Lin, Xiaoming Li
Smoothing for Bracketing Induction Duan Xiangyu
Fast Linearization of Tree Kernels over Large-Scale Data Aliaksei Severyn, Alessandro Moschitti
Uncertainty in AI
Map Matching with Multiple Route Metrics Takayuki Osogami, Rudy Raymond
Probabilistic Reasoning with Undefined Properties in Ontologically-Grounded Belief Networks Chia-Li Kuo, David Buchman, Arzoo Katiyar, David Poole
The Inclusion-Exclusion Rule and its Application to the Junction Tree Algorithm David Smith, Vibhav Gogate
An Exact Algorithm for Computing the Same-Decision Probability Suming Chen, Arthur Choi, Adnan Darwiche
Probabilistic Constraint Logic Programming Steffen Michels, Arjen Hommersom, Peter Lucas, Marina Velikova, Pieter Koopman
Web and Knowledge-based Information Systems
Probabilistic Matrix Factorization with Sparse Covariance Prior for Collaborative Filtering Jianping Shi, Naiyan Wang, Yang Xia, Dit-Yan Yeung, Irwin King, Jiaya Jia
A Novel Bayesian Similarity Measure for Recommender Systems Guibing Guo, Jie Zhang, Neil Yorke-Smith
Boosting Cross-lingual Knowledge Linking via Concept Annotation Wang Zhichun, Juanzi Li, Jie Tang
Relation Regularized Collaborative Topic Regression for Tag Recommendation Hao Wang, Binyi Chen, Wu-Jun Li
Group Preference based Bayesian Personalized Ranking for One-Class Collaborative Filtering Weike Pan, Li Chen
Social Collaborative Filtering by Trust Bo Yang, Yu Lei, Dayou Liu, Jiming Liu
Promoting Diversity in Recommendation by Entropy Regularizer Lijing Qin, Xiaoyan Zhu
Cross-Domain Collaborative Filtering via Bilinear Multilevel Analysis Liang Hu, Jian Cao, Guandong Xu, Jie Wang, Zhiping Gu
Multi-View K-Means Clusteriing for Heterogeneous Data Integration Xiao Cai, Feiping Nie, Heng Huang
Agent-based and Multi-agent Systems
Are there any nicely structured preference profiles nearby? Robert Bredereck, Jiehua Chen, Gerhard J. Woeginger
How to Persuade a Group to Change its Collective Decision? Noam Hazon, Raz Lin, Sarit Kraus
Proportional Representation Under Preferences That Are Single-peaked on a Tree Lan Yu, Hau Chan, Edith Elkind
Kemeny Elections with Bounded Single-peaked or Single-crossing Width Denis Cornaz, Lucie Galand, Olivier Spanjaard
Control Complexity of Schulze Voting Curtis Menton, Preetjot Singh
Bimodal Switching for Online Planning in Multiagent Settings Ekhlas Sonu, Prashant Doshi
AI and Computational Sustainability Special Track
Forecast Oriented Classification of Spatio-Temporal Extreme Events Zhengzhang Chen, Ankit Agrawal, Alok Choudhary, Wei-keng Liao
Towards Effective Prioritizing Water Pipe Replacement and Rehabilitation Junchi Yan, Yu Wang, Ke Zhou, Jin Huang, Tian Chunhua, Hongyuan Zha, Weishan Dong
Detecting and Tracking Disease Outbreaks in Real-time through Social Media Yusheng Xie
A global constrained optimization method for designing road networks with small diameters Teng Ma, Yuexian Hou, Xiaozhao Zhao
Short-term Wind Power Forecasting using Gaussian Processes Niya Chen, Zheng Qian, Ian Nabney, Xiaofeng Meng
Accurate Estimates of Reference Evapotranspiration for Irrigation Management in the Texas High Plain Daniel Holman, Mohan Sridharan, Prasanna Gowda, Dana Porter, Thomas Marek, Terry Howell, Jerry Moorhead
Outstanding student paper: A Hidden Markov Model-Based Cicada Detector for Crowdsourced Smartphone Biodiversity Monitoring Davide Zilli, Oliver Parson, Geoff V Merrett, Alex Rogers
Parameter Learning for Latent Network Diffusion Xiaojian Wu, Akshat Kumar, Daniel Sheldon, Shlomo Zilberstein
Optimal Pricing for Improving Efficiency of Taxi Systems Jiarui Gan, Bo An, Haizhong Wang, Xiaoming Sun, Zhongzhi Shi
Planning with MIP for Supply Restoration in Power Distribution Systems Sylvie Thiebaux, Carleton Coffrin, Hassan Hijazi, John Slaney
Machine Learning
Early Active Learning via Robust Representation and Structured Sparsity Feiping Nie, Hua Wang, Heng Huang
Hierarchical Bayesian Matrix Factorization with Side Information Sunho Park, Yong-Deok Kim, Seungjin Choi
Non-negative Multiple Matrix Factorization Koh Takeuchi, Katsuhiko Ishiguro, Akisato Kimura, Hiroshi Sawada
Online Hashing Longkai Huang, Qiang Yang, Wei-Shi Zheng
Regularized Latent Least Square Regression for Cross Pose Face Recognition xinyuan cai, chunheng wang, Baihua Xiao
Causal Inference with Rare Events in Large-Scale Time-Series Data Kleinberg Samantha
A General Framework for Interacting Bayes-Optimally with Self-Interested Agents using Any Models and Trong Nghia Hoang, Bryan Kian Hsiang Low
Robust Unsupervised Feature Selection Mingjie Qian, Chengxiang Zhai
Prior-Free Exploration Bonus for and beyond near Bayes-Optimal Behavior Kenji Kawaguchi, Hiroshi Sato
Basic Level in Formal Concept Analysis: Interesting Concepts and Psychological Ramifications Radim Belohlavek, Martin Trnecka
Towards Understanding Global Spread of Disease from Everyday Interpersonal Interactions Sean Brennan, Adam Sadilek, Henry Kautz
Towards Robust Co-Clustering Liang Du, Yidong Shen
Active Learning based on Local Representation Yao Hu, Debing Zhang
Knowledge Representation, Reasoning and Logic
Iterated Boolean Games Julian Gutierrez, Paul Harrenstein, Michael Wooldridge
Transition Constraints: A Study on the Computational Complexity of Qualitative Change Matthias Westphal, Julien Hué, Stefan Wölfl, Bernhard Nebel
Combining RCC5 relations with betweenness information Steven Schockaert, Sanjiang Li
Behavioral Diagnosis of LTL Specifications at Operator Level Ingo Pill, Thomas Quaritsch
Abstract Dialectical Frameworks Revisited Gerhard Brewka, Stefan Ellmauthaler, Hannes Strass, Johannes Wallner, Stefan Woltran
Extending Stable Models to the Full Propositional Language with Justifications Tasharrofi Shahab
First-Order Expressibility and Boundedness of Disjunctive Logic Programs Heng Zhang, Yan Zhang
On the Supremal Realizability of Behaviors with Uncontrollable Exogenous Events Nitin Yadav, Giuseppe De Giacomo, Paolo Felli, Sebastian Sardina
Robotics and Vision
Towards active event recognition Dimitri Ognibene, Yiannis Demiris
Upper Confidence Weighted Learning for Efficient Exploration in Multiclass Prediction with Binary Feedback Hung Ngo, Matthew Luciw, Ngo Anh Vien, Juergen Schmidhuber
Accelerated Robust Point Cloud Registration in Natural Environments through Positive and Unlabeled Learning Maxime Latulippe, Alexandre Drouin, Philippe Giguère, François Laviolette
Rolling Dispersion for Robot Teams Elizabeth Jensen, Maria Gini
Handling Open Knowledge for Service Robots Xiao-Ping Chen, Jian-Min Jin, Zhi-Qiang Sui, Jiong-Kun Xie
Learning Visual Symbols for Parsing Human Pose in Images Fang Wang, Yi Li
Histogram of Oriented Displacements (HOD): Describing Trajectories of Human Joints for Action Recognition Mohammad Gowayyed, Marwan Torki, Mohamed Hussein, Motaz El-Saban
Hierarchical Object Discovery and Dense Modelling From Motion Cues in RGB-D Video Jörg Stückler, Sven Behnke