Wednesday, Aug 7th 2013 (Day 2)
08:30 - 09:45
Room 201CD

Session Chair: Maria Gini		Best Papers 3
RSS 2012: A new trajectory deformation algorithm based on affine transformations Quang-Cuong Pham and Yoshihiko Nakamura
ICRA 2012: The RoboEarth Language: Representing and Exchanging Knowledge about Actions, Objects, and Environments Moritz Tenorth, Alexander Perzylo, Reinhard Lafrenz and Michael Beetz
IUI 2012: User-Centered Programming by Demonstration: Stylistic Elements of Behavior James Young, Kentaro Ishii, Takeo Igarashi and Ehud Sharlin
Room 305AB

Session Chair: Brent Venable		Best Thesis 1
CP 2012ACP Doctoral Research Award: Improving Combinatorial Optimization - Thesis Summary Geoffrey Chu
ICAPS 2012ICAPS Best Dissertation Award: Landmark-Based Heuristics and Search Control for Automated Planning Silvia Richter
KDD 2012KDD Dissertation Award: Scalable Dynamic Nonparametric Bayesian Models of Content and Users Amr Ahmed and Eric Xing
Room 307

Session Chair: Toby Walsh		Constraints, Satisfiability, and Search 3
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
Room 203AB

Session Chair: Piotr Faliszewski		Agent-based and Multi-agent Systems 3
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
Room 305CD

Session Chair: Boi Faltings		Agent-based and Multi-agent Systems 4
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
Room 203CD

Session Chair: Lud De Raedt		Machine Learning 3
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
Room 201AB

Session Chair: Maurice Pagnucco		Knowledge Representation, Reasoning and Logic 3
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
Room 311AB

Session Chair: Yves Lesperance		Knowledge Representation, Reasoning and Logic 4
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
Posters
Constraints, Satisfiability, and Search
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
Comprehensive Score: Towards Efficient Local Search for SAT with Long Clauses Shaowei Cai, Kaile Su
Sufficiency-Based Selection Strategy for MCTS Stefan Gudmundsson, Yngvi Björnsson
Taxi and Car sharing Online: A Framework and Heuristics for the Optimization Problem Douglas Santos, Eduardo Xavier
Agent-based and Multi-agent Systems
Scaling Up Joint Activity Based Security Games Eric Shieh, Manish Jain, Albert Xin Jiang, Milind Tambe
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
An Ambiguity Aversion Framework of Security Game under Ambiguities Wenjun Ma, Xudong Luo, Weiru Liu
A Proof-Theoretical View of Collective Rationality Daniele Porello
Planning and Scheduling
Adaptive management of migratory birds under sea level rise Sam Nicol, Takuya Iwamura, Olivier Buffet, Iadine Chades
Refining Incomplete Planning Domain Models Through Plan Traces Hankz Hankui Zhuo, Rao Kambhampati, Tuan Nguyen
Optimal Delete-Relaxed (and Semi-Relaxed) Planning with Conditional Effects Patrik Haslum
Bridging the Gap Between Refinement and Heuristics in Abstraction Christer Bäckström, Peter Jonsson
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
Fault-Tolerant Planning under Uncertainty Luis Pineda, Yi Lu, Shlomo Zilberstein, Claudia Goldman
Problem Splitting using Heuristic Search in Landmark Orderings Simon Vernhes, Guillaume Infantes, Vincent Vidal
Machine Learning
Robust Tensor Clustering with Non-Greedy Maximization Xiaochun Cao, Xingxing Wei, Yahong Han
Bayesian Nonparametric Feature Construction for Inverse Reinforcement Learning Jaedeug Choi, Kee-Eung Kim
Semi-Supervised Learning with Manifold Fitted Graphs Tongtao Zhang, Rongrong Ji, Wei Liu, Gang Hua
Reduced Heteroscedasticity Linear Regression for Nystrom Approximation Hao Yang, Jianxin Wu
Learning High-Order Task Relationships in Multi-Task Learning Yu Zhang, Dit-Yan Yeung
Thinking of Images as What They Are: Compound Matrix Regression for Image Classification Zhigang Ma, Yi Yang, Feiping Nie, Sebe Nicu
Multi-view Maximum Entropy Discrimination Shiliang Sun, Guoqing Chao
Learning Domain Differences Automatically for Dependency Parsing Adaptation Mo Yu, Yalong Bai
Harmonious Hashing Bin Xu, Jiajun Bu, Yue Lin, Chun Chen, Xiaofei He, Deng Cai
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
Machine-Learning-Based Circuit Synthesis Lior Rokach, Meir Kalech, Gregory Provan, Alexander Feldman
Knowledge Representation, Reasoning and Logic
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
Automating Quantified Conditional Logics in HOL Christoph Benzmüller
Advanced Conflict-Driven Disjunctive Answer Set Solving Martin Gebser, Benjamin Kaufmann, Torsten Schaub
Decidability of Model Checking Non-Uniform Artifact-Centric Quantified Interpreted Systems Francesco Belardinelli, Alessio Lomuscio
Reasoning about State Constraints in the Situation Calculus Naiqi Li, Yi Fan, Yongmei Liu
Bounded Programs: A New Decidable Class of Logic Programs with Function Symbols Sergio Greco, Cristian Molinaro, Irina Trubitsyna
Natural-Language Processing
Partial-Tree Linearization for Text-to-Text Applications Yue Zhang
Joint Modeling of Argument Identification and Role Determination in Chinese Event Extraction Peifeng Li, Guodong Zhou
PPSGen: Learning to Generate Presentation Slides for Academic Papers Yue Hu, Xiaojun Wan
Improving Function Word Alignment with Frequency and Syntax Jingyi Zhang, Hai Zhao
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
09:45 - 10:15
Coffee Break
10:15 - 12:00
Room 201CD

