• 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 / Proceedings / Proceedings of the AAAI Conference on Artificial Intelligence, 21 /

Technical Papers

Constraint Satisfaction and Satisfiability

  • A Quadratic Propagator for the Inter-Distance Constraint

    Claude-Guy Quimper, Alejandro Lopez-Ortiz, Gilles Pesant

    123

    PDF
  • Answer Sets for Logic Programs with Arbitrary Abstract Constraint Atoms

    Cao Son Tran, Enrico Pontelli, Phan Huy Tu

    129

    PDF
  • An Asymptotically Optimal Algorithm for the Max k-Armed Bandit Problem

    Matthew J. Streeter and Stephen F. Smith

    135

    PDF
  • Solving QBF by Combining Conjunctive and Disjunctive Normal Forms

    Lintao Zhang

    143

    PDF
  • The Impact of Balancing on Problem Hardness in a Highly Structured Domain

    Carlos Ansotegui, Ramon Bejar, Cesar Fernandez, Carla Gomes, Carles Mateu

    10

    PDF
  • Abstract Branching for Quantified Formulas

    Marco Benedetti

    16

    PDF
  • Exploiting Tree Decomposition and Soft Local Consistency In Weighted CSP

    Simon de Givry, Thomas Schiex, Gerard Verfaillie

    22

    PDF
  • Extending Dynamic Backtracking to Solve Weighted Conditional CSPs

    Robert T. Effinger Brian C. Williams

    28

    PDF
  • DNNF-based Belief State Estimation

    Paul H Elliott, Brian Williams

    36

    PDF
  • On the Use of Partially Ordered Decision Graphs in Knowledge Compilation and Quantified Boolean Formulae

    Helene Fargier, Pierre Marquis

    42

    PDF
  • Length-Lex Ordering for Set CSPs

    Pascal Van Hentenryck, Carmen Gervet

    48

    PDF
  • Model Counting: A New Strategy for Obtaining Good Bounds

    Carla P. Gomes, Ashish Sabharwal, Bart Selman

    54

    PDF
  • A BDD-Based Polytime Algorithm for Cost-Bounded Interactive Configuration

    Tarik Hadzic, Henrik Reif Andersen

    62

    PDF
  • New Inference Rules for Efficient Max-SAT Solving

    Heras Viaga Federico, Javier Larrosa

    68

    PDF
  • Simple Randomized Algorithms for Tractable Row and Tree Convex Constraints

    T. K. Satish Kumar

    74

    PDF
  • Weighted Constraint Satisfaction with Set Variables

    J.H.M. Lee, C.F.K. Siu

    80

    PDF
  • Detecting Disjoint Inconsistent Subformulas for Computing Lower Bounds for Max-SAT

    Chu-Min Li, Felip Manya, Jordi Planes

    86

    PDF
  • Fast SAT-based Answer Set Solver

    Zhijun Lin, Yuanlin Zhang, Hector Hernandez

    92

    PDF
  • Local-Search Techniques for Boolean Combinations of Pseudo-Boolean Constraints

    Lengning Liu, Miroslaw Truszczynski

    98

    PDF
  • Efficient Haplotype Inference with Boolean Satisfiability

    Ines Lynce, Joao Marques-Silva

    104

    PDF
  • Temporal Preference Optimization as Weighted Constraint Satisfaction

    Michael D. Moffitt, Martha E. Pollack

    110

    PDF
  • An Efficient Way of Breaking Value Symmetries

    Jean-Francois Puget

    117

    PDF

Human Computer Interaction and Cognitive Modeling

  • Classifying Learner Engagement through Integration of Multiple Data Sources

    Carole R Beal, Lei Qu, Hyokyeong Lee

    151

    PDF
  • Evaluating Critiquing-based Recommender Agents

    Li Chen, Pearl Pu

    157

    PDF
  • A Dynamic Mixture Model to Detect Student Motivation and Proficiency

    Jeff Johns, Beverly Woolf

    163

    PDF
  • Modeling Human Decision Making in Cliff-Edge Environments

    Ron Katz, Sarit Kraus

    169

    PDF
  • Using Anticipation to Create Believable Behaviour

    Carlos Martinho, Ana Paiva

    175

    PDF
  • Extracting Knowledge about Users’ Activities from Raw Workstation Contents

    Tom M. Mitchell, Sophie H. Wang, Yifen Huang, Adam Cheyer

    181

    PDF
  • Probabilistic Goal Recognition in Interactive Narrative Environments

    Bradford Mott, Sunyoung Lee, James Lester

    187

    PDF
  • Salience in Orientation-Filter Response Measured as Suspicious Coincidence in Natural Images

    Subramonia Sarma, Yoonsuck Choe

    193

    PDF
  • From Pigeons to Humans: Grounding Relational Learning in Concrete Examples

    Marc T. Tomlinson, Bradley C. Love

    199

    PDF
  • Evaluating Preference-based Search Tools: A Tale of Two Approaches

    Paolo Viappiani, Boi Faltings, and Pearl Pu

    205

    PDF

