Presentations and Authors

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

Constraints, Satisfiability, and Search

A New Algorithm for Weighted Partial MaxSAT PDF
Carlos Ansotegui, Maria Luisa Bonet, Jordi Levy
Exploiting Monotonicity in Interval Constraint Propagation PDF
Ignacio Araya, Gilles Trombettoni, Bertrand Neveu
A Restriction of Extended Resolution for Clause Learning SAT Solvers PDF
Gilles Audemard, George Katsirelos, Laurent Simon
Transmission Network Expansion Planning with Simulation Optimization PDF
Russell Bent, Alan Berscheid, G. Loren Toole
Propagating Conjunctions of AllDifferent Constraints PDF
Christian Bessiere, George Katsirelos, Nina Narodytska, Claude-Guy Quimper, Toby Walsh
Independent Additive Heuristics Reduce Search Multiplicatively PDF
Teresa Maria Breyer, Richard Korf
1.6-Bit Pattern Databases PDF
Teresa Maria Breyer, Richard Korf
EWLS: A New Local Search for Minimum Vertex Cover PDF
Shaowei Cai, Kaile Su, Qingliang Chen
High-Quality Policies for the Canadian Traveler's Problem PDF
Patrick Eyerich, Thomas Keller, Malte Helmert
Single-Frontier Bidirectional Search PDF
Ariel Felner, Carsten Moldenhauer, Nathan Sturtevant, Jonathan Schaeffer
Fast Local Search Algorithm for Weighted Feedback Arc Set in Tournaments PDF
Fedor Fomin, Daniel Lokshtanov, Venkatesh Raman, Saket Saurabh
Exploiting QBF Duality on a Circuit Representation PDF
Alexandra Goultiaeva, Fahiem Bacchus
Symmetry in Solutions PDF
Marijn Heule, Toby Walsh
Optimal Rectangle Packing on Non-Square Benchmarks PDF
Eric Huang, Richard E. Korf
A Novel Transition Based Encoding Scheme for Planning as Satisfiability PDF
Ruoyun Huang, Yixin Chen, Weixiong Zhang
Parallel Depth First Proof Number Search PDF
Tomoyuki Kaneko
A First Practical Algorithm for High Levels of Relational Consistency PDF
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 PDF
Akihiro Kishimoto
Searching Without a Heuristic: Efficient Use of Abstraction PDF
Bradford John Larsen, Ethan Burns, Wheeler Ruml, Robert Holte
A Stronger Consistency for Soft Global Constraints in Weighted Constraint Satisfaction PDF
Jimmy Lee, K. L. Leung
An Efficient Branch-and-Bound Algorithm Based on MaxSAT for the Maximum Clique Problem PDF
Chu-Min Li, Zhe Quan
Understanding the Success of Perfect Information Monte Carlo Sampling in Game Tree Search PDF
Jeffrey Richard Long, Nathan R. Sturtevant, Michael Buro, Timothy Furtak
Filtering Bounded Knapsack Constraints in Expected Sublinear Time PDF
Yuri Malitsky, Meinolf Sellmann, Radoslaw Szymanek
Lazy Theta*: Any-Angle Path Planning and Path Length Analysis in 3D PDF
Alex Nash, Sven Koenig, Craig Tovey
Search Space Reduction Using Swamp Hierarchies PDF
Nir Pochter, Aviv Zohar, Jeffrey S. Rosenschein, Ariel Felner
Computing Cost-Optimal Definitely Discriminating Tests PDF
Anika Schumann, Jinbo Huang, Martin Sachenbacher
Latent Class Models for Algorithm Portfolio Methods PDF
Bryan Silverthorn, Risto Miikkulainen
Finding Optimal Solutions to Cooperative Pathfinding Problems PDF
Trevor Scott Standley
Collaborative Expert Portfolio Management PDF
David Stern, Horst Samulowitz, Ralf Herbrich, Thore Graepel, Luca Pulina, Armando Tacchella
Using Lookaheads with Optimal Best-First Search PDF
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 PDF
Dejian Tu, Songshan Guo, Hu Qin, Wee-Chong Oon, Andrew Lim
Coalition Structure Generation based on Distributed Constraint Optimization PDF
Suguru Ueda, Atsushi Iwasaki, Makoto Yokoo, Marius Calin Silaghi, Katsutoshi Hirayama, Toshihiro Matsui
A Proof-Producing CSP Solver PDF
Michael Veksler, Ofer Strichman
Hydra: Automatically Configuring Algorithms for Portfolio-Based Selection PDF
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 PDF
Junping Zhou, Minghao Yin, Chunguang Zhou

Knowledge-Based Information Systems

Clickthrough Log Analysis by Collaborative Ranking PDF
Bin Cao, Dou Shen, Kuansan Wang, Qiang Yang
Transfer Learning in Collaborative Filtering for Sparsity Reduction PDF
Weike Pan, Evan Wei Xiang, Nathan Nan Liu, Qiang Yang
Collaborative Filtering Meets Mobile Recommendation: A User-Centered Approach PDF
Vincent W. Zheng, Bin Cao, Yu Zheng, Xing Xie, Qiang Yang