Session Chair: Alessandro Sperduti		Best Papers 4
RSS 2012: On Stochastic Optimal Control and Reinforcement Learning by Approximate Inference Konrad Rawlik, Marc Toussaint and Sethu Vijayakumar
KDD 2012: Data Mining a Trillion Time Series Subsequences Under Dynamic Time Warping Thanawin Rakthanmanon, Eamonn Keogh, Gustavo Batista, Bilson Campana, Abdullah Mueen, Brandon Westover, Qiang Zhu and Jesin Zakaria
COLT 2012: Exact Recovery of Sparsely-Used Dictionaries Daniel Spielman, Huan Wang and John Wright
ECML 2012: Active Evaluation of Ranking Functions based on Graded Relevance Christoph Sawade, Steffen Bickel, Timo von Oertzen, Tobias Scheffer and Niels Landwehr
Room 305AB

Session Chair: Pedro Meseguer		Multidisciplinary Topics And Applications 1
A Cutoff Technique for the Verification of Parameterised IS with Parameterised Environments Panagiotis Kouvaros, Alessio Lomuscio
Personalized Diagnosis for Over-Constrained Problems Alexander Felfernig, Monika Schubert, Stefan Reiterer
Deep Sparse Coding based Recursive Disaggregation Model for Water Conservation Haili Dong, Bingsheng Wang
A Brain-Computer Interface to a Plan-based Narrative Stephen Gilroy, Julie Porteous, Fred Charles, Marc Cavazza, Gal Raz, Ilana Klovatch, Limor Ikar, Eyal Soreq, Udi Ben-Arie, Talma Hendler
Room 307

Session Chair: Brent Venable		Constraints, Satisfiability, and Search 4
Maintaining alternative values in constraint-based configuration Caroline Becker, Hélène Fargier
DeQED: an Efficient Divide-and-Coordinate Algorithm for DCOP Daisuke Hatano, Katsutoshi Hirayama
On the complexity of global scheduling constraints under structural restrictions Geoffrey Chu, Serge Gaspers, Nina Narodytska, Andreas Schutt, Toby Walsh
Journal track: The Extended Global Cardinality Constraint: An Empirical Survey: Extended Abstract Peter Nightingale
Room 203AB

Session Chair: Piotr Faliszewski		Agent-based and Multi-agent Systems 5
Endogenous Boolean Games Paolo Turrini
Coalitional Games via Network Flows Talal Rahwan, Tri-Dung Nguyen, Tomasz Michalak, Maria Polukarov, Madalina Croitoru, Michael Wooldridge, Nick Jennings
Macau: A Basis for Evaluating Reputation Systems Chris Hazard, Munindar Singh
Multi-agent Team Formation - Diversity Beats Strength? Leandro Soriano Marcolino, Albert Xin Jiang, Milind Tambe
Room 305CD