Knowledge Representation and Logic

  • Bounded Treewidth as a Key to Tractability of Knowledge Representation and Reasoning

    Georg Gottlob, Reinhard Pichler, Fang Wei

    250

    PDF
  • Belief Change in the Context of Fallible Actions and Observations

    Aaron Hunter, James P. Delgrande

    257

    PDF
  • Towards an Axiom System for Default Logic

    Gerhard Lakemeyer, Hector J. Levesque

    263

    PDF
  • Finding Maximally Satisfiable Terminologies for the Description Logic ALC

    Thomas Meyer, Kevin Lee, Richard Booth, Jeff Pan.

    269

    PDF
  • Characterizing Data Complexity for Conjunctive Query Answering in Expressive Description Logics

    Magdalena Ortiz, Diego Calvanese, and Thomas Eiter

    275

    PDF
  • Merging Stratified Knowledge Bases under Constraints

    Gulin Qi, Weiru Liu, David A. Bell

    281

    PDF
  • Reconciling Situation Calculus and Fluent Calculus

    Stephan Schiffel and Michael Thielscher

    287

    PDF
  • Classification Spanning Private Databases

    Ke Wang, Yabo Xu, Rong She, Philip S. Yu

    293

    PDF
  • On the Complexity of Linking Deductive and Abstract Argument Systems

    Michael Wooldridge, Paul E. Dunne, Simon Parsons

    299

    PDF
  • A Unified Knowledge Based Approach for Sense Disambiguation and Semantic Role Labeling

    Peter Z. Yeh, Bruce Porter, Ken Barker

    305

    PDF
  • Model-Checking Memory Requirements of Resource-Bounded Reasoners

    Alex Albore, Natasha Alechina, Piergiorgio Bertoli, Chiara Ghidini, Brian Logan, Luciano Serafini

    213

    PDF
  • Explaining Qualitative Decision under Uncertainty by Argumentation

    Leila Amgoud, Henri Prade

    219

    PDF
  • Compilation of Query-Rewriting Problems into Tractable Fragments of Propositional Logic

    Yolife Arvelo, Blai Bonet, Maria Esther Vidal

    225

    PDF
  • Goal Specification, Non-Determinism and Quantifying over Policies

    Chitta Baral, Jicheng Zhao

    231

    PDF
  • Forgetting and Conflict Resolving in Disjunctive Logic Programming

    Thomas Eiter, Kewen Wang

    238

    PDF
  • Elementary Sets of Logic Programs

    Martin Gebser, Joohyung Lee, Yuliya Lierler

    244

    PDF