Knowledge Representation and Reasoning

Past and Future of DL-Lite PDF
Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev
Ordered Completion for First-Order Logic Programs on Finite Structures PDF
Vernon Asuncion, Fangzhen Lin, Yan Zhang, Yi Zhou
Reasoning about Imperfect Information Games in the Epistemic Situation Calculus PDF
Vaishak Belle, Gerhard Lakemeyer
Knowledge Compilation in the Modal Logic S5 PDF
Meghyn Bienvenu, Hélène Fargier, Pierre Marquis
Decomposed Utility Functions and Graphical Models for Reasoning about Preferences PDF
Ronen I. Brafman, Yagil Engel
Representing Preferences Among Sets PDF
Gerhard Brewka, Miroslaw Truszczynski, Stefan Woltran
Node Selection Query Languages for Trees PDF
Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi
First-Order Indefinability of Answer Set Programs on Finite Structures PDF
Yin Chen, Yan Zhang, Yi Zhou
Ontologies and Representations of Matter PDF
Ernest Davis
Two-Player Game Structures for Generalized Planning and Agent Composition PDF
Giuseppe De Giacomo, Paolo Felli, Fabio Patrizi, Sebastian Sardina
Space Efficient Evaluation of ASP Programs with Bounded Predicate Arities PDF
Thomas Eiter, Wolfgang Faber, Mushthofa Mushthofa
Situation Calculus as Answer Set Programming PDF
Joohyung Lee, Ravi Palla
In Defense of Large Qualitative Calculi PDF
Jason Jingshi Li, Jochen Renz
Topological Relations between Convex Regions PDF
Sanjiang Li, Weiming Liu
Automated Program Debugging Via Multiple Predicate Switching PDF
Yongmei Liu, Bing Li
A Belief Revision Framework for Revising Epistemic States with Partial Epistemic States PDF
Jianbing Ma, Weiru Liu, Salem Benferhat
Inducing Probability Distributions from Knowledge Bases with (In)dependence Relations PDF
Jianbing Ma, Weiru Liu, Anthony Hunter
A Lower Bound on the Size of Decomposable Negation Normal Form PDF
Thammanit Pipatsrisawat, Adnan Darwiche
Soundness Preserving Approximation for TBox Reasoning PDF
Yuan Ren, Jeff Z. Pan, Yuting Zhao
Dominance Testing via Model Checking PDF
Ganesh Ram Santhanam, Samik Basu, Vasant Honavar
An Inconsistency-Tolerant Approach to Information Merging Based on Proposition Relaxation PDF
Steven Schockaert, Henri Prade
A New Approach to Knowledge Base Revision in DL-Lite PDF
Zhe Wang, Kewen Wang, Rodney Topor
Decidable Fragments of First-Order Language Under Stable Model Semantics and Circumscription PDF
Heng Zhang, Mingsheng Ying

Machine Learning

