Accepted Papers
AAAI-10 Main Technical Track Papers
Constraints, Satisfiability, and Search
803: A New Algorithm for Weighted Partial MaxSAT
Carlos Ansótegui, Maria Luisa Bonet, Jordi Levy
259: Exploiting Monotonicity in Interval Constraint Propagation
Ignacio Araya, Gilles Trombettoni, Bertrand Neveu
140: A Restriction of Extended Resolution for Clause Learning SAT Solvers
Gilles Audemard, George Katsirelos, Laurent Simon
163: Transmission Network Expansion Planning with Simulation Optimization
Russell Bent, Alan Berscheid, G. Loren Toole
288: Propagating Conjunctions of ALLDIFFERENT Constraints
Christian Bessiere, George Katsirelos, Nina Narodytska, Claude-Guy Quimper, Toby Walsh
98: Independent Additive Heuristics Reduce Search Multiplicatively
Teresa M. Breyer, Richard E. Korf
99: 1.6-Bit Pattern Databases
Teresa M. Breyer, Richard E. Korf
103: EWLS: A New Local Search for Minimum Vertex Cover
Shaowei Cai, Kaile Su, Qingliang Chen
342: High-Quality Policies for the Canadian Traveler’s Problem
Patrick Eyerich, Thomas Keller, Malte Helmert
246: Single-Frontier Bidirectional Search
Ariel Felner, Carsten Moldenhauer, Nathan Sturtevant, Jonathan Schaeffer
584: Fast Local Search Algorithm for Weighted Feedback Arc Set in Tournaments
Fedor V. Fomin, Daniel Lokshtanov, Venkatesh Raman, Saket Saurabh
445: Exploiting QBF Duality on a Circuit Representation
Alexandra Goultiaeva, Fahiem Bacchus
114: Symmetry within Solutions
Marijn Heule, Toby Walsh
207: Optimal Rectangle Packing on Non-Square Benchmarks
Eric Huang, Richard E. Korf
97: A Novel Transition Based Encoding Scheme for Planning as Satisfiability
Ruoyun Huang, Yixin Chen, Weixiong Zhang
1031: Parallel Depth First Proof Number Search
Tomoyuki Kaneko
38: A First Practical Algorithm for High Levels of Relational Consistency
Shant Karakashian, Robert J. Woodward, Christopher Reeson, Berthe Y. Choueiry, Christian Bessiere
155: Dealing with Infinite Loops, Underestimation, and Overestimation of Depth-First Proof-Number Search
Akihiro Kishimoto
356: Searching without a Heuristic: Efficient Use of Abstraction
Bradford Larsen, Ethan Burns, Wheeler Ruml, Robert C. Holte
965: A Stronger Consistency for Soft Global Constraints in Weighted Constraint Satisfaction
J. H. M. Lee, K. L. Leung
36: An Efficient Branch-and-Bound Algorithm Based on MaxSAT for the Maximum Clique Problem
Chu-Min Li, Zhe Quan
839: Understanding the Success of Perfect Information Monte Carlo Sampling in Game Tree Search
Jeffrey Long, Nathan R. Sturtevant, Michael Buro, Timothy Furtak
186: Filtering Bounded Knapsack Constraints in Expected Sublinear Time
Yuri Malitsky, Meinolf Sellmann, Radoslaw Szymanek
20: Lazy Theta*: Any-Angle Path Planning and Path Length Analysis in 3D
Alex Nash, Sven Koenig, Craig Tovey
292: Search Space Reduction Using Swamp Hierarchies
Nir Pochter, Aviv Zohar, Jeffrey S. Rosenschein, Ariel Felner
339: Computing Cost-Optimal Definitely Discriminating Tests
Anika Schumann, Jinbo Huang, Martin Sachenbacher
340: Latent Class Models for Algorithm Portfolio Methods
Bryan Silverthorn, Risto Miikkulainen
456: Finding Optimal Solutions to Cooperative Pathfinding Problems
Trevor Standley
199: Collaborative Expert Portfolio Management
David Stern, Ralf Herbrich, Thore Graepel, Horst Samulowitz, Luca Pulina, Armando Tacchella
248: Using Lookaheads with Optimal Best-First Search
Roni Stern, Tamar Kulberis, Ariel Felner, Robert Holte
422: 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
876: Coalition Structure Generation Based on Distributed Constraint Optimization
Suguru Ueda, Atsushi Iwasaki, Makoto Yokoo, Marius Calin Silaghi, Katsutoshi Hirayama, Toshihiro Matsui
328: A Proof-Producing CSP Solver
Michael Veksler, Ofer Strichman
683: Hydra: Automatically Configuring Algorithms for Portfolio-Based Selection
Lin Xu, Holger H. Hoos, Kevin Leyton-Brown
174: 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
306: Clickthrough Log Analysis by Collaborative Ranking
Bin Cao, Dou Shen, KuansanWang, Qiang Yang
955: Transfer Learning in Collaborative Filtering for Sparsity Reduction
Weike Pan, Evan W. Xiang, Nathan N. Liu, Qiang Yang
179: Collaborative Filtering Meets Mobile Recommendation: A User-Centered Approach
Vincent W. Zheng, Bin Cao, Yu Zheng, Xing Xie, Qiang Yang1
Knowledge Representation and Reasoning
671: Past and Future of DL-Lite
Alessandro Artale, Roman Kontchakov, Vlad Ryzhikov, MIchael Zakharyaschev
970: Ordered Completion for First-Order Logic Programs on Finite Structures
Vernon Asuncion, Fangzhen Lin, Yan Zhang, Yi Zhou
613: Reasoning about Imperfect Information Games in the Epistemic Situation Calculus
Vaishak Belle, Gerhard Lakemeyer
609: Knowledge Compilation in the Modal Logic S5
Meghyn Bienvenu, Hélène Fargier, Pierre Marquis
524: Decomposed Utility Functions and Graphical Models for Reasoning about Preferences
Ronen I. Brafman, Yagil Engel
454: Representing Preferences among Sets
Gerhard Brewka, Miroslaw Truszczynski, Stefan Woltran
830: Node Selection Query Languages for Trees
Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi
428: First-Order Indefinability of Answer Set Programs on Finite Structures
Yin Chen, Yan Zhang, Yi Zhou
244: Ontologies and Representations of Matter
Ernest Davis
86: Two-Player Game Structures for Generalized Planning and Agent Composition
Giuseppe De Giacomo, Paolo Felli, Fabio Patrizi, Sebastian Sardina
698: Space Efficient Evaluation of ASP Programs with Bounded Predicate Arities
Thomas Eiter, Wolfgang Faber, Mushthofa Mushthofa
568: Situation Calculus as Answer Set Programming
Joohyung Lee, Ravi Palla
954: In Defense of Large Qualitative Calculi
Jason Jingshi Li, Jochen Renz
266: Topological Relations between Convex Regions
Sanjiang Li, Weiming Liu
699: Automated Program Debugging via Multiple Predicate Switching
Yongmei Liu, Bing Li
520: A Belief Revision Framework for Revising Epistemic States with Partial Epistemic States
Jianbing Ma, Weiru Liu, Salem Benferhat
513: Inducing Probability Distributions from Knowledge Bases with (In)dependence Relations
Jianbing Ma, Weiru Liu, Anthony Hunter
252: A Lower Bound on the Size of Decomposable Negation Normal Form
Knot Pipatsrisawat, Adnan Darwiche
888: Soundness Preserving Approximation for TBox Reasoning
Yuan Ren, Jeff Z. Pan, Yuting Zhao
846: Dominance Testing via Model Checking
Ganesh Ram Santhanam, Samik Basu, Vasant Honavar
656: An Inconsistency-Tolerant Approach to Information Merging Based on Proposition Relaxation
Steven Schockaert, Henri Prade
1054: A New Approach to Knowledge Base Revision in DL-Lite
Zhe Wang, Kewen Wang, Rodney Topor
625: Decidable Fragments of First-Order Language under Stable Model Semantics and Circumscription
Heng Zhang, Mingsheng Ying
Machine Learning
369: Latent Variable Model for Learning in Pairwise Markov Networks
Saeed Amizadeh, Milos Hauskrecht
796: Myopic Policies for Budgeted Optimization with Constrained Experiments
Javad Azami, Xiaoli Fern, Alan Fern, Elizabeth Burrows, Frank Chaplen, Yanzhen Fan, Hong Liu, Jun Jiao, Rebecca Schaller
265: Assisting Users with Clustering Tasks by Combining Metric Learning and Classification
Sumit Basu, Danyel Fisher, Steven M. Drucker, Hao Lu
693: The Induction and Transfer of Declarative Bias
Will Bridewell, Ljupco Todorovski
310: Adaptive Transfer Learning
Bin Cao, Sinno Jialin Pan, Yu Zhang, Dit-Yan Yeung, Qiang Yang
166: G-Optimal Design with Laplacian Regularization
Chun Chen, Zhengguang Chen, Jiajun Bu, Can Wang, Lijun Zhang, Cheng Zhang
134: What if the Irresponsible Teachers Are Dominating? A Method of Training on Samples and Clustering on Teachers
Shuo Chen, Jianwen Zhang, Guangyun Chen, Changshui Zhang
426: Learning Spatial-Temporal Varying Graphs with Applications to Climate Data Analysis
Xi Chen, Yan Liu, Han Liu, Jaime G. Carbonell
506: Properties of Bayesian Dirichlet Scores to Learn Bayesian Network Structures
Cassio P. de Campos, Qiang Ji
148: Interactive Learning Using Manifold Geometry
Eric Eaton, Gary Holness, Daniel McFarlane
351: Learning Discriminative Piecewise Linear Models with Boundary Points
Kun Gai, Changshui Zhang
491: Facial Age Estimation by Learning from Label Distributions
Xin Geng, Kate Smith-Miles, Zhi-Hua Zhou
190: Exact Algorithms and Experiments for Hierarchical Tree Clustering
Jiong Guo, Sepp Hartung, Christian Komusiewicz, Rolf Niedermeier, Johannes Uhlmann
1066: A Topic Model for Linked Documents and Update Rules for its Estimation
Zhen Guo, Shenghuo Zhu, Zhongfei (Mark) Zhang, Yun Chi, Yihong Gong
382: Multi-Task Sparse Discriminant Analysis (MtSDA) with Overlapping Categories
Yahong Han, Fei Wu, Jinzhu Jia, Yueting Zhuang, Bin Yu
109: Two-Stage Sparse Representation for Robust Recognition on Large-Scale Database
Ran He, BaoGang Hu, Wei-shi Zheng, YanQing Guo
870: Reinforcement Learning via Practice and Critique Advice
Kshitij Judah, Saikat Roy, Alan Fern, Thomas G. Dietterich
845: Structure Learning for Markov Logic Networks with Many Descriptive Attributes
Hassan Khosravi, Oliver Schulte, Tong Man, Xiaoyuan Xu, Bahareh Bina
40: The Genetic Algorithm as a General Diffusion Model for Social Networks
Mayank Lahiri, Manuel Cebrian
553: Cost-Sensitive Semi-Supervised Support Vector Machine
Yu-Feng Li, James T. Kwok, Zhi-Hua Zhou
161: Non-Negative Matrix Factorization with Constraints
Haifeng Liu, Zhaohui Wu
176: Gaussian Mixture Model with Local Consistency
Jialu Liu, Deng Cai, Xiaofei He
43: Constrained Metric Learning via Distance Gap Maximization
Wei Liu, Xinmei Tian, Dacheng Tao, Jianzhuang Liu
556: Multilinear Maximum Distance Embedding via L1-norm Optimization
Yang Liu, Yan Liu, Keith C. C. Chan
680: Learning Causal Models of Relational Domains
Marc Maier, Brian Taylor, Höseyin Oktay, David Jensen
1070: Non-Metric Locality-Sensitive Hashing
Yadong Mu, Shuicheng Yan
914: A Two-Dimensional Topic-Aspect Model for Discovering Multi-Faceted Topics
Michael Paul, Roxana Girju
616: 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
966: Conformal Mapping by Computationally Efficient Methods
Stefan Pintilie, Ali Ghodsi
774: Bayesian Matrix Factorization with Side Information and Dirichlet Process Mixtures
Ian Porteous, Arthur Asuncion, Max Welling
137: Semi-Supervised Dimension Reduction for Multi-Label Classification
Buyue Qian, Ian Davidson
262: Nonnegative Matrix Factorization Clustering on Multiple Manifolds
Bin Shen, Luo Si
317: Constrained Co-Clustering for Textual Documents
Yangqiu Song, Shimei Pan, Shixia Liu, Furu Wei, Michelle X. Zhou, Weihong Qian
332: Multi-Instance Dimensionality Reduction
Yu-Yin Sun, Michael K. Ng, Zhi-Hua Zhou
388: Multi-Label Learning with Weak Label
Yu-Yin Sun, Yin Zhang, Zhi-Hua Zhou
326: Nonparametric Curve Extraction Based on Ant Colony System
Qing Tan, Qing He, Zhongzhi Shi
89: Reinforcement Learning via AIXI Approximation
Joel Veness, Kee Siong Ng, Marcus Hutter, David Silver
927: Integrating Sample-Based Planning and Model-Based Reinforcement Learning
Thomas J. Walsh, Sergiu Goschin, Michael L. Littman
115: Discriminant Laplacian Embedding
Hua Wang, Heng Huang, Chris Ding
152: Bayesian Policy Search for Multi-Agent Role Discovery
Aaron Wilson, Alan Fern, Prasad Tadepalli
819: Discovering Long Range Properties of Social Networks with Multi-Valued Time-Inhomogeneous Models
Danny Wyatt, Tanzeem Choudhury, Jeff Bilmes
789: Smooth Optimization for Effective Multiple Kernel Learning
Zenglin Xu, Rong Jin, Shenghuo Zhu, Michael R. Lyu, Irwin King
125: Dependence Minimizing Regression with Model Selection for Non-Linear Causal Inference under Non-Gaussian Noise
Makoto Yamada, Masashi Sugiyama
401: Local and Global Regressive Mapping for Manifold Learning with Out-of-Sample Extrapolation
Yi Yang, Feiping Nie, Shiming Xiang, Yueting Zhuang, Wenhua Wang
538: Multitask Bregman Clustering
Jianwen Zhang, Changshui Zhang
458: Transductive Learning on Adaptive Graphs
Yan-Ming Zhang, Yu Zhang, Dit-Yan Yeung, Cheng-Lin Liu, Xinwen Hou
1078: Multi-Task Active Learning with Output Constraints
Yi Zhang
984: Efficient Spectral Feature Selection with Minimum Redundancy
Zheng Zhao, Lei Wang, Huan Liu
469: Gaussian Process Latent Random Field
Guoqiang Zhong, Wu-Jun Li, Dit-Yan Yeung, Xinwen Hou, Cheng-Lin Liu
Multiagent Systems
210: Nonmanipulable Randomized Tournament Selections
Alon Altman, Robert Kleinberg
333: Competing Schedulers
Itai Ashlagi, Moshe Tennenholtz, Aviv Zohar
145: Probabilistic Possible Winner Determination
Yoram Bachrach, Nadja Betzler, Piotr Faliszewski
146: Coalitional Structure Generation in Skill Games
Yoram Bachrach, Reshef Meir, Kyomin Jung, Pushmeet Kohli
235: Transferable Utility Planning Games
Ronen I. Brafman, Carmel Domshlak, Yagil Engel, Moshe Tennenholtz
249: Bypassing Combinatorial Protections: Polynomial-Time Algorithms for Single-Peaked Electorates
Felix Brandt, Markus Brill, Edith Hemaspaandra, Lane A. Hemaspaandra
972: Private and Third-Party Randomization in Risk-Sensitive Equilibrium Concepts
Mickey Brautbar, Michael Kearns, Umar Syed
581: An Approximate Subgame-Perfect Equilibrium Computation Technique for Repeated Games
Andriy Burkov, Brahim Chaib-draa
75: Approximation Algorithms and Mechanism Design for Minimax Approval Voting
Ioannis Caragiannis, Dimitris Kalaitzis, Evangelos Markakis
23: Voting Almost Maximizes Social Welfare Despite Limited Communication
Ioannis Caragiannis, Ariel D. Procaccia
746: A Distributed Algorithm for Optimising over Pure Strategy Nash Equilibria
Archie C. Chapman, Alessandro Farinelli, Enrique Munoz de Cote, Alex Rogers, Nicholas R. Jennings
39: Truth, Justice, and Cake Cutting
Yiling Chen, John K. Lai, David C. Parkes, Ariel D. Procaccia
192: Possible Winners When New Candidates Are Added: The Case of Scoring Rules
Yann Chevaleyre, Jérôme Lang, Nicolas Maudet, Jérôme Monnot
177: Cloning in Elections
Edith Elkind, Piotr Faliszewski, Arkadii Slinko
521: Good Rationalizations of Voting Rules
Edith Elkind, Piotr Faliszewski, Arkadii Slinko
631: Lifting Rationality Assumptions in Binary Aggregation
Umberto Grandi, Ulle Endriss
606: Intentions in Equilibrium
John Grant, Sarit Kraus, Michael Wooldridge
212: Security Games with Arbitrary Schedules: A Branch and Price Approach
Manish Jain, Erim Kardes, Christopher Kiekintveld, Milind Tambe, Fernando Ordóñez
119: Algorithms for Finding Approximate Formations in Games
Patrick R. Jordan, Michael P. Wellman
682: Complexity of Computing Optimal Stackelberg Strategies in Security Resource Allocation Games
Dmytro Korzhyk, Vincent Conitzer, Ronald Parr
885: Stability and Incentive Compatibility in a Kernel-Based Combinatorial Auction
Sébastien Lahaie
360: Facilitating the Evaluation of Automated Negotiators Using Peer Designed Agents
Raz Lin, Sarit Kraus, Yinon Oshrat, Ya’akov (Kobi) Gal
188: Convergence to Equilibria in Plurality Voting
Reshef Meir, Maria Polukarov, Jeffrey S. Rosenschein, Nicholas R. Jennings
205: Envy Quotes and the Iterated Core-Selecting Combinatorial Auction
Abraham Othman, Tuomas Sandholm
30: Can Approximation Circumvent Gibbard-Satterthwaite?
Ariel D. Procaccia
773: Trust Models and Con-Man Agents: From Mathematical to Empirical Analysis
Amirali Salehi-Abari, Tony White
617: Increasing Threshold Search for Best-Valued Agents
David Sarne, Simon Shamoun, Eli Rata
196: Approximate Coalition Structure Generation
Travis C. Service, Julie A. Adams
780: Accounting Mechanisms for Distributed Work Systems
Sven Seuken, Jie Tang, David C. Parkes
916: Asymmetric Spite in Auctions
Ankit Sharma, Tuomas Sandholm
732: A Decentralised Coordination Algorithm for Mobile Sensors
Ruben Stranders, Francesco Maria Delle Fave, Alex Rogers, Nicholas R. Jennings
151: Urban Security: Game-Theoretic Resource Allocation in Networked Physical Domains
Jason Tsai, Zhengyu Yin, Jun-young Kwak, David Kempe, Christopher Kiekintveld, Milind Tambe
852: Automated Channel Abstraction for Advertising Auctions
William E. Walsh, Craig Boutilier, Tuomas Sandholm, Rob Shields, George Nemhauser, David C. Parkes
642: Fixing a Tournament
Virginia Vassilevska Williams
950: Beyond Equilibrium: Predicting Human Behavior in Normal Form Games
James R. Wright, Kevin Leyton-Brown
149: Trial-Based Dynamic Programming for Multi-Agent Planning
Feng Wu, Shlomo Zilberstein, Xiaoping Chen
434: Compilation Complexity of Common Voting Rules
Lirong Xia, Vincent Conitzer
435: Stackelberg Voting Games: Computational Aspects and Paradoxes
Lirong Xia, Vincent Conitzer
195: Multi-Agent Learning with Policy Prediction
Chongjie Zhang, Victor Lesser
455: Dynamic Auction: A Tractable Auction Procedure
Dongmo Zhang, Wei Huang, Laurent Perrussel
525: Sequential Incremental-Value Auctions
Xiaoming Zheng, Sven Koenig
1084: Tolerable Manipulability in Dynamic Assignment without Money
James Zou, Sujit Gujar, David Parkes
Multidisciplinary Topics
777: Learning Simulation Control in General Game-Playing Agents
Hilmar Finnsson, Yngvi Björnsson
898: User-Specific Learning for Recognizing a Singer’s Intended Pitch
Andrew Guillory, Sumit Basu, Dan Morris
999: A Computational Model for Saliency Maps by Using Local Entropy
Yuewei Lin, Bin Fang, Yuanyan Tang
817: Grouping Strokes into Shapes in Hand-Drawn Diagrams
Eric J. Peterson, Thomas F. Stahovich, Eric Doi, Christine Alvarado
180: Symmetry Detection in General Game Playing
Stephan Schiffel
717: Generalized Task Markets for Human and Machine Computation
Dafna Shahaf, Eric Horvitz
546: A General Game Description Language for Incomplete Information Games
Michael Thielscher
181: A Temporal Proof System for General Game Playing
Michael Thielscher, Sebastian Voigt
Natural-Language Processing
975: What Is an Opinion About? Exploring Political Standpoints Using Opinion Scoring Model
Bi Chen, Leilei Zhu, Daniel Kifer, Dongwon Lee
1035: Automatic Attribution of Quoted Speech in Literary Narrative
David K. Elson, Kathleen R. McKeown
251: Kernelized Sorting for Natural Language Processing
Jagadeesh Jagarlamudi, Seth Juarez, Hal Daumé III
391: CAO: A Fully Automatic Emoticon Analysis System
Michal Ptaszynski, Jacek Maciejewski, Pawel Dybala, Rafal Rzepka, Kenji Araki
982: Extracting Ontological Selectional Preferences for Non-Pertainym Adjectives from the Google Corpus
John J. Tanner, Fernando Gomez
396: Forest-Based Semantic Role Labeling
Hao Xiong, Haitao Mi, Yang Liu, Qun Liu
1020: Bidirectional Integration of Pipeline Models
Xiaofeng Yu, Wai Lam
Reasoning about Plans, Processes and Actions
806: Finite-State Controllers Based on Mealy Machines for Centralized and Decentralized POMDPs
Christopher Amato, Blai Bonet, Shlomo Zilberstein
242: Multi-Agent Plan Recognition: Formalization and Algorithms
Bikramjit Banerjee, Landon Kraemer, Jeremy Lyle
420: Using Bisimulation for Policy Transfer in MDPs
Pablo Samuel Castro, Doina Precup
287: To Max or Not to Max: Online Learning for Speeding Up Optimal Planning
Carmel Domshlak, Erez Karpas, Shaul Markovitch
440: An Analytic Characterization of Model Minimization in Factored Markov Decision Processes
Wenyuan Guo, Tze-Yun Leong
72: Using Closed Captions as Supervision for Video Activity Recognition
Sonal Gupta, Ray J. Mooney
599: PUMA: Planning under Uncertainty with Macro-Actions
Ruijie He, Emma Brunskill, Nicholas Roy
183: SAP Speaks PDDL
Jörg Hoffmann, Ingo Weber, Frank Michael Kraft
827: Structured Parameter Elicitation
Li Ling Ko, David Hsu, Wee Sun Lee, Sylvie C. W. Ong
947: SixthSense: Fast and Reliable Recognition of Dead Ends in MDPs
Andrey Kolobov, Mausam, Daniel S. Weld
756: Planning in Dynamic Environments: Extending HTNs with Nonlinear Continuous Effects
Matt Molineaux, Matthew Klenk, David W. Aha
622: Probabilistic Plan Recognition Using Off-the-Shelf Classical Planners
Miquel Ramírez, Hector Geffner
747: Robust Policy Computation in Reward-Uncertain MDPs Using Nondominated Policies
Kevin Regan, Craig Boutilier
844: Recognizing Multi-Agent Activities from GPS Data
Adam Sadilek, Henry Kautz
865: Symbolic Dynamic Programming for First-Order POMDPs
Scott Sanner, Kristian Kersting
704: Compressing POMDPs Using Locality Preserving Non-Negative Matrix Factorization
Georgios Theocharous, Sridhar Mahadevan
627: Relational Partially Observable MDPs
Chenggang Wang, Roni Khardon
Reasoning under Uncertainty
743: Simultaneous Elicitation of Preference Features and Utility
Craig Boutilier, Kevin Regan, Paolo Viappiani
1014: Decision-Theoretic Control of Crowd-Sourced Workflows
Peng Dai, Mausam, Daniel S. Weld
930: Respecting Markov Equivalence in Computing Posterior Probabilities of Causal Graphical Features
Eun Yong Kang, Ilya Shpitser, Eleazar Eskin
365: Informed Lifting for Message-Passing
Kristian Kersting, Youssef El Massaoudi, Babak Ahmadi, Fabian Hadiji
156: Efficient Belief Propagation for Utility Maximization and Repeated Inference
Aniruddh Nath, Pedro Domingos
157: Efficient Lifting for Online Probabilistic Inference
Aniruddh Nath, Pedro Domingos
486: New Mini-Bucket Partitioning Heuristics for Bounding the Probability of Evidence
Emma Rollon, Rina Dechter
677: On the Use of Prime Implicates in Conformant Planning
Son Thanh To, Tran Cao Son, Enrico Pontelli
794: epsilon-First Policies for Budget-Limited Multi-Armed Bandits
Long Tran-Thanh, Archie Chapman, Enrique Munoz de Cote, Alex Rogers, Nicholas R. Jennings
834: DTPROBLOG: A Decision-Theoretic Probabilistic Prolog
Guy Van den Broeck, Ingo Thon, Martijn van Otterlo, Luc De Raedt
Robotics
505: Asynchronous Multi-Robot Patrolling Against Intrusions in Arbitrary Topologies
Nicola Basilico, Nicola Gatti, Federico Villa
980: Search-Based Path Planning with Homotopy Class Constraints
Subhrajit Bhattacharya, Vijay Kumar, Maxim Likhachev
944: Design and Implementation of Two-level Synchronization for an Interactive Music Robot
Takuma Otsuka, Kazuhiro Nakadai, Toru Takahashi, Kazunori Komatani, Tetsuya Ogata, Hiroshi G. Okuno
638: g-Planner: Real-Time Motion Planning and Global Navigation Using GPUs
Jia Pan, Christian Lauterbach, Dinesh Manocha
689: A Single-Step Maximum A Posteriori Update for Bearing-Only SLAM
Stephen Tully, George Kantor, Howie Choset
Main Track Short Papers
545 Saving Redundant Messages in BnB-ADOPT
Patricia Gutierrez, Pedro Meseguer
367 An Optimization Variant of Multi-Robot Path Planning is Intractable
Pavel Surynek
116 Multi-Label Classification: Inconsistency and Class Balanced K-Nearest Neighbor
Hua Wang, Chris Ding, Heng Huang
Special Track on AI and Bioinformatics
11: Fast Conditional Density Estimation for Quantitative Structure-Activity Relationships
Fabian Buchwald, Tobias Girschick, Stefan Kramer, Eibe Frank
9: Predicting Structural and Functional Sites in Proteins by Searching for Maximum-Weight Cliques
Franco Mascia, Elisa Cilia, Mauro Brunato, Andrea Passerini
3: A Cross-Entropy Method that Optimizes Partially Decomposable Problems: A New Way to Interpret NMR Spectra
Siamak (Mohsen) Ravanbakhsh, Barnabás Póczos and Russell Greiner
2: A Fast Heuristic Search Algorithm for Finding the Longest Common Subsequence of Multiple Strings
Qingguo Wang, Mian Pan, Yi Shang, Dmitry Korkin
Special Track on AI and the Web
108: GTPA: A Generative Model for Online Mentor-Apprentice Networks
Muhammad Aurangzeb Ahmad, David Huffaker, Jing Wang, Jeff Treem, Marshall Scott Poole, Jaideep Srivastava
54: Adopting Inference Networks for Online Thread Retrieval
Sumit Bhatia, Prasenjit Mitra
116: Toward an Architecture for Never-Ending Language Learning
Andrew Carlson, Justin Betteridge, Bryan Kisiel, Burr Settles, Estevam R. Hruschka Jr., Tom M. Mitchell
44: Visual Contextual Advertising: Bringing Textual Advertisements to Images
Yuqiang Chen, Ou Jin, Gui-Rong Xue, Jia Chen, Qiang Yang
35: Optimal Strategies for Reviewing Search Results
Jeff Huang, Anna Kazeykina
30: Prioritization of Domain-Specific Web Information Extraction
Jian Huang, Cong Yu
12: Session Based Click Features for Recency Ranking
Yoshiyuki Inagaki, Narayanan Sadagopan, Georges Dupret, Ciya Liao, Anlei Dong, Yi Chang, Zhaohui Zheng
29: Utilizing Context in Generative Bayesian Models for Linked Corpus
Saurabh Kataria, Prasenjit Mitra, Sumit Bhatia
77: PR + RQ = PQ: Transliteration Mining Using Bridge Language
Mitesh M. Khapra, Raghavendra Udupa, A. Kumaran, Pushpak Bhattacharyya
104: On the Reputation of Agent-Based Web Services
Babak Khosravifar, Jamal Bentahar, Ahmad Moazin, Philippe Thiran
75: Towards an Intelligent Code Search Engine
Jinhan Kim, Sanghoon Lee, Seung-won Hwang, Sunghun Kim
42: Learning to Predict Opinion Share in Social Networks
Masahiro Kimura, Kazumi Saito, Kouzou Ohara, Hiroshi Motoda
88: Sentiment Analysis with Global Topics and Local Dependency
Fangtao Li, Minlie Huang, Xiaoyan Zhu
51: Subjective Trust Inference in Composite Services
Lei Li, Yan Wang
156: Temporal Information Extraction
Xiao Ling, Daniel S. Weld
128: Optimal Social Trust Path Selection in Complex Social Networks
Guanfeng Liu, Yan Wang, Mehmet A. Orgun
41: Diversifying Query Suggestion Results
Hao Ma, Michael R. Lyu, Irwin King
153: Materializing and Persisting Inferred and Uncertain Knowledge in RDF Datasets
James P. McGlothlin, Latifur Khan
106: A Probabilistic-Logical Framework for Ontology Matching
Mathias Niepert, Christian Meilicke, Heiner Stuckenschmidt
135: Predicting the Importance of Newsfeed Posts and Social Network Friends
Tim Paek, Michael Gamon, Scott Counts, David Maxwell Chickering, Aman Dhesi
129: Extraction and Visualization of Implicit Social Relations on Social Networking Services
Meesun Song, Wonkyu Lee, Junghwan Kim
81: How Incomplete Is Your Semantic Web Reasoner?
Giorgos Stoilos, Bernardo Cuenca Grau, Ian Horrocks
91: A General Framework for Representing and Reasoning with Annotated Semantic Web Data
Umberto Straccia, Nuno Lopes, Gergely Lukácsy, Axel Polleres
27: Integrity Constraints in OWL
Jiao Tao, Evren Sirin, Jie Bao, Deborah L. McGuinness
93: News Recommendation in Forum-Based Social Media
Jia Wang, Qing Li, Yuanzhu Peter Chen, Jiafen Liu, Chen Zhang, Zhangxi Lin
32: Modeling Dynamic Multi-Topic Discussions in Online Forums
Hao Wu, Jiajun Bu, Chun Chen, Can Wang, Guang Qiu, Lijun Zhang, Jianfeng Shen
107: Keyword Extraction and Headline Generation Using Novel Word Features
Songhua Xu, Shaohui Yang, Francis C. M. Lau
69: Fast Algorithms for Top-k Approximate String Matching
Zhenglu Yang, Jianjun Yu, Masaru Kitsuregawa
18: Temporal and Social Context Based Burst Detection from Folksonomies
Junjie Yao, Bin Cui, Yuxin Huang, Xin Jin
13: Commonsense Knowledge Mining from the Web
Chi-Hsin Yu, Hsin-His Chen
79: UserRec: A User Recommendation Framework in Social Tagging Systems
Tom Chao Zhou, Hao Ma, Michael R. Lyu, Irwin King
Special Track on Challenges in AI
821: Automated Modelling and Solving in Constraint Programming
Barry O’Sullivan
936: Hidden Market Design
Sven Seuken, Kamal Jain, David C. Parkes
153: Ad Hoc Autonomous Agent Teams: Collaboration without Pre-Coordination
Peter Stone, Gal A. Kaminka, Sarit Kraus, Jeffrey S. Rosenschein
123: Collusion Detection in Online Bridge
Jeff Yan
Special Track on Integrated Intelligence
37: Creating Dynamic Story Plots with Continual Multiagent Planning
Michael Brenner
45: An Integrated Systems Approach to Explanation-Based Conceptual Change
Scott E. Friedman, Kenneth D. Forbus
29: Learning Methods to Generate Good Plans: Integrating HTN Learning and Reinforcement Learning
Chad Hogg, Ugur Kuter, Héctor Muñoz-Avila
38: Integrating Constraint Satisfaction and Spatial Reasoning
Unmesh Kurup, Nicholas L. Cassimatis
39: 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
35: Goal-Driven Autonomy in a Navy Strategy Simulation
Matthew Molineaux, Matthew Klenk, David W. Aha
42: Integrated Systems for Inducing Spatio-Temporal Process Models
Chunki Park, Will Bridewell, Pat Langley
27: Integrating a Closed World Planner with an Open World Robot: A Case Study
Kartik Talamadupula, J. Benton, Paul Schermerhorn, Subbarao Kambhampati, Matthias Scheutz
6: Using Imagery to Simplify Perceptual Abstraction in Reinforcement Learning Agents
Samuel Wintermute
25: Instance-Based Online Learning of Deterministic Relational Action Models
Joseph Z. Xu, John E. Laird
Special Track on Physically Grounded AI
23: Activity and Gait Recognition with Time-Delay Embeddings
Jordan Frank, Shie Mannor, Doina Precup
7: A Bayesian Nonparametric Approach to Modeling Mobility Patterns
Joshua Joseph, Finale Doshi-Velez, Nicholas Roy
48: Biped Walk Learning through Playback and Corrective Demonstration
Çetin Meriçli, Manuela Veloso
42: Community-Guided Learning: Exploiting Mobile Sensor Users to Model Human Behavior
Daniel Peebles, Hong Lu, Nicholas D. Lane, Tanzeem Choudhury, Andrew T. Campbell
41: Relative Entropy Policy Search
Jan Peters, Katharina Mülling, Yasemin Altün
53: The Boosting Effect of Exploratory Behaviors
Jivko Sinapov, Alexander Stoytchev
31: 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
8: A Layered Approach to People Detection in 3D Range Data
Luciano Spinello, Kai O. Arras, Rudolph Triebel, Roland Siegwart
57: Unsupervised Learning of Event Classes from Video
Muralikrishna Sridhar, Anthony G. Cohn, David C. Hogg
21: Online Learning of Uneven Terrain for Humanoid Bipedal Walking
Seung-Joon Yi, Byoung-Tak Zhang, Daniel D. Lee
6: Error Aware Monocular Visual Odometry Using Vertical Line Pairs for Small Robots in Urban Areas
Ji Zhang, Dezhen Song
Nectar Papers
48 Active Inference for Collective Classification
Mustafa Bilgic, Lise Getoor
5: Automatic Derivation of Finite-State Machines for Behavior Control
Blai Bonet, Héctor Palacios, Héctor Geffner
22: Ontological Reasoning with F-Logic Lite and Its Extensions
Andrea Calì, Georg Gottlob, Michael Kifer, Thomas Lukasiewicz, Andreas Pieris
29: Enhancing ASP by Functions: Decidable Classes and Implementation Techniques
Francesco Calimeri, Susanna Cozza, Giovambattista Ianni, Nicola Leone
36: Constraint Programming for Data Mining and Machine Learning
Luc De Raedt, Tias Guns, Siegfried Nijssen
42: Computationally Feasible Automated Mechanism Design: General Approach and Case Studies
Mingyu Guo, Vincent Conitzer
15: Local Search in Histogram Construction
Felix Halim, Panagiotis Karras, Roland H. C. Yap
7: Panlingual Lexical Translation via Probabilistic Inference
Mausam, Stephen Soderland, Oren Etzioni
19: Evolving Compiler Heuristics to Manage Communication and Contention
Matthew E. Taylor, Katherine E. Coons, Behnam Robatmili, Bertrand A. Maher, Doug Burger, Kathryn S. McKinley
46: Comparing Position Auctions Computationally
David R. M. Thompson, Kevin Leyton-Brown
38: Intelligently Aiding Human-Guided Correction of Speech Recognition
Keith Vertanen, Per Ola Kristensson
12: Biologically-Inspired Control for Multi-Agent Self-Adaptive Tasks
Chih-Han Yu, Radhika Nagpal
Senior Member Papers
8: The Model-Based Approach to Autonomous Behavior: A Personal View
Hector Geffner
9: Progress on Agent Coordination with Cooperative Auctions
Sven Koenig, Pinar Keskinocak, Craig Tovey
7: Representation Discovery in Sequential Decision Making
Sridhar Mahadevan