24. AAAI 2010: Atlanta, Georgia, USA

Constraints, Satisfiability, and Search

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

Knowledge-Based Information Systems

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

Knowledge Representation and Reasoning

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

Machine Learning

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

Multiagent Systems

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

Multidisciplinary Topics

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

Natural-Language Processing

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

Reasoning about Plans, Processes and Actions

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

Reasoning Under Uncertainty

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

Robotics

• Nicola Basilico, Nicola Gatti, Federico Villa:
  Asynchronous Multi-Robot Patrolling against Intrusions in Arbitrary Topologies.
  
• Subhrajit Bhattacharya:
  Search-Based Path Planning with Homotopy Class Constraints.
  
• Takuma Otsuka, Kazuhiro Nakadai, Toru Takahashi, Kazunori Komatani, Tetsuya Ogata, Hiroshi G. Okuno:
  Design and Implementation of Two-level Synchronization for Interactive Music Robot.
  
• Jia Pan, Christian Lauterbach, Dinesh Manocha:
  g-Planner: Real-time Motion Planning and Global Navigation using GPUs.
  
• Stephen Tully, George Kantor, Howie Choset:
  A Single-Step Maximum A Posteriori Update for Bearing-Only SLAM.
  

Short Papers

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

AI and Bioinformatics Special Track

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

AI and the Web Special Track

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

Challenges in AI Special Track

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

Integrated Intelligence Special Track

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

Physically Grounded AI Special Track

• Jordan Frank, Shie Mannor, Doina Precup:
  Activity and Gait Recognition with Time-Delay Embeddings.
  
• Joshua Mason Joseph, Finale Doshi-Velez, Nicholas Roy:
  A Bayesian Nonparametric Approach to Modeling Mobility Patterns.
  
• Çetin Meriçli, Manuela M. Veloso:
  Biped Walk Learning Through Playback and Corrective Demonstration.
  
• Daniel Peebles, Hong Lu, Nicholas D. Lane, Tanzeem Choudhury, Andrew T. Campbell:
  Community-Guided Learning: Exploiting Mobile Sensor Users to Model Human Behavior.
  
• Jan Peters, Katharina Mülling, Yasemin Altun:
  Relative Entropy Policy Search.
  
• Jivko Sinapov, Alexander Stoytchev:
  The Boosting Effect of Exploratory Behaviors.
  
• Dezhen Song, Yiliang Xu:
  A Low False Negative Filter for Detecting Rare Bird Species from Short Video Segments using a Probable Observation Data Set-based EKF Method.
  
• Luciano Spinello, Kai Oliver Arras, Rudolph Triebel, Roland Siegwart:
  A Layered Approach to People Detection in 3D Range Data.
  
• Muralikrishna Sridhar, Anthony G. Cohn, David C. Hogg:
  Unsupervised Learning of Event Classes from Video.
  
• Seung-Joon Yi, Byoung-Tak Zhang, Daniel D. Lee:
  Online Learning of Uneven Terrain for Humanoid Bipedal Walking.
  
• Ji Zhang, Dezhen Song:
  Error Aware Monocular Visual Odometry using Vertical Line Pairs for Small Robots in Urban Areas.
  

New Scientific and Technical Advances in Research

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

Senior Member Papers

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

Student Abstracts

• Brent Beer, Ross Alan Mead, Jerry B. Weinberg:
  A Distributed Method for Evaluating Properties of a Robot Formation.
  
• Shanjun Cheng, Anita Raja, Victor R. Lesser:
  Towards Multiagent Meta-level Control.
  
• Halit Erdogan, Olivier Bodenreider, Esra Erdem:
  Finding Semantic Inconsistencies in UMLS using Answer Set Programming.
  
• Daniel S. Farenzena, Luís C. Lamb, Ricardo M. Araujo:
  Combining Human Reasoning and Machine Computation: Towards a Memetic Network Solution to Satisfiability.
  
• Shane Griffith, Alexander Stoytchev:
  Interactive Categorization of Containers and Non-Containers by Unifying Categorizations Derived from Multiple Exploratory Behaviors.
  
• Yasaman Haghpanah, Marie desJardins:
  A Trust Model for Supply Chain Management.
  
• Amal Chaminda Kaluarachchi, Aparna S. Varde, Jing Peng, Anna Feldman:
  Intelligent Time-Aware Query Translation for Text Sources.
  
• Serdar Kecici, Sanem Sariel Talay:
  Temporal Planning for Interacting Durative Actions with Continuous Effects.
  
• Scott Kuindersma:
  Control Model Learning for Whole-Body Mobile Manipulation.
  
• Chendong Li:
  Towards Interesting Patterns of Hard CSPs with Functional Constraints.
  
• Nan Li, William W. Cohen, Kenneth R. Koedinger:
  Integrating Transfer Learning in Synthetic Student.
  
• Pei-Pei Li, Xindong Wu, Xuegang Hu:
  Learning from Concept Drifting Data Streams with Unlabeled Data.
  
• Zhao Li, Xindong Wu:
  A Phrase-Based Method for Hierarchical Clustering of Web Snippets.
  
• Robert Louis Long, Ross Mead, Jerry B. Weinberg:
  Distributed Auction-Based Initialization of Mobile Robot Formations.
  
• James P. McGlothlin, Latifur R. Khan:
  Materializing Inferred and Uncertain Knowledge in RDF Datasets.
  
• Shiwali Mohan, John E. Laird:
  Relational Reinforcement Learning in Infinite Mario.
  
• Scott Niekum:
  Evolved Intrinsic Reward Functions for Reinforcement Learning.
  
• Robert G. Price, Scott D. Goodwin:
  Team Formation with Heterogeneous Agents in Computer Games.
  
• Hamid Haidarian Shahri:
  Semantic Search in Linked Data: Opportunities and Challenges.
  
• Kaushik Subramanian:
  Task Space Behavior Learning for Humanoid Robots using Gaussian Mixture Models.
  
• Tansel Uras, Esra Erdem:
  Genome Rearrangement: A Planning Approach.
  
• Liping Wu, Vladimir Sukhoy, Alexander Stoytchev:
  Toward Learning to Press Doorbell Buttons.
  
• Shuonan Dong:
  Interactive Task-Plan Learning.
  
• Finale Doshi-Velez:
  Nonparametric Bayesian Approaches for Reinforcement Learning in Partially Observable Domains.
  
• Tom Erez:
  Local Optimization for Simulation of Natural Motion.
  
• Pooyan Fazli:
  On Multi-Robot Area Coverage.
  
• Lisa Friedland:
  Detecting Social Ties and Copying Events from Affiliation Data.
  
• Sofia Lemons:
  Continual On-Line Planning.
  
• Michelle Denise Leonhardt:
  Enhancing Affective Communication in Embodied Conversational Agents.
  
• James MacGlashan:
  Hierarchical Skill Learning for High-Level Planning.
  
• Mehdi Hafezi Manshadi:
  Towards a Robust Deep Language Understanding System.
  
• James P. McGlothlin:
  Framework and Schema for Semantic Web Knowledge Bases.
  
• Megan M. Olsen:
  Multi-Agent Fault Tolerance Inspired by a Computational Analysis of Cancer.
  
• Ben George Weber:
  Integrating Expert Knowledge and Experience.
  
• Christopher Simpkins:
  Integrating Reinforcement Learning into a Programming Language.
  
• Lirong Xia:
  Computational Social Choice: Strategic and Combinatorial Aspects.
  

Last update Sat May 18 18:01:41 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page