Latent Variable Model for Learning in Pairwise Markov Networks PDF
Saeed Amizadeh, Milos Hauskrecht
Myopic Policies for Budgeted Optimization with Constrained Experiments PDF
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 PDF
Sumit Basu, Danyel Fisher, Steven M. Drucker, Hao Lu
The Induction and Transfer of Declarative Bias PDF
Will Bridewell, Ljupco Todorovski
Adaptive Transfer Learning PDF
Bin Cao, Sinno Jialin Pan, Yu Zhang, Dit-Yan Yeung, Qiang Yang
G-Optimal Design with Laplacian Regularization PDF
Chun Chen, Zhengguang Chen, Jiajun Bu, Can Wang, Lijun Zhang, Cheng Zhang
What if the Irresponsible Teachers Are Dominating? PDF
Shuo Chen, Jianwen Zhang, Guangyun Chen, Changshui Zhang
Learning Spatial-Temporal Varying Graphs with Applications to Climate Data Analysis PDF
Xi Chen, Yan Liu, Han Liu, Jaime G. Carbonell
Properties of Bayesian Dirichlet Scores to Learn Bayesian Network Structures PDF
Cassio Polpo de Campos, Qiang Ji
Interactive Learning Using Manifold Geometry PDF
Eric Eaton, Gary Holness, Daniel McFarlane
Learning Discriminative Piecewise Linear Models with Boundary Points PDF
Kun Gai, Changshui Zhang
Facial Age Estimation by Learning from Label Distributions PDF
Xin Geng, Kate Smith-Miles, Zhi-Hua Zhou
Exact Algorithms and Experiments for Hierarchical Tree Clustering PDF
Sepp Hartung, Jiong Guo, Christian Komusiewicz, Rolf Niedermeier, Johannes Uhlmann
A Topic Model for Linked Documents and Update Rules for its Estimation PDF
Zhen Guo, Shenghuo Zhu, Zhongfei Zhang, Yun Chi, Yihong Gong
Multi-Task Sparse Discriminant Analysis (MtSDA) with Overlapping Categories PDF
Yahong Han, Fei Wu, Jinzhu Jia, Yueting Zhuang, Bin Yu
Two-Stage Sparse Representation for Robust Recognition on Large-Scale Database PDF
Ran He, BaoGang Hu, Wei-Shi Zheng, YanQing Guo
Reinforcement Learning Via Practice and Critique Advice PDF
Kshitij Judah, Saikat Roy, Alan Fern, Thomas G. Dietterich
Structure Learning for Markov Logic Networks with Many Descriptive Attributes PDF
Hassan Khosravi, Oliver Schulte, Tong Man, Xiaoyuan Xu, Bahareh Bina
The Genetic Algorithm as a General Diffusion Model for Social Networks PDF
Mayank Lahiri, Manuel Cebrian
Cost-Sensitive Semi-Supervised Support Vector Machine PDF
Yu-Feng Li, James T. Kwok, Zhi-Hua Zhou
Non-Negative Matrix Factorization with Constraints PDF
Haifeng Liu, Zhaohui Wu
Gaussian Mixture Model with Local Consistency PDF
Jialu Liu, Deng Cai, Xiaofei He
Constrained Metric Learning Via Distance Gap Maximization PDF
Wei Liu, Xinmei Tian, Dacheng Tao, Jianzhuang Liu
Multilinear Maximum Distance Embedding Via L1-Norm Optimization PDF
Yang Liu, Yan Liu, Keith C. C. Chan
Learning Causal Models of Relational Domains PDF
Marc Maier, Brian Taylor, Huseyin Oktay, David Jensen
Non-Metric Locality-Sensitive Hashing PDF
Yadong Mu, Shuicheng Yan
A Two-Dimensional Topic-Aspect Model for Discovering Multi-Faceted Topics PDF
Michael Paul, Roxana Girju
Non-I.I.D. Multi-Instance Dimensionality Reduction by Learning a Maximum Bag Margin Subspace PDF
Wei Ping, Ye Xu, Kexin Ren, Chi-Hung Chi, Furao Shen
Conformal Mapping by Computationally Efficient Methods PDF
Stefan Pintilie, Ali Ghodsi
Bayesian Matrix Factorization with Side Information and Dirichlet Process Mixtures PDF
Ian Porteous, Arthur Asuncion, Max Welling
Semi-Supervised Dimension Reduction for Multi-Label Classification PDF
Buyue Qian, Ian Davidson
Non-Negative Matrix Factorization Clustering on Multiple Manifolds PDF
Bin Shen, Luo Si
Constrained Coclustering for Textual Documents PDF
Yangqiu Song, Shimei Pan, Shixia Liu, Furu Wei, Michelle X. Zhou, Weihong Qian
Multi-Instance Dimensionality Reduction PDF
Yu-Yin Sun, Michael K. Ng, Zhi-Hua Zhou
Multi-Label Learning with Weak Label PDF
Yu-Yin Sun, Yin Zhang, Zhi-Hua Zhou
Nonparametric Curve Extraction Based on Ant Colony System PDF
Qing Tan, Qing He, Zhongzhi Shi
Reinforcement Learning via AIXI Approximation PDF
Joel Veness, Kee Siong Ng, Marcus Hutter, David Silver
Integrating Sample-Based Planning and Model-Based Reinforcement Learning PDF
Thomas J. Walsh, Sergiu Goschin, Michael L. Littman
Discriminant Laplacian Embedding PDF
Hua Wang, Heng Huang, Chris Ding
Bayesian Policy Search for Multi-Agent Role Discovery PDF
Aaron Wilson, Alan Fern, Prasad Tadepalli
Discovering Long Range Properties of Social Networks with Multi-Valued Time-Inhomogeneous Models PDF
Danny Wyatt, Tanzeem Choudhury, Jeff Bilmes
Smooth Optimization for Effective Multiple Kernel Learning PDF
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 PDF
Makoto Yamada, Masashi Sugiyama
Local and Global Regressive Mapping for Manifold Learning with Out-of-Sample Extrapolation PDF
Yi Yang, Feiping Nie, Shiming Xiang, Yueting Zhuang, Wenhua Wang
Multitask Bregman Clustering PDF
Jianwen Zhang, Changshui Zhang
Transductive Learning on Adaptive Graphs PDF
Yan-Ming Zhang, Yu Zhang, Dit-Yan Yeung, Cheng-Lin Liu, Xinwen Hou
Multi-Task Active Learning with Output Constraints PDF
Yi Zhang
Efficient Spectral Feature Selection with Minimum Redundancy PDF
Zheng Zhao, Lei Wang, Huan Liu
Gaussian Process Latent Random Field PDF
Guoqiang Zhong, Wu-Jun Li, Dit-Yan Yeung, Xinwen Hou, Cheng-Lin Liu

Multiagent Systems