Session Chair: Malte Helmert		Planning and Scheduling 3
Towards Practical Planning to Predict and Exploit Intentions for Interacting with Self-Interested Ag Trong Nghia Hoang, Bryan Kian Hsiang Low
Fault-Tolerant Planning under Uncertainty Luis Pineda, Yi Lu, Shlomo Zilberstein, Claudia Goldman
Causal Belief Decomposition for Planning with Sensing: Completeness and Practical Approximation Blai Bonet, Hector Geffner
Fair LTL Synthesis for Non-Deterministic Systems using Strong Cyclic Planners Fabio Patrizi, Nir Lipovetzky, Hector Geffner
Room 203CD

Session Chair: Luc De Raedt		Machine Learning 4
Lazy Paired Hyper-Parameter Tuning Alice Zheng, Mikhail Bilenko
Unlearning from Demonstration Keith Sullivan, Ahmed Molla, Bill Squires, Sean Luke
Domain Adaptation with Topical Correspondence Learning Zheng Chen, Weixiong Zhang
Multi-Instance Multi-Label Learning with Weak Label Shu-Jun Yang, Yuan Jiang, Zhi-Hua Zhou
Room 201AB

Session Chair: Lluis Godo		Knowledge Representation, Reasoning and Logic 5
Granular Description of Qualitative Change John Stell
Efficient Algorithm for the Minimal Labeling Problem of Temporal and Spatial Qualitative Constraints Nouhad Amaneddine, Jean-François Condotta, Michael Sioutis
A Strongly-Local Contextual Logic Michael Gratton
Syntactic Computation of Hybrid Possibilistic Conditioning under Uncertain Inputs Salem Benferhat, Celia da Costa Pereira, Andrea Tettamanzi
Room 311AB

