25. AAAI 2011: San Francisco, California, USA

Constraints, Satisfiability, and Search

• Ozgur Akgun, Ian Miguel, Christopher Jefferson, Alan M. Frisch, Brahim Hnich:
  Extensible Automated Constraint Modelling.
  
• David Burkett, David Hall, Dan Klein:
  Optimal Graph Search with Iterated Graph Cuts.
  
• Stefan Edelkamp, Peter Kissmann:
  On the Complexity of BDDs for State Space Search: A Case Study in Connect Four.
  
• Meir Goldenberg, Nathan R. Sturtevant, Ariel Felner, Jonathan Schaeffer:
  The Compressed Differential Heuristic.
  
• Matthew Hatem, Ethan Burns, Wheeler Ruml:
  Heuristic Search for Large Problems With Real Costs.
  
• Federico Heras, António Morgado, João Marques-Silva:
  Core-Guided Binary Search Algorithms for Maximum Satisfiability.
  
• Eric Huang, Richard E. Korf:
  Optimal Packing of High-Precision Rectangles.
  
• Siddhartha Jain, Ashish Sabharwal, Meinolf Sellmann:
  A General Nogood-Learning Framework for Pseudo-Boolean Multi-Valued SAT.
  
• Kalev Kask, Andrew Gelfand, Lars Otten, Rina Dechter:
  Pushing the Power of Stochastic Greedy Ordering Schemes for Inference in Graphical Models.
  
• Yat Chiu Law, Jimmy Ho-Man Lee, May Hiu-Chun Woo, Toby Walsh:
  A Comparison of Lex Bounds for Multiset Variables in Constraint Programming.
  
• Thomas Léauté, Boi Faltings:
  Distributed Constraint Optimization Under Stochastic Uncertainty.
  
• Mike Phillips, Maxim Likhachev:
  Planning in Domains with Cost Function Dependent Actions.
  
• D. Chris Rayner, Michael H. Bowling, Nathan R. Sturtevant:
  Euclidean Heuristic Optimization.
  
• Tim Schmidt, Rong Zhou:
  Succinct Set-Encoding for State-Space Search.
  
• Stefan Szeider:
  Limits of Preprocessing.
  
• Gilles Trombettoni, Ignacio Araya, Bertrand Neveu, Gilles Chabert:
  Inner Regions and Interval Linearizations for Global Optimization.
  
• Jur van den Berg, Rajat Shah, Arthur Huang, Kenneth Y. Goldberg:
  Anytime Nonparametric A.
  
• Robert J. Woodward, Shant Karakashian, Berthe Y. Choueiry, Christian Bessiere:
  Solving Difficult CSPs with Relational Neighborhood Inverse Consistency.
  
• Peter Yap, Neil Burch, Robert C. Holte, Jonathan Schaeffer:
  Block A*: Database-Driven Search with Applications in Any-Angle Path-Planning.
  

Knowledge-Based Information Systems

• Qingye Jiang, Guojie Song, Gao Cong, Yu Wang, Wenjun Si, Kunqing Xie:
  Simulated Annealing Based Influence Maximization in Social Networks.
  
• Ruijiang Li, Bin Li, Cheng Jin, Xiangyang Xue, Xingquan Zhu:
  Tracking User-Preference Varying Speed in Collaborative Filtering.
  
• Jin-Woo Park, Mu-Woong Lee, Jinhan Kim, Seung-won Hwang, Sunghun Kim:
  CosTriage: A Cost-Aware Triage Algorithm for Bug Reporting Systems.
  
• Matthew J. Rattigan, Marc E. Maier, David Jensen:
  Relational Blocking for Causal Discovery.
  
• Niket Tandon, Gerard de Melo, Gerhard Weikum:
  Deriving a Web-Scale Common Sense Fact Database.
  
• Jianke Zhu, Hao Ma, Chun Chen, Jiajun Bu:
  Social Recommendation Using Low-Rank Semidefinite Program.
  

Knowledge Representation and Reasoning

• Vaishak Belle, Gerhard Lakemeyer:
  A Semantical Account of Progression in the Presence of Uncertainty.
  
• Piero A. Bonatti, Marco Faella, Luigi Sauro:
  Adding Default Attributes to EL++.
  
• Michael H. Coen, M. Hidayath Ansari, Nathanael Fillmore:
  Learning from Spatial Overlap.
  
• Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati:
  Higher-Order Description Logics for Domain Metamodeling.
  
• Alberto González-Sanchez, Rui Abreu, Hans-Gerhard Groß, Arjan J. C. van Gemund:
  Spectrum-Based Sequential Diagnosis.
  
• Víctor Gutiérrez-Basulto, Jean Christoph Jung, Carsten Lutz, Lutz Schröder:
  A Closer Look at the Probabilistic Description Logic Prob-EL.
  
• Tsuyoshi Idé, Masashi Sugiyama:
  Trajectory Regression on Road Networks.
  
• Angelika Kimmig, Guy Van den Broeck, Luc De Raedt:
  An Algebraic Prolog for Reasoning about Possible Worlds.
  
• Szymon Klarman, Víctor Gutiérrez-Basulto:
  Two-Dimensional Description Logics for Context-Based Semantic Interoperability.
  
• Boris Konev, Roman Kontchakov, Michel Ludwig, Thomas Schneider, Frank Wolter, Michael Zakharyaschev:
  Conjunctive Query Inseparability of OWL 2 QL TBoxes.
  
• Oliver Kutz, Till Mossakowski:
  A Modular Consistency Proof for DOLCE.
  
• Fangzhen Lin, Mikhail Soutchanski:
  Causal Theories of Actions Revisited.
  
• Anees Mehdi, Sebastian Rudolph:
  Revisiting Semantics for Epistemic Extensions of Description Logics.
  
• Judea Pearl, Elias Bareinboim:
  Transportability of Causal and Statistical Relations: A Formal Approach.
  
• Magnus Roos, Jörg Rothe, Björn Scheuermann:
  How to Calibrate the Scores of Biased Reviewers by Quadratic Programming.
  
• Shirin Sohrabi, Jorge A. Baier, Sheila A. McIlraith:
  Preferred Explanations: Theory and Generation via Planning.
  