Nonmanipulable Randomized Tournament Selections PDF
Alon Altman, Robert Kleinberg
Competing Schedulers PDF
Itai Ashlagi, Moshe Tennenholtz, Aviv Zohar
Probabilistic Possible Winner Determination PDF
Yoram Bachrach, Nadja Betzler, Piotr Faliszewski
Coalitional Structure Generation in Skill Games PDF
Yoram Bachrach, Reshef Meir, Kyomin Jung, Pushmeet Kohli
Transferable Utility Planning Games PDF
Ronen I. Brafman, Carmel Domshlak, Yagil Engel, Moshe Tennenholtz
Bypassing Combinatorial Protections: Polynomial-Time Algorithms for Single-Peaked Electorates PDF
Felix Brandt, Markus Brill, Edith Hemaspaandra, Lane A. Hemaspaandra
Private and Third-Party Randomization in Risk-Sensitive Equilibrium Concepts PDF
Mickey Brautbar, Michael Kearns, Umar Syed
An Approximate Subgame-Perfect Equilibrium Computation Technique for Repeated Games PDF
Andriy Burkov, Brahim Chaib-draa
Approximation Algorithms and Mechanism Design for Minimax Approval Voting PDF
Ioannis Caragiannis, Dimitris Kalaitzis, Evangelos Markakis
Voting Almost Maximizes Social Welfare Despite Limited Communication PDF
Ioannis Caragiannis, Ariel D. Procaccia
A Distributed Algorithm for Optimising over Pure Strategy Nash Equilibria PDF
Archie C. Chapman, Alessandro Farinelli, Enrique Munoz de Cote, Alex Rogers, Nicholas R. Jennings
Truth, Justice, and Cake Cutting PDF
Yiling Chen, John Lai, David Parkes, Ariel D. Procaccia
Possible Winners when New Candidates Are Added: The Case of Scoring Rules PDF
Yann Chevaleyre, Jérôme Lang, Nicolas Maudet, Jérôme Monnot
Cloning in Elections PDF
Edith Elkind, Piotr Faliszewski, Arkadii Slinko
Good Rationalizations of Voting Rules PDF
Edith Elkind, Piotr Faliszewski, Arkadii Slinko
Lifting Rationality Assumptions in Binary Aggregation PDF
Umberto Grandi, Ulle Endriss
Intentions in Equilibrium PDF
John Grant, Sarit Kraus, Michael Wooldridge
Security Games with Arbitrary Schedules: A Branch and Price Approach PDF
Manish Jain, Erim Kardes, Christopher Kiekintveld, Fernando Ordonez, Milind Tambe
Algorithms for Finding Approximate Formations in Games PDF
Patrick R. Jordan, Michael P. Wellman
Complexity of Computing Optimal Stackelberg Strategies in Security Resource Allocation Games PDF
Dmytro Korzhyk, Vincent Conitzer, Ronald Parr
Stability and Incentive Compatibility in a Kernel-Based Combinatorial Auction PDF
Sebastien Lahaie
Facilitating the Evaluation of Automated Negotiators using Peer Designed Agents PDF
Raz Lin, Sarit Kraus, Yinon Oshrat, Ya'akov (Kobi) Gal
Convergence to Equilibria in Plurality Voting PDF
Reshef Meir, Maria Polukarov, Jeffrey S. Rosenschein, Nicholas R. Jennings
Envy Quotes and the Iterated Core-Selecting Combinatorial Auction PDF
Abraham Othman, Tuomas Sandholm
Can Approximation Circumvent Gibbard-Satterthwaite? PDF
Ariel D. Procaccia
Trust Models and Con-Man Agents: From Mathematical to Empirical Analysis PDF
Amirali Salehi-Abari, Tony White
Increasing Threshold Search for Best-Valued Agents PDF
David Sarne, Simon Shamoun, Eli Rata
Approximate Coalition Structure Generation PDF
Travis Service, Julie Adams
Accounting Mechanisms for Distributed Work Systems PDF
Sven Seuken, Jie Tang, David C. Parkes
Asymmetric Spite in Auctions PDF
Ankit Sharma, Tuomas Sandholm
A Decentralised Coordination Algorithm for Mobile Sensors PDF
Ruben Stranders, Francesco Maria Delle Fave, Alex Rogers, Nicholas R. Jennings
Urban Security: Game-Theoretic Resource Allocation in Networked Domains PDF
Jason Tsai, Zhengyu Yin, Jun-young Kwak, David Kempe, Christopher Kiekintveld, Milind Tambe
Automated Channel Abstraction for Advertising Auctions PDF
William E. Walsh, Craig Boutilier, Tuomas Sandholm, Rob Shields, George Nemhauser, David C. Parkes
Fixing a Tournament PDF
Virginia Vassilevska Williams
Beyond Equilibrium: Predicting Human Behavior in Normal-Form Games PDF
James R. Wright, Kevin Leyton-Brown
Trial-Based Dynamic Programming for Multi-Agent Planning PDF
Feng Wu, Shlomo Zilberstein, Xiaoping Chen
Compilation Complexity of Common Voting Rules PDF
Lirong Xia, Vincent Conitzer
Stackelberg Voting Games: Computational Aspects and Paradoxes PDF
Lirong Xia, Vincent Conitzer
Multi-Agent Learning with Policy Prediction PDF
Chongjie Zhang, Victor Lesser
Dynamic Auction: A Tractable Auction Procedure PDF
Dongmo Zhang, Laurent Perrussel
Sequential Incremental-Value Auctions PDF
Xiaoming Zheng, Sven Koenig
Tolerable Manipulability in Dynamic Assignment without Money PDF
James Zou, Sujit Gujar, David Parkes