Session Chair: Zhengyu Niu		Natural-Language Processing 3
Journal track: Generalized biwords for bitext compression and translation spotting: Extended abstract Felipe Sánchez-Martínez, Rafael C. Carrasco, Miguel A. Martinez-Prieto, Joaquin Adiego
Journal track: The CQC Algorithm: Cycling in Graphs to Semantically Enrich and Enhance a Bilingual Dictionary: Extended abstract Tiziano Flati, Roberto Navigli
Journal track: Revisiting Centrality-as-Relevance: Support Sets and Similarity as Geometric Proximity – Extended abstract Ricardo Ribeiro, David Martins de Matos
Journal track: Computing Text Semantic Relatedness using the Contents and Links of a Hypertext Encyclopedia : Extended abstract Majid Yazdani, Andrei Popescu-Belis
Posters
Constraints, Satisfiability, and Search
Extending Simple Tabular Reduction with Short Supports Christopher Jefferson, Peter Nightingale
Target-Value Search Revisited Carlos Linares López, Roni Stern, Ariel Felner
Search Strategies for Optimal Multi-Way Number Partitioning Michael Moffitt
Constraint Satisfaction and Fair Multi-Objective Optimization Problems Gianluigi Greco, Francesco Scarcello
Semiring-Based Mini-Bucket Partition Heuristics Emma Rollon, Rina Dechter
Tractable Constrained Optimization Problems on Ordered Domains T. K. Satish Kumar, Liron Cohen, Sven Koening
Double-Wheel Graphs Are Graceful Ronan Le Bras, Carla Gomes, Bart Selman
Minimizing Writes in Parallel External Memory Search Nathan Sturtevant, Matthew Rutherford
Agent-based and Multi-agent Systems
Efficient Learning in Linearly Solvable MDP Models Ang Li, Paul Schrater
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
Agent Failures in All-Pay Auctions Yoad Lewenberg, Omer Lev, Yoram Bachrach, Jeffrey Rosenschein
Optimal Airline Ticket Purchasing Using Automated User-Guided Feature Selection William Groves, Maria Gini
Maximal Recursive Rule: A New Social Decision Scheme Haris Aziz
Planning and Scheduling
Pareto-Based Multi-Objective AI Planning Mostepha Redouane Khouadjia, Marc Schoenauer, Vincent Vidal, Johann Dreo, Pierre Savéant
Tractable Upper Bounds on Lengths of Transition Sequences Jussi Rintanen, Charles Gretton
Revisiting Regression in Planning Vidal Alcázar Saiz, Daniel Borrajo, Susana Fernández, Raquel Fuentetaja Pizán
Run-Time Improvement of Point-Based POMDP Policies Minlue Wang, Richard Dearden
Action-Model Acquisition from Noisy Plan Traces Hankz Hankui Zhuo, Rao Kambhampati
Plan Quality Optimisation via Block Decomposition Fazlul Siddiqui, Patrik Haslum
Machine Learning
Co-Regularized Ensemble for Feature Selection Yahong Han, Yi Yang, Xiaofang Zhou
Guarantees of Augmented Trace Norm Models in Tensor Recovery Ziqiang Shi, Jiqing Han, Tieran Zheng, Ji Li
Improve Coding with Bilevel VisualWords for Image Classification Jiemi Zhang, Chenxia Wu, Deng Cai
Human Action Recognition Using a Temporal Hierarchy of Covariance Descriptors on 3D Joint Locations Mohamed Hussein, Marwan Torki, Mohammad Gowayyed, Motaz El-Saban
An ensemble of Bayesian networks for multilabel classification Alessandro Antonucci, Giorgio Corani, Denis Maua, Sandra Gabaglio
Annealed Importance Sampling for Structure Learning in Bayesian Networks Teppo Niinimäki, Mikko Koivisto
Measuring Statistical Dependence via the Mutual Information Dimension Mahito Sugiyama, Karsten Borgwardt
Weighted paths as condensed pattern in a single attributed DAG Jérémy Sanhes, Frédéric Flouvat, Claude Pasquier, Nazha Selmaoui-Folcher, Jean-François Boulicaut
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
Knowledge Representation, Reasoning and Logic
Temporal Description Logic for Ontology-Based Data Access Alessandro Artale, Roman Kontchakov, Frank Wolter, Michael Zakharyaschev
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
Forgetting for Answer Set Programs Revisited Yisong Wang, Kewen Wang
Do Hard SAT-Related Reasoning Tasks Become Easier in the Krom Fragment? Nadia Creignou, Reinhard Pichler, Stefan Woltran
Automated reasoning to infer all minimal keys Pablo Cordero, Manuel Enciso, Angel Mora
The Route to Success - A Performance Comparison of Diagnosis Algorithms Iulia Nica, Ingo Pill, Thomas Quaritsch, Franz Wotawa
Natural-Language Processing
Efficient Latent Variables Perceptron for Semantic Parsing Junsheng Zhou, Juhong Xu, Weiguang Qu
A Text Scanning Mechanism Simulating Text Reading Process of Human Bei Xu, Hai Zhuge
Improving Question Retrieval in Community Question Answering Using World Knowledge Zhou Guangyou , Kang Liu, Jun Zhao
Mining for Analogous Tuples from an Entity-Relation Graph Danushka Bollegala, Mitsuru Kushimoto, Yuichi Yoshida, Ken-ichi Kawarabayashi
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
Active Learning for Cross-domain Sentiment Classification Shoushan Li, Yunxia Xue, Zhongqing Wang, Guodong Zhou
12:00 - 13:30
Lunch
13:30 - 14:20
Hall #2
Chair:
Sebastian Thrun		Invited talkSymbiotic AI: an approach to artificial intelligence through first-person sensingThad Starner
14:25 - 15:15
Hall #2
Chair:
Carla Gomes		Invited talkComputing for conservationSteven Phillips
15:15 - 15:45
Coffee Break
15:45 - 17:30
Hall #2

Session Chair: Stuart Russell		Debate
The debate on banning autonomous weapons Noel Sharkey
Room 201CD

Session Chair: Zhi-Hua Zhou		Best Papers 5
UMAP 2011: Twitter-based User Modeling for News Recommendations Fabian Abel, Qi Gao, Geert-Jan Houben and Ke Tao
PKDD 2012: Socioscope: Spatio-Temporal Signal Recovery from Social Media Jun-Ming Xu, Aniruddha Bhargava, Robert Nowak and Xiaojin Zhu
EC 2012: Improving the Effectiveness of Time-Based Display Advertising Dan Goldstein, Preston McAfee and Siddharth Suri
ISWC 2012: Discovering Alignments in Ontologies of Linked Data Rahul Parundekar, Craig Knoblock and José Luis Ambite
Room 308

Session Chair: Carles Sierra		Multidisciplinary Topics And Applications 2
Misleading Opinions Provided by Advisors: Dishonesty or Subjectivity Hui Fang, Yang Bao, Jie Zhang
How to predict human strategic decisions using facial expressions Noam Peled, Moshe Bitan, Joseph Keshet, Sarit Kraus
Room 307

