Constraints, Satisfiability, and Search
| A New Algorithm for Weighted Partial MaxSAT | |
| Carlos Ansotegui, Maria Luisa Bonet, Jordi Levy |
| Exploiting Monotonicity in Interval Constraint Propagation | |
| Ignacio Araya, Gilles Trombettoni, Bertrand Neveu |
| A Restriction of Extended Resolution for Clause Learning SAT Solvers | |
| Gilles Audemard, George Katsirelos, Laurent Simon |
| Transmission Network Expansion Planning with Simulation Optimization | |
| Russell Bent, Alan Berscheid, G. Loren Toole |
| Propagating Conjunctions of AllDifferent Constraints | |
| Christian Bessiere, George Katsirelos, Nina Narodytska, Claude-Guy Quimper, Toby Walsh |
| Independent Additive Heuristics Reduce Search Multiplicatively | |
| Teresa Maria Breyer, Richard Korf |
| 1.6-Bit Pattern Databases | |
| Teresa Maria Breyer, Richard Korf |
| EWLS: A New Local Search for Minimum Vertex Cover | |
| Shaowei Cai, Kaile Su, Qingliang Chen |
| High-Quality Policies for the Canadian Traveler's Problem | |
| Patrick Eyerich, Thomas Keller, Malte Helmert |
| Single-Frontier Bidirectional Search | |
| Ariel Felner, Carsten Moldenhauer, Nathan Sturtevant, Jonathan Schaeffer |
| Fast Local Search Algorithm for Weighted Feedback Arc Set in Tournaments | |
| Fedor Fomin, Daniel Lokshtanov, Venkatesh Raman, Saket Saurabh |
| Exploiting QBF Duality on a Circuit Representation | |
| Alexandra Goultiaeva, Fahiem Bacchus |
| Symmetry in Solutions | |
| Marijn Heule, Toby Walsh |
| Optimal Rectangle Packing on Non-Square Benchmarks | |
| Eric Huang, Richard E. Korf |
| A Novel Transition Based Encoding Scheme for Planning as Satisfiability | |
| Ruoyun Huang, Yixin Chen, Weixiong Zhang |
| Parallel Depth First Proof Number Search | |
| Tomoyuki Kaneko |
| A First Practical Algorithm for High Levels of Relational Consistency | |
| Shant Karakashian, Robert J. Woodward, Christopher G. Reeson, Berthe Y. Choueiry, Christian Bessiere |
| Dealing with Infinite Loops, Underestimation, and Overestimation of Depth-First Proof-Number Search | |
| Akihiro Kishimoto |
| Searching Without a Heuristic: Efficient Use of Abstraction | |
| Bradford John Larsen, Ethan Burns, Wheeler Ruml, Robert Holte |
| A Stronger Consistency for Soft Global Constraints in Weighted Constraint Satisfaction | |
| Jimmy Lee, K. L. Leung |
| An Efficient Branch-and-Bound Algorithm Based on MaxSAT for the Maximum Clique Problem | |
| Chu-Min Li, Zhe Quan |
| Understanding the Success of Perfect Information Monte Carlo Sampling in Game Tree Search | |
| Jeffrey Richard Long, Nathan R. Sturtevant, Michael Buro, Timothy Furtak |
| Filtering Bounded Knapsack Constraints in Expected Sublinear Time | |
| Yuri Malitsky, Meinolf Sellmann, Radoslaw Szymanek |
| Lazy Theta*: Any-Angle Path Planning and Path Length Analysis in 3D | |
| Alex Nash, Sven Koenig, Craig Tovey |
| Search Space Reduction Using Swamp Hierarchies | |
| Nir Pochter, Aviv Zohar, Jeffrey S. Rosenschein, Ariel Felner |
| Computing Cost-Optimal Definitely Discriminating Tests | |
| Anika Schumann, Jinbo Huang, Martin Sachenbacher |
| Latent Class Models for Algorithm Portfolio Methods | |
| Bryan Silverthorn, Risto Miikkulainen |
| Finding Optimal Solutions to Cooperative Pathfinding Problems | |
| Trevor Scott Standley |
| Collaborative Expert Portfolio Management | |
| David Stern, Horst Samulowitz, Ralf Herbrich, Thore Graepel, Luca Pulina, Armando Tacchella |
| Using Lookaheads with Optimal Best-First Search | |
| Roni Tzvi Stern, Tamar Kulberis, Ariel Felner, Robert Holte |
| The Tree Representation of Feasible Solutions for the TSP with Pickup and Delivery and LIFO Loading | |
| Dejian Tu, Songshan Guo, Hu Qin, Wee-Chong Oon, Andrew Lim |
| Coalition Structure Generation based on Distributed Constraint Optimization | |
| Suguru Ueda, Atsushi Iwasaki, Makoto Yokoo, Marius Calin Silaghi, Katsutoshi Hirayama, Toshihiro Matsui |
| A Proof-Producing CSP Solver | |
| Michael Veksler, Ofer Strichman |
| Hydra: Automatically Configuring Algorithms for Portfolio-Based Selection | |
| Lin Xu, Holger Hoos, Kevin Leyton-Brown |
| New Worst-Case Upper Bound for #2-SAT and #3-SAT with the Number of Clauses as the Parameter | |
| Junping Zhou, Minghao Yin, Chunguang Zhou |
Knowledge-Based Information Systems
| Clickthrough Log Analysis by Collaborative Ranking | |
| Bin Cao, Dou Shen, Kuansan Wang, Qiang Yang |
| Transfer Learning in Collaborative Filtering for Sparsity Reduction | |
| Weike Pan, Evan Wei Xiang, Nathan Nan Liu, Qiang Yang |
| Collaborative Filtering Meets Mobile Recommendation: A User-Centered Approach | |
| Vincent W. Zheng, Bin Cao, Yu Zheng, Xing Xie, Qiang Yang |
Knowledge Representation and Reasoning
| Past and Future of DL-Lite | |
| Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev |
| Ordered Completion for First-Order Logic Programs on Finite Structures | |
| Vernon Asuncion, Fangzhen Lin, Yan Zhang, Yi Zhou |
| Reasoning about Imperfect Information Games in the Epistemic Situation Calculus | |
| Vaishak Belle, Gerhard Lakemeyer |
| Knowledge Compilation in the Modal Logic S5 | |
| Meghyn Bienvenu, Hélène Fargier, Pierre Marquis |
| Decomposed Utility Functions and Graphical Models for Reasoning about Preferences | |
| Ronen I. Brafman, Yagil Engel |
| Representing Preferences Among Sets | |
| Gerhard Brewka, Miroslaw Truszczynski, Stefan Woltran |
| Node Selection Query Languages for Trees | |
| Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi |
| First-Order Indefinability of Answer Set Programs on Finite Structures | |
| Yin Chen, Yan Zhang, Yi Zhou |
| Ontologies and Representations of Matter | |
| Ernest Davis |
| Two-Player Game Structures for Generalized Planning and Agent Composition | |
| Giuseppe De Giacomo, Paolo Felli, Fabio Patrizi, Sebastian Sardina |
| Space Efficient Evaluation of ASP Programs with Bounded Predicate Arities | |
| Thomas Eiter, Wolfgang Faber, Mushthofa Mushthofa |
| Situation Calculus as Answer Set Programming | |
| Joohyung Lee, Ravi Palla |
| In Defense of Large Qualitative Calculi | |
| Jason Jingshi Li, Jochen Renz |
| Topological Relations between Convex Regions | |
| Sanjiang Li, Weiming Liu |
| Automated Program Debugging Via Multiple Predicate Switching | |
| Yongmei Liu, Bing Li |
| A Belief Revision Framework for Revising Epistemic States with Partial Epistemic States | |
| Jianbing Ma, Weiru Liu, Salem Benferhat |
| Inducing Probability Distributions from Knowledge Bases with (In)dependence Relations | |
| Jianbing Ma, Weiru Liu, Anthony Hunter |
| A Lower Bound on the Size of Decomposable Negation Normal Form | |
| Thammanit Pipatsrisawat, Adnan Darwiche |
| Soundness Preserving Approximation for TBox Reasoning | |
| Yuan Ren, Jeff Z. Pan, Yuting Zhao |
| Dominance Testing via Model Checking | |
| Ganesh Ram Santhanam, Samik Basu, Vasant Honavar |
| An Inconsistency-Tolerant Approach to Information Merging Based on Proposition Relaxation | |
| Steven Schockaert, Henri Prade |
| A New Approach to Knowledge Base Revision in DL-Lite | |
| Zhe Wang, Kewen Wang, Rodney Topor |
| Decidable Fragments of First-Order Language Under Stable Model Semantics and Circumscription | |
| Heng Zhang, Mingsheng Ying |
Machine Learning
| Latent Variable Model for Learning in Pairwise Markov Networks | |
| Saeed Amizadeh, Milos Hauskrecht |
| Myopic Policies for Budgeted Optimization with Constrained Experiments | |
| Javad Azimi, Xiaoli Fern, Alan Fern, Elizabeth Burrows, Frank Chaplen, Yanzhen Fan, Hong Liu, Jun Jaio, Rebecca Schaller |
| Assisting Users with Clustering Tasks by Combining Metric Learning and Classification | |
| Sumit Basu, Danyel Fisher, Steven M. Drucker, Hao Lu |
| The Induction and Transfer of Declarative Bias | |
| Will Bridewell, Ljupco Todorovski |
| Adaptive Transfer Learning | |
| Bin Cao, Sinno Jialin Pan, Yu Zhang, Dit-Yan Yeung, Qiang Yang |
| G-Optimal Design with Laplacian Regularization | |
| Chun Chen, Zhengguang Chen, Jiajun Bu, Can Wang, Lijun Zhang, Cheng Zhang |
| What if the Irresponsible Teachers Are Dominating? | |
| Shuo Chen, Jianwen Zhang, Guangyun Chen, Changshui Zhang |
| Learning Spatial-Temporal Varying Graphs with Applications to Climate Data Analysis | |
| Xi Chen, Yan Liu, Han Liu, Jaime G. Carbonell |
| Properties of Bayesian Dirichlet Scores to Learn Bayesian Network Structures | |
| Cassio Polpo de Campos, Qiang Ji |
| Interactive Learning Using Manifold Geometry | |
| Eric Eaton, Gary Holness, Daniel McFarlane |
| Learning Discriminative Piecewise Linear Models with Boundary Points | |
| Kun Gai, Changshui Zhang |
| Facial Age Estimation by Learning from Label Distributions | |
| Xin Geng, Kate Smith-Miles, Zhi-Hua Zhou |
| Exact Algorithms and Experiments for Hierarchical Tree Clustering | |
| Sepp Hartung, Jiong Guo, Christian Komusiewicz, Rolf Niedermeier, Johannes Uhlmann |
| A Topic Model for Linked Documents and Update Rules for its Estimation | |
| Zhen Guo, Shenghuo Zhu, Zhongfei Zhang, Yun Chi, Yihong Gong |
| Multi-Task Sparse Discriminant Analysis (MtSDA) with Overlapping Categories | |
| Yahong Han, Fei Wu, Jinzhu Jia, Yueting Zhuang, Bin Yu |
| Two-Stage Sparse Representation for Robust Recognition on Large-Scale Database | |
| Ran He, BaoGang Hu, Wei-Shi Zheng, YanQing Guo |
| Reinforcement Learning Via Practice and Critique Advice | |
| Kshitij Judah, Saikat Roy, Alan Fern, Thomas G. Dietterich |
| Structure Learning for Markov Logic Networks with Many Descriptive Attributes | |
| Hassan Khosravi, Oliver Schulte, Tong Man, Xiaoyuan Xu, Bahareh Bina |
| The Genetic Algorithm as a General Diffusion Model for Social Networks | |
| Mayank Lahiri, Manuel Cebrian |
| Cost-Sensitive Semi-Supervised Support Vector Machine | |
| Yu-Feng Li, James T. Kwok, Zhi-Hua Zhou |
| Non-Negative Matrix Factorization with Constraints | |
| Haifeng Liu, Zhaohui Wu |
| Gaussian Mixture Model with Local Consistency | |
| Jialu Liu, Deng Cai, Xiaofei He |
| Constrained Metric Learning Via Distance Gap Maximization | |
| Wei Liu, Xinmei Tian, Dacheng Tao, Jianzhuang Liu |
| Multilinear Maximum Distance Embedding Via L1-Norm Optimization | |
| Yang Liu, Yan Liu, Keith C. C. Chan |
| Learning Causal Models of Relational Domains | |
| Marc Maier, Brian Taylor, Huseyin Oktay, David Jensen |
| Non-Metric Locality-Sensitive Hashing | |
| Yadong Mu, Shuicheng Yan |
| A Two-Dimensional Topic-Aspect Model for Discovering Multi-Faceted Topics | |
| Michael Paul, Roxana Girju |
| Non-I.I.D. Multi-Instance Dimensionality Reduction by Learning a Maximum Bag Margin Subspace | |
| Wei Ping, Ye Xu, Kexin Ren, Chi-Hung Chi, Furao Shen |
| Conformal Mapping by Computationally Efficient Methods | |
| Stefan Pintilie, Ali Ghodsi |
| Bayesian Matrix Factorization with Side Information and Dirichlet Process Mixtures | |
| Ian Porteous, Arthur Asuncion, Max Welling |
| Semi-Supervised Dimension Reduction for Multi-Label Classification | |
| Buyue Qian, Ian Davidson |
| Non-Negative Matrix Factorization Clustering on Multiple Manifolds | |
| Bin Shen, Luo Si |
| Constrained Coclustering for Textual Documents | |
| Yangqiu Song, Shimei Pan, Shixia Liu, Furu Wei, Michelle X. Zhou, Weihong Qian |
| Multi-Instance Dimensionality Reduction | |
| Yu-Yin Sun, Michael K. Ng, Zhi-Hua Zhou |
| Multi-Label Learning with Weak Label | |
| Yu-Yin Sun, Yin Zhang, Zhi-Hua Zhou |
| Nonparametric Curve Extraction Based on Ant Colony System | |
| Qing Tan, Qing He, Zhongzhi Shi |
| Reinforcement Learning via AIXI Approximation | |
| Joel Veness, Kee Siong Ng, Marcus Hutter, David Silver |
| Integrating Sample-Based Planning and Model-Based Reinforcement Learning | |
| Thomas J. Walsh, Sergiu Goschin, Michael L. Littman |
| Discriminant Laplacian Embedding | |
| Hua Wang, Heng Huang, Chris Ding |
| Bayesian Policy Search for Multi-Agent Role Discovery | |
| Aaron Wilson, Alan Fern, Prasad Tadepalli |
| Discovering Long Range Properties of Social Networks with Multi-Valued Time-Inhomogeneous Models | |
| Danny Wyatt, Tanzeem Choudhury, Jeff Bilmes |
| Smooth Optimization for Effective Multiple Kernel Learning | |
| Zenglin Xu, Rong Jin, Shenghuo Zhu, Michael R. Lyu, Irwin King |
| Dependence Minimizing Regression with Model Selection for Non-Linear Causal Inference under Non-Gaussian Noise | |
| Makoto Yamada, Masashi Sugiyama |
| Local and Global Regressive Mapping for Manifold Learning with Out-of-Sample Extrapolation | |
| Yi Yang, Feiping Nie, Shiming Xiang, Yueting Zhuang, Wenhua Wang |
| Multitask Bregman Clustering | |
| Jianwen Zhang, Changshui Zhang |
| Transductive Learning on Adaptive Graphs | |
| Yan-Ming Zhang, Yu Zhang, Dit-Yan Yeung, Cheng-Lin Liu, Xinwen Hou |
| Multi-Task Active Learning with Output Constraints | |
| Yi Zhang |
| Efficient Spectral Feature Selection with Minimum Redundancy | |
| Zheng Zhao, Lei Wang, Huan Liu |
| Gaussian Process Latent Random Field | |
| Guoqiang Zhong, Wu-Jun Li, Dit-Yan Yeung, Xinwen Hou, Cheng-Lin Liu |
Multiagent Systems
| Nonmanipulable Randomized Tournament Selections | |
| Alon Altman, Robert Kleinberg |
| Competing Schedulers | |
| Itai Ashlagi, Moshe Tennenholtz, Aviv Zohar |
| Probabilistic Possible Winner Determination | |
| Yoram Bachrach, Nadja Betzler, Piotr Faliszewski |
| Coalitional Structure Generation in Skill Games | |
| Yoram Bachrach, Reshef Meir, Kyomin Jung, Pushmeet Kohli |
| Transferable Utility Planning Games | |
| Ronen I. Brafman, Carmel Domshlak, Yagil Engel, Moshe Tennenholtz |
| Bypassing Combinatorial Protections: Polynomial-Time Algorithms for Single-Peaked Electorates | |
| Felix Brandt, Markus Brill, Edith Hemaspaandra, Lane A. Hemaspaandra |
| Private and Third-Party Randomization in Risk-Sensitive Equilibrium Concepts | |
| Mickey Brautbar, Michael Kearns, Umar Syed |
| An Approximate Subgame-Perfect Equilibrium Computation Technique for Repeated Games | |
| Andriy Burkov, Brahim Chaib-draa |
| Approximation Algorithms and Mechanism Design for Minimax Approval Voting | |
| Ioannis Caragiannis, Dimitris Kalaitzis, Evangelos Markakis |
| Voting Almost Maximizes Social Welfare Despite Limited Communication | |
| Ioannis Caragiannis, Ariel D. Procaccia |
| A Distributed Algorithm for Optimising over Pure Strategy Nash Equilibria | |
| Archie C. Chapman, Alessandro Farinelli, Enrique Munoz de Cote, Alex Rogers, Nicholas R. Jennings |
| Truth, Justice, and Cake Cutting | |
| Yiling Chen, John Lai, David Parkes, Ariel D. Procaccia |
| Possible Winners when New Candidates Are Added: The Case of Scoring Rules | |
| Yann Chevaleyre, Jérôme Lang, Nicolas Maudet, Jérôme Monnot |
| Cloning in Elections | |
| Edith Elkind, Piotr Faliszewski, Arkadii Slinko |
| Good Rationalizations of Voting Rules | |
| Edith Elkind, Piotr Faliszewski, Arkadii Slinko |
| Lifting Rationality Assumptions in Binary Aggregation | |
| Umberto Grandi, Ulle Endriss |
| Intentions in Equilibrium | |
| John Grant, Sarit Kraus, Michael Wooldridge |
| Security Games with Arbitrary Schedules: A Branch and Price Approach | |
| Manish Jain, Erim Kardes, Christopher Kiekintveld, Fernando Ordonez, Milind Tambe |
| Algorithms for Finding Approximate Formations in Games | |
| Patrick R. Jordan, Michael P. Wellman |
| Complexity of Computing Optimal Stackelberg Strategies in Security Resource Allocation Games | |
| Dmytro Korzhyk, Vincent Conitzer, Ronald Parr |
| Stability and Incentive Compatibility in a Kernel-Based Combinatorial Auction | |
| Sebastien Lahaie |
| Facilitating the Evaluation of Automated Negotiators using Peer Designed Agents | |
| Raz Lin, Sarit Kraus, Yinon Oshrat, Ya'akov (Kobi) Gal |
| Convergence to Equilibria in Plurality Voting | |
| Reshef Meir, Maria Polukarov, Jeffrey S. Rosenschein, Nicholas R. Jennings |
| Envy Quotes and the Iterated Core-Selecting Combinatorial Auction | |
| Abraham Othman, Tuomas Sandholm |
| Can Approximation Circumvent Gibbard-Satterthwaite? | |
| Ariel D. Procaccia |
| Trust Models and Con-Man Agents: From Mathematical to Empirical Analysis | |
| Amirali Salehi-Abari, Tony White |
| Increasing Threshold Search for Best-Valued Agents | |
| David Sarne, Simon Shamoun, Eli Rata |
| Approximate Coalition Structure Generation | |
| Travis Service, Julie Adams |
| Accounting Mechanisms for Distributed Work Systems | |
| Sven Seuken, Jie Tang, David C. Parkes |
| Asymmetric Spite in Auctions | |
| Ankit Sharma, Tuomas Sandholm |
| A Decentralised Coordination Algorithm for Mobile Sensors | |
| Ruben Stranders, Francesco Maria Delle Fave, Alex Rogers, Nicholas R. Jennings |
| Urban Security: Game-Theoretic Resource Allocation in Networked Domains | |
| Jason Tsai, Zhengyu Yin, Jun-young Kwak, David Kempe, Christopher Kiekintveld, Milind Tambe |
| Automated Channel Abstraction for Advertising Auctions | |
| William E. Walsh, Craig Boutilier, Tuomas Sandholm, Rob Shields, George Nemhauser, David C. Parkes |
| Fixing a Tournament | |
| Virginia Vassilevska Williams |
| Beyond Equilibrium: Predicting Human Behavior in Normal-Form Games | |
| James R. Wright, Kevin Leyton-Brown |
| Trial-Based Dynamic Programming for Multi-Agent Planning | |
| Feng Wu, Shlomo Zilberstein, Xiaoping Chen |
| Compilation Complexity of Common Voting Rules | |
| Lirong Xia, Vincent Conitzer |
| Stackelberg Voting Games: Computational Aspects and Paradoxes | |
| Lirong Xia, Vincent Conitzer |
| Multi-Agent Learning with Policy Prediction | |
| Chongjie Zhang, Victor Lesser |
| Dynamic Auction: A Tractable Auction Procedure | |
| Dongmo Zhang, Laurent Perrussel |
| Sequential Incremental-Value Auctions | |
| Xiaoming Zheng, Sven Koenig |
| Tolerable Manipulability in Dynamic Assignment without Money | |
| James Zou, Sujit Gujar, David Parkes |
Multidisciplinary Topics
| Learning Simulation Control in General Game-Playing Agents | |
| Hilmar Finnsson, Yngvi Björnsson |
| User-Specific Learning for Recognizing a Singer's Intended Pitch | |
| Andrew Guillory, Sumit Basu, Dan Morris |
| A Computational Model for Saliency Maps by Using Local Entropy | |
| Yuewei Lin, Bin Fang, Yuanyan Tang |
| Grouping Strokes into Shapes in Hand-Drawn Diagrams | |
| Eric Jeffrey Peterson, Thomas F. Stahovich, Eric Doi, Christine Alvarado |
| Symmetry Detection in General Game Playing | |
| Stephan Schiffel |
| Generalized Task Markets for Human and Machine Computation | |
| Dafna Shahaf, Eric Horvitz |
| A General Game Description Language for Incomplete Information Games | |
| Michael Thielscher |
| A Temporal Proof System for General Game Playing | |
| Michael Thielscher, Sebastian Voigt |
Natural-Language Processing
| What Is an Opinion About? Exploring Political Standpoints Using Opinion Scoring Model | |
| Bi Chen, Leilei Zhu, Daniel Kifer, Dongwon Lee |
| Automatic Attribution of Quoted Speech in Literary Narrative | |
| David K. Elson, Kathleen R. McKeown |
| Kernelized Sorting for Natural Language Processing | |
| Jagadeesh Jagaralmudi, Seth Juarez, Hal Daume |
| CAO: A Fully Automatic Emoticon Analysis System | |
| Michal Ptaszynski, Jacek Maciejewski, Pawel Dybala, Rafal Rzepka, Kenji Araki |
| Extracting Ontological Selectional Preferences for Non-Pertainym Adjectives from the Google Corpus | |
| John J. Tanner, Fernando Gomez |
| Forest-Based Semantic Role Labeling | |
| Hao Xiong, Haitao Mi, Yang Liu, Qun Liu |
| Bidirectional Integration of Pipeline Models | |
| Xiaofeng Yu, Wai Lam |
Reasoning about Plans, Processes and Actions
| Finite-State Controllers Based on Mealy Machines for Centralized and Decentralized POMDPs | |
| Christopher Amato, Blai Bonet, Shlomo Zilberstein |
| Multi-Agent Plan Recognition: Formalization and Algorithms | |
| Bikramjit Banerjee, Landon Kraemer, Jeremy Lyle |
| Using Bisimulation for Policy Transfer in MDPs | |
| Pablo Samuel Castro, Doina Precup |
| To Max or Not to Max: Online Learning for Speeding Up Optimal Planning | |
| Carmel Domshlak, Erez Karpas, Shaul Markovitch |
| An Analytic Characterization of Model Minimization in Factored Markov Decision Processes | |
| Wenyuan Guo, Tze-Yun Leong |
| Using Closed Captions as Supervision for Video Activity Recognition | |
| Sonal Gupta, Raymond J. Mooney |
| PUMA: Planning Under Uncertainty with Macro-Actions | |
| Ruijie He, Emma Brunskill, Nicholas Roy |
| SAP Speaks PDDL | |
| Joerg Hoffmann, Ingo Weber, Frank Michael Kraft |
| Structured Parameter Elicitation | |
| Li Ling Ko, David Hsu, Wee Sun Lee, Sylvie C. W. Ong |
| SixthSense: Fast and Reliable Recognition of Dead Ends in MDPs | |
| Andrey Kolobov, ' Mausam, Daniel Weld |
| Planning in Dynamic Environments: Extending HTNs with Nonlinear Continuous Effects | |
| Matthew Molineaux, Matthew Klenk, David Aha |
| Probabilistic Plan Recognition Using Off-the-Shelf Classical Planners | |
| Miguel Ramírez, Hector Geffner |
| Robust Policy Computation in Reward-Uncertain MDPs Using Nondominated Policies | |
| Kevin Regan, Craig Boutilier |
| Recognizing Multi-Agent Activities from GPS Data | |
| Adam Sadilek, Henry Kautz |
| Symbolic Dynamic Programming for First-order POMDPs | |
| Scott Sanner, Kristian Kersting |
| Compressing POMDPs Using Locality Preserving Non-Negative Matrix Factorization | |
| Georgios Theocharous, Sridhar Mahadevan |
| Relational Partially Observable MDPs | |
| Chenggang Wang, Roni Khardon |
Reasoning Under Uncertainty
| Simultaneous Elicitation of Preference Features and Utility | |
| Craig Boutilier, Kevin Regan, Paolo Viappiani |
| Decision-Theoretic Control of Crowd-Sourced Workflows | |
| Peng Dai, ' Mausam, Daniel Sabey Weld |
| Respecting Markov Equivalence in Computing Posterior Probabilities of Causal Graphical Features | |
| Eun Yong Kang, Ilya Shpitser, Eleazar Eskin |
| Informed Lifting for Message-Passing | |
| Kristian Kersting, Youssef El Massaoudi, Fabian Hadiji, Babak Ahmadi |
| Efficient Belief Propagation for Utility Maximization and Repeated Inference | |
| Aniruddh Nath, Pedro Domingos |
| Efficient Lifting for Online Probabilistic Inference | |
| Aniruddh Nath, Pedro Domingos |
| New Mini-Bucket Partitioning Heuristics for Bounding the Probability of Evidence | |
| Emma Rollon, Rina Dechter |
| On the Use of Prime Implicates in Conformant Planning | |
| Son Thanh To, Tran Cao Son, Enrico Pontelli |
| Epsilon–First Policies for Budget–Limited Multi-Armed Bandits | |
| Long Tran-Thanh, Archie Chapman, Enrique Munoz de Cote, Alex Rogers, Nicholas R. Jennings |
| DTProbLog: A Decision-Theoretic Probabilistic Prolog | |
| Guy Van den Broeck, Ingo Thon, Martijn van Otterlo, Luc De Raedt |
Robotics
| Asynchronous Multi-Robot Patrolling against Intrusions in Arbitrary Topologies | |
| Nicola Basilico, Nicola Gatti, Federico Villa |
| Search-Based Path Planning with Homotopy Class Constraints | |
| Subhrajit Bhattacharya |
| Design and Implementation of Two-level Synchronization for Interactive Music Robot | |
| Takuma Otsuka, Kazuhiro Nakadai, Toru Takahashi, Kazunori Komatani, Tetsuya Ogata, Hiroshi G. Okuno |
| g-Planner: Real-time Motion Planning and Global Navigation using GPUs | |
| Jia Pan, Christian Lauterbach, Dinesh Manocha |
| A Single-Step Maximum A Posteriori Update for Bearing-Only SLAM | |
| Stephen Tully, George Kantor, Howie Choset |
Short Papers
| Saving Redundant Messages in BnB-ADOPT | |
| Patricia Gutierrez, Pedro Meseguer |
| An Optimization Variant of Multi-Robot Path Planning Is Intractable | |
| Pavel Surynek |
| Multi-Label Classification: Inconsistency and Class Balanced K-Nearest Neighbor | |
| Hua Wang, Chris Ding, Heng Huang |
AI and Bioinformatics Special Track
| Fast Conditional Density Estimation for Quantitative Structure-Activity Relationships | |
| Fabian Buchwald, Tobias Girschick, Eibe Frank, Stefan Kramer |
| Predicting Structural and Functional Sites in Proteins by Searching for Maximum-weight Cliques | |
| Franco Mascia, Elisa Cilia, Mauro Brunato, Andrea Passerini |
| A Cross-Entropy Method that Optimizes Partially Decomposable Problems: A New Way to Interpret NMR Spectra | |
| Siamak (Moshen) Ravanbakhsh, Barnabas Poczos, Russell Greiner |
| A Fast Heuristic Search Algorithm for Finding the Longest Common Subsequence of Multiple Strings | |
| Qingguo Wang, Mian Pan, Yi Shang, Dmitry Korkin |
AI and the Web Special Track
| GTPA: A Generative Model For Online Mentor-Apprentice Networks | |
| Muhammad Aurangzeb Ahmad, David Huffakar, Jing Wang, Jeff Treem, Marshall Scott Poole, Jaideep Srivastava |
| Adopting Inference Networks for Online Thread Retrieval | |
| Sumit Bhatia, Prasenjit Mitra |
| Toward an Architecture for Never-Ending Language Learning | |
| Andrew Carlson, Justin Betteridge, Bryan Kisiel, Burr Settles, Estevam R. Hruschka, Tom M. Mitchell |
| Visual Contextual Advertising: Bringing Textual Advertisements to Images | |
| Yuqiang Chen, Ou Jin, Gui-Rong Xue, Jia Chen, Qiang Yang |
| Optimal Strategies for Reviewing Search Results | |
| Jeff Huang, Anna Kazeykina |
| Prioritization of Domain-Specific Web Information Extraction | |
| Jian Huang, Cong Yu |
| Session Based Click Features for Recency Ranking | |
| Yoshiyuki Inagaki, Narayanan Sadagopan, Georges Dupret, Anlei Dong, Ciya Liao, Yi Chang, Zhaohui Zheng |
| Utilizing Context in Generative Bayesian Models for Linked Corpus | |
| Saurabh Kataria, Prasenjit Mitra, Sumit Bhatia |
| PR + RQ ≈ PQ: Transliteration Mining Using Bridge Language | |
| Mitesh M. Khapra, Raghavendra Udupa, A. Kumaran, Pushpak Bhattacharyya |
| On the Reputation of Agent-Based Web Services | |
| Babak Khosravifar, Jamal Bentahar, Ahmad Moazin, Philippe Thiran |
| Towards an Intelligent Code Search Engine | |
| Jinhan Kim, Sanghoon Lee, Seung-won Hwang, Sunghun Kim |
| Learning to Predict Opinion Share in Social Networks | |
| Masahiro Kimura, Kazumi Saito, Kouzou Ohara, Hiroshi Motoda |
| Sentiment Analysis with Global Topics and Local Dependency | |
| Fangtao Li, Minlie Huang, Xiaoyan Zhu |
| Subjective Trust Inference in Composite Services | |
| Lei Li, Yan Wang |
| Temporal Information Extraction | |
| Xiao Ling, Daniel S. Weld |
| Optimal Social Trust Path Selection in Complex Social Networks | |
| Guanfeng Liu, Yan Wang, Mehmet A Orgun |
| Diversifying Query Suggestion Results | |
| Hao Ma, Michael R. Lyu, Irwin King |
| Materializing and Persisting Inferred and Uncertain Knowledge in RDF Datasets | |
| James P. McGlothlin, Latifur Khan |
| A Probabilistic-Logical Framework for Ontology Matching | |
| Mathias Niepert, Christian Meilicke, Heiner Stuckenschmidt |
| Predicting the Importance of Newsfeed Posts and Social Network Friends | |
| Tim Paek, Michael Gamon, Scott Counts, David Maxwell Chickering, Aman Dhesi |
| Extraction and Visualization of Implicit Social Relations on Social Networking Services | |
| Meesun Song, Wonkyu Lee, Junghwan Kim |
| How Incomplete Is Your Semantic Web Reasoner? | |
| Giorgos Stoilos, Bernardo Cuenca Grau, Ian Horrocks |
| A General Framework for Representing and Reasoning with Annotated Semantic Web Data | |
| Umberto Straccia, Nuno Lopes, Gergely Lukacsy, Axel Polleres |
| Integrity Constraints in OWL | |
| Jiao Tao, Evren Sirin, Jie Bao, Deborah L. McGuinness |
| News Recommendation in Forum-Based Social Media | |
| Jia Wang, Qing Li, Yuanzhu Peter Chen, Jiafen Liu, Chen Zhang, Zhangxi Lin |
| Modeling Dynamic Multi-Topic Discussions in Online Forums | |
| Hao Wu, Jiajun Bu, Chun Chen, Can Wang, Guang Qiu, Lijun Zhang, Jianfeng Shen |
| Keyword Extraction and Headline Generation Using Novel Word Features | |
| Songhua Xu, Shaohui Yang, Francis Lau |
| Fast Algorithms for Top-k Approximate String Matching | |
| Zhenglu Yang, Jianjun Yu, Masaru Kitsuregawa |
| Temporal and Social Context Based Burst Detection from Folksonomies | |
| Junjie Yao, Bin Cui, Yuxin Huang, Xin Jin |
| Commonsense Knowledge Mining from the Web | |
| Chi-Hsin Yu, Hsin-Hsi Chen |
| UserRec: A User Recommendation Framework in Social Tagging Systems | |
| Tom Chao Zhou, Hao Ma, Michael R. Lyu, Irwin King |
Challenges in AI Special Track
| Automated Modelling and Solving in Constraint Programming | |
| Barry O'Sullivan |
| Hidden Market Design | |
| Sven Seuken, Kamal Jain, David C. Parkes |
| Ad Hoc Autonomous Agent Teams: Collaboration without Pre-Coordination | |
| Peter Stone, Gal A. Kaminka, Sarit Kraus, Jeffrey S. Rosenschein |
| Collusion Detection in Online Bridge | |
| Jeff Yan |
Integrated Intelligence Special Track
| Creating Dynamic Story Plots with Continual Multiagent Planning | |
| Michael Brenner |
| An Integrated Systems Approach to Explanation-Based Conceptual Change | |
| Scott Friedman, Kenneth Forbus |
| Learning Methods to Generate Good Plans: Integrating HTN Learning and Reinforcement Learning | |
| Chad Hogg, Ugur Kuter, Hector Munoz-Avila |
| Integrating Constraint Satisfaction and Spatial Reasoning | |
| Unmesh Kurup, Nicholas L. Cassimatis |
| Supporting Wilderness Search and Rescue with Integrated Intelligence: Autonomy and Information at the Right Time and the Right Place | |
| Lanny Lin, Michael Roscheck, Michael A. Goodrich, Bryan S. Morse |
| Goal-Driven Autonomy in a Navy Strategy Simulation | |
| Matthew Molineaux, Matthew Klenk, David Aha |
| Integrated Systems for Inducing Spatio-Temporal Process Models | |
| Chunki Park, Will Bridewell, Pat Langley |
| Integrating a Closed World Planner with an Open World Robot: A Case Study | |
| Kartik Talamadupula, J. Benton, Paul Schermerhorn, Subbarao Kambhampati, Matthias Scheutz |
| Using Imagery to Simplify Perceptual Abstraction in Reinforcement Learning Agents | |
| Samuel Wintermute |
| Instance-Based Online Learning of Deterministic Relational Action Models | |
| Joseph Z. Xu, John E. Laird |
Physically Grounded AI Special Track
| Activity and Gait Recognition with Time-Delay Embeddings | |
| Jordan Frank, Shie Mannor, Doina Precup |
| A Bayesian Nonparametric Approach to Modeling Mobility Patterns | |
| Joshua Mason Joseph, Finale Doshi-Velez, Nicholas Roy |
| Biped Walk Learning Through Playback and Corrective Demonstration | |
| Cetin Mericli, Manuela Veloso |
| Community-Guided Learning: Exploiting Mobile Sensor Users to Model Human Behavior | |
| Daniel Peebles, Hong Lu, Nicholas D. Lane, Tanzeem Choudhury, Andrew T. Campbell |
| Relative Entropy Policy Search | |
| Jan Peters, Katharina Mulling, Yasemin Altun |
| The Boosting Effect of Exploratory Behaviors | |
| Jivko Sinapov, Alexander Stoytchev |
| A Low False Negative Filter for Detecting Rare Bird Species from Short Video Segments using a Probable Observation Data Set-based EKF Method | |
| Dezhen Song, Yiliang Xu |
| A Layered Approach to People Detection in 3D Range Data | |
| Luciano Spinello, Kai Oliver Arras, Rudolph Triebel, Roland Siegwart |
| Unsupervised Learning of Event Classes from Video | |
| Muralikrishna Sridhar, Anthony G. Cohn, David C. Hogg |
| Online Learning of Uneven Terrain for Humanoid Bipedal Walking | |
| Seung Joon Yi, Byoung Tak Zhang, Daniel Lee |
| Error Aware Monocular Visual Odometry using Vertical Line Pairs for Small Robots in Urban Areas | |
| Ji Zhang, Dezhen Song |
New Scientific and Technical Advances in Research
| Active Inference for Collective Classification | |
| Mustafa Bilgic, Lise Getoor |
| Automatic Derivation of Finite-State Machines for Behavior Control | |
| Blai Bonet, Hector Palacios, Hector Geffner |
| Ontological Reasoning with F-logic Lite and its Extensions | |
| Andrea Cali, Georg Gottlob, Michael Kifer, Thomas Lukasiewicz, Andreas Pieris |
| Enhancing ASP by Functions: Decidable Classes and Implementation Techniques | |
| Francesco Calimeri, Susanna Cozza, Giovambattista Ianni, Nicola Leone |
| Constraint Programming for Data Mining and Machine Learning | |
| Luc De Raedt, Tias Guns, Siegfried Nijssen |
| Computationally Feasible Automated Mechanism Design: General Approach and Case Studies | |
| Mingyu Guo, Vincent Conitzer |
| Local Search in Histogram Construction | |
| Felix Halim, Panagiotis Karras, Roland H. C. Yap |
| Panlingual Lexical Translation via Probabilistic Inference | |
| ' Mausam, Stephen Soderland, Oren Etzioni |
| Evolving Compiler Heuristics to Manage Communication and Contention | |
| Matthew E. Taylor, Katherine E. Coons, Behnam Robatmili, Bertrand A. Maher, Doug Burger, Kathryn S. McKinley |
| Comparing Position Auctions Computationally | |
| David Robert Martin Thompson, Kevin Leyton-Brown |
| Intelligently Aiding Human-Guided Correction of Speech Recognition | |
| Keith Vertanen, Per Ola Kristensson |
| Biologically-Inspired Control for Multi-Agent Self-Adaptive Tasks | |
| Chih-Han Yu, Radhika Nagpal |
Senior Member Papers
| The Model-Based Approach to Autonomous Behavior: A Personal View | |
| Hector Geffner |
| Progress on Agent Coordination with Cooperative Auctions | |
| Sven Koenig, Pinar Keskinocak, Craig Tovey |
| Representation Discovery in Sequential Decision Making | |
| Sridhar Mahadevan |
Student Abstracts
| A Distributed Method for Evaluating Properties of a Robot Formation | |
| Brent Beer, Ross Alan Mead, Jerry Blake Weinberg |
| Towards Multiagent Meta-level Control | |
| Shanjun Cheng, Anita Raja, Victor Lesser |
| Finding Semantic Inconsistencies in UMLS using Answer Set Programming | |
| Halit Erdogan, Olivier Bodenreider, Esra Erdem |
| Combining Human Reasoning and Machine Computation: Towards a Memetic Network Solution to Satisfiability | |
| Daniel S. Farenzena, Luis C. Lamb, Ricardo M. Araújo |
| Interactive Categorization of Containers and Non-Containers by Unifying Categorizations Derived from Multiple Exploratory Behaviors | |
| Shane Griffith, Alexander Stoytchev |
| A Trust Model for Supply Chain Management | |
| Yasaman Haghpanah, Marie desJardins |
| Intelligent Time-Aware Query Translation for Text Sources | |
| Amal Chaminda Kaluarachchi, Aparna Warde, Jing Peng, Anna Feldman |
| Temporal Planning for Interacting Durative Actions with Continuous Effects | |
| Serdar Kecici, Sanem Sariel Talay |
| Control Model Learning for Whole-Body Mobile Manipulation | |
| Scott Kuindersma |
| Towards Interesting Patterns of Hard CSPs with Functional Constraints | |
| Chendong Li |
| Integrating Transfer Learning in Synthetic Student | |
| Nan Li, William Cohen, Ken Koedinger |
| Learning from Concept Drifting Data Streams with Unlabeled Data | |
| Peipei Li, Xindong Wu, Xuegang Hu |
| A Phrase-Based Method for Hierarchical Clustering of Web Snippets | |
| Zhao Li, Xindong Wu |
| Distributed Auction-Based Initialization of Mobile Robot Formations | |
| Robert Louis Long, Ross Mead, Jerry B. Weinberg |
| Materializing Inferred and Uncertain Knowledge in RDF Datasets | |
| James P. McGlothlin, Latifur Khan |
| Relational Reinforcement Learning in Infinite Mario | |
| Shiwali Mohan, John E. Laird |
| Evolved Intrinsic Reward Functions for Reinforcement Learning | |
| Scott Niekum |
| Team Formation with Heterogeneous Agents in Computer Games | |
| Robert G. Price, Scott D. Goodwin |
| Semantic Search in Linked Data: Opportunities and Challenges | |
| Hamid Haidarian Shahri |
| Task Space Behavior Learning for Humanoid Robots using Gaussian Mixture Models | |
| Kaushik Subramanian |
| Genome Rearrangement: A Planning Approach | |
| Tansel Uras, Esra Erdem |
| Toward Learning to Press Doorbell Buttons | |
| Liping Wu, Vladimir Sukhoy, Alexander Stoytchev |
| Learning to Surface Deep Web Content | |
| Zhaohui Wu, Lu Jiang, Qinghua Zheng, Jun Liu |
| Market-Based Algorithms for Allocating Complex Tasks | |
| Xiaoming Zheng, Sven Koenig |