Multidisciplinary Topics

Learning Simulation Control in General Game-Playing Agents PDF
Hilmar Finnsson, Yngvi Björnsson
User-Specific Learning for Recognizing a Singer's Intended Pitch PDF
Andrew Guillory, Sumit Basu, Dan Morris
A Computational Model for Saliency Maps by Using Local Entropy PDF
Yuewei Lin, Bin Fang, Yuanyan Tang
Grouping Strokes into Shapes in Hand-Drawn Diagrams PDF
Eric Jeffrey Peterson, Thomas F. Stahovich, Eric Doi, Christine Alvarado
Symmetry Detection in General Game Playing PDF
Stephan Schiffel
Generalized Task Markets for Human and Machine Computation PDF
Dafna Shahaf, Eric Horvitz
A General Game Description Language for Incomplete Information Games PDF
Michael Thielscher
A Temporal Proof System for General Game Playing PDF
Michael Thielscher, Sebastian Voigt

Natural-Language Processing

What Is an Opinion About? Exploring Political Standpoints Using Opinion Scoring Model PDF
Bi Chen, Leilei Zhu, Daniel Kifer, Dongwon Lee
Automatic Attribution of Quoted Speech in Literary Narrative PDF
David K. Elson, Kathleen R. McKeown
Kernelized Sorting for Natural Language Processing PDF
Jagadeesh Jagaralmudi, Seth Juarez, Hal Daume
CAO: A Fully Automatic Emoticon Analysis System PDF
Michal Ptaszynski, Jacek Maciejewski, Pawel Dybala, Rafal Rzepka, Kenji Araki
Extracting Ontological Selectional Preferences for Non-Pertainym Adjectives from the Google Corpus PDF
John J. Tanner, Fernando Gomez
Forest-Based Semantic Role Labeling PDF
Hao Xiong, Haitao Mi, Yang Liu, Qun Liu
Bidirectional Integration of Pipeline Models PDF
Xiaofeng Yu, Wai Lam

Reasoning about Plans, Processes and Actions

Finite-State Controllers Based on Mealy Machines for Centralized and Decentralized POMDPs PDF
Christopher Amato, Blai Bonet, Shlomo Zilberstein
Multi-Agent Plan Recognition: Formalization and Algorithms PDF
Bikramjit Banerjee, Landon Kraemer, Jeremy Lyle
Using Bisimulation for Policy Transfer in MDPs PDF
Pablo Samuel Castro, Doina Precup
To Max or Not to Max: Online Learning for Speeding Up Optimal Planning PDF
Carmel Domshlak, Erez Karpas, Shaul Markovitch
An Analytic Characterization of Model Minimization in Factored Markov Decision Processes PDF
Wenyuan Guo, Tze-Yun Leong
Using Closed Captions as Supervision for Video Activity Recognition PDF
Sonal Gupta, Raymond J. Mooney
PUMA: Planning Under Uncertainty with Macro-Actions PDF
Ruijie He, Emma Brunskill, Nicholas Roy
Joerg Hoffmann, Ingo Weber, Frank Michael Kraft
Structured Parameter Elicitation PDF
Li Ling Ko, David Hsu, Wee Sun Lee, Sylvie C. W. Ong
SixthSense: Fast and Reliable Recognition of Dead Ends in MDPs PDF
Andrey Kolobov, ' Mausam, Daniel Weld
Planning in Dynamic Environments: Extending HTNs with Nonlinear Continuous Effects PDF
Matthew Molineaux, Matthew Klenk, David Aha
Probabilistic Plan Recognition Using Off-the-Shelf Classical Planners PDF
Miguel Ramírez, Hector Geffner
Robust Policy Computation in Reward-Uncertain MDPs Using Nondominated Policies PDF
Kevin Regan, Craig Boutilier
Recognizing Multi-Agent Activities from GPS Data PDF
Adam Sadilek, Henry Kautz
Symbolic Dynamic Programming for First-order POMDPs PDF
Scott Sanner, Kristian Kersting
Compressing POMDPs Using Locality Preserving Non-Negative Matrix Factorization PDF
Georgios Theocharous, Sridhar Mahadevan
Relational Partially Observable MDPs PDF
Chenggang Wang, Roni Khardon

Reasoning Under Uncertainty

Simultaneous Elicitation of Preference Features and Utility PDF
Craig Boutilier, Kevin Regan, Paolo Viappiani
Decision-Theoretic Control of Crowd-Sourced Workflows PDF
Peng Dai, ' Mausam, Daniel Sabey Weld
Respecting Markov Equivalence in Computing Posterior Probabilities of Causal Graphical Features PDF
Eun Yong Kang, Ilya Shpitser, Eleazar Eskin
Informed Lifting for Message-Passing PDF
Kristian Kersting, Youssef El Massaoudi, Fabian Hadiji, Babak Ahmadi
Efficient Belief Propagation for Utility Maximization and Repeated Inference PDF
Aniruddh Nath, Pedro Domingos
Efficient Lifting for Online Probabilistic Inference PDF
Aniruddh Nath, Pedro Domingos
New Mini-Bucket Partitioning Heuristics for Bounding the Probability of Evidence PDF
Emma Rollon, Rina Dechter
On the Use of Prime Implicates in Conformant Planning PDF
Son Thanh To, Tran Cao Son, Enrico Pontelli
Epsilon–First Policies for Budget–Limited Multi-Armed Bandits PDF
Long Tran-Thanh, Archie Chapman, Enrique Munoz de Cote, Alex Rogers, Nicholas R. Jennings
DTProbLog: A Decision-Theoretic Probabilistic Prolog PDF
Guy Van den Broeck, Ingo Thon, Martijn van Otterlo, Luc De Raedt