• Maonian Wu, Dongmo Zhang, Mingyi Zhang:
  Language Splitting and Relevance-Based Belief Change in Horn Logic.
  
• Qian Yang, Jia-Huai You, Zhiyong Feng:
  Integrating Rules and Description Logics by Circumscription.
  
• Yi Zhou, Yan Zhang:
  Bounded Forgetting.
  
• Yi Zhou, Yan Zhang:
  Progression Semantics for Disjunctive Logic Programs.
  

Machine Learning

• Byron Boots, Geoffrey J. Gordon:
  An Online Spectral Learning Algorithm for Partially Observable Nonlinear Dynamical Systems.
  
• Antoine Bordes, Jason Weston, Ronan Collobert, Yoshua Bengio:
  Learning Structured Embeddings of Knowledge Bases.
  
• Kevin Robert Canini, Thomas L. Griffiths:
  A Nonparametric Bayesian Model of Multi-Level Category Learning.
  
• Xinlei Chen, Deng Cai:
  Large Scale Spectral Clustering with Landmark-Based Representation.
  
• Sook-Ling Chua, Stephen Marsland, Hans W. Guesgen:
  Unsupervised Learning of Human Behaviours.
  
• Gheorghe Comanici, Doina Precup:
  Basis Function Discovery Using Spectral Clustering and Bisimulation Metrics.
  
• Peng Cui, Fei Wang, Shiqiang Yang, Lifeng Sun:
  Item-Level Social Influence Prediction with Probabilistic Hybrid Factor Matrix Factorization.
  
• Eric Eaton, Marie desJardins:
  Selective Transfer Between Learning Tasks Using Task-Based Boosting.
  
• Hoda Eldardiry, Jennifer Neville:
  Across-Model Collective Ensemble Classification.
  
• Zhenyong Fu, Zhiwu Lu, Horace Ho-Shing Ip, Yuxin Peng, Hongtao Lu:
  Symmetric Graph Regularized Constraint Propagation.
  
• Cuixia Gao, Naiyan Wang, Qi Yu, Zhihua Zhang:
  A Feasible Nonconvex Relaxation Approach to Feature Selection.
  
• Andrew B. Goldberg, Xiaojin Zhu, Alex Furger, Jun-Ming Xu:
  OASIS: Online Active Semi-Supervised Learning.
  
• Quanquan Gu, Zhenhui Li, Jiawei Han:
  Learning a Kernel for Multi-Task Clustering.
  
• Yuhong Guo, Dale Schuurmans:
  Adaptive Large Margin Training for Multilabel Classification.
  
• George Konidaris, Sarah Osentoski, Philip S. Thomas:
  Value Function Approximation in Reinforcement Learning Using the Fourier Basis.
  
• Yu-Feng Li, Zhi-Hua Zhou:
  Improving Semi-Supervised Support Vector Machines Through Unlabeled Instances Selection.
  
• Si Liu, Hairong Liu, Longin Jan Latecki, Shuicheng Yan, Changsheng Xu, Hanqing Lu:
  Size Adaptive Selection of Most Informative Features.
  
• Yang Liu, Yan Liu, Keith C. C. Chan:
  Ordinal Regression via Manifold Learning.
  
• Daniel Lowd, Arash Shamaei:
  Mean Field Inference in Dependency Networks: An Empirical Study.
  
• Zhiwu Lu, Yuxin Peng:
  Latent Semantic Learning by Efficient Sparse Coding with Hypergraph Regularization.
  
• Dijun Luo, Chris H. Q. Ding, Heng Huang:
  Linear Discriminant Analysis: New Formulations and Overfit Analysis.
  
• Dijun Luo, Chris H. Q. Ding, Heng Huang:
  Multi-Level Cluster Indicator Decompositions of Matrices and Tensors.
  
• Heng Luo, Ruimin Shen, Changyong Niu, Carsten Ullrich:
  Sparse Group Restricted Boltzmann Machines.
  
• Timothy Arthur Mann, Yoonsuck Choe:
  Scaling Up Reinforcement Learning through Targeted Exploration.
  
• Francisco S. Melo:
  Differential Eligibility Vectors for Advantage Updating and Gradient Methods.
  
• Marion Neumann, Babak Ahmadi, Kristian Kersting:
  Markov Logic Sets: Towards Lifted Information Retrieval Using PageRank and Label Propagation.
  
• Kyoungup Park, Chunhua Shen, Zhihui Hao, Junae Kim:
  Efficiently Learning a Distance Metric for Large Margin Nearest Neighbor Classification.
  
• Jason Pazis, Ronald Parr:
  Non-Parametric Approximate Linear Programming for MDPs.
  
• Jonathan Sorg, Satinder P. Singh, Richard L. Lewis:
  Optimal Rewards versus Leaf-Evaluation Heuristics in Planning Agents.
  
• Harry Strange, Reyer Zwiggelaar:
  A Generalised Solution to the Out-of-Sample Extension Problem in Manifold Learning.
  
• Jian Tang, Jun Yan, Lei Ji, Ming Zhang, Shaodan Guo, Ning Liu, Xianfang Wang, Zheng Chen:
  Collaborative Users' Brand Preference Mining across Multiple Domains from Implicit Feedbacks.
  
• Ke Tang, Rui Wang, Tianshi Chen:
  Towards Maximizing the Area Under the ROC Curve for Multi-Class Classification Problems.
  
• Yuta Tsuboi, Yuya Unno, Hisashi Kashima, Naoaki Okazaki:
  Fast Newton-CG Method for Batch Learning of Conditional Random Fields.
  
• Fei Wang, Noah Lee, Jimeng Sun, Jianying Hu, Shahram Ebadollahi:
  Automatic Group Sparse Coding.
  
• Fei Wang, Hanghang Tong, Ching-Yung Lin:
  Towards Evolutionary Nonnegative Matrix Factorization.
  
• Hua Wang, Feiping Nie, Heng Huang:
  Learning Instance Specific Distance for Multi-Instance Classification.
  
• Hua-Yan Wang, Qiang Yang:
  Transfer Learning by Structural Analogy.
  