Machine Learning

  • A Fast Decision Tree Learning Algorithm

    Jiang Su, Harry Zhang

    500

    PDF
  • Cross-Domain Knowledge Transfer Using Structured Representations

    Samarth Swarup, Sylvian R. Ray

    506

    PDF
  • Conflict Resolution and a Framework for Collaborative Interactive Evolution

    Sean R. Szumlanski, Annie S. Wu, Charles E. Hughes

    512

    PDF
  • Sample-Efficient Evolutionary Function Approximation for Reinforcement Learning

    Shimon Whiteson, Peter Stone

    518

    PDF
  • Mixtures of Predictive Linear Gaussian Models for Nonlinear, Stochastic Dynamical Systems

    David Wingate, Satinder Baveja

    524

    PDF
  • Decision Tree Methods for Finding Reusable MDP Homomorphisms

    Alicia P Wolfe, Andrew G. Barto

    530

    PDF
  • Robust Support Vector Machine Training via Convex Outlier Ablation

    Linli Xu, Koby Crammer, Dale Schuurmans

    536

    PDF
  • An Efficient Algorithm for Local Distance Metric Learning

    Liu Yang, Rong Jin, Rahul Sukthankar, Yi Liu

    543

    PDF
  • Hard Constrained Semi-Markov Decision Processes

    Wai-Leong Yeow, Chen-Khong Tham, and Wai-Choong Wong

    549

    PDF
  • A New Approach to Estimating the Expected First Hitting Time of Evolutionary Algorithms

    Yang Yu, Zhi-Hua Zhou

    555

    PDF
  • A Direct Evolutionary Feature Extraction Algorithm for Classifying High Dimensional Data

    Qijun Zhao, David Zhang, Hongtao Lu

    561

    PDF
  • On Multi-Class Cost-Sensitive Learning

    Zhi-Hua Zhou, Xu-Ying Liu

    567

    PDF
  • Optimal Unbiased Estimators for Evaluating Agent Performance

    Martin Zinkevich, Michael Bowling, Nolan Bard, Morgan Kan, Darse Billings

    573

    PDF
  • Improving Approximate Value Iteration Using Memories and Predictive State Representations

    Michael R. James, Ton Wessling, Nikos Vlassis

    375

    PDF
  • Learning Systems of Concepts with an Infinite Relational Model

    Charles Kemp, Joshua Tenenbaum, Thomas Griffiths, Takeshi Yamada, Naonori Ueda

    381

    PDF
  • kFOIL: Learning Simple Relational Kernels

    Niels Landwehr, Andrea Passerini, Luc De Raedt, Paolo Frasconi

    389

    PDF
  • Quantifying the Impact of Learning Algorithm Parameter Tuning

    Niklas Lavesson, Paul Davidsson

    395

    PDF
  • Efficient L1 Regularized Logistic Regression

    Su-In Lee, Honglak Lee, Pieter Abbeel, Andrew Y. Ng

    401

    PDF
  • Minimum Description Length Principle: Generators Are Preferable to Closed Patterns

    Jinyan Li, Haiquan Li, Limsoon Wong, Jian Pei, Guozhu Dong

    409

    PDF
  • Value-Function-Based Transfer for Reinforcement Learning Using Structure Mapping

    Yaxin Liu, Peter Stone

    415

    PDF
  • Semi-supervised Multi-label Learning by Constrained Non-negative Matrix Factorization

    Yi Liu, Rong Jin, Liu Yang

    421

    PDF
  • A Simple and Effective Method for Incorporating Advice into Kernel Methods

    Richard Maclin, Jude Shavlik, Trevor Walker, Lisa Torrey

    427

    PDF
  • Multi-Conditional Learning: Generative/Discriminative Training for Clustering and Classification

    Andrew McCallum, Chris Pal, Greg Druck, Xuerui Wang

    433

    PDF
  • Learning Blocking Schemes for Record Linkage

    Matthew Michelson and Craig A. Knoblock

    440

    PDF
  • Strategy Variations in Analogical Problem Solving

    Tom Y. Ouyang, Kenneth D. Forbus

    446

    PDF
  • Gradient Boosting for Sequence Alignment

    Charles Parker, Alan Fern, Prasad Tadepalli

    452

    PDF
  • Sound and Efficient Inference with Probabilistic and Deterministic Dependencies

    Hoifung Poon, Pedro Domingos

    458

    PDF
  • Boosting Expert Ensembles for Rapid Concept Recall

    Achim Rettinger, Martin Zinkevich, Michael Bowling

    464

    PDF
  • Identification and Evaluation of Weak Community Structures in Networks

    Jianhua Ruan, Weixiong Zhang

    470

    PDF
  • Thresholding for Making Classifiers Cost-sensitive

    Victor S. Sheng, Charles X. Ling

    476

    PDF
  • Cost-Sensitive Test Strategies

    Victor S. Sheng, Charles X. Ling, Ailing Ni, Shichao Zhang

    482

    PDF
  • Memory-Efficient Inference in Relational Domains

    Parag Singla, Pedro Domingos

    488

    PDF
  • Using Homomorphisms to Transfer Options across Continuous Reinforcement Learning Domains

    Vishal Soni, Satinder Singh Baveja

    494

    PDF
  • Clustering by Exceptions

    Fabrizio Angiulli

    312

    PDF
  • On the Difficulty of Modular Reinforcement Learning for Real-World Partial Programming

    Sooraj Bhat, Charles L. Isbell Jr., Michael Mateas

    318

    PDF
  • On Combining Multiple Classifiers Using an Evidential Approach

    Yaxin Bi, Sally McClean, Terry Anderson

    324

    PDF
  • Tensor Embedding Methods

    Guang Dai, Dit-Yan Yeung

    330

    PDF
  • Identifying and Generating Easy Sets of Constraints for Clustering

    Ian N Dvidson, S.S. Ravi

    336

    PDF
  • Nonnegative Matrix Factorization and Probabilistic Latent Semantic Indexing: Equivalence Chi-Square Statistic, and a Hybrid Method

    Chris Ding, Tao Li, Wei Peng

    342

    PDF
  • Anytime Induction of Decision Trees: An Iterative Improvement Approach

    Saher Esmeir, Shaul Markovitch

    348

    PDF
  • Incremental Least-Squares Temporal Difference Learning

    Alborz Geramifard, Michael Bowling, Richard S. Sutton

    356

    PDF
  • Active Learning with Near Misses

    Nela Gurevich, Shaul Markovitch, Ehud Rivlin

    362

    PDF
  • Representing Systems with Hidden State

    Christopher Hundt, Prakash Panangaden, Joelle Pineau, Doina Precup

    368

    PDF