Asynchronous Multi-Robot Patrolling against Intrusions in Arbitrary Topologies PDF
Nicola Basilico, Nicola Gatti, Federico Villa
Search-Based Path Planning with Homotopy Class Constraints PDF
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 PDF
Jia Pan, Christian Lauterbach, Dinesh Manocha
A Single-Step Maximum A Posteriori Update for Bearing-Only SLAM PDF
Stephen Tully, George Kantor, Howie Choset

Short Papers

Saving Redundant Messages in BnB-ADOPT PDF
Patricia Gutierrez, Pedro Meseguer
An Optimization Variant of Multi-Robot Path Planning Is Intractable PDF
Pavel Surynek
Multi-Label Classification: Inconsistency and Class Balanced K-Nearest Neighbor PDF
Hua Wang, Chris Ding, Heng Huang

AI and Bioinformatics Special Track

Fast Conditional Density Estimation for Quantitative Structure-Activity Relationships PDF
Fabian Buchwald, Tobias Girschick, Eibe Frank, Stefan Kramer
Predicting Structural and Functional Sites in Proteins by Searching for Maximum-weight Cliques PDF
Franco Mascia, Elisa Cilia, Mauro Brunato, Andrea Passerini
A Cross-Entropy Method that Optimizes Partially Decomposable Problems: A New Way to Interpret NMR Spectra PDF
Siamak (Moshen) Ravanbakhsh, Barnabas Poczos, Russell Greiner
A Fast Heuristic Search Algorithm for Finding the Longest Common Subsequence of Multiple Strings PDF
Qingguo Wang, Mian Pan, Yi Shang, Dmitry Korkin

AI and the Web Special Track

GTPA: A Generative Model For Online Mentor-Apprentice Networks PDF
Muhammad Aurangzeb Ahmad, David Huffakar, Jing Wang, Jeff Treem, Marshall Scott Poole, Jaideep Srivastava
Adopting Inference Networks for Online Thread Retrieval PDF
Sumit Bhatia, Prasenjit Mitra
Toward an Architecture for Never-Ending Language Learning PDF
Andrew Carlson, Justin Betteridge, Bryan Kisiel, Burr Settles, Estevam R. Hruschka, Tom M. Mitchell
Visual Contextual Advertising: Bringing Textual Advertisements to Images PDF
Yuqiang Chen, Ou Jin, Gui-Rong Xue, Jia Chen, Qiang Yang
Optimal Strategies for Reviewing Search Results PDF
Jeff Huang, Anna Kazeykina
Prioritization of Domain-Specific Web Information Extraction PDF
Jian Huang, Cong Yu
Session Based Click Features for Recency Ranking PDF
Yoshiyuki Inagaki, Narayanan Sadagopan, Georges Dupret, Anlei Dong, Ciya Liao, Yi Chang, Zhaohui Zheng
Utilizing Context in Generative Bayesian Models for Linked Corpus PDF
Saurabh Kataria, Prasenjit Mitra, Sumit Bhatia
PR + RQ ≈ PQ: Transliteration Mining Using Bridge Language PDF
Mitesh M. Khapra, Raghavendra Udupa, A. Kumaran, Pushpak Bhattacharyya
On the Reputation of Agent-Based Web Services PDF
Babak Khosravifar, Jamal Bentahar, Ahmad Moazin, Philippe Thiran
Towards an Intelligent Code Search Engine PDF
Jinhan Kim, Sanghoon Lee, Seung-won Hwang, Sunghun Kim
Learning to Predict Opinion Share in Social Networks PDF
Masahiro Kimura, Kazumi Saito, Kouzou Ohara, Hiroshi Motoda
Sentiment Analysis with Global Topics and Local Dependency PDF
Fangtao Li, Minlie Huang, Xiaoyan Zhu
Subjective Trust Inference in Composite Services PDF
Lei Li, Yan Wang
Temporal Information Extraction PDF
Xiao Ling, Daniel S. Weld
Optimal Social Trust Path Selection in Complex Social Networks PDF
Guanfeng Liu, Yan Wang, Mehmet A Orgun
Diversifying Query Suggestion Results PDF
Hao Ma, Michael R. Lyu, Irwin King
Materializing and Persisting Inferred and Uncertain Knowledge in RDF Datasets PDF
James P. McGlothlin, Latifur Khan
A Probabilistic-Logical Framework for Ontology Matching PDF
Mathias Niepert, Christian Meilicke, Heiner Stuckenschmidt
Predicting the Importance of Newsfeed Posts and Social Network Friends PDF
Tim Paek, Michael Gamon, Scott Counts, David Maxwell Chickering, Aman Dhesi
Extraction and Visualization of Implicit Social Relations on Social Networking Services PDF
Meesun Song, Wonkyu Lee, Junghwan Kim
How Incomplete Is Your Semantic Web Reasoner? PDF
Giorgos Stoilos, Bernardo Cuenca Grau, Ian Horrocks
A General Framework for Representing and Reasoning with Annotated Semantic Web Data PDF
Umberto Straccia, Nuno Lopes, Gergely Lukacsy, Axel Polleres
Integrity Constraints in OWL PDF
Jiao Tao, Evren Sirin, Jie Bao, Deborah L. McGuinness
News Recommendation in Forum-Based Social Media PDF
Jia Wang, Qing Li, Yuanzhu Peter Chen, Jiafen Liu, Chen Zhang, Zhangxi Lin
Modeling Dynamic Multi-Topic Discussions in Online Forums PDF
Hao Wu, Jiajun Bu, Chun Chen, Can Wang, Guang Qiu, Lijun Zhang, Jianfeng Shen
Keyword Extraction and Headline Generation Using Novel Word Features PDF
Songhua Xu, Shaohui Yang, Francis Lau
Fast Algorithms for Top-k Approximate String Matching PDF
Zhenglu Yang, Jianjun Yu, Masaru Kitsuregawa
Temporal and Social Context Based Burst Detection from Folksonomies PDF
Junjie Yao, Bin Cui, Yuxin Huang, Xin Jin
Commonsense Knowledge Mining from the Web PDF
Chi-Hsin Yu, Hsin-Hsi Chen
UserRec: A User Recommendation Framework in Social Tagging Systems PDF
Tom Chao Zhou, Hao Ma, Michael R. Lyu, Irwin King