• Shusen Wang, Xiaotong Yuan, Tiansheng Yao, Shuicheng Yan, Jialie Shen:
  Efficient Subspace Segmentation via Quadratic Programming.
  
• Yong Wang, Yuan Jiang, Yi Wu, Zhi-Hua Zhou:
  Localized K-Flats.
  
• Bin Wei, Christopher J. Pal:
  Heterogeneous Transfer Learning with RBMs.
  
• Wei Wu, Hang Li, Yunhua Hu, Rong Jin:
  Multi-Task Learning in Square Integrable Space.
  
• Zenglin Xu, Feng Yan, Yuan Qi:
  Sparse Matrix-Variate t Process Blockmodels.
  
• Makoto Yamada, Masashi Sugiyama:
  Direct Density-Ratio Estimation with Dimensionality Reduction via Hetero-Distributional Subspace Analysis.
  
• Yi Yang, Heng Tao Shen, Feiping Nie, Rongrong Ji, Xiaofang Zhou:
  Nonnegative Spectral Clustering with Discriminative Regularization.
  
• Dan Zhang, Yan Liu, Richard D. Lawrence, Vijil Chenthamarakshan:
  Transfer Latent Semantic Learning: Microblog Mining with Less Supervision.
  
• Xinhua Zhang, Yaoliang Yu, Martha White, Ruitong Huang, Dale Schuurmans:
  Convex Sparse Coding, Subspace Learning, and Semi-Supervised Extensions.
  
• Yu Zhang, Dit-Yan Yeung:
  Multi-Task Learning in Heterogeneous Feature Spaces.
  
• Hui Zhao, Jiuqiang Han, Naiyan Wang, Congfu Xu, Zhihua Zhang:
  A Fast Spectral Relaxation Approach to Matrix Completion via Kronecker Products.
  

Multiagent Systems

• Bo An, Milind Tambe, Fernando Ordóñez, Eric Anyung Shieh, Christopher Kiekintveld:
  Refinement of Strong Stackelberg Equilibria in Security Games.
  
• Amos Azaria, Zinovi Rabinovich, Sarit Kraus, Claudia V. Goldman:
  Strategic Information Disclosure to People with Multiple Alternatives.
  
• Bikramjit Banerjee, Landon Kraemer:
  Branch and Price for Multi-Agent Plan Recognition.
  
• Sofia Ceppi, Nicola Gatti, Enrico H. Gerding:
  Mechanism Design for Federated Sponsored Search Auctions.
  
• Yiling Chen, Xi Alice Gao, Rick Goldstein, Ian A. Kash:
  Market Manipulation with Outside Incentives.
  
• Rajesh Hemant Chitnis, MohammadTaghi Hajiaghayi, Vahid Liaghat:
  Parameterized Complexity of Problems in Coalitional Resource Games.
  
• Yuga J. Cohler, John K. Lai, David C. Parkes, Ariel D. Procaccia:
  Optimal Envy-Free Cake Cutting.
  
• Vincent Conitzer, Dmytro Korzhyk:
  Commitment to Correlated Strategies.
  
• Vincent Conitzer, Toby Walsh, Lirong Xia:
  Dominating Manipulations in Voting with Partial Information.
  
• Florin Constantin, Malvika Rao, Chien-Chung Huang, David C. Parkes:
  On Expressing Value Externalities in Position Auctions.
  
• Jacob W. Crandall, Asad Ahmed, Michael A. Goodrich:
  Learning in Repeated Games with Minimal Information: The Effects of Learning Bias.
  
• Jessica Davies, George Katsirelos, Nina Narodytska, Toby Walsh:
  Complexity of and Algorithms for Borda Manipulation.
  
• Nate Derbinsky, John E. Laird:
  A Functional Analysis of Historical Memory Retrieval Bias in the Word Sense Disambiguation Task.
  
• Nicola Gatti, Claudio Iuliano:
  Computing an Extensive-Form Perfect Equilibrium in Two-Player Games.
  
• Mingyu Guo:
  VCG Redistribution with Gross Substitutes.
  
• John Alexander Hawkin, Robert Holte, Duane Szafron:
  Automated Action Abstraction of Imperfect Information Extensive-Form Games.
  
• Mohammad Tanvir Irfan, Luis E. Ortiz:
  A Game-Theoretic Approach to Influence in Networks.
  
• Sébastien Lahaie:
  A Kernel-Based Iterative Combinatorial Auction.
  
• Kathryn Sarah Macarthur, Ruben Stranders, Sarvapali D. Ramchurn, Nicholas R. Jennings:
  A Distributed Anytime Algorithm for Dynamic Task Allocation in Multi-Agent Systems.
  
• Liam MacDermed, Karthik Sankaran Narayan, Charles Lee Isbell Jr., Lora Weiss:
  Quick Polytope Approximation of All Correlated Equilibria in Stochastic Games.
  
• Nina Narodytska, Toby Walsh, Lirong Xia:
  Manipulation of Nanson's and Baldwin's Rules.
  
• Talal Rahwan, Tomasz P. Michalak, Edith Elkind, Piotr Faliszewski, Jacek Sroka, Michael Wooldridge, Nicholas R. Jennings:
  Constrained Coalition Formation.
  
• Ildikó Schlotter, Piotr Faliszewski, Edith Elkind:
  Campaign Management under Approval-Driven Voting Rules.
  
• Sameena Shah, Jayadeva, Ravi Kothari, Suresh Chandra:
  M-Unit EigenAnt: An Ant Algorithm to Find the M Best Solutions.
  
• Xin Sui, Craig Boutilier:
  Efficiency and Privacy Tradeoffs in Mechanism Design.
  
• David Robert Martin Thompson, Kevin Leyton-Brown:
  Dominant-Strategy Auction Design for Agents with Uncertain, Private Values.
  
• Jens Witkowski, Sven Seuken, David C. Parkes:
  Incentive-Compatible Escrow Mechanisms.
  
• Zhengyu Yin, Manish Jain, Milind Tambe, Fernando Ordóñez:
  Risk-Averse Strategies for Security Games with Execution and Observational Uncertainty.
  