Session Chair: Toby Walsh		Constraints, Satisfiability, and Search 5
Breaking Symmetries in Graph Representation Michael Codish, Alice Miller, Patrick Prosser, Peter Stuckey
On Computing Minimal Correction Subsets Joao Marques-Silva, Federico Heras, Mikolas Janota, Alessandro Previti, Anton Belov
Dominance Rules for the Choquet Integral in Multiobjective Dynamic Programming Lucie Galand, Julien Lesca, Patrice Perny
Journal track: Algorithms for Generating Ordered Solutions for Explicit AND/OR Structures Priyankar Ghosh, Amit Sharma, Partha Chakrabarti, Pallab Dasgupta
Room 203AB

Session Chair: Milind Tambe		Agent-based and Multi-agent Systems 6
Journal track: Modeling Social Causality and Responsibility Judgment in Multi-Agent Interactions: Extended abstract Wenji Mao, Jonathan Gratch
An Efficient Vector-Based Representation for Coalitional Games Long Tran-Thanh, Tri-Dung Nguyen, Talal Rahwan, Alex Rogers, Nick Jennings
Defender (Mis)coordination in Security Games Albert Xin Jiang, Ariel Procaccia, Yundi Qian, Nisarg Shah, Milind Tambe
Computational Analysis of Connectivity Games with Applications to Terrorist Networks Tomasz Michalak, Talal Rahwan, Piotr Szczepanski, Oskar Skibski, Ramasuri Narayanam, Nick Jennings, Michael Wooldridge
Room 305CD

Session Chair: Shlomo Zilberstein		Planning and Scheduling 4
Getting the Most Out of Pattern Databases for Classical Planning Florian Pommerening, Gabriele Röger, Malte Helmert
An Admissible Heuristic for SAS Planning Obtained from the State Equation Blai Bonet
Continuously Relaxing Over-constrained Conditional Temporal Problems Peng Yu, Brian Williams
Room 203CD

Session Chair: Giovanni Da San Martino		Machine Learning 5
Learning Canonical Correlations of Paired Tensor Sets via Tensor-to-Vector Projection Haiping Lu
Sparse Reconstruction for Weakly Supervised Semantic Segmentation Ke Zhang, Wei Zhang, Yingbin Zheng, Xiangyang Xue
Manifold Alignment Preserving Global Geometry Chang Wang, Sridhar Mahadevan
Hartigan's K-means vs. Lloyd's K-means -- is it time for a change? Noam Slonim, Ehud Aharoni, Koby Crammer
Room 201AB

Session Chair: Alessio Lomuscio		Knowledge Representation, Reasoning and Logic 6
Multi-agent Epistemic Explanatory Diagnosis via Reasoning about Actions Quan Yu, Ximing Wen, Yongmei Liu
Bounded Epistemic Situation Calculus Theories Giuseppe De Giacomo, Yves Lespérance, Fabio Patrizi
Multi-Agent Subset Space Logic Yi Wang, Thomas Ågotnes
Action Language BC: Preliminary Report Joohyung Lee, Vladimir Lifschitz, Fangkai Yang
Room 311AB