Challenges in AI Special Track

Automated Modelling and Solving in Constraint Programming PDF
Barry O'Sullivan
Hidden Market Design PDF
Sven Seuken, Kamal Jain, David C. Parkes
Ad Hoc Autonomous Agent Teams: Collaboration without Pre-Coordination PDF
Peter Stone, Gal A. Kaminka, Sarit Kraus, Jeffrey S. Rosenschein
Collusion Detection in Online Bridge PDF
Jeff Yan

Integrated Intelligence Special Track

Creating Dynamic Story Plots with Continual Multiagent Planning PDF
Michael Brenner
An Integrated Systems Approach to Explanation-Based Conceptual Change PDF
Scott Friedman, Kenneth Forbus
Learning Methods to Generate Good Plans: Integrating HTN Learning and Reinforcement Learning PDF
Chad Hogg, Ugur Kuter, Hector Munoz-Avila
Integrating Constraint Satisfaction and Spatial Reasoning PDF
Unmesh Kurup, Nicholas L. Cassimatis
Supporting Wilderness Search and Rescue with Integrated Intelligence: Autonomy and Information at the Right Time and the Right Place PDF
Lanny Lin, Michael Roscheck, Michael A. Goodrich, Bryan S. Morse
Goal-Driven Autonomy in a Navy Strategy Simulation PDF
Matthew Molineaux, Matthew Klenk, David Aha
Integrated Systems for Inducing Spatio-Temporal Process Models PDF
Chunki Park, Will Bridewell, Pat Langley
Integrating a Closed World Planner with an Open World Robot: A Case Study PDF
Kartik Talamadupula, J. Benton, Paul Schermerhorn, Subbarao Kambhampati, Matthias Scheutz
Using Imagery to Simplify Perceptual Abstraction in Reinforcement Learning Agents PDF
Samuel Wintermute
Instance-Based Online Learning of Deterministic Relational Action Models PDF
Joseph Z. Xu, John E. Laird

Physically Grounded AI Special Track

Activity and Gait Recognition with Time-Delay Embeddings PDF
Jordan Frank, Shie Mannor, Doina Precup
A Bayesian Nonparametric Approach to Modeling Mobility Patterns PDF
Joshua Mason Joseph, Finale Doshi-Velez, Nicholas Roy
Biped Walk Learning Through Playback and Corrective Demonstration PDF
Cetin Mericli, Manuela Veloso
Community-Guided Learning: Exploiting Mobile Sensor Users to Model Human Behavior PDF
Daniel Peebles, Hong Lu, Nicholas D. Lane, Tanzeem Choudhury, Andrew T. Campbell
Relative Entropy Policy Search PDF
Jan Peters, Katharina Mulling, Yasemin Altun
The Boosting Effect of Exploratory Behaviors PDF
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 PDF
Dezhen Song, Yiliang Xu
A Layered Approach to People Detection in 3D Range Data PDF
Luciano Spinello, Kai Oliver Arras, Rudolph Triebel, Roland Siegwart
Unsupervised Learning of Event Classes from Video PDF
Muralikrishna Sridhar, Anthony G. Cohn, David C. Hogg
Online Learning of Uneven Terrain for Humanoid Bipedal Walking PDF
Seung Joon Yi, Byoung Tak Zhang, Daniel Lee
Error Aware Monocular Visual Odometry using Vertical Line Pairs for Small Robots in Urban Areas PDF
Ji Zhang, Dezhen Song