Multiagent Systems

  • Nonexistence of Voting Rules That Are Usually Hard to Manipulate

    Vincent Conitzer, Tuomas Sandholm

    627

    PDF
  • Overlapping Coalition Formation for Efficient Data Fusion in Multi-Sensor Networks

    Dung V. Dang, Rajdeep K. Dash, Alex Rogers, Nicholas R. Jennings

    635

    PDF
  • The Complexity of Bribery in Elections

    Piotr Faliszewski, Edith Hemaspaandra, Lane A. Hemaspaandra

    641

    PDF
  • Analysis of Privacy Loss in Distributed Constraint Optimization

    Rachel Greenstadt, Jonathan P. Pearce, Milind Tambe

    647

    PDF
  • From Centralized to Distributed Selective Overhearing

    Gery Gutnik, Gal A. Kaminka

    654

    PDF
  • A New Approach to Distributed Task Assignment using Lagrangian Decomposition and Distributed Constraint Satisfaction

    Katsutoshi Hirayama

    660

    PDF
  • Distributed Interactive Learning in Multi-Agent Systems

    Jian Huang, Adrian R. Pearce

    666

    PDF
  • Regret-based Incremental Partial Revelation Mechanisms

    Nathanael Hyafil, Craig Boutilier

    672

    PDF
  • A Polynomial-Time Algorithm for Action Graph Games

    Albert X. Jiang, Kevin Leyton-Brown

    679

    PDF
  • Multiparty Proactive Communication: A Perspective for Evolving Shared Mental Models

    Kaivan Kamali, Xiaocong Fan, John Yen

    685

    PDF
  • Strong Mediated Equilibrium

    Moshe Tennenholtz, Dov Monderer

    691

    PDF
  • A Compact Representation Scheme for Coalitional Games in Open Anonymous Environments

    Naoki Ohta, Atsushi Iwasaki, Makoto Yokoo, Kohki Maruono, Vincent Conitzer, Tuomas Sandholm

    697

    PDF
  • ODPOP: An Algorithm for Open/Distributed Constraint Optimization

    Adrian Petcu, Boi Faltings

    703

    PDF
  • Behaviosites: Manipulation of Multiagent System Behavior through Parasitic Infection

    Amit Shabtay, Zinovi Rabinovich, Jeffrey S. Rosenschein

    709

    PDF
  • Simultaneous Team Assignment and Behavior Recognition from Spatio-Temporal Agent Traces

    Gita Sukthankar, Katia Sycara

    716

    PDF
  • Contract Enactment in Virtual Organizations: A Commitment-Based Approach

    Yathiraj B. Udupi, Munindar P. Singh

    722

    PDF
  • A Computational Model of Logic-Based Negotiation

    Dongmo Zhang, Zhang, Yan

    728

    PDF
  • Mechanisms for Partial Information Elicitation: The Truth, but Not the Whole Truth

    Aviv Zohar, Jeffrey S. Rosenschein

    734

    PDF
  • Robust Mechanisms for Information Elicitation

    Aviv Zohar, Jeffrey S. Rosenschein

    740

    PDF
  • Computing Slater Rankings Using Similarities among Candidates

    Vincent Conitzer

    613

    PDF
  • Improved Bounds for Computing Kemeny Rankings

    Vincent Conitzer, Andrew Davenport, Jayant Kalagnanam

    620

    PDF
  • Keeping in Touch: Maintaining Biconnected Structure by Homogeneous Robots

    Mazda Ahmadi, Mazda Ahmadi, Peter Stone

    580

    PDF
  • Quantifying Incentive Compatibility of Ranking Systems

    Alon Altman, Moshe Tennenholtz

    586

    PDF
  • Impersonation-Based Mechanisms

    Moshe Babioff, Ron Lavi, Elan Pavlov

    592

    PDF
  • Algorithms for Rationalizability and CURB Sets

    Michael Benisch, George B. Davis, Tuomas Sandholm

    598

    PDF
  • On Strictly Competitive Multi-Player Games

    Felix Brandt, Felix Fischer, Yoav Shoham

    605

    PDF

