Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence
Edited by Francesca Rossi
Beijing, China, August 3–9, 2013. Published by the International Joint Conferences on Artificial Intelligence. Copublished by the AAAI Press, Palo Alto, California. This proceedings is also available in book format.
Contents
Preface
Francesca Rossi
2013 Conference Organization
Francesca Rossi
Program Committee
Francesca Rossi
Organizers and Sponsors
Francesca Rossi
Awards and Distinguished Papers
Francesca Rossi
IJCAI Organization
Francesca Rossi
Past IJCAI Conferences
Francesca Rossi
Agent-Based and Multiagent Systems
Reasoning about Normative Update
Natasha Alechina, Mehdi Dastani, Brian Logan
Undecidability in Epistemic Planning
Guillaume Aucher, Thomas Bolander
Maximal Recursive Rule: A New Social Decision Scheme
Haris Aziz
Audit Games
Jeremiah Blocki, Nicolas Christin, Anupam Datta, Ariel D. Procaccia, Arunesh Sinha
Using Double-Oracle Method and Serialized Alpha-Beta Search for Pruning in Simultaneous Move Games
Branislav Bosansky, Viliam Lisy, Jiri Cermak, Roman Vitek, Michal Pechoucek
Externalities in Cake Cutting
Simina Brânzei, Ariel Procaccia, Jie Zhang
Are There Any Nicely Structured Preference Profiles Nearby?
Robert Bredereck, Jiehua Chen, Gerhard J. Woeginger
Conditional Restricted Boltzmann Machines for Negotiations in Highly Competitive and Complex Domains
Siqi Chen, Haitham Bou Ammar, Karl Tuyls, Gerhard Weiss
Kemeny Elections with Bounded Single-Peaked or Single-Crossing Width
Denis Cornaz, Lucie Galand, Olivier Spanjaard
Intention-Aware Routing to Minimise Delays at Electric Vehicle Charging Stations
Mathijs Michiel de Weerdt, Enrico H. Gerding, Sebastian Stein, Valentin Robu, Nicholas R. Jennings
Optimally Solving Dec-POMDPs as Continuous-State MDPs
Jilles Steeve Dibangoye, Christopher Amato, Olivier Buffet, Francois Charpillet
Elicitation and Approximately Stable Matching with Partial Preferences
Joanna Drummond, Craig Boutilier
C-Link: A Hierarchical Clustering Approach to Large-scale Near-optimal Coalition Formation
Alessandro Farinelli, Manuele Bicego, Sarvapali Ramchurn, Mauro Zucchelli
Control in the Presence of Manipulators: Cooperative and Competitive Cases
Zack Fitzsimmons, Edith Hemaspaandra, Lane A. Hemaspaandra
Action Translation in Extensive-Form Games with Large Action Spaces: Axioms, Paradoxes, and the Pseudo-Harmonic Mapping
Sam Ganzfried, Tuomas Sandholm
Bargaining for Revenue Shares on Tree Trading Networks
Arpita Ghosh, Satyen Kale, Kevin Lang, Benjamin Moseley
A Matroid Approach to the Worst Case Allocation of Indivisible Goods
Laurent Gourvès, Jérôme Monnot, Lydia Tlilane
Audience-Based Uncertainty in Abstract Argument Games
Davide Grossi, Wiebe van der Hoek
Optimal Airline Ticket Purchasing Using Automated User-Guided Feature Selection
William Groves, Maria Gini
Revenue Maximization via Hiding Item Attributes
Mingyu Guo, Argyrios Deligkas
Opponent Modelling in Persuasion Dialogues
Christos Hadjinikolis, Yiannis Siantos, Sanjay Modgil, Elizabeth Black, Peter McBurney
Sequential Equilibrium in Computational Games
Joseph Halpern, Rafael Pass
Why Is It So Hard to Say Sorry? Evolution of Apology with Commitments in the iterated Prisoner’s Dilemma
The Anh Han, Luis Moniz Pereira, Francisco C. Santos, Tom Lenaerts
The Dynamics of Reinforcement Social Learning in Cooperative Multiagent Systems
Jianye Hao, Ho-fung Leung
Macau: A Basis for Evaluating Reputation Systems
Christopher J. Hazard, Munindar P Singh
How to Change a Group’s Collective Decision?
Noam Hazon, Raz Lin, Sarit Kraus
A Game-Theoretic Machine Learning Approach for Revenue Maximization in Sponsored Search
Di He, Wei Chen, Liwei Wang, Tie-Yan Liu
A Framework to Choose Trust Models for Different E-Marketplace Environments
Athirai Aravazhi Irissappane, Siwei Jiang, Jie Zhang
Defender (Mis)coordination in Security Games
Albert Xin Jiang, Ariel D. Procaccia, Yundi Qian, Nisarg Shah, Milind Tambe
A Social Welfare Optimal Sequential Allocation Procedure
Thomas Kalinowski, Nina Narodytska, Toby Walsh
An Intelligent Broker Agent for Energy Trading: An MDP Approach
Rodrigue Talla Kuate, Minghua He, Maria Chli, Hai H. Wang
Agent Failures in All-Pay Auctions
Yoad Lewenberg, Omer Lev, Yoram Bachrach, Jeffrey S. Rosenschein
Efficient Learning in Linearly Solvable MDP Models
Ang Li, Paul R Schrater
Game-Theoretic Question Selection for Tests
Yuqian Li, Vincent Conitzer
Multi-Winner Social Choice with Incomplete Preferences
Tyler Lu, Craig Boutilier
An Ambiguity Aversion Framework of Security Games under Ambiguities
Wenjun Ma, Xudong Luo, Weiru Liu
Multi-Agent Team Formation: Diversity Beats Strength?
Leandro Soriano Marcolino, Albert Xin Jiang, Milind Tambe
Control Complexity of Schulze Voting
Curtis Glen Menton, Preetjot Singh
Computational Analysis of Connectivity Games with Applications to the Investigation of Terrorist Networks
Tomasz P. Michalak, Talal Rahwan, Piotr L Szczepanski, Oskar Skibski, Ramasuri Narayanam, Nicholas R. Jennings, Michael J. Wooldridge
Sufficient Plan-Time Statistics for Decentralized POMDPs
Frans Adriaan Oliehoek
Efficient Vote Elicitation under Candidate Uncertainty
Joel Oren, Yuval Filmus, Craig Boutilier
A Proof-Theoretical View of Collective Rationality
Daniele Porello
Coalitional Games via Network Flows
Talal Rahwan, Tri-Dung Nguyen, Tomasz Michalak, Maria Polukarov, Madalina Croitoru, Nicholas R. Jennings
Opponent Models with Uncertainty for Strategic Argumentation
Tjitze Rienstra, Matthias Thimm, Nir Oren
Efficient Interdependent Value Combinatorial Auctions with Single Minded Bidders
Valentin Robu, David C. Parkes, Takayuki Ito, Nicholas R. Jennings
Efficiently Solving Joint Activity Based Security Games
Eric Anyung Shieh, Manish Jain, Albert Xin Jiang, Milind Tambe
Fully Proportional Representation as Resource Allocation: Approximability Results
Piotr Krzysztof Skowron, Piotr Faliszewski, Arkadii Slinko
Bimodal Switching for Online Planning in Multiagent Settings
Ekhlas Sonu, Prashant Doshi
An Efficient Vector-Based Representation for Coalitional Games
Long Tran-Thanh, Tri-Dung Nguyen, Talal Rahwan, Alex Rogers, Nicholas R. Jennings
Multi-Dimensional Single-Peaked Consistency and Its Approximations
Xin Sui, Alex Francois-Nienaber, Craig Boutilier
Analysis and Optimization of Multi-Dimensional Percentile Mechanisms
Xin Sui, Craig Boutilier, Tuomas Sandholm
Endogenous Boolean Games
Paolo Turrini
Monte-Carlo Expectation Maximization for Decentralized POMDPs
Feng Wu, Shlomo Zilberstein, Nicholas R. Jennings
Scaling-up Security Games with Boundedly Rational Adversaries: A Cutting-plane Approach
Rong Yang, Albert Xin Jiang, Milind Tambe, Fernando Ordonez
Automated Generation of Interaction Graphs for Value-Factored Dec-POMDPs
William Yeoh, Akshat Kumar, Shlomo Zilberstein
A Reputation Management Approach for Resource Constrained Trustee Agents
Han Yu, Chunyan Miao, Bo An, Cyril Leung, Victor R. Lesser
Multiwinner Elections Under Preferences That Are Single-Peaked on a Tree
Lan Yu, Hau Chan, Edith Elkind
On Random Quotas and Proportional Representation in Weighted Voting Games
Yair Zick
Constraints, Satisfiability, and Search
Robust Constraint Satisfaction and Local Hidden Variables in Quantum Mechanics
Samson Abramsky, Georg Gottlob, Phokion Kolaitis
Just-In-Time Compilation of Knowledge Bases
Gilles Audemard, Jean-Marie Lagniez, Laurent Simon
Maintaining Alternative Values in Constraint-Based Configuration
Caroline Becker, Helene Fargier
Breakout Local Search for the Vertex Separator Problem
Una Benlic, Jin-Kao Hao
Constraint Acquisition via Partial Queries
Christian Bessiere, Remi Coletta, Emmanuel Hebrard, George Katsirelos, Nadjib Lazaar, Nina Narodytska, Claude-Guy Quimper, Toby Walsh
Detecting and Exploiting Subproblem Tractability
Christian Bessiere, Clément Carbonnel, Emmanuel Hebrard, George Katsirelos, Toby Walsh
On the Complexity of Trick-Taking Card Games
Édouard Bonnet, Florian Jamain, Abdallah Saffidine
Comprehensive Score: Towards Efficient Local Search for SAT with Long Clauses
Shaowei Cai, Kaile Su
A Tree-Based Tabu Search Algorithm for the Manpower Allocation Problem with TimeWindows and Job-Teaming Constraints
Yilin Cai, Zizhen Zhang, Songshan Guo, Hu Qin, Andrew Lim
On the Complexity of Global Scheduling Constraints under Structural Restrictions
Geoffrey Chu, Serge Gaspers, Nina Narodytska, Andreas Schutt, Toby Walsh
Breaking Symmetries in Graph Representation
Michael Codish, Alice Miller, Patrick Prosser, Peter James Stuckey
Variable Elimination in Binary CSP via Forbidden Patterns
David A. Cohen, Martin C. Cooper, Guillaume Escamocher, Stanislav Zivny
Weight-Enhanced Diversification in Stochastic Local Search for Satisfiability
Thach-Thao Nguyen Duong, Duc Nghia Pham, Abdul Sattar, M.A. Hakim Newton
An Approach to Abductive Reasoning in Equational Logic
Mnacho Echenim, Nicolas Peltier, Sophie Tourret
Dominance Rules for the Choquet Integral in Multiobjective Dynamic Programming
Lucie Galand, Julien Lesca, Patrice Perny
Constraint Satisfaction and Fair Multi-Objective Optimization Problems: Foundations, Complexity, and Islands of Tractability
Gianluigi Greco, Francesco Scarcello
Preserving Partial Solutions While Relaxing Constraint Networks
Eric Grégoire, Jean-Marie Lagniez, Bertrand Mazure
Sufficiency-Based Selection Strategy for MCTS
Stefan Freyr Gudmundsson, Yngvi Björnsson
DeQED: An Efficient Divide-and-Coordinate Algorithm for DCOP
Daisuke Hatano, Katsutoshi Hirayama
Extending Simple Tabular Reduction with Short Supports
Christopher Jefferson, Peter Nightingale
Monte Carlo *-Minimax Search
Marc Lanctot, Abdallah Saffidine, Joel Veness, Christopher Archibald, Mark H. M. Winands
Double-Wheel Graphs Are Graceful
Ronan Le Bras, Carla P. Gomes, Bart Selman
Predicting the Size of Depth-First Branch and Bound Search Trees
Levi H. S. Lelis, Lars Otten, Rina Dechter
Target-Value Search Revisited
Carlos Linares López, Roni Stern, Ariel Felner
Algorithm Portfolios Based on Cost-Sensitive Hierarchical Clustering
Yuri Malitsky, Ashish Sabharwal, Horst Samulowitz, Meinolf Sellmann
On Computing Minimal Correction Subsets
Joao Marques-Silva, Federico Heras, Mikolas Janota, Alessandro Previti, Anton Belov
Search Strategies for Optimal Multi-Way Number Partitioning
Michael D. Moffitt
Three Generalizations of the FOCUS Constraint
Nina Narodytska, Thierry Petit, Mohamed Siala, Toby Walsh
Subset Selection of Search Heuristics
Chris Rayner, Nathan Sturtevant, Michael Bowling
Semiring-Based Mini-Bucket Partitioning Schemes
Emma Rollon, Javier Larrosa, Rina Dechter
Improved Bin Completion for Optimal Bin Packing and Number Partitioning
Ethan L. Schreiber, Richard E. Korf
Forward Perimeter Search with Controlled Use of Memory
Thorsten Schütt, Robert Döbbelin, Alexander Reinefeld
Minimizing Writes in Parallel External Memory Search
Nathan R. Sturtevant, Matthew J. Rutherford
Toward Rational Deployment of Multiple Heuristics in A*
David Tolpin, Tal Beja, Solomon Eyal Shimony, Ariel Felner, Erez Karpas
A Unified Approximate Nearest Neighbor Search Scheme by Combining Data Structure and Hashing
Debing Zhang, Genmao Yang, Yao Hu, Zhongming Jin, Deng Cai, Xiaofei He
Knowledge Representation, Reasoning and Logic
Verifiable Equilibria in Boolean Games
Thomas Ågotnes, Paul Harrenstein, Wiebe van der Hoek, Michael Wooldridge
Efficient Approach to Solve the Minimal Labeling Problem of Temporal and Spatial Qualitative Constraints
Nouhad Amaneddine, Jean-François Condotta, Michael Sioutis
Exchanging OWL 2 QL Knowledge Bases
Marcelo Arenas, Elena Botoeva, Diego Calvanese, Vladislav Ryzhikov
Temporal Description Logic for Ontology-Based Data Access
Alessandro Artale, Roman Kontchakov, Frank Wolter, Michael Zakharyaschev
Functional Stable Model Semantics and Answer Set Programming Modulo Theories
Michael Bartholomew, Joohyung Lee
Decidability of Model Checking Non-Uniform Artifact-Centric Quantified Interpreted Systems
Francesco Belardinelli, Alessio Lomuscio
Reasoning about Continuous Uncertainty in the Situation Calculus
Vaishak Belle, Hector Levesque
Syntactic Computation of Hybrid Possibilistic Conditioning under Uncertain Inputs
Salem Benferhat, Célia da Costa Pereira, Andrea G. B. Tettamanzi
Automating Quantified Conditional Logics in HOL
Christoph Benzmueller
First-Order Rewritability of Atomic Queries in Horn Description Logics
Meghyn Bienvenu, Carsten Lutz, Frank Wolter
Conjunctive Regular Path Queries in Lightweight Description Logics
Meghyn Bienvenu, Magdalena Ortiz, Mantas Simkus
Tractable Queries for Lightweight Description Logics
Meghyn Bienvenu, Magdalena Ortiz, Mantas Simkus, Guohui Xiao
Tractable Approximations of Consistent Query Answering for Robust Ontology-based Data Access
Meghyn Bienvenu, Riccardo Rosati
The Markov Assumption: Formalization and Impact
Alexander Bochman
Positive Subsumption in Fuzzy EL with General t-Norms
Stefan Borgwardt, Rafael Peñaloza
The Impact of Disjunction on Query Answering Under Guarded-Based Existential Rules
Pierre Bourhis, Michael Morak, Andreas Pieris
Abstract Dialectical Frameworks Revisited
Gerhard Brewka, Hannes Strass, Stefan Ellmauthaler, Johannes Peter Wallner, Stefan Woltran
Verification of Inconsistency-Aware Knowledge and Action Bases
Diego Calvanese, Evgeny Kharlamov, Marco Montali, Ario Santoso, Dmitriy Zheleznyakov
Automated Reasoning to Infer all Minimal Keys
Pablo Cordero, Manuel Enciso, Angel Mora
Do Hard SAT-Related Reasoning Tasks Become Easier in the Krom Fragment?
Nadia Creignou, Reinhard Pichler, Stefan Woltran
Computing Datalog Rewritings Beyond Horn Ontologies
Bernardo Cuenca Grau, Boris Motik, Giorgos Stoilos, Ian Horrocks
Sequences of Mechanisms for Causal Reasoning in Artificial Intelligence
Denver Dash, Mark Voortman, Martijn de Jongh
Bounded Epistemic Situation Calculus Theories
Giuseppe De Giacomo, Yves Lespérance, Fabio Patrizi
Linear Temporal Logic and Linear Dynamic Logic on Finite Traces
Giuseppe De Giacomo, Moshe Y. Vardi
A Formal Account of Nondeterministic and Failed Actions
James Delgrande, Hector Levesque
Data Repair of Inconsistent DL-Programs
Thomas Eiter, Michael Fink, Daria Stepanova
Towards a Knowledge Compilation Map for Heterogeneous Representation Language
Hélène Fargier, Pierre Marquis, Alexandre Niveau
Semiring Labelled Decision Diagrams, Revisited: Canonicity and Spatial Efficiency Issues
Hélène Fargier, Pierre Marquis, Nicolas Schmidt
FQHT: The Logic of Stable Models for Logic Programs with Intensional Functions
Luis Farinas del Cerro, David Pearce, Agustín Valverde
On the Complexity of Probabilistic Abstract Argumentation
Bettina Fazzinga, Sergio Flesca, Francesco Parisi
Representation and Reasoning about General Solid Rectangles
Xiaoyu Ge, Jochen Renz
Advanced Conflict-Driven Disjunctive Answer Set Solving
Martin Gebser, Benjamin Kaufmann, Torsten Schaub
A Strongly-Local Contextual Logic
Michael James Gratton
Bounded Programs: A New Decidable Class of Logic Programs with Function Symbols
Sergio Greco, Cristian Molinaro, Irina Trubitsyna
Iterated Boolean Games
Julian Gutierrez, Paul Harrenstein, Michael Wooldridge
Implicit Learning of Common Sense for Reasoning
Brendan Juba
Knowledge Compilation for Model Counting: Affine Decision Trees
Frédéric Koriche, Jean-Marie Lagniez, Pierre Marquis, Samuel Thomas
Parameterized Complexity of Optimal Planning: A Detailed Map
Martin Kronegger, Andreas Pfandler, Reinhard Pichler
Syntactic Labelled Tableaux for Lukasiewicz Fuzzy ALC
Agnieszka Kulacka, Dirk Pattinson, Lutz Schröder
Decidable Reasoning in a Logic of Limited Belief with Introspection and Unknown Individuals
Gerhard Lakemeyer, Hector J. Levesque
StarVars — Effective Reasoning about Relative Directions
Jae Hee Lee, Jochen Renz, Diedrich Wolter
Action Language BC: Preliminary Report
Joohyung Lee, Vladimir Lifschitz, Fangkai Yang
Answer Set Programming Modulo Theories and Reasoning about Continuous Changes
Joohyung Lee, Yunsong Meng
Reasoning about State Constraints in the Situation Calculus
Naiqi Li, Yi Fan, Yongmei Liu
Analogico-Deductive Generation of Gödel's First Incompleteness Theorem from the Liar Paradox
John Licato, Naveen Sundar Govindarajulu, Selmer Bringsjord, Michael Pomeranz, Logan Gittelson
An Epistemic Halpern-Shoham Logic
Alessio Lomuscio, Jakub Michaliszyn
Preference-Based Query Answering in Datalog+/- Ontologies
Thomas Lukasiewicz, Maria Vanina Martinez, Gerardo Ignacio Simari
Ontology-Based Data Access with Closed Predicates is Inherently Intractable(Sometimes)
Carsten Lutz, Inanc Seylan, Frank Wolter
Computing Stable Models for Nonmonotonic Existential Rules
Despoina Magka, Markus Krötzsch, Ian Horrocks
The Route to Success — A Performance Comparison of Diagnosis Algorithms
Iulia Nica, Ingo Pill, Thomas Quaritsch, Franz Wotawa
Backdoors to Abduction
Andreas Pfandler, Stefan Rümmele, Stefan Szeider
Behavioral Diagnosis of LTL Specifications at Operator Level
Ingo Pill, Thomas Quaritsch
Cyclic Causal Models with Discrete Variables: Markov Chain Equilibrium Semantics and Sample Ordering
David Poole, Mark Crowley
Learning from Polyhedral Sets
Salvatore Ruggieri
Efficient Extraction and Representation of Spatial Information from Video Data
Hajar Sadeghi Sokeh, Stephen Gould, Jochen Renz
Combining RCC5 Relations with Betweenness Information
Steven Schockaert, Sanjiang Li
Interpolative Reasoning with Default Rules
Steven Schockaert, Henri Prade
On Condensing a Sequence of Updates in Answer-Set Programming
Martin Slota, João Leite
Nominal Schema Absorption
Andreas Steigmiller, Birte Glimm, Thorsten Liebig
Granular Description of Qualitative Change
John G. Stell
A Rational Extension of Stable Model Semantics to the Full Propositional Language
Shahab Tasharrofi
Compact Rewritings for Existential Rules
Michaël Thomazo
A Classification of First-Order Progressable Action Theories in Situation Calculus
Stavros Vassos, Fabio Patrizi
An Alternative Axiomatization of DEL and Its Applications
Yanjing Wang, Guillaume Aucher
Knowing That, Knowing What, and Public Communication: Public Announcement Logic with Kv Operators
Yanjing Wang, Jie Fan
Multi-Agent Subset Space Logic
Yi Nicholas Wang, Thomas Agotnes
Forgetting for Answer Set Programs Revisited
Yisong Wang, Kewen Wang, Mingyi Zhang
Transition Constraints: A Study on the Computational Complexity of Qualitative Change
Matthias Westphal, Julien Hué, Stefan Wölfl, Bernhard Nebel
Supremal Realizability of Behaviors with Uncontrollable Exogenous Events
Nitin Yadav, Paolo Felli, Giuseppe De Giaocomo, Sebastian Sardina
Multi-Agent Epistemic Explanatory Diagnosis via Reasoning about Actions
Quan Yu, Ximing Wen, Yongmei Liu
Most Specific Generalizations w.r.t. General EL-TBoxes
Benjamin Zarrieß, Anni-Yasmin Turhan
First-Order Expressibility and Boundedness of Disjunctive Logic Programs
Heng Zhang, Yan Zhang
Definability of Horn Revision from Horn Contraction
Zhiqiang Zhuang, Maurice Pagnucco, Yan Zhang
Machine Learning
Learning Community-Based Preferences via Dirichlet Process Mixtures of Gaussian Processes
Ehsan Abbasnejad, Scott Sanner, Edwin V. Bonilla, Pascal Poupart
An Ensemble of Bayesian Networks for Multilabel Classification
Alessandro Antonucci, Giorgio Corani, Denis Deratani Maua', Sandra Gabaglio
Self-Organized Neural Learning of Statistical Inference from High-Dimensional Data
Johannes Bauer, Stefan Wermter
Basic Level in Formal Concept Analysis: Interesting Concepts and Psychological Ramifications
Radim Belohlavek, Martin Trnecka
Exact Top-k Feature Selection via l2, 0-Norm Constraint
Xiao Cai, Feiping Nie, Heng Huang
Regularized Latent Least Square Regression for Cross Pose Face Recognition
Xinyuan Cai, Chunheng Wang, Baihua Xiao, Xue Chen, Ji Zhou
Robust Tensor Clustering with Non-Greedy Maximization
Xiaochun Cao, Xingxing Wei, Yahong Han, Yi Yang, Dongdai Lin
Central Clustering of Categorical Data with Automated Feature Weighting
Lifei Chen, Shengrui Wang
Dimensionality Reduction with Generalized Linear Models
Mo Chen, Wei Li, Xiaogang Wang, Wei Zhang
Generalized Relational Topic Models with Data Augmentation
Ning Chen, Jun Zhu, Fei Xia, Bo Zhang
Domain Adaptation with Topical Correspondence Learning
Zheng Chen, Weixiong Zhang
Bayesian Nonparametric Feature Construction for Inverse Reinforcement Learning
Jaedeug Choi, Kee-Eung Kim
A Lossy Counting Based Approach for Learning on Streams of Graphs on a Budget
Giovanni Da San Martino, Nicolò Navarin, Alessandro Sperduti
Bootstrap Learning via Modular Concept Discovery
Eyal Dechter, Jon Malmaud, Ryan P. Adams, Joshua B. Tenenbaum
Topic Extraction from Online Reviews for Classification and Recommendation
Ruihai Dong, Markus Schaal, Michael P. O’Mahony, Barry Smyth
Towards Robust Co-Clustering
Liang Du, Yi-Dong Shen
Learning Finite Beta-Liouville Mixture Models via Variational Bayes for Proportional Data Clustering
Wentao Fan, Nizar Bouguila
Optimizing Cepstral Features for Audio Classification
Zhouyu Fu, Guojun Lu, Kai Ming Ting, Dengsheng Zhang
Uniform Convergence, Stability and Learnability for Ranking Problems
Wei Gao, Zhi-Hua Zhou
Active Learning for Level Set Estimation
Alkis Gotovos, Nathalie Casati, Gregory Hitz, Andreas Krause
Histogram of Oriented Displacements (HOD): Describing Trajectories of Human Joints for Action Recognition
Mohammad Abdelaziz Gowayyed, Marwan Torki, Mohammed Elsayed Hussein, Motaz El-Saban
Multi-Prototype Label Ranking with Novel Pairwise-to-Total-Rank Aggregation
Mihajlo Grbovic, Nemanja Djuric, Slobodan Vucetic
MiningZinc: A Modeling Language for Constraint-Based Mining
Tias Guns, Anton Dries, Guido Tack, Siegfried Nijssen, Luc De Raedt
Probabilistic Multi-Label Classification with Sparse Feature Learning
Yuhong Guo, Wei Xue
Co-Regularized Ensemble for Feature Selection
Yahong Han, Yi Yang, Xiaofang Zhou
Improving Traffic Prediction with Tweet Semantics
Jingrui He, Wei Shen, Phani Divakaruni, Laura Wynter, Rick Lawrence
A General Framework for Interacting Bayes-Optimally with Self-Interested Agents using Arbitrary Parametric Model and Model Prior
Trong Nghia Hoang, Kian Hsiang Low
What Users Care About: A Framework for Social Content Alignment
Lei Hou, Juanzi Li, Xiaoli Li, Jiangfeng Qu, Xiaofei Guo, Ou Hui, Jie Tang
Efficient Kernel Learning from Side Information Using ADMM
En-Liang Hu, James T. Kwok
Active Learning Based on Local Representation
Yao Hu, Debing Zhang, Zhongming Jin, Deng Cai, Xiaofei He
Online Hashing
Long-Kai Huang, Qiang Yang, Wei-Shi Zheng
Discovering Different Types of Topics: Factored Topic Models
Yun Jiang, Ashutosh Saxena
Prior-Free Exploration Bonus for and beyond Near Bayes-Optimal Behavior
Kenji Kawaguchi, Hiroshi Sato
Causal Inference with Rare Events in Large-Scale Time-Series Data
Samantha Kleinberg
Active Learning for Teaching a Robot Grounded Relational Symbols
Johannes Kulick, Marc Toussaint, Tobias Lang, Manuel Lopes
Adaptive Thresholding in Structure Learning of a Bayesian Network
Boaz Lerner, Michal Afek, Rafi Bojmel
A Bayesian Factorised Covariance Model for Image Analysis
Jun Li, Dacheng Tao
Low-Rank Coding with b-Matching Constraint for Semi-Supervised Classification
Sheng Li, Yun Fu
Active Learning with Multi-Label SVM Classification
Xin Li, Yuhong Guo
Large-Scale Spectral Clustering on Graphs
Jialu Liu, Chi Wang, Marina Danilevsky, Jiawei Han
Learning Discriminative Representations from RGB-D Video Data
Li Liu, Ling Shao
Online Expectation Maximization for Reinforcement Learning in POMDPs
Miao Liu, Xuejun Liao, Lawrence Carin
The Multi-Feature Information Bottleneck with Application to Unsupervised Image Categorization
Zhengzheng Lou, Yangdong Ye, Xiaoqiang Yan
Learning Canonical Correlations of Paired Tensor Sets Via Tensor-to-Vector Projection
Haiping Lu
Learning Descriptive Visual Representation by Semantic Regularized Matrix Factorization
Zhiwu Lu, Yuxin Peng
Thinking of Images as What They Are: Compound Matrix Regression for Image Classification
Zhigang Ma, Yi Yang, Feiping Nie, Nicu Sebe
An Empirical Investigation of Ceteris Paribus Learnability
Loizos Michael, Elena Papageorgiou
Statistical Tests for the Detection of the Arrow of Time in Vector Autoregressive Models
Pablo Morales-Mombiela, Daniel Hernández-Lobato, Alberto Suárez
Meta-Interpretive Learning of Higher-Order Dyadic Datalog: Predicate Invention revisited
Stephen H. Muggleton, Dianhuan Lin
Multi-Modal Image Annotation with Multi-Instance Multi-Label LDA
Cam-Tu Nguyen, De-Chuan Zhan, Zhi-Hua Zhou
Adaptive Loss Minimization for Semi-Supervised Elastic Embedding
Feiping Nie, Hua Wang, Heng Huang, Chris Ding
Early Active Learning via Robust Representation and Structured Sparsity
Feiping Nie, Hua Wang, Heng Huang, Chris Ding
Annealed Importance Sampling for Structure Learning in Bayesian Networks
Teppo Mikael Niinimäki, Mikko Koivisto
Graph Classification with Imbalanced Class Distributions and Noise
Shirui Pan, Xingquan Zhu
Hierarchical Bayesian Matrix Factorization with Side Information
Sunho Park, Yong-Deok Kim, Seungjin Choi
A Scalable Approach to Column-Based Low-Rank Matrix Approximation
Yifan Pi, Haoruo Peng, Shuchang Zhou, Zhihua Zhang
Multiple Task Learning Using Iteratively Reweighted Least Square
Jian Pu, Yu-Gang Jiang, Jun Wang, Xiangyang Xue
Active Learning from Relative Queries
Buyue Qian, Xiang Wang, Fei Wang, Hongfei Li, Jieping Ye, Ian Davidson
Robust Unsupervised Feature Selection
Mingjie Qian, Chengxiang Zhai
Path Integral Control by Reproducing Kernel Hilbert Space Embedding
Konrad Rawlik, Marc Toussaint, Sethu Vijayakumar
Machine-Learning-Based Circuit Synthesis
Lior Rokach, Meir Kalech, Gregory Provan, Alexander Feldman
Weighted Path as a Condensed Pattern in a Single Attributed DAG
Jérémy Sanhes, Frédéric Flouvat, Claude Pasquier, Nazha Selmaoui-Folcher, Jean-François Boulicaut
Multi-Dimensional Causal Discovery
Ulrich Schaechtle, Kostas Stathis, Stefano Bromuri
Better Generalization with Forecasts
Tom Schaul, Mark Ring
Supervised Hypothesis Discovery Using Syllogistic Patterns in the Biomedical Literature
Kazuhiro Seki, Kuniaki Uehara
Guarantees of Augmented Trace Norm Models in Tensor Recovery
Ziqiang Shi, Jiqing Han, Tieran Zheng, Ji Li
Hartigan's K-Means Versus Lloyd's K-Means — Is It Time for a Change?
Noam Slonim, Ehud Aharoni, Koby Crammer
One-Class Conditional Random Fields for Sequential Anomaly Detection
Yale Song, Zhen Wen, Ching-Yung Lin, Randall Davis
Measuring Statistical Dependence via the Mutual Information Dimension
Mahito Sugiyama, Karsten M. Borgwardt
Unlearning from Demonstration
Keith Sullivan, Ahmed ElMolla, Bill Squires, Sean Luke
Multi-View Maximum Entropy Discrimination
Shiliang Sun, Guoqing Chao
Non-Negative Multiple Matrix Factorization
Koh Takeuchi, Katsuhiko Ishiguro, Akisato Kimura, Hiroshi Sawada
Linear Bayesian Reinforcement Learning
Nikolaos Tziortziotis, Christos Dimitrakakis, Konstantinos Blekas
Multi Class Learning with Individual Sparsity
Ben Zion Vatashsky, Koby Crammer
Coupled Attribute Analysis on Numerical Data
Can Wang, Zhong She, Longbing Cao
Manifold Alignment Preserving Global Geometry
Chang Wang, Sridhar Mahadevan
Large Scale Online Kernel Classification
Steven C. H. Hoi, Jialei Wang, Peilin Zhao, Jinfeng Zhuang, Zhi-yong Liu
Online Group Feature Selection
Jing Wang, Zhong-Qiu Zhao, Xuegang Hu, Yiu-ming Cheung, Meng Wang, Xindong Wu
Nonconvex Relaxation Approaches to Robust Matrix Recovery
Shusen Wang, Dehua Liu, Zhihua Zhang
A KNN Based Kalman Filter Gaussian Process Regression
Yali Wang, Brahim Chaib-draa
Bayesian Optimization in High Dimensions via Random Embeddings
Ziyu Wang, Masrour Zoghi, Frank Hutter, David Matheson, Nando de Freitas
Deep Feature Learning Using Target Priors with Applications in ECoG Signal Decoding for BCI
Zuoguan Wang, Siwei Lyu, Gerwin Schalk, Qiang Ji
Euler Clustering
Jian-Sheng Wu, Wei-Shi Zheng, Jian-Huang Lai
A Theoretic Framework of K-Means-Based Consensus Clustering
Junjie Wu, Hongfu Liu, Hui Xiong, Jie Cao
Multi-Modal Distance Metric Learning
Pengtao Xie, Eric Xing
A Probabilistic Approach to Latent Cluster Analysis
Zhipeng Xie, Rui Dong, Zhengheng Deng, Zhenying He, Weidong Yang
Harmonious Hashing
Bin Xu, Jiajun Bu, Yue Lin, Chun Chen, Xiaofei He, Deng Cai
Change-Point Detection with Feature Selection in High-Dimensional Time-Series Data
Makoto Yamada, Akisato Kimura, Futoshi Naya, Hiroshi Sawada
On Robust Estimation of High Dimensional Generalized Linear Models
Eunho Yang, Ambuj Tewari, Pradeep Ravikumar
Reduced Heteroscedasticity Linear Regression for Nyström Approximation
Hao Yang, Jianxin Wu
Multi-View Discriminant Transfer Learning
Pei Yang, Wei Gao
Smart Hashing Update for Fast Response
Qiang Yang, Long-Kai Huang, Wei-Shi Zheng, Yingbiao Ling
Multi-Instance Multi-Label Learning with Weak Label
Shu-Jun Yang, Yuan Jiang, Zhi-Hua Zhou
Protein Function Prediction by Integrating Multiple Kernels
Guoxian Yu, Huzefa Rangwala, Carlotta Domeniconi, Guoji Zhang, Zili Zhang
Learning Domain Differences Automatically for Dependency Parsing Adaptation
Mo Yu, Tiejun Zhao, Yalong Bai
Bilevel Visual Words Coding for Image Classification
Jiemi Zhang, Chenxia Wu, Deng Cai, Jianke Zhu
Sparse Reconstruction for Weakly Supervised Semantic Segmentation
Ke Zhang, Wei Zhang, Yingbin Zheng, Xiangyang Xue
Semi-Supervised Learning with Manifold Fitted Graphs
Tongtao Zhang, Rongrong Ji, Wei Liu, Dacheng Tao, Gang Hua
Online Community Detection for Large Complex Networks
Wangsheng Zhang, Gang Pan, Zhaohui Wu, Shijian Li
Multi-View Embedding Learning for Incompletely Labeled Data
Wei Zhang, Ke Zhang, Pan Gu, Xiangyang Xue
Learning High-Order Task Relationships in Multi-Task Learning
Yu Zhang, Dit-Yan Yeung
Lazy Paired Hyper-Parameter Tuning
Alice X Zheng, Mikhail Bilenko
Adaptive Error-Correcting Output Codes
Guoqiang Zhong, Mohamed Cheriet
Accurate Probability Calibration for Multiple Classifiers
Wenliang Zhong, James T. Kwok
Shifted Subspaces Tracking on Sparse Outlier for Motion Segmentation
Tianyi Zhou, Dacheng Tao
Persistent Homology: An Introduction and a New Text Representation for Natural Language Processing
Xiaojin Zhu
Concept Learning for Cross-Domain Text Classification: A General Probabilistic Framework
Fuzhen Zhuang, Ping Luo, Peifeng Yin, Qing He, Zhongzhi Shi
Multidisciplinary Topics and Applications
Automatically Generating Problems and Solutions for Natural Deduction
Umair Z. Ahmed, Sumit Gulwani, Amey Karkare
Automated Grading of DFA Constructions
Rajeev Alur, Loris D'Antoni, Sumit Gulwani, Dileep Kini, Mahesh Viswanathan
Misleading Opinions Provided by Advisors: Dishonesty or Subjectivity
Hui Fang, Yang Bao, Jie Zhang
Personalized Diagnosis for Over-Constrained Problems
Alexander Felfernig, Monika Schubert, Stefan Reiterer
A Brain-Computer Interface to a Plan-Based Narrative
Stephen William Gilroy, Julie Porteous, Fred Charles, Marc Cavazza, Eyal Soreq, Gal Raz, Limor Ikar, Ayelet Or-Borichov, Udi Ben-Arie, Ilana Klovatch, Talma Hendler
Robust Median Reversion Strategy for On-Line Portfolio Selection
Dingjiang Huang, Junlong Zhou, Bin Li, Steven C.H. Hoi, Shuigeng Zhou
A Cutoff Technique for the Verification of Parameterised Interpreted Systems with Parameterised Environments
Panagiotis Kouvaros, Alessio Lomuscio
TutorialPlan: Automated Tutorial Generation from CAD Drawings
Wei Li, Yuanlin Zhang, George Fitzmaurice
Probabilistic Equivalence Verification Approach for Automatic Mathematical Solution Assessment
Minh Luan Nguyen, Siu Cheung Hui, Alvis C. M. Fong
Predicting Human Strategic Decisions Using Facial Expressions
Noam Peled, Moshe Bitan, Joseph Keshet, Sarit Kraus
Employing Batch Reinforcement Learning to Control Gene Regulation Without Explicitly Constructing Gene Regulatory Networks
Utku Sirin, Faruk Polat, Reda Alhajj
Protein Function Prediction via Laplacian Network Partitioning Incorporating Function Category Correlations
Hua Wang, Heng Huang, Chris Ding
Natural-Language Processing
Identifying Useful Human Correction Feedback from an On-Line Machine Translation Service
Alberto Barrón-Cedeño, Lluís Màrquez, Carlos A. Henríquez Q., Lluís Formiga, Enrique Romero, Jonathan May
Mining for Analogous Tuples from an Entity-Relation Graph
Danushka Bollegala, Mitsuru Kusumoto, Yuichi Yoshida, Ken-ichi Kawarabayashi
Leveraging Multi-Domain Prior Knowledge in Topic Models
Zhiyuan Chen, Arjun Mukherjee, Bing Liu, Meichun Hsu, Malu Castellanos, Riddhiman Ghosh
Learning Topical Translation Model for Microblog Hashtag Suggestion
Zhuoye Ding, Xipeng Qiu, Qi Zhang, Xuanjing Huang
Smoothing for Bracketing Induction
Xiangyu Duan, Min Zhang, Wenliang Chen
Crowdsourcing-Assisted Query Structure Interpretation
Jun Han, Ju Fan, Lizhu Zhou
PPSGen: Learning to Generate Presentation Slides for Academic Papers
Yue Hu, Xiaojun Wan
End-to-End Coreference Resolution for Clinical Narratives
Prateek Jindal, Dan Roth
A Clause-Level Hybrid Approach to Chinese Empty Element Recovery
Fang Kong, Guodong Zhou
Joint Modeling of Argument Identification and Role Determination in Chinese Event Extraction with Discourse-Level Information
Peifeng Li, Qiaoming Zhu, Guodong Zhou
Active Learning for Cross-domain Sentiment Classification
Shoushan Li, Yunxia Xue, Zhongqing Wang, Guodong Zhou
Opinion Target Extraction Using Partially-Supervised Word Alignment Model
Kang Liu, Heng Li Xu, Yang Liu, Jun Zhao
Joint and Coupled Bilingual Topic Model Based Sentence Representations for Language Model Adaptation
Shixiang Lu, Xiaoyin Fu, Wei Wei, Xingyuan Peng, Bo Xu
Integrating Syntactic and Semantic Analysis into the Open Information Extraction Paradigm
Andrea Moro, Roberto Navigli
Combine Constituent and Dependency Parsing via Reranking
Xiaona Ren, Xiao Chen, Chunyu Kit
Fast Linearization of Tree Kernels over Large-Scale Data
Aliaksei Severyn, Alessandro Moschitti
Answer Extraction from Passage Graph for Question Answering
Hong Sun, Nan Duan, Yajuan Duan, Ming Zhou
Instance Selection and Instance Weighting for Cross-Domain Sentiment Classification via PU Learning
Rui Xia, Xuelei Hu, Jianfeng Lu, Jian Yang, Chengqing Zong
Modeling Lexical Cohesion for Document-Level Machine Translation
Deyi Xiong, Guosheng Ben, Min Zhang, Yajuan Lv, Qun Liu
A Text Scanning Mechanism Simulating Human Reading Process
Bei Xu, Hai Zhuge
i, Poet: Automatic Chinese Poetry Composition through a Generative Summarization Framework under Constrained Optimization
Rui Yan, Han Jiang, Mirella Lapata, Shou-De Lin, Xueqiang Lv, Xiaoming Li
Fusion of Word and Letter Based Metrics for Automatic MT Evaluation
Muyun Yang, Junguo Zhu, Sheng Li, Tiejun Zhao
Improving Function Word Alignment with Frequency and Syntactic Information
Jingyi Zhang, Hai Zhao
Cross Lingual Entity Linking with Bilingual Topic Model
Tao Zhang, Kang Liu, Jun Zhao
Integrating Semantic Relatedness and Words' Intrinsic Features for Keyword Extraction
Wei Zhang, Wei Feng, Jianyong Wang
Partial-Tree Linearization: Generalized Word Ordering for Text Synthesis
Yue Zhang
Improving Question Retrieval in Community Question Answering Using World Knowledge
Guangyou Zhou, Yang Liu, Fang Liu, Daojian Zeng, Jun Zhao
Efficient Latent Structural Perceptron with Hybrid Trees for Semantic Parsing
Junsheng Zhou, Juhong Xu, Weiguang Qu
Planning and Scheduling
Revisiting Regression in Planning
Vidal Alcázar, Daniel Borrajo, Susana Fernández, Raquel Fuentetaja
Bridging the Gap Between Refinement and Heuristics in Abstraction
Christer Backstrom, Peter Jonsson
An Admissible Heuristic for SAS+ Planning Obtained from the State Equation
Blai Bonet
Causal Belief Decomposition for Planning with Sensing: Completeness Results and Practical Approximation
Blai Bonet, Hector Geffner
Isomorph-Free Branch and Bound Search for Finite State Controllers
Marek Grzes, Pascal Poupart, Jesse Hoey
Optimal Delete-Relaxed (and Semi-Relaxed) Planning with Conditional Effects
Patrik Haslum
Interactive POMDP Lite: Towards Practical Planning to Predict and Exploit Intentions for Interacting with Self-Interested Agents
Trong Nghia Hoang, Kian Hsiang Low
Controlling the Hypothesis Space in Probabilistic Plan Recognition
Froduald Kabanza, Julien Filion, Abder Rezak Benaskeur, Hengameh Irandoust
Lifelong Learning for Acquiring the Wisdom of the Crowd
Ece Kamar, Ashish Kapoor, Eric Horvitz
Pareto-Based Multiobjective AI Planning
Mostepha Khouadjia, Marc Schoenauer, Vincent Vidal, Johann Dréo, Pierre Savéant
Flexible Execution of Partial Order Plans With Temporal Constraints
Christian Muise, J. Christopher Beck, Sheila A. McIlraith
Towards a Second Generation Random Walk Planner: An Experimental Exploration
Hootan Nakhost, Martin Mueller
Fair LTL Synthesis for Non-Deterministic Systems using Strong Cyclic Planners
Fabio Patrizi, Nir Lipovetzky, Hector Geffner
Fault-Tolerant Planning under Uncertainty
Luis Enrique Pineda, Yi Lu, Shlomo Zilberstein, Claudia V. Goldman
Getting the Most Out of Pattern Databases for Classical Planning
Florian Pommerening, Gabriele Röger, Malte Helmert
Computing Upper Bounds on Lengths of Transition Sequences
Jussi Rintanen, Charles Orgill Gretton
Exploring Knowledge Engineering Strategies in Designing and Modelling a Road Traffic Accident Management Domain
Mohammad Munshi Shahin Shah, Lukas Chrpa, Diane Kitchin, Thomas Leo McCluskey, Mauro Vallati
The GoDeL Planning System: A More Perfect Union of Domain-Independent and Hierarchical Planning
Vikas Shivashankar, Ron Alford, Ugur Kuter, Dana Nau
Plan Quality Optimisation via Block Decomposition
Fazlul Hasan Siddiqui, Patrik Haslum
Symbolic Merge-and-Shrink for Cost-Optimal Planning
Álvaro Torralba, Carlos Linares López, Daniel Borrajo
Problem Splitting Using Heuristic Search in Landmark Orderings
Simon Vernhes, Guillaume Infantes, Vincent Vidal
Run-Time Improvement of Point-Based POMDP Policies
Minlue Wang, Richard Dearden
Interactive Value Iteration for Markov Decision Processes with Unknown Rewards
Paul Weng, Bruno Zanuttini
Flexibility and Decoupling in the Simple Temporal Problem
Michel Wilson, Tomas Klos, Cees Witteveen, Bob Huisman
Continuously Relaxing Over-Constrained Conditional Temporal Problems through Generalized Conflict Learning and Resolution
Peng Yu, Brian C. Williams
Robust Optimization for Hybrid MDPs with State-Dependent Noise
Zahra Zamani, Scott Sanner, Karina Valdivia Delgado, Leliane Nunes de Barros
Action-Model Acquisition from Noisy Plan Traces
Hankz Hankui Zhuo, Subbarao Kambhampati
Refining Incomplete Planning Domain Models Through Plan Traces
Hankz Hankui Zhuo, Tuan Nguyen, Subbarao Kambhampati
Robotics and Vision
Handling Open Knowledge for Service Robots
Xiao-Ping Chen, Jian-Min Ji, Zhi-Qiang Sui, Jiong-kun Xie
Human Action Recognition Using a Temporal Hierarchy of Covariance Descriptors on 3D Joint Locations
Mohamed E. Hussein, Marwan Torki, Mohammad A. Gowayyed, Motaz El-Saban
Rolling Dispersion for Robot Teams
Elizabeth A. Jensen, Maria Gini
Accelerated Robust Point Cloud Registration in Natural Environments through Positive and Unlabeled Learning
Maxime Latulippe, Alexandre Drouin, Philippe Giguère, François Laviolette
Upper Confidence Weighted Learning for Efficient Exploration in Multiclass Prediction with Binary Feedback
Hung Q. Ngo, Matthew David Luciw, Ngo Anh Vien, Juergen Schmidhuber
Towards Active Event Recognition
Dimitri Ognibene, Yiannis Demiris
Hierarchical Object Discovery and Dense Modelling From Motion Cues in RGB-D Video
Jörg Stückler, Sven Behnke
Learning Visual Symbols for Parsing Human Poses in Images
Fang Wang, Yi Li
Uncertainty in AI
A Consensual Linear Opinion Pool
Arthur Carvalho, Kate Larson
An Exact Algorithm for Computing the Same-Decision Probability
Suming Jeremiah Chen, Arthur Choi, Adnan Darwiche
Probabilistic Reasoning with Undefined Properties in Ontologically-Based Belief Networks
Chia-Li Kuo, David Buchman, Arzoo Katiyar, David Poole
Inference for a New Probabilistic Constraint Logic
Steffen Michels, Arjen Hommersom, Peter Lucas, Marina Velikova, Pieter Koopman
Map Matching with Inverse Reinforcement Learning
Takayuki Osogami, Rudy Raymond
Accurate Integration of Crowdsourced Labels Using Workers' Self-reported Confidence Scores
Satoshi Oyama, Yukino Baba, Yuko Sakurai, Hisashi Kashima
Look versus Leap: Computing Value of Information with High-Dimensional Streaming Evidence
Stephanie Rosenthal, Dan Bohus, Ece Kamar, Eric Horvitz
The Inclusion-Exclusion Rule and its Application to the Junction Tree Algorithm
David Brodie Smith, Vibhav Gogate
Sample Complexity of Risk-Averse Bandit-Arm Selection
Jia Yuan Yu, Evdokia Nikolova
A Generalization of SAT and #SAT for Robust Policy Evaluation
Erik Peter Zawadzki, Andre Platzer, Geoffrey J. Gordon
Web and Knowledge-Based Information Systems
Link Label Prediction in Signed Social Networks
Priyanka Agrawal, Vikas K. Garg, Ramasuri Narayanam
Multi-View K-Means Clustering on Big Data
Xiao Cai, Feiping Nie, Heng Huang
Where You Like to Go Next: Successive Point-of-Interest Recommendation
Chen Cheng, Haiqin Yang, Michael R. Lyu, Irwin King
Celebrity Recommendation with Collaborative Social Topic Regression
Xuetao Ding, Xiaoming Jin, Yujia Li, Lianghao Li
A Novel Bayesian Similarity Measure for Recommender Systems
Guibing Guo, Jie Zhang, Neil Yorke-Smith
Cross-Domain Collaborative Filtering via Bilinear Multilevel Analysis
Liang Hu, Jian Cao, Guandong Xu, Jie Wang, Zhiping Gu, Longbing Cao
Social Spammer Detection in Microblogging
Xia Hu, Jiliang Tang, Yanchao Zhang, Huan Liu
Listening to the Crowd: Automated Analysis of Events via Aggregated Twitter Sentiment
Yuheng Hu, Fei Wang, Subbarao Kambhampati
Social Trust Prediction Using Rank-k Matrix Recovery
Jin Huang, Feiping Nie, Heng Huang, Yu Lei, Chris Ding
Context-Dependent Conceptualization
Dongwoo Kim, Haixun Wang, Alice Oh
Predicting Knowledge in an Ontology Stream
Freddy Lecue, Jeff Z. Pan
A Unified Framework for Reputation Estimation in Online Rating Systems
Guang Ling, Irwin King, Michael R. Lyu
Synthesizing Union Tables from the Web
Xiao Ling, Alon Y. Halevy, Fei Wu, Cong Yu
Recommendation Using Textual Opinions
Claudiu Cristian Musat, Yizhong Liang, Boi Faltings
GBPR: Group Preference Based Bayesian Personalized Ranking for One-Class Collaborative Filtering
Weike Pan, Li Chen
Promoting Diversity in Recommendation by Entropy Regularizer
Lijing Qin, Xiaoyan Zhu
SCMF: Sparse Covariance Matrix Factorization for Collaborative Filtering
Jianping Shi, Naiyan Wang, Yang Xia, Dit-Yan Yeung, Irwin King, Jiaya Jia
Exploiting Local and Global Social Context for Recommendation
Jiliang Tang, Xia Hu, Huiji Gao, Huan Liu
Collaborative Topic Regression with Social Regularization for Tag Recommendation
Hao Wang, Binyi Chen, Wu-Jun Li
Online Egocentric Models for Citation Networks
Hao Wang, Wu-Jun Li
Boosting Cross-Lingual Knowledge Linking via Concept Annotation
Zhichun Wang, Juanzi Li, Jie Tang
PageRank with Priors: An Influence Propagation Perspective
Biao Xiang, Qi Liu, Enhong Chen, Hui Xiong, Yi Zheng, Yu Yang
Social Collaborative Filtering by Trust
Bo Yang, Yu Lei, Dayou Liu, Jiming Liu
Parametric Local Multimodal Hashing for Cross-View Similarity Search
Deming Zhai, Hong Chang, Yi Zhen, Xianming Liu, Xilin Chen, Wen Gao
Social Influence Locality for Modeling Retweeting Behaviors
Jing Zhang, Biao Liu, Jie Tang, Ting Chen, Juanzi Li
Automatic Name-Face Alignment to Enable Cross-Media News Retrieval
Yuejie Zhang, Wei Wu, Yang Li, Cheng Jin, Xiangyang Xue, Jianping Fan
AI and Computational Sustainability Track
Assessing the Resilience of Socio-Ecosystems: Coupling Viability Theory and Active Learning with kd-Trees. Application to Bilingual Societies
Isabelle Alvarez, Ricardo de Aldama, Sophie Martin, Romain Reuillon
Towards Understanding Global Spread of Disease from Everyday Interpersonal Interactions
Sean Padraig Brennan, Adam Sadilek, Henry Kautz
Short-Term Wind Power Forecasting Using Gaussian Processes
Niya Chen, Zheng Qian, Ian T. Nabney, Xiaofeng Meng
Semi-Supervised Learning for Integration of Aerosol Predictions from Multiple Satellite Instruments
Nemanja Djuric, Lakesh Kansakar, Slobodan Vucetic
Deep Sparse Coding based Recursive Disaggregation Model for Water Conservation
Haili Dong, Bingsheng Wang, Chang-Tien Lu
Optimal Pricing for Improving Efficiency of Taxi Systems
Jiarui Gan, Bo An, Haizhong Wang, Xiaoming Sun, Zhongzhi Shi
Estimating Reference Evapotranspiration for Irrigation Management in the Texas High Plains
Daniel Ellis Holman, Mohan Sridharan, Prasanna Gowda, Dana Porter, Thomas Marek, Terry Howell, Jerry Moorhead
Information Fusion Based Learning for Frugal Traffic State Sensing
Vikas Joshi, Nithya Rajamani, Takayuki Katsuki, Naveen Prathapaneni, L. V. Subramaniam
A Multi-Objective Memetic Algorithm for Vehicle Resource Allocation in Sustainable Transportation Planning
Hoong Chuin Lau, Lucas Agussurja, Shih-Fen Cheng, Pang Jin Tan
Crowdsourcing Backdoor Identification for Combinatorial Optimization
Ronan Le Bras, Richard Bernstein, Carla P Gomes, Bart Selman, R. Bruce van Dover
Evolution of Common-Pool Resources and Social Welfare in Structured Populations
Jean-Sébastien Lerat, The Anh Han, Tom Lenaerts
Tag-Weighted Topic Model for Mining Semi-Structured Documents
Shuangyin Li, Jiefei Li, Rong Pan
Manifold Alignment Based on Sparse Local Structures of More Corresponding Pairs
Xiaojie Li, Jian Cheng Lv, Yi Zhang
A Global Constrained Optimization Method for Designing Road Networks with Small Diameters
Teng Ma, Yuexian Hou, Xiaozhao Zhao, Dawei Song
Bayesian Joint Inversions for the Exploration of Earth Resources
Alistair Smyth Reid, Simon O’Callaghan, Edwin Bonilla, Lachlan McCalman, Tim Rawling, Fabio Ramos
Dynamic Taxi and Ridesharing: A Framework and Heuristics for the Optimization Problem
Douglas Oliveira Santos, Eduardo Cândido Xavier
An Active Learning Approach to Home Heating in the Smart Grid
Mike Shann, Sven Seuken
Planning with MIP for Supply Restoration in Power Distribution Systems
Sylvie Thiebaux, Carleton Coffrin, Hassan Hijazi, John Slaney
Forecasting Multi-Appliance Usage for Smart Home Energy Management
Ngoc Cuong Truong, James McInerney, Long Tran-Thanh, Enrico Costanza, Sarvapali Ramchurn
Randomized Load Control: A Simple Distributed Approach for Scheduling Smart Appliances
Menkes van den Briel, Paul Scott, Sylvie Thiebaux
Parameter Learning for Latent Network Diffusion
Xiaojian Wu, Akshat Kumar, Daniel Sheldon, Shlomo Zilberstein
Towards Effective Prioritizing Water Pipe Replacement and Rehabilitation
Junchi Yan, Yu Wang, Ke Zhou, Jin Huang, Chunhua Tian, Hongyuan Zha, Weishan Dong
Improved Integer Programming Approaches for Chance-Constrained Stochastic Programming
Hiroki Yanagisawa, Takayuki Osogami
A Hidden Markov Model-Based Acoustic Cicada Detector for Crowdsourced Smartphone Biodiversity Monitoring
Davide Zilli, Oliver Parson, Geoff V Merrett, Alex Rogers
Data Challenge
Forecast Oriented Classification of Spatio-Temporal Extreme Events
Zhengzhang Chen, Yusheng Xie, Yu Cheng, Kunpeng Zhang, Ankit Agrawal, Wei-keng Liao, Nagiza F. Samatova, Alok Choudhary
Adaptive Management of Migratory Birds Under Sea Level Rise
Samuel Nicol, Olivier Buffet, Takuya Iwamura, Iadine Chades
Detecting and Tracking Disease Outbreaks by Mining Social Media Data
Yusheng Xie, Zhengzhang Chen, Alok Choudhary
Journal Paper Track
Evaluating Indirect Strategies for Chinese — Spanish Statistical Machine Translation: Extended Abstract
Marta R. Costa-jussà, Carlos Henríquez, Rafael E. Banchs
Communicating Open Systems: Extended Abstract
Mark d'Inverno, Michael Luck, Pablo Noriega, Juan A Rodriguez-Aguilar, Carles Sierra
The CQC Algorithm: Cycling in Graphs to Semantically Enrich and Enhance a Bilingual Dictionary: Extended abstract
Tiziano Flati, Roberto Navigli
Algorithms for Generating Ordered Solutions for Explicit AND/OR Structures : Extended Abstract
Priyankar Ghosh, Amit Sharma, Partha Pratim Chakrabarti, Pallab Dasgupta
YAGO2: A Spatially and Temporally Enhanced Knowledge Base from Wikipedia: Extended Abstract
Johannes Hoffart, Fabian M Suchanek, Klaus Berberich, Gerhard Weikum
Modeling Social Causality and Responsibility Judgment in Multi-Agent Interactions: Extended Abstract
Wenji Mao, Jonathan Gratch
The Extended Global Cardinality Constraint: An Empirical Survey: Extended Abstract
Peter Nightingale
Revisiting Centrality-as-Relevance: Support Sets and Similarity as Geometric Proximity: Extended abstract
Ricardo Ribeiro, David Martins de Matos
Generalized Biwords for Bitext Compression and Translation Spotting: Extended Abstract
Felipe Sánchez-Martínez, Rafael C. Carrasco, Miguel A. Martínez-Prieto, Joaquín Adiego
Computing Text Semantic Relatedness Using the Contents and Links of a Hypertext Encyclopedia: Extended Abstract
Majid Yazdani, Andrei Popescu-Belis
On the Approximation Ability of Evolutionary Optimization with Application to Minimum Set Cover: Extended Abstract
Yang Yu, Xin Yao, Zhi-Hua Zhou
Learning Qualitative Models from Numerical Data: Extended abstract
Jure Žabkar, Martin Možina, Ivan Bratko, Janez Demšar
Best Thesis Award
Scalable Dynamic Nonparametric Bayesian Models of Content and Users
Amr Ahmed, Eric P. Xing
Improving Combinatorial Optimization — Extended Abstract
Geoffrey Chu
Cultural Diversity for Virtual Characters (Extended Abstract)
Birgit Endrass
Landmark-Based Heuristics and Search Control for Automated Planning (Extended Abstract)
Silvia Richter
Learning Probabilistic Models for Mobile Manipulation Robots
Jürgen Sturm, Wolfram Burgard
Social Norms for Self-Policing Multi-agent Systems and Virtual Societies
Daniel Villatoro
Sister Conferences Track
Twitter-Based User Modeling for News Recommendations
Fabian Abel, Qi Gao, Geert-Jan Houben, Ke Tao
Language-Based Games
Adam Bjorndahl, Joseph Y. Halpern, Rafael Pass
An Improved Separation of Regular Resolution from Pool Resolution and Clause Learning (Extended Abstract)
Maria Luisa Bonet, Sam Buss
The Complexity of One-Agent Refinement Modal Logic
Laura Bozzelli, Hans van Ditmarsch, Sophie Pinchinat
An Introduction to String Re-Writing Kernel
Fan Bu, Hang Li, Xiaoyan Zhu
Optimal Valve Placement in Water Distribution Networks with CLP(FD)
Massimiliano Cattafi, Marco Gavanelli, Maddalena Nonato, Stefano Alvisi, Marco Franchini
Bayesian Probabilities for Constraint-Based Causal Discovery
Tom Claassen, Tom Heskes
Satisfiability Modulo Constraint Handling Rules (Extended Abstract)
Gregory James Duck
Case Adaptation with Qualitative Algebras
Valmi Dufour-Lussier, Florence Le Ber, Jean Lieber, Laura Martin
Improving the Effectiveness of Time-Based Display Advertising
Daniel Gray Goldstein, R. Preston McAfee, Siddharth Suri
Preference-Based CBR: General Ideas and Basic Principles
Eyke Hüllermeier, Weiwei Cheng
Sound, Complete, and Minimal Query Rewriting for Existential Rules
Mélanie König, Michel Leclère, Marie-Laure Mugnier, Michaël Thomazo
Collaborative Filtering on Ordinal User Feedback
Yehuda Koren, Joseph Sill
Three Semantics for the Core of the Distributed Ontology Language (Extended Abstract)
Till Mossakowski, Christoph Lange, Oliver Kutz
Discovering Alignments in Ontologies of Linked Data
Rahul Parundekar, Craig A. Knoblock, José Luis Ambite
A New Trajectory Deformation Algorithm Based on Affine Transformations
Quang Cuong Pham, Yoshihiko Nakamura
A Case-Based Solution to the Cold-Start Problem in Group Recommenders
Lara Quijano, Derek Bridge, Belén Díaz-Agudo, Juan Antonio Recio-García
Data Mining a Trillion Time Series Subsequences Under Dynamic Time Warping
Thanawin Rakthanmanon, Eamonn Keogh
On Stochastic Optimal Control and Reinforcement Learning by Approximate Inference (Extended Abstract)
Konrad Rawlik, Marc Toussaint, Sethu Vijayakumar
At Home with Agents: Exploring Attitudes Towards Future Smart Energy Infrastructures
Tom A. Rodden, Joel E. Fischer, Nadia Pantidi, Khaled Bachour, Stuart Moran
Decision Generalisation from Game Logs in No Limit Texas Hold'em
Jonathan Rubin, Ian Watson
Modeling The Interplay of People's Location, Interactions, and Social Ties
Adam Sadilek, Henry Kautz
Active Evaluation of Ranking Functions Based on Graded Relevance (Extended Abstract)
Christoph Sawade, Steffen Bickel, Timo von Oertzen, Tobias Scheffer, Niels Landwehr
CLiMF: Collaborative Less-Is-More Filtering
Yue Shi, Alexandros Karatzoglou, Linas Baltrunas, Martha Larson, Nuria Oliver, Alan Hanjalic
Statistical Parsing with Probabilistic Symbol-Refined Tree Substitution Grammars
Hiroyuki Shindo, Yusuke Miyao, Akinori Fujino, Masaaki Nagata
Exact Recovery of Sparse-Used Dictionaries
Huan Wang, Daniel Spielman, John Wright
The RoboEarth Language: Representing and Exchanging Knowledge about Actions, Objects, and Environments (Extended Abstract)
Moritz Tenorth, Alexander Perzylo, Reinhard Lafrenz, Michael Beetz
Socioscope: Spatio-Temporal Signal Recovery from Social Media (Extended Abstract)
Jun-Ming Xu, Aniruddha Bhargava, Robert Nowak, Xiaojin Zhu
Using Strategic Logics to Reason about Agent Programs
Nitin Yadav, Sebastian Sardina
User-Centered Programming by Demonstration: Stylistic Elements of Behavior
James Young, Kentaro Ishii, Takeo Igarashi, Ehud Sharlin
Doctoral Consortium
Decision-Theoretic Approximations for Machine Learning
Ehsan Abbasnejad
Managing Qualitative Preferences and Constraints in a Dynamic Environment
Eisa Alanazi, Malek Mouhoub
Towards a Deeper Understanding of Nonmonotonic Reasoning with Degrees
Marjon Blondeel, Steven Schockaert, Dirk Vermeir, Martine De Cock
Capabilities in Heterogeneous Multi Robot Systems
Jennifer Buehler
Negotiation Algorithms for Large Agreement Spaces
Dave de Jonge
Trust Modeling for Opinion Evaluation by Coping with Subjectivity and Dishonesty
Hui Fang
High-Level Program Execution in Multi-agent Settings
Liangda Fang
Using Domain Knowledge to Systematically Guide Feature Selection
William Groves
Improving the Performance of Recommender Systems by Alleviating the Data Sparsity and Cold Start Problems
Guibing Guo
Strategic Interactions Among Agents with Bounded Rationality
Pablo Hernandez-Leal, Enrique Munoz de Cote, L. Enrique Sucar
Problem Transformations and Algorithm Selection for CSPs
Barry Hurley, Barry O'Sullivan
Rolling Dispersion and Exploration for Robot Teams
Elizabeth A. Jensen
Towards the Design of Robust Trust and Reputation Systems
Siwei Jiang
Maintaining Soft Arc Consistencies in BnB-ADOPT+ During Search
Ka Man Lei
Concept Generation in Language Evolution
Martha Anne Flinders Lewis, Jonathan Lawry
Normative Conflict Detection and Resolution in Cooperating Institutions
Tingting Li
Dynamic of Argumentation Frameworks
Jean-Guy Mailly
Approximation Algorithms for Max-Sum-Product Problems
Denis Deratani Maua
On Teaching Collaboration to a Team of Autonomous Agents via Imitation
Saleha Raza
Semi-Supervised Structuring of Complex Data
Marian-Andrei Rizoiu
Object Recognition Based on Visual Grammars and Bayesian Networks
Elias Ruiz, Luis Enrique Sucar
Adapting Surface Sketch Recognition Techniques for Surfaceless Sketches
Paul Piula Taele, Tracy Anne Hammond
Ontology Based Query Answering with Existential Rules
Michaël Thomazo
Behavior Composition Optimization
Nitin Yadav
Incorporating Expert Judgement into Bayesian Network Machine Learning
Yun Zhou, Norman Fenton, Martin Neil, Cheng Zhu
Arbitration and Stability in Cooperative Games with Overlapping Coalitions
Yair Zick
Invited Talks
Computational Perspectives on Social Phenomena at Global Scales
Jon Kleinberg
Soft Robotics: The Next Generation of Intelligent Machines
Rolf Pfeifer, Hugo Gravato Marques, Fumiya Iida
Computational Disaster Management
Pascal Van Hentenryck
AAAI Digital Library
AAAI relies on your generous support through membership and donations. If you find these resources useful, we would be grateful for your support.