• Chongjie Zhang, Victor R. Lesser:
  Coordinated Multi-Agent Reinforcement Learning in Networked Distributed POMDPs.
  

Multidisciplinary Topics

• Dimitrios Antos, Celso de Melo, Jonathan Gratch, Barbara J. Grosz:
  The Influence of Emotion Expression on Perceptions of Trustworthiness in Negotiation.
  
• Yoon-Sik Cho, Greg Ver Steeg, Aram Galstyan:
  Co-Evolution of Selection and Influence in Social Networks.
  
• Esra Erdem, Yelda Erdem, Halit Erdogan, Umut Öztok:
  Finding Answers and Generating Explanations for Complex Biomedical Queries.
  
• Lukasz Kaiser, Lukasz Stafiniak:
  First-Order Logic with Counting for General Game Playing.
  
• Sungjin Lee, Hyungjong Noh, Kyusong Lee, Gary Geunbae Lee:
  Grammatical Error Detection for Corrective Feedback Provision in Oral Conversations.
  
• Wu-Jun Li, Dit-Yan Yeung:
  Social Relations Model for Collaborative Filtering.
  
• Raz Lin, Sarit Kraus, Noa Agmon, Samuel Barrett, Peter Stone:
  Comparing Agents' Success against People in Security Domains.
  
• Martin Michalowski, Mark Boddy, Mike Neilsen:
  Bayesian Learning of Generalized Board Positions for Improved Move Prediction in Computer Go.
  
• Wei Pan, Nadav Aharony, Alex Pentland:
  Composite Social Network for Predicting Mobile Apps Installation.
  
• Marco Ragni, Sven Brüssow:
  Human Spatial Relational Reasoning: Processing Demands, Representations, and Cognitive Model.
  
• Kenneth Wingate Regan, Guy McCrossan Haworth:
  Intrinsic Chess Ratings.
  
• Ji Ruan, Michael Thielscher:
  The Epistemic Logic Behind the Game Description Language.
  
• Stephan Schiffel, Michael Thielscher:
  Reasoning About General Games Described in GDL-II.
  
• Xiaojin Zhu, Bryan R. Gibson, Timothy T. Rogers:
  Co-Training as a Human Collaboration Policy.
  

Natural Language Processing

• David L. Chen, Raymond J. Mooney:
  Learning to Interpret Natural Language Navigation Instructions from Observations.
  
• Songjian Chen, Yabo Xu, Huiyou Chang:
  A Simple and Effective Unsupervised Word Segmentation Approach.
  
• Jennifer Chu-Carroll, James Fan:
  Leveraging Wikipedia Characteristics for Search and Candidate Generation in Question Answering.
  
• Amit Goyal, Hal Daumé III:
  Lossy Conservative Update (LCU) Sketch: Succinct Approximate Count Storage.
  
• Samer Hassan, Rada Mihalcea:
  Semantic Relatedness Using Salient Semantic Analysis.
  
• Tao Liu, Xiaoyong Du, Yong-Dong Xu, Minghui Li, Xiaolong Wang:
  Partially Supervised Text Classification with Multi-Level Examples.
  
• Xiaohua Liu, Kuan Li, Ming Zhou, Zhongyang Xiong:
  Enhancing Semantic Role Labeling for Tweets Using Self-Training.
  
• Tahira Naseem, Regina Barzilay:
  Using Semantic Cues to Learn Syntax.
  
• Vahed Qazvinian, Dragomir R. Radev:
  Exploiting Phase Transition in Latent Networks for Clustering.
  
• Chao Shen, Tao Li, Chris H. Q. Ding:
  Integrating Clustering and Multi-Document Summarization by Bi-Mixture Probabilistic Latent Semantic Analysis (PLSA) with Sentence Bases.
  
• Jun Sun, Min Zhang, Chew Lim Tan:
  Tree Sequence Kernel for Natural Language.
  
• Kristian Woodsend, Mirella Lapata:
  WikiSimple: Automatic Simplification of Wikipedia Articles.
  
• Zhongwu Zhai, Bing Liu, Lei Zhang, Hua Xu, Peifa Jia:
  Identifying Evaluative Sentences in Online Discussions.
  

Reasoning about Plans, Processes, and Actions

• Ronen I. Brafman, Carmel Domshlak, Yagil Engel, Zohar Feldman:
  Planning for Operational Control Systems with Predictable Exogenous Events.
  
• Alexandra Coman, Hector Muñoz-Avila:
  Generating Diverse Plans Using Quantitative and Qualitative Plan Distance Metrics.
  
• Tom Erez, Julian J. Tramper, William D. Smart, Stan C. A. M. Gielen:
  A POMDP Model of Eye-Hand Coordination.
  
• Christopher W. Geib, Robert P. Goldman:
  Recognizing Plans with Loops Represented in a Lexicalized Grammar.
  
• Moritz Göbelbecker, Charles Gretton, Richard Dearden:
  A Switching Planner for Combined Task and Observation Planning.
  
• Peter Gregory, Derek Long, Craig McNulty, Susan M. Murphy:
  Exploiting Path Refinement Abstraction in Domain Transition Graphs.
  
• Richard Hoshino, Ken-ichi Kawarabayashi:
  The Inter-League Extension of the Traveling Tournament Problem and its Application to Sports Scheduling.
  
• Tatsuya Imai, Akihiro Kishimoto:
  A Novel Technique for Avoiding Plateaus of Greedy Best-First Search in Satisficing Planning.
  
• Peter Kissmann, Stefan Edelkamp:
  Improving Cost-Optimal Domain-Independent Symbolic Planning.
  
• Hoang-Khoi Nguyen, Dang-Vien Tran, Tran Cao Son, Enrico Pontelli:
  On Improving Conformant Planners by Analyzing Domain-Structures.
  
• Nir Pochter, Aviv Zohar, Jeffrey S. Rosenschein:
  Exploiting Problem Symmetries in State-Based Planners.
  
• Siddharth Srivastava, Shlomo Zilberstein, Neil Immerman, Hector Geffner:
  Qualitative Numeric Planning.
  