Natural Language Processing

  • Negation, Contrast and Contradiction in Text Processing

    Sanda Harabagiu, Andrew Hickl, Finley Lacatusu

    755

    PDF
  • Proposing a New Term Weighting Scheme for Text Categorization

    Man Lan, Chew-Lim Tan, Hwee-Boon Low

    763

    PDF
  • Script and Language Identification in Degraded and Distorted Document Images

    Shijian Lu, Chew Lim Tan

    769

    PDF
  • Corpus-based and Knowledge-based Measures of Text Semantic Similarity

    Rada Mihalcea, Courtney Corley, Carlo Strapparava

    775

    PDF
  • Learning Noun-Modifier Semantic Relations with Corpus-based and WordNet-based Features

    Vivi Nastase, Jelber Sayyad Shirabad, Marina Sokolova, Stan Szpakowicz

    781

    PDF
  • Societal Grounding Is Essential to Meaningful Language Use

    David J. DeVault, Iris Oved, Matthew Stone

    747

    PDF

Reasoning about Plans and Actions

  • Probabilistic Temporal Planning with Uncertain Durations

    Mausam Mausam, Daniel S. Weld

    880

    PDF
  • Reasoning about Partially Observed Actions

    Megan Nance, Adam Vogel, Eyal Amir

    888

    PDF
  • Approximate Compilation for Embedded Model-based Reasoning

    Barry O'Sullivan, Gregory M. Provan

    894

    PDF
  • Compiling Uncertainty Away: Solving Conformant Planning Problems using a Classical Planner (Sometimes)

    Palacios Hector, Hector Geffner

    900

    PDF
  • Sensor-Based Understanding of Daily Life via Large-Scale Use of Common Sense

    William Pentney, Ana-Maria Popescu, Shiaokai Wang, Henry Kautz, Matthai Philipose

    906

    PDF
  • Learning Partially Observable Action Schemas

    Dafna Shahaf, Eyal Amir

    913

    PDF
  • Learning Partially Observable Action Models: Efficient Algorithms

    Dafna Shahaf, Allen Chang, Eyal Amir

    920

    PDF
  • Contingent Planning with Goal Preferences

    Paolo Traverso, Dmitry Shaparau, Marco Pistore

    927

    PDF
  • Planning with First-Order Temporally Extended Goals using Heuristic Search

    Jorge A. Baier, Sheila A. McIlraith

    788

    PDF
  • Fast Hierarchical Goal Schema Recognition

    Nate Blaylock, James Allen

    796

    PDF
  • Robust Execution on Contingent, Temporally Flexible Plans

    Stephen Block, Andreas Wehowsky, Brian Williams

    802

    PDF
  • Factored Planning: How, When, and When Not

    Ronen I. Brafman, Carmel Domshlak

    809

    PDF
  • Adaptive Sampling Based Large-Scale Stochastic Resource Control

    Balazs Csanad Csaji, Laszlo Monostori

    815

    PDF
  • Cost-Optimal External Planning

    Stefan Edelkamp and Shahid Jabbar

    821

    PDF
  • A Two-Step Hierarchical Algorithm for Model-Based Diagnosis

    Alexander Feldman, Arjan van Gemund

    827

    PDF
  • Exploration of the Robustness of Plans

    Maria Fox, Richard Howey, Derek Long

    834

    PDF
  • A Causal Analysis Method for Concurrent Hybrid Automata

    Michael Hofbaur, Franz Wotawa

    840

    PDF
  • Tractable Classes of Metric Temporal Problems with Domain Rules

    T. K. Satish Kumar

    847

    PDF
  • A Modular Action Description Language

    Vladimir Lifschitz, Wanwan Ren

    853

    PDF
  • PPCP: Efficient Probabilistic Planning with Clear Preferences in Partially-Known Environments

    Maxim Likhachev, Anthony Stentz

    860

    PDF
  • Reasoning about Discrete Event Sources

    Shieu-Hong Lin

    868

    PDF
  • Optimal Scheduling of Contract Algorithms for Anytime Problems

    Alejandro Lopez-Ortiz, Spyros Angelopoulos, Angele M. Hamel

    874

    PDF