Session Chair: Shiqi Zhao		Natural-Language Processing 4
Modeling Lexical Cohesion for Document-Level Machine Translation Deyi Xiong, Guosheng Ben, Min Zhang, Yajuan Lv, Qun Liu
Identifying Useful Human Feedback from an On-line Translation Service Alberto Barrón-Cedeño, lluis marquez, Carlos A. Henríquez Q., Formiga Lluís
Joint and Coupled Bilingual Topic Model Based Sentence Representations for Language Model Adaptation Shixiang Lu, Xiaoyin Fu, Wei Wei, Bo Xu
Journal track: Evaluating Indirect Strategies for Chinese–Spanish Statistical Machine Translation: Extended Abstract Marta R. Costa-Jussà, Carlos A. Henriquez Q., Rafael Banchs
Posters
Machine Learning
Learning Community-based Preferences via Dirichlet Process Mixtures of Gaussian Processes Ehsan Abbasnejad, Scott Sanner, Edwin V. Bonilla, Pascal Poupart
Self-Organized Neural Learning of Statistical Inference from High-Dimensional Data Johannes Bauer, Stefan Wermter
MiningZinc: A Language for Constraint-based Mining Tias Guns, Anton Dries, Guido Tack, Siegfried Nijssen, Luc De Raedt
Meta-interpretive Learning of Higher-Order Dyadic Datalog: Predicate Invention revisited Stephen Muggleton, Dianhuan Lin
Topic Extraction from Online Reviews for Classification and Recommendation Ruihai Dong, Markus Schaal, Michael O\'Mahony, Barry Smyth
A Scalable Approach to Column-Based Low-Rank Matrix Approximation Yifan Pi, Haoruo Peng, Shuchang Zhou, Zhihua Zhang
Learning Discriminative Representations from RGB-D Video Data Li Liu, Ling Shao
Statistical tests for the detection of the arrow of time in vector autoregressive models Pablo Morales-Mombiela, Daniel Hernández-Lobato, Alberto Suarez
Active Learning for Teaching a Robot Grounded Relational Symbols Johannes Kulick, Marc Toussaint, Tobias Lang, Manuel Lopes
Active Learning for Level Set Estimation Alkis Gotovos, Nathalie Casati, Gregory Hitz, Andreas Krause
Bayesian Optimization in High Dimensions via Random Embeddings Ziyu Wang, Masrour Zoghi, Frank Hutter, David Matheson, Nando de Freitas
Bootstrap learning via modular concept discovery Dechter Eyal, Jon Malmaud, Ryan P. Adams, Joshua B. Tenenbaum
A KNN Based Kalman Filter Gaussian Process Regression Yali Wang, Brahim Chaib-draa
Large Scale Online Kernel Classification Jialei Wang, Steven Hoi, Peilin Zhao
Active Learning with Multi-label SVM Classification Xin Li, Yuhong Guo
Adaptive Loss Minimization for Semi-Supervised Elastic Embedding Feiping Nie, Hua Wang, Heng Huang, Chris Ding
Agent-based and Multi-agent Systems
Action Translation in Extensive-Form Games with Large Action Spaces: Axioms, Paradoxes, and the Pseudo-Harmonic Mapping Sam Ganzfried, Tuomas Sandholm
Game-Theoretic Problem Selection for Tests Li Yuqian, Vincent Conitzer
Sequential Equilibrium in Computational Games Joseph Halpern, Rafael Pass
A Reputation Management Model for Resource Constrained Trustee Agents Han Yu, Miao Chunyan, Bo An
Evolution of Common-Pool Resources and Social Welfare in Structured Populations Jean-Sébastien Lerat, The Anh Han, Tom Lenaerts
C-Link: a hierarchical clustering approach to coalition formation Manuele Bicego, Alessandro Farinelli, Sarvapali Ramchurn, Mauro Zucchelli
Multi-winner Social Choice with Incomplete Preferences Tyler Lu, Craig Boutilier
Knowledge Representation, Reasoning and Logic
First Order-Rewritability of Atomic Queries in Horn Description Logics Meghyn Bienvenu, Carsten Lutz, Frank Wolter
Preference-based Query Answering in Datalog+/- Ontologies Thomas Lukasiewicz, Maria Vanina Martinez, Gerardo Simari
An alternative axiomatization of DEL and its applications Yanjing Wang, Guillaume Aucher
A Formal Account of Nondeterministic and Failed Actions James Delgrande, Hector Levesque
Interpolative reasoning with default rules Steven Schockaert, Henri Prade
Compact Rewritings for Existential Rules Michaël Thomazo
Natural-Language Processing
Learning Topical Translation Model for Microblog Hashtag Suggestion Zhuoye Ding, Xipeng Qiu, Qi Zhang, Xuanjing Huang
Cross Lingual Entity Linking with Bilingual Topic Model Tao Zhang, Kang Liu, Jun Zhao
Leveraging Multi-Domain Prior Knowledge in Topic Models Zhiyuan Chen, Arjun Mukherjee, Bing Liu, Meichun Hsu, Malu Castellanos, Riddhiman Ghosh
A Clause-level Hybrid Approach to Chinese Empty Element Recovery Fang Kong, Guodong Zhou
Instance Selection and Instance Weighting for Cross-domain Sentiment Classification via PU Learning Rui Xia, Xuelei Hu, Jianfeng Lu, Jian Yang, Chengqing Zong
Answer Extraction from Passage Graph for Factoid Question Answering Hong Sun, Nan Duan, Yajuan Duan, Ming Zhou
Best Papers and Journal Track Posters