• Florent Teichteil-Königsbuch, Vincent Vidal, Guillaume Infantes:
  Extending Classical Planning Heuristics to Probabilistic Planning with Dead-Ends.
  
• Son Thanh To, Tran Cao Son, Enrico Pontelli:
  Conjunctive Representations in Contingent Planning: Prime Implicates Versus Minimal CNF Formula.
  

Reasoning under Uncertainty

• Jaesik Choi, Rodrigo de Salvo Braz, Hung H. Bui:
  Efficient Methods for Lifted Inference with Aggregate Factors.
  
• Justin Domke:
  Dual Decomposition for Marginal Inference.
  
• Andrew Gelfand, Kalev Kask, Rina Dechter:
  Stopping Rules for Randomized Greedy Triangulation Schemes.
  
• Chloe Kiddon, Pedro Domingos:
  Coarse-to-Fine Inference and Learning for First-Order Probabilistic Models.
  
• Brandon M. Malone, Changhe Yuan, Eric A. Hansen:
  Memory-Efficient Dynamic Programming for Learning Optimal Bayesian Networks.
  
• Shulamit Reches, Meir Kalech, Rami Stern:
  When to Stop? That Is the Question.
  
• Parag Singla, Raymond J. Mooney:
  Abductive Markov Logic for Plan Recognition.
  
• Özgür Sümer, Umut A. Acar, Alexander T. Ihler, Ramgopal R. Mettu:
  Fast Parallel and Adaptive Updates for Dual-Decomposition Solvers.
  
• Yifeng Zeng, Prashant Doshi, Yinghui Pan, Hua Mao, Muthukumaran Chandrasekaran, Jian Luo:
  Utilizing Partial Policies for Identifying Equivalence of Behavioral Models.
  

Robotics

• Noa Agmon, Daniel Urieli, Peter Stone:
  Multiagent Patrol Generalized to Complex Environmental Conditions.
  
• Nicola Basilico, Nicola Gatti:
  Automated Abstractions for Patrolling Security Games.
  
• Robert Cohn, Edmund H. Durfee, Satinder P. Singh:
  Comparing Action-Query Strategies in Semi-Autonomous Agents.
  
• Jochen Eisner, Stefan Funke, Sabine Storandt:
  Optimal Route Planning for Electric Vehicles in Large Networks.
  
• Daniel Damir Harabor, Alban Grastien:
  Online Graph Pruning for Pathfinding On Grid Maps.
  
• Kyle Klein, Subhash Suri:
  Complete Information Pursuit Evasion in Polygonal Environments.
  
• Paul Vernaza, Daniel D. Lee:
  Learning Dimensional Descent for Optimal Motion Planning in High-dimensional Spaces.
  

Special Track on AI and the Web

• Yi Chang, Ruiqiang Zhang, Srihari Reddy, Yan Liu:
  Detecting Multilingual and Multi-Regional Query Intent in Web Search.
  
• Weizhu Chen, Zhanglong Ji, Si Shen, Qiang Yang:
  A Whole Page Click Model to Better Interpret Search Engine Click Data.
  
• Justin Cranshaw, Jonathan Mugan, Norman M. Sadeh:
  User-Controllable Learning of Location Privacy Policies With Gaussian Mixture Models.
  
• Peng Dai, Mausam, Daniel S. Weld:
  Artificial Intelligence for Artificial Artificial Intelligence.
  
• Jianfeng Du, Guilin Qi, Yi-Dong Shen, Jeff Z. Pan:
  Towards Practical ABox Abduction in Large OWL DL Ontologies.
  
• Ron Eyal, Sarit Kraus, Avi Rosenfeld:
  Identifying Missing Node Information in Social Networks.
  
• Alejandro Figueroa, John Atkinson:
  Maximum Entropy Context Models for Ranking Biographical Answers to Open-Domain Definition Questions.
  
• Andrew S. Gordon, Cosmin Adrian Bejan, Kenji Sagae:
  Commonsense Causal Reasoning Using Millions of Personal Stories.
  
• Luheng He, Nathan Nan Liu, Qiang Yang:
  Active Dual Collaborative Filtering with Both Item and Attribute Feedback.
  
• Qixia Jiang, Maosong Sun:
  Fast Query Recommendation by Search.
  
• Eirini Kaldeli, Alexander Lazovik, Marco Aiello:
  Continual Planning with Sensing for Web Service Composition.
  
• Shamanth Kumar, Reza Zafarani, Huan Liu:
  Understanding User Migration Patterns in Social Media.
  
• Edith Law, Haoqi Zhang:
  Towards Large-Scale Collaborative Planning: Answering High-Level Search Queries Using Human Computation.
  
• Freddy Lécué:
  Personalizing Your Web Services with Constructive DL Reasoning Join.
  
• Guanfeng Liu, Yan Wang, Mehmet A. Orgun:
  Trust Transitivity in Complex Social Networks.
  
• Hengjie Song, Chunyan Miao, Zhiqi Shen:
  Generating True Relevance Labels in Chinese Search Engine Using Clickthrough Data.
  
• Nguyen Tuan Duc, Danushka Bollegala, Mitsuru Ishizuka:
  Cross-Language Latent Relational Search: Mapping Knowledge across Languages.
  
• Tony Veale, Guofu Li:
  Creative Introspection and Knowledge Acquisition.
  
• Shuaiqiang Wang, Byron J. Gao, Ke Wang, Hady Wirawan Lauw:
  CCRank: Parallel Learning to Rank with Cooperative Coevolution.
  
• Wei Wei, Gao Cong, Xiaoli Li, See-Kiong Ng, Guohui Li:
  Integrating Community Question and Answer Archives.
  
• Shanchan Wu, Tamer Elsayed, William Rand, Louiqa Raschid:
  Predicting Author Blog Channels with High Value Future Posts for Monitoring.
  
• Guandong Xu, Yanhui Gu, Peter Dolog, Yanchun Zhang, Masaru Kitsuregawa:
  SemRec: A Semantic Enhancement Framework for Tag Based Recommendation.
  
