• Skip to main content
  • Skip to primary sidebar
AAAI

AAAI

Association for the Advancement of Artificial Intelligence

    • AAAI

      AAAI

      Association for the Advancement of Artificial Intelligence

  • About AAAIAbout AAAI
    • AAAI Officers and Committees
    • AAAI Staff
    • Bylaws of AAAI
    • AAAI Awards
      • Fellows Program
      • Classic Paper Award
      • Dissertation Award
      • Distinguished Service Award
      • Allen Newell Award
      • Outstanding Paper Award
      • Award for Artificial Intelligence for the Benefit of Humanity
      • Feigenbaum Prize
      • Patrick Henry Winston Outstanding Educator Award
      • Engelmore Award
      • AAAI ISEF Awards
      • Senior Member Status
      • Conference Awards
    • AAAI Resources
    • AAAI Mailing Lists
    • Past AAAI Presidential Addresses
    • Presidential Panel on Long-Term AI Futures
    • Past AAAI Policy Reports
      • A Report to ARPA on Twenty-First Century Intelligent Systems
      • The Role of Intelligent Systems in the National Information Infrastructure
    • AAAI Logos
    • News
  • aaai-icon_ethics-diversity-line-yellowEthics & Diversity
  • Conference talk bubbleConferences & Symposia
    • AAAI Conference
    • AIES AAAI/ACM
    • AIIDE
    • IAAI
    • ICWSM
    • HCOMP
    • Spring Symposia
    • Summer Symposia
    • Fall Symposia
    • Code of Conduct for Conferences and Events
  • PublicationsPublications
    • AAAI Press
    • AI Magazine
    • Conference Proceedings
    • AAAI Publication Policies & Guidelines
    • Request to Reproduce Copyrighted Materials
  • aaai-icon_ai-magazine-line-yellowAI Magazine
    • Issues and Articles
    • Author Guidelines
    • Editorial Focus
  • MembershipMembership
    • Member Login
    • Developing Country List
    • AAAI Chapter Program

  • Career CenterCareer Center
  • aaai-icon_ai-topics-line-yellowAITopics
  • aaai-icon_contact-line-yellowContact

Home / Conferences / AAAI Conference on Artificial Intelligence / AAAI-10: Twenty-Fourth Conference on Artificial Intelligence /

AAAI-10: AAAI 2010 Accepted Papers

January 29, 2023

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

Categories: 2010, aaai

Primary Sidebar

We use cookies on our website to give you the most relevant experience by remembering your preferences and repeat visits. By clicking “Accept All”, you consent to the use of ALL the cookies. However, you may visit "Cookie Settings" to provide a controlled consent.
Cookie SettingsAccept All
Manage consent

Privacy Overview

This website uses cookies to improve your experience while you navigate through the website. Out of these, the cookies that are categorized as necessary are stored on your browser as they are essential for the working of basic functionalities of the website. We also use third-party cookies that help us analyze and understand how you use this website. These cookies will be stored in your browser only with your consent. You also have the option to opt-out of these cookies. But opting out of some of these cookies may affect your browsing experience.
Necessary
Always Enabled
Necessary cookies are absolutely essential for the website to function properly. These cookies ensure basic functionalities and security features of the website, anonymously.
CookieDurationDescription
cookielawinfo-checkbox-analytics11 monthsThis cookie is set by GDPR Cookie Consent plugin. The cookie is used to store the user consent for the cookies in the category "Analytics".
cookielawinfo-checkbox-functional11 monthsThe cookie is set by GDPR cookie consent to record the user consent for the cookies in the category "Functional".
cookielawinfo-checkbox-necessary11 monthsThis cookie is set by GDPR Cookie Consent plugin. The cookies is used to store the user consent for the cookies in the category "Necessary".
cookielawinfo-checkbox-others11 monthsThis cookie is set by GDPR Cookie Consent plugin. The cookie is used to store the user consent for the cookies in the category "Other.
cookielawinfo-checkbox-performance11 monthsThis cookie is set by GDPR Cookie Consent plugin. The cookie is used to store the user consent for the cookies in the category "Performance".
viewed_cookie_policy11 monthsThe cookie is set by the GDPR Cookie Consent plugin and is used to store whether or not user has consented to the use of cookies. It does not store any personal data.
Functional
Functional cookies help to perform certain functionalities like sharing the content of the website on social media platforms, collect feedbacks, and other third-party features.
Performance
Performance cookies are used to understand and analyze the key performance indexes of the website which helps in delivering a better user experience for the visitors.
Analytics
Analytical cookies are used to understand how visitors interact with the website. These cookies help provide information on metrics the number of visitors, bounce rate, traffic source, etc.
Advertisement
Advertisement cookies are used to provide visitors with relevant ads and marketing campaigns. These cookies track visitors across websites and collect information to provide customized ads.
Others
Other uncategorized cookies are those that are being analyzed and have not been classified into a category as yet.
SAVE & ACCEPT