Robotics and Computer Vision

  • Motion-Based Autonomous Grounding: Inferring External World Properties from Encoded Internal Sensory States Alone

    Yoonsuck Choe, Noah H. Smith

    936

    PDF
  • Efficient Triangulation-Based Pathfinding

    Douglas Demyen, Michael Buro

    942

    PDF
  • Exploiting Spatial and Temporal Flexibility for Plan Execution for Hybrid, Under-actuated Robots

    Andreas G. Hofmann, Brian C. Williams

    948

    PDF
  • Object Boundary Detection in Images using a Semantic Ontology

    Anthony Hoogs, Roderic Collins

    956

    PDF
  • Bayesian Calibration for Monte Carlo Localization

    Armita Kaboli, Michael Bowling, Petr Musilek

    964

    PDF
  • Diagnosis of Multi-Robot Coordination Failures Using Distributed CSP Algorithms

    Meir Kalech, Gal A. Kaminka , Amnon Meisels

    970

    PDF
  • Probabilistic Self-Localization for Sensor Networks

    Dimitri Marinakis, Gregory Dudek

    976

    PDF
  • Winning the DARPA Grand Challenge with an AI Robot

    Michael Montemerlo, Sebastian Thrun, Hendrik Dahlkamp, David Stavens, Sven Strohband

    982

    PDF
  • A Manifold Regularization Approach to Calibration Reduction for Sensor-Network Based Tracking

    Jeffrey Junfeng Pan, Qiang Yang, Hong Chang, and Dit-Yan Yeung

    988

    PDF
  • Running the Table: An AI for Computer Billiards

    Michael Smith

    994

    PDF
  • Reinforcement Learning with Human Teachers: Evidence of Feedback and Guidance with Implications for Learning Performance

    Andrea L. Thomaz, Cynthia Breazeal

    1000

    PDF

Search and Game Playing

  • Estimating Search Tree Size

    Philip Kilby, John Slaney, Sylvie Thiebaux, Toby Walsh

    1014

    PDF
  • Properties of Forward Pruning in Game-Tree Search

    Yew Jin Lim, Wee Sun Lee

    1020

    PDF
  • RankCut—A Domain Independent Forward Pruning Method for Games

    Yew Jin Lim, Wee Sun Lee

    1026

    PDF
  • DD* Lite: Efficient Incremental Search with State Dominance

    G. Ayorkor Mills-Tettey, Anthony Stentz, M. Bernardine Dias

    1032

    PDF
  • Sequential and Parallel Algorithms for Frontier A* with Delayed Duplicate Detection

    Robert Niewiadomski, Jose Nelson Amaral, Robert C. Holte

    1039

    PDF
  • Overconfidence or Paranoia? Search in Imperfect-Information Games

    Austin Parker, Dana Nau, VS Subrahmanian

    1045

    PDF
  • Disco—Novo—GoGo: Integrating Local Search and Complete Search with Restarts

    Meinolf Sellmann and Carlos Ansótegui

    1051

    PDF
  • Prob-Maxn: Playing N-Player Games with Opponent Models

    Nathan R. Sturtevant, Martin Zinkevich, Michael Bowling

    1057

    PDF
  • An Efficient Algorithm for Scatter Chart Labeling

    Sebastian Theophil, Arno Schödl

    1064

    PDF
  • Monte Carlo Go Has a Way to Go

    Haruhiro Yoshimoto, Kazuki Yoshizoe, Tomoyuki Kaneko, Akihiro Kishimoto, Kenjiro Taura

    1070

    PDF
  • Dual Search in Permutation State Spaces

    Uzi Zahavi, Ariel Felner, Robert Holte, and Jonathan Schaeffer

    1076

    PDF
  • Domain-Independent Structured Duplicate Detection

    Rong Zhou, Eric A. Hansen

    1082

    PDF
  • A Competitive Texas Hold’em Poker Player via Automated Abstraction and Real-Time Equilibrium Computation

    Andrew Gilpin, Tuomas Sandholm

    1007

    PDF