• Lichun Yang, Shenghua Bao, Qingliang Lin, Xian Wu, Dingyi Han, Zhong Su, Yong Yu:
  Analyzing and Predicting Not-Answered Questions in Community-based Question Answering Services.
  
• Dawei Yin, Liangjie Hong, Zhenzhen Xue, Brian D. Davison:
  Temporal Dynamics of User Interests in Tagging Systems.
  
• Yasuhisa Yoshida, Tsutomu Hirao, Tomoharu Iwata, Masaaki Nagata, Yuji Matsumoto:
  Transfer Learning for Multiple-Domain Sentiment Analysis - Identifying Domain Dependent/Independent Word Polarity.
  
• Xianchao Zhang, You Wang, Nan Mou, Wenxin Liang:
  Propagating Both Trust and Distrust with Target Differentiation for Combating Web Spam.
  
• Tom Chao Zhou, Chin-Yew Lin, Irwin King, Michael R. Lyu, Young-In Song, Yunbo Cao:
  Learning to Suggest Questions in Online Forums.
  
• Yin Zhu, Yuqiang Chen, Zhongqi Lu, Sinno Jialin Pan, Gui-Rong Xue, Yong Yu, Qiang Yang:
  Heterogeneous Transfer Learning for Image Classification.
  

Special Track on Computational Sustainability and AI

• Jim Apple, Paul Chang, Aran Clauson, Heidi E. Dixon, Hiba Fakhoury, Matthew L. Ginsberg, Erin Keenan, Alex Leighton, Kevin Scavezze, Bryan Smith:
  Green Driver: AI in a Microcosm.
  
• Tsz-Chiu Au, Neda Shahidi, Peter Stone:
  Enforcing Liveness in Autonomous Traffic Management.
  
• Mark Crowley, David Poole:
  Policy Gradient Planning for Environmental Decision Making with Existing Simulators.
  
• Daniel Golovin, Andreas Krause, Beth Gardner, Sarah J. Converse, Steve Morey:
  Dynamic Resource Allocation in Conservation Planning.
  
• Rhonda Hoenigman, Elizabeth Bradley, Nichole Barger:
  Water Conservation Through Facilitation on Residential Landscapes.
  
• Rebecca A. Hutchinson, Li-Ping Liu, Thomas G. Dietterich:
  Incorporating Boosted Regression Trees into Ecological Latent Variable Models.
  
• J. Zico Kolter, Joseph Ferreira:
  A Large-Scale Study on Predicting and Contextualizing Building Energy Usage.
  
• Katherine J. Lai, Carla P. Gomes, Michael K. Schwartz, Kevin S. McKelvey, David E. Calkin, Claire A. Montgomery:
  The Steiner Multigraph Problem: Wildlife Corridor Design for Multiple Species.
  
• Hui Li, Brian Williams:
  Hybrid Planning with Temporally Extended Goals for Sustainable Ocean Observing.
  
• Alie El-Din Mady, Gregory Provan, Conor Ryan, Kenneth N. Brown:
  Stochastic Model Predictive Controller for the Integration of Building Use and Temperature Regulation.
  
• Marek Petrik, Shlomo Zilberstein:
  Linear Dynamic Programs for Resource Management.
  
• Steven Phillips, Jane Elith:
  Logistic Methods for Resource Selection Functions and Presence-Only Species Distribution Models.
  
• John Alexander Quinn, Kevin Leyton-Brown, Ernest Mwebaze:
  Modeling and Monitoring Crop Disease in Developing Countries.
  
• Prashant P. Reddy, Manuela M. Veloso:
  Learned Behaviors of Multiple Autonomous Agents in Smart Grid Markets.
  
• Martin Sachenbacher, Martin Leucker, Andreas Artmeier, Julian Haselmayr:
  Efficient Energy-Optimal Routing for Electric Vehicles.
  
• Ganesh Ram Santhanam, Yuly Suvorov, Samik Basu, Vasant Honavar:
  Verifying Intervention Policies to Counter Infection Propagation over Networks: A Model Checking Approach.
  
• Naren Sundaravaradan, Debprakash Patnaik, Naren Ramakrishnan, Manish Marwah, Amip Shah:
  Discovering Life Cycle Assessment Trees from Impact Factor Databases.
  
• Thomas Voice, Perukrishnen Vytelingum, Sarvapali D. Ramchurn, Alex Rogers, Nicholas R. Jennings:
  Decentralised Control of Micro-Storage in the Smart Grid.
  

Special Track on Integrated Intelligence

• David Michael Barbella, Kenneth D. Forbus:
  Analogical Dialogue Acts: Supporting Learning by Reading Analogies in Instructional Texts.
  
• Ben Goertzel, Joel Pitt, Jared Wigmore, Nil Geisweiller, Zhenhua Cai, Ruiting Lian, Deheng Huang, Gino Yu:
  Cognitive Synergy between Procedural and Declarative Learning in the Control of Animated and Robotic Agents Using the OpenCogPrime AGI Architecture.
  
• Jonathan Yasuo Ito, Stacy Marsella:
  Contextually-Based Utility: An Appraisal-Based Approach at Modeling Framing and Decisions.
  
• Joseph Z. Xu, John E. Laird:
  Combining Learned Discrete and Continuous Action Models.
  
• Su Yan, W. Scott Spangler, Ying Chen:
  Cross Media Entity Extraction and Linkage for Chemical Documents.
  

Special Track on New Scientific and Technical Advances in Research

• Saleema Amershi, James Fogarty, Ashish Kapoor, Desney S. Tan:
  Effective End-User Interaction with Machine Learning.
  
• Nimar S. Arora, Stuart J. Russell, Paul Kidwell, Erik B. Sudderth:
  Global Seismic Monitoring: A Bayesian Approach.
  
• Ronen I. Brafman, Enrico Pilotto, Francesca Rossi, Domenico Salvagnin, Kristen Brent Venable, Toby Walsh:
  The Next Best Solution.
  
• Andrea Calì, Georg Gottlob, Andreas Pieris:
  New Expressive Languages for Ontological Query Answering.
  
• Nicolò Cesa-Bianchi, Shai Shalev-Shwartz, Ohad Shamir:
  Quantity Makes Quality: Learning with Partial Views.
  