New Scientific and Technical Advances in Research

Active Inference for Collective Classification PDF
Mustafa Bilgic, Lise Getoor
Automatic Derivation of Finite-State Machines for Behavior Control PDF
Blai Bonet, Hector Palacios, Hector Geffner
Ontological Reasoning with F-logic Lite and its Extensions PDF
Andrea Cali, Georg Gottlob, Michael Kifer, Thomas Lukasiewicz, Andreas Pieris
Enhancing ASP by Functions: Decidable Classes and Implementation Techniques PDF
Francesco Calimeri, Susanna Cozza, Giovambattista Ianni, Nicola Leone
Constraint Programming for Data Mining and Machine Learning PDF
Luc De Raedt, Tias Guns, Siegfried Nijssen
Computationally Feasible Automated Mechanism Design: General Approach and Case Studies PDF
Mingyu Guo, Vincent Conitzer
Local Search in Histogram Construction PDF
Felix Halim, Panagiotis Karras, Roland H. C. Yap
Panlingual Lexical Translation via Probabilistic Inference PDF
' Mausam, Stephen Soderland, Oren Etzioni
Evolving Compiler Heuristics to Manage Communication and Contention PDF
Matthew E. Taylor, Katherine E. Coons, Behnam Robatmili, Bertrand A. Maher, Doug Burger, Kathryn S. McKinley
Comparing Position Auctions Computationally PDF
David Robert Martin Thompson, Kevin Leyton-Brown
Intelligently Aiding Human-Guided Correction of Speech Recognition PDF
Keith Vertanen, Per Ola Kristensson
Biologically-Inspired Control for Multi-Agent Self-Adaptive Tasks PDF
Chih-Han Yu, Radhika Nagpal

Senior Member Papers

The Model-Based Approach to Autonomous Behavior: A Personal View PDF
Hector Geffner
Progress on Agent Coordination with Cooperative Auctions PDF
Sven Koenig, Pinar Keskinocak, Craig Tovey
Representation Discovery in Sequential Decision Making PDF
Sridhar Mahadevan

Student Abstracts

A Distributed Method for Evaluating Properties of a Robot Formation PDF
Brent Beer, Ross Alan Mead, Jerry Blake Weinberg
Towards Multiagent Meta-level Control PDF
Shanjun Cheng, Anita Raja, Victor Lesser
Finding Semantic Inconsistencies in UMLS using Answer Set Programming PDF
Halit Erdogan, Olivier Bodenreider, Esra Erdem
Combining Human Reasoning and Machine Computation: Towards a Memetic Network Solution to Satisfiability PDF
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 PDF
Shane Griffith, Alexander Stoytchev
A Trust Model for Supply Chain Management PDF
Yasaman Haghpanah, Marie desJardins
Intelligent Time-Aware Query Translation for Text Sources PDF
Amal Chaminda Kaluarachchi, Aparna Warde, Jing Peng, Anna Feldman
Temporal Planning for Interacting Durative Actions with Continuous Effects PDF
Serdar Kecici, Sanem Sariel Talay
Control Model Learning for Whole-Body Mobile Manipulation PDF
Scott Kuindersma
Towards Interesting Patterns of Hard CSPs with Functional Constraints PDF
Chendong Li
Integrating Transfer Learning in Synthetic Student PDF
Nan Li, William Cohen, Ken Koedinger
Learning from Concept Drifting Data Streams with Unlabeled Data PDF
Peipei Li, Xindong Wu, Xuegang Hu
A Phrase-Based Method for Hierarchical Clustering of Web Snippets PDF
Zhao Li, Xindong Wu
Distributed Auction-Based Initialization of Mobile Robot Formations PDF
Robert Louis Long, Ross Mead, Jerry B. Weinberg
Materializing Inferred and Uncertain Knowledge in RDF Datasets PDF
James P. McGlothlin, Latifur Khan
Relational Reinforcement Learning in Infinite Mario PDF
Shiwali Mohan, John E. Laird
Evolved Intrinsic Reward Functions for Reinforcement Learning PDF
Scott Niekum
Team Formation with Heterogeneous Agents in Computer Games PDF
Robert G. Price, Scott D. Goodwin
Semantic Search in Linked Data: Opportunities and Challenges PDF
Hamid Haidarian Shahri
Task Space Behavior Learning for Humanoid Robots using Gaussian Mixture Models PDF
Kaushik Subramanian
Genome Rearrangement: A Planning Approach PDF
Tansel Uras, Esra Erdem
Toward Learning to Press Doorbell Buttons PDF
Liping Wu, Vladimir Sukhoy, Alexander Stoytchev
Learning to Surface Deep Web Content PDF
Zhaohui Wu, Lu Jiang, Qinghua Zheng, Jun Liu
Market-Based Algorithms for Allocating Complex Tasks PDF
Xiaoming Zheng, Sven Koenig