Uncertainty in AI

  • Solving MAP Exactly by Searching on Compiled Arithmetic Circuits

    Jinbo Huang, Mark Chavira, and Adnan Darwiche

    1143

    PDF
  • Identifiability in Causal Bayesian Networks: A Sound and Complete Algorithm

    Yimin Huang, Marco Valtorta

    1149

    PDF
  • A Bayesian Network for Outbreak Detection and Prediction

    Xia Jiang, Garrick Wallstrom

    1155

    PDF
  • Learning Basis Functions in Hybrid Domains

    Branislav Kveton, Milos Hauskrecht

    1161

    PDF
  • Incremental Least Squares Policy Iteration for POMDPs

    Hui Li, Xuejun Liao, Lawrence Carin

    1167

    PDF
  • Performing Incremental Bayesian Inference by Dynamic Model Counting

    Wei Li, Peter van Beek, and Pascal Poupart

    1173

    PDF
  • Efficient Active Fusion for Decision-Making via VOI Approximation

    Wenhui Liao, Qiang Ji

    1180

    PDF
  • Functional Value Iteration for Decision-Theoretic Planning with General Utility Functions

    Yaxin Liu, Sven Koenig

    1186

    PDF
  • Learning Representation and Control in Continuous Markov Decision Processes

    Sridhar Mahadevan, Mauro Maggioni, Kimberly Ferguson, Sarah Osentoski

    1194

    PDF
  • Memory Intensive Branch-and-Bound Search for Graphical Models

    Radu Marinescu, Rina Dechter

    1200

    PDF
  • Bayesian Reputation Modeling in E-Marketplaces Sensitive to Subjectivity, Deception and Change

    Kevin Regan, Pascal Poupart, and Robin Cohen

    1206

    PDF
  • Targeting Specific Distributions of Trajectories in MDPs

    David L. Roberts, Mark J. Nelson, Charles L. Isbell, Jr., Michael Mateas, Michael L. Littman

    1213

    PDF
  • Identification of Joint Interventional Distributions in Recursive Semi-Markovian Causal Models

    Ilya Shpitser, Judea Pearl

    1219

    PDF
  • Focused Real-Time Dynamic Programming for MDPs: Squeezing More Out of a Heuristic

    Trey Smith, Reid Simmons

    1227

    PDF
  • Point-based Dynamic Programming for DEC-POMDPs

    Daniel Szer, Francois Charpillet

    1233

    PDF
  • A Characterization of Interventional Distributions in Semi-Markovian Causal Models

    Jin Tian, Changsung Kang, Judea Pearl

    1239

    PDF
  • Compact, Convex Upper Bound Iteration for Approximate POMDP Planning

    Tao Wang, Pascal Poupart, Michael Bowling, Dale Schuurmans

    1245

    PDF
  • An Iterative Algorithm for Solving Constrained Decentralized Markov Decision Processes

    Aurelie Beynier, Abdel-Illah Mouaddib

    1089

    PDF
  • An Anytime Scheme for Bounding Posterior Beliefs

    Bozhena Bidyuk, Rina Dechter

    1095

    PDF
  • Preferences over Sets

    Ronen I. Brafman, Carmel Domshlak, Solomon E. Shimony, Yael Silver

    1101

    PDF
  • An Edge Deletion Semantics for Belief Propagation and its Practical Impact on Approximation Quality

    Arthur Choi, Adnan Darwiche

    1107

    PDF
  • When Gossip is Good: Distributed Probabilistic Inference for Detection of Slow Network Intrusions

    Denver Dash, Branislav Kveton, John Mark Agosta, Eve Schooler, Jaideep Chandrashekar, Abraham Bachrach, Alex Newman

    1115

    PDF
  • MPE and Partial Inversion in Lifted Probabilistic Variable Elimination

    Rodrigo de Salvo Braz, Eyal Amir, Dan Roth

    1123

    PDF
  • On the Difficulty of Achieving Equilibrium in Interactive POMDPs

    Prashant Doshi, Piotr Gmytrasiewicz

    1131

    PDF
  • CUI Networks: A Graphical Representation for Conditional Utility Independence

    Yagil Engel, Michael P. Wellman

    1137

    PDF

Primary Sidebar