• Sampath Kameshwaran, Sameep Mehta, Vinayaka Pandit:
  Design and Analysis of Value Creation Networks.
  
• Maithilee Kunda, Keith McGreggor, Ashok K. Goel:
  Two Visual Strategies for Solving the Raven's Progressive Matrices Intelligence Test.
  
• Jaeyoung Park, Kee-Eung Kim, Yoon-Kyu Song:
  A POMDP-Based Optimal Control of P300-Based Brain-Computer Interfaces.
  
• Jussi Rintanen:
  Planning with Specialized SAT Solvers.
  
• Siddharth Srivastava, Neil Immerman, Shlomo Zilberstein:
  Termination and Correctness Analysis of Cyclic Control.
  
• Paolo Viappiani, Craig Boutilier:
  Recommendation Sets and Choice Queries: There Is No Exploration/Exploitation Tradeoff!
  
• Weng-Keen Wong, Ian Oberst, Shubhomoy Das, Travis Moore, Simone Stumpf, Kevin McIntosh, Margaret M. Burnett:
  End-User Feature Labeling via Locally Weighted Logistic Regression.
  

Special Track on Physically Grounded AI

• Brian Coltin, Manuela M. Veloso:
  Multi-Observation Sensor Resetting Localization with Ambiguous Landmarks.
  
• George Konidaris, Scott Kuindersma, Roderic A. Grupen, Andrew G. Barto:
  Autonomous Skill Acquisition on a Mobile Manipulator.
  
• Kevin Lai, Liefeng Bo, Xiaofeng Ren, Dieter Fox:
  A Scalable Tree-Based Approach for Joint Object and Pose Recognition.
  
• Wenzhe Li, Tracy Anne Hammond:
  Recognizing Text Through Sound Alone.
  
• Ifeoma Nwogu, Yingbo Zhou, Christopher Brown:
  DISCO: Describing Images Using Scene Contexts and Objects.
  
• Simon Timothy O'Callaghan, Fabio T. Ramos:
  Continuous Occupancy Mapping with Integral Kernels.
  
• Stephanie Rosenthal, Manuela M. Veloso, Anind K. Dey:
  Learning Accuracy and Availability of Humans Who Help Mobile Robots.
  
• Stefanie Tellex, Thomas Kollar, Steven Dickerson, Matthew R. Walter, Ashis Gopal Banerjee, Seth J. Teller, Nicholas Roy:
  Understanding Natural Language Commands for Robotic Navigation and Mobile Manipulation.
  
• Zhikun Wang, Abdeslam Boularias, Katharina Mülling, Jan Peters:
  Balancing Safety and Exploitability in Opponent Modeling.
  
• David Wilkie, Jur P. van den Berg, Ming C. Lin, Dinesh Manocha:
  Self-Aware Traffic Route Planning.
  

AAAI / SIGART Doctoral Consortium

• Forrest Sheng Bao:
  The AC(C) Language: Integrating Answer Set Programming and Constraint Logic Programming.
  
• Niyati Chhaya:
  Joint Inference for Extracting Text Descriptors from Triage Images of Mass Disaster Victims.
  
• Maria Viviane de Menezes, Leliane Nunes de Barros:
  Model Update for Automated Planning.
  
• Nate Derbinsky:
  Long-Term Declarative Memory for Generally Intelligent Agents.
  
• Hoda Eldardiry:
  Ensemble Classification for Relational Domains.
  
• Benjamin M. Gordon:
  Developing a Language for Spoken Programming.
  
• Yasaman Haghpanah:
  A Probabilistic Trust and Reputation Model for Supply Chain Management.
  
• Rhonda Hoenigman:
  Designing Water Efficient Residential Landscapes with Agent-Based Modeling.
  
• Annie Priyadarshini Louis:
  Predicting Text Quality for Scientific Articles.
  
• Liam MacDermed:
  Scaling Up Game Theory: Achievable Set Methods for Efficiently Solving Stochastic Games of Complete and Incomplete Information.
  
• Nir Pochter:
  Pruning Techniques in Search and Planning.
  
• Srinath Ravindran:
  Learning with Imprecise Classes, Rare Instances, and Complex Relationships.
  
• Marc Spraragen:
  Modeling the Effects of Emotion on Cognition.
  
• Jeremy Stober:
  Learning Sensor, Space and Object Geometry.
  
• Jens Witkowski:
  Incentive-Compatible Trust Mechanisms.
  

Student Abstracts and Posters

• Philip Bachman, Doina Precup:
  Learning Compact Representations of Time-Varying Processes.
  
• Chris Colin Baillie, Peter Edwards, Edoardo Pignotti:
  Assessing Quality in the Web of Linked Sensor Data.
  
• Forrest Sheng Bao, Zhizheng Zhang, Yuanlin Zhang:
  Medical Treatment Conflict Resolving in Answer Set Programming.
  
• Elias Bareinboim, Judea Pearl:
  Controlling Selection Bias in Causal Inference.
  
• Joseph Kelly Barker, Richard E. Korf:
  Solving 4x5 Dots-And-Boxes.
  
• Samuel Barrett, Peter Stone:
  Ad Hoc Teamwork in Variations of the Pursuit Domain.
  
• Navid Bazzazzadeh, Benedikt Brors, Roland Eils:
  Reconstructing the Stochastic Evolution Diagram of Dynamic Complex Systems.
  
• Francis Bisson, Froduald Kabanza, Abder Rezak Benaskeur, Hengameh Irandoust:
  Provoking Opponents to Facilitate the Recognition of their Intentions.
  
• Shayok Chakraborty, Vineeth Nallure Balasubramanian, Sethuraman Panchanathan:
  Dynamic Batch Mode Active Learning via L1 Regularization.
  
• Simon Chamberland, Froduald Kabanza:
  Heuristic Planning in Adversarial Dynamic Domains.
  
• Hung-Che Chen, Jyh-Da Wei:
  Using Neural Networks for Evaluation in Heuristic Search Algorithm.
  
• Jessica Elan Chung, Eni Mustafaraj:
  Can Collective Sentiment Expressed on Twitter Predict Political Elections?
  
• Christian Drescher, Toby Walsh:
  Conflict-Driven Constraint Answer Set Solving with Lazy Nogood Generation.
  
• Yolanda E.-Martín, María Dolores Rodríguez-Moreno, David E. Smith:
  Probabilistic Plan Graph Heuristic for Probabilistic Planning.
  
• Yifan Fu, Xingquan Zhu:
  Optimal Subset Selection for Active Learning.
  
• Katsuhide Fujita, Takayuki Ito, Mark Klein:
  Efficient Issue-Grouping Approach for Multi-Issues Negotiation between Exaggerator Agents.
  
• Jian Gao, Minghao Yin, Junping Zhou:
  Hybrid Tractable Classes of Binary Quantified Constraint Satisfaction Problems.
  
• Katie Long Genter, Noa Agmon, Peter Stone:
  Role-Based Ad Hoc Teamwork.
  
• Aman Goel, Craig A. Knoblock, Kristina Lerman:
  Using Conditional Random Fields to Exploit Token Structure and Labels for Accurate Semantic Annotation.
  
• Ting Guo, Zhanshan Li, Ruizhi Guo, Xingquan Zhu:
  Large Scale Diagnosis Using Associations between System Outputs and Components.
  
• Yanmei Hu, Minghao Yin, Dunbo Cai:
  On the Discovery and Utility of Precedence Constraints in Temporal Planning.
  
• Ping Huang, Minghao Yin, Ke Xu:
  Exact Phase Transitions and Approximate Algorithm of #CSP.
  
• Daniel Andrew Huntley, Vadim Bulitko:
  Extending the Applications of Recent Real-Time Heuristic Search.
  
• I-Hong Jhuo, D. T. Lee:
  Multiple-Instance Learning: Multiple Feature Selection on Instance Representation.
  
• Michael Joya:
  An Event-Based Framework for Process Inference.
  
• Philip Koonce, Vasha Dutell, Jose Farrington, Vladimir Sukhoy, Alexander Stoytchev:
  Toward Learning to Solve Insertion Tasks: A Developmental Approach Using Exploratory Behaviors and Proprioception.
  
• Levi Lelis, Sandra Zilles, Robert C. Holte:
  Time Complexity of Iterative-Deepening A*: The Informativeness Pathology (Abstract).
  
• Guohua Liang, Xingquan Zhu, Chengqi Zhang:
  An Empirical Study of Bagging Predictors for Different Learning Algorithms.
  
• Ryan Luna, Kostas E. Bekris:
  An Efficient and Complete Approach for Cooperative Path-Finding.
  
• Umut Öztok, Esra Erdem:
  Generating Explanations for Complex Biomedical Queries.
  
• Bogdan Pogorelc:
  An Intelligent System for Prolonging Independent Living of Elderly.
  
• Baojun Qiu, Qi He, John Yen:
  Evolution of Node Behavior in Link Prediction.
  
• Crystal Redman:
  Web Personalization and Cohort Information Services for Natural Resource Managers.
  
• Ethan L. Schreiber, Richard E. Korf:
  Using Partitions and Superstrings for Lossless Compression of Pattern Databases.
  
• Aram Ter-Sarkisov, Stephen R. Marsland:
  Convergence Properties of (μ + λ) Evolutionary Algorithms.
  
• Son Thanh To, Tran Cao Son, Enrico Pontelli:
  On the Effectiveness of Belief State Representation in Contingent Planning.
  
• Nikolaos Tziortziotis, Konstantinos Blekas:
  A Bayesian Reinforcement Learning framework Using Relevant Vector Machines.
  
• Jingsong Wang, Marco Valtorta:
  A Framework for Integration of Logical and Probabilistic Knowledge.
  
• Ko-Hsin Cindy Wang, Adi Botea, Philip Kilby:
  Solution Quality Improvements for Massively Multi-Agent Pathfinding.
  
• Qing Wang, Liang Zhang:
  Online Updating the Generalized Inverse of Centered Matrices.
  
• Zhikun Wang, Abdeslam Boularias, Katharina Mülling, Jan Peters:
  Modeling Opponent Actions for Table-Tennis Playing Robot.
  
• Robert J. Woodward, Shant Karakashian, Berthe Y. Choueiry, Christian Bessiere:
  Adaptive Neighborhood Inverse Consistency as Lookahead for Non-Binary CSPs.
  
• Fan Xie, Hootan Nakhost, Martin Müller:
  A Local Monte Carlo Tree Search Approach in Deterministic Planning.
  
• Xiaoxi Xu:
  Discovering Latent Strategies.
  

Robotics Program

• Baris Akgun, Kaushik Subramanian, Jaeeun Shim, Andrea Lockerd Thomaz:
  Learning Tasks and Skills Together From a Human Teacher.
  
• Zachary Dodds:
  Can Quadrotors Succeed as an Educational Platform?
  
• Michael Ferguson, Kim Gero, Joao Salles, James Weis:
  Playing Chess with a Human-Scale Mobile Manipulator.
  
• Stephan Goebel, Ruben Jubeh, Simon-Lennert Raesch:
  A Robotics Environment for Software Engineering Courses.
  
• Michael Lanighan, Jerod Sikorskyj, Debra T. Burhans, Robert Selkowitz:
  Lego Plays Chess: A Low-Cost, Low-Complexity Approach to Intelligent Robotics.
  
• Juan Pablo Munoz, Arif T. Ozgelen, Elizabeth Sklar:
  Learning from Demonstration in Spatial Exploration.
  
• Arif T. Ozgelen, Michael Costantino, Adiba Ishak, Moses Kingston, Diquan Moore, Samuel Sanchez, Juan Pablo Munoz, Simon Parsons, Elizabeth Sklar:
  Approaches to Multi-Robot Exploration and Localization.
  
• Kim Wheeler, Robin Knight, Collin Horvat, Daniel Packard, Casey Kuhns, Brent Wilkins, Robert Shiely:
  Hekateros: A Desktop 5 Degree-of-Freedom Robot Arm for the Small-Scale Manipulation Robot Chess Challenge.
  

Last update Sun May 19 21:18:33 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page