• 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
    • News
    • Officers and Committees
    • Staff
    • Bylaws
    • Awards
      • Fellows Program
      • Classic Paper Award
      • Dissertation Award
      • Distinguished Service Award
      • Allen Newell Award
      • Outstanding Paper Award
      • AI for Humanity Award
      • Feigenbaum Prize
      • Patrick Henry Winston Outstanding Educator Award
      • Engelmore Award
      • AAAI ISEF Awards
      • Senior Member Status
      • Conference Awards
    • Partnerships
    • Resources
    • Mailing Lists
    • Past Presidential Addresses
    • AAAI 2025 Presidential Panel on the Future of AI Research
    • Presidential Panel on Long-Term AI Futures
    • Past Policy Reports
      • The Role of Intelligent Systems in the National Information Infrastructure (1995)
      • A Report to ARPA on Twenty-First Century Intelligent Systems (1994)
    • Logos
  • aaai-icon_ethics-diversity-line-yellowEthics & Diversity
  • Conference talk bubbleConferences & Symposia
    • AAAI Conference
    • AIES AAAI/ACM
    • AIIDE
    • EAAI
    • HCOMP
    • IAAI
    • ICWSM
    • Spring Symposia
    • Summer Symposia
    • Fall Symposia
    • Code of Conduct for Conferences and Events
  • PublicationsPublications
    • AI Magazine
    • Conference Proceedings
    • AAAI Publication Policies & Guidelines
    • Request to Reproduce Copyrighted Materials
    • Contribute
    • Order Proceedings
  • aaai-icon_ai-magazine-line-yellowAI Magazine
  • MembershipMembership
    • Member Login
    • Chapters

  • Career CenterAI Jobs
  • aaai-icon_ai-topics-line-yellowAITopics
  • aaai-icon_contact-line-yellowContact

  • Twitter
  • Facebook
  • LinkedIn
Home / Proceedings / Proceedings of the AAAI Conference on Artificial Intelligence, 23 /

No. 2: Main Track Technical Papers

Agents, Game Theory, Auctions, and Mechanism Design

  • Manipulating the Quota in Weighted Voting Games

    Michael Zuckerman, Piotr Faliszewski, Yoram Bachrach, Edith Elkind

    215

    PDF
  • Coalition Structure Generation: Dynamic Programming Meets Anytime Optimization

    Talal Rahwan, Nicholas R. Jennings

    156

    PDF
  • Partially Synchronized DEC-MDPs in Dynamic Mechanism Design

    Sven Seuken, Ruggiero Cavallo, David C. Parkes

    162

    PDF
  • Mathematical Modeling and Convergence Analysis of Trail Formation

    Sameena Shah, Ravi Kothari, Jayadeva, Suresh Chandra

    170

    PDF
  • Semantical Considerations on Dialectical and Practical Commitments

    Munindar P. Singh

    176

    PDF
  • Bidding Strategies for Realistic Multi-Unit Sealed-Bid Auctions

    Ioannis A. Vetsikas, Nicholas R. Jennings

    182

    PDF
  • Optimal False-Name-Proof Voting Rules with Costly Voting

    Liad Wagman, Vincent Conitzer

    190

    PDF
  • Determining Possible and Necessary Winners under Common Voting Rules Given Partial Orders

    Lirong Xia, Vincent Conitzer

    196

    PDF
  • Voting on Multiattribute Domains with Cyclic Preferential Dependencies

    Lirong Xia, Vincent Conitzer, Jerome Lang

    202

    PDF
  • Value-Based Policy Teaching with Active Indirect Elicitation

    Haoqi Zhang, David Parkes

    208

    PDF
  • Computer-Aided Proofs of Arrow’s and Other Impossibility Theorems

    Fangzhen Lin, Pingzhong Tang

    114

    PDF
  • Pareto Optimality in Abstract Argumentation

    Iyad Rahwan, Kate Larson

    150

    PDF
  • Coordination and Multi-Tasking Using EMT

    Zinovi Rabinovich, Nir Pochter, Jeffrey S. Rosenschein

    144

    PDF
  • The Impact of Vertical Specialization on Hierarchical Multi-Agent Systems

    Steven Okamoto, Paul Scerri, Katia Sycara

    138

    PDF
  • Argument Theory Change Applied to Defeasible Logic Programming

    Martin Moguillansky, Nicolas Rotstein, Marcelo Falappa, Alejandro Garcia, Guillermo Simari

    132

    PDF
  • Strategyproof Classification under Constant Hypotheses: A Tale of Two Functions

    Reshef Meir, Ariel D. Procaccia, Jeffrey S. Rosenschein

    126

    PDF
  • Resource Constrained Distributed Constraint Optimization with Virtual Variables

    Toshihiro Matsui, Marius Silaghi, Katsutoshi Hirayama, Makoto Yokoo, Hiroshi Matsuo

    120

    PDF
  • An Expressive Auction Design for Online Display Advertising

    Sebastien Lahaie, David C. Parkes, David M. Pennock

    108

    PDF
  • Expressive Banner Ad Auctions and Model-Based Online Optimization for Clearing

    Craig Boutilier, David C. Parkes, Tuomas Sandholm, William E. Walsh

    30

    PDF
  • A Computational Analysis of the Tournament Equilibrium Set

    Felix Brandt, Felix Fischer, Paul Harrenstein, Maximilian Mair

    38

    PDF
  • Approximability of Manipulating Elections

    Eric Brelsford, Piotr Faliszewski, Edith Hemaspaandra, Henning Schnoor, Ilka Schnoor

    44

    PDF
  • Efficient Metadeliberation Auctions

    Ruggiero Cavallo, David C. Parkes

    50

    PDF
  • Achieving Cooperation in a Minimally Constrained Environment

    Steven Damer, Maria Gini

    57

    PDF
  • Generalized Point Based Value Iteration for Interactive POMDPs

    Prashant Doshi, Dennis Perez

    63

    PDF
  • On the Dimensionality of Voting Games

    Edith Elkind, Leslie Ann Goldberg, Paul Goldberg, Michael Wooldridge

    69

    PDF
  • First-Order Algorithm with O(ln(1/ε)) Convergence for ε-Equilibrium in Two-Person Zero-Sum Games

    Andrew Gilpin, Javier Pena, Tuomas Sandholm

    75

    PDF
  • Agent Organized Networks Redux

    Robin Glinton, Katia Sycara, Paul Scerri

    83

    PDF
  • Reasoning about the Appropriateness of Proponents for Arguments

    Anthony Hunter

    89

    PDF
  • Bayesian Coalitional Games

    Samuel Ieong, Yoav Shoham

    95

    PDF
  • Agent Coordination with Regret Clearing

    Sven Koenig, Craig Tovey, Richard Borie, Philip Kilby, Vangelis Markakis, Pinar Keskinocak

    101

    PDF
  • Memetic Networks: Analyzing the Effects of Network Properties in Multi-Agent Performance

    Ricardo M Araujo, Luis C. Lamb

    3

    PDF
  • Multiagent Graph Coloring: Pareto Efficiency, Fairness and Individual Rationality

    Yaad Blum, Jeffrey S. Rosenschein

    24

    PDF
  • A Theory of Expressiveness in Mechanisms

    Michael Benisch, Norman Sadeh, Tuomas Sandholm

    17

    PDF
  • Physical Search Problems Applying Economic Search Models

    Yonatan Aumann, Noam Hazon, Sarit Kraus, David Sarne

    9

    PDF

Constraints, Satisfiability, and Search

  • Efficient Context-Free Grammar Constraints

    Serdar Kadioglu, Meinolf Sellmann

    310

    PDF
  • Anytime Local Search for Distributed Constraint Optimization

    Roie Zivan

    393

    PDF
  • Reasoning with Cardinal Directions: An Efficient Algorithm

    Xiaotong Zhang, Weiming Liu, Sanjiang Li, Mingsheng Ying

    387

    PDF
  • Predicting the Performance of IDA* with Conditional Distributions

    Uzi Zahavi, Ariel Felner, Neil Burch, Robert C. Holte

    381

    PDF
  • Bound Consistency for Binary Length-Lex Set Constraints

    Pascal Van Hentenryck, Justin Yip, Carmen Gervet, Gregoire Dooms

    375

    PDF
  • A Global Constraint for Bin-Packing with Precedences: Application to the Assembly Line Balancing Problem

    Pierre Schaus, Yves Deville

    369

    PDF
  • Backdoor Trees

    Marko Samer, Stefan Szeider

    363

    PDF
  • Learning from Multiple Heuristics

    Mehdi Samadi, Ariel Felner, Jonathan Schaeffer

    357

    PDF
  • Within-problem Learning for Efficient Lower Bound Computation in Max-SAT Solving

    Han Lin, Kaile Su, Chu-Min Li

    351

    PDF
  • R* Search

    Maxim Likhachev, Anthony Stentz

    344

    PDF
  • Exploiting Causal Independence Using Weighted Model Counting

    Wei Li, Pascal Poupart, Peter van Beek

    337

    PDF
  • Online Learning with Expert Advice and Finite-Horizon Constraints

    Branislav Kveton, Jia Yuan Yu, Georgios Theocharous, Shie Mannor

    331

    PDF
  • H-DPOP: Using Hard Constraints for Search Space Pruning in DCOP

    Akshat Kumar, Adrian Petcu, Boi Faltings

    325

    PDF
  • Minimizing Disk I/O in Two-Bit Breadth-First Search

    Richard E. Korf

    317

    PDF
  • On the Power of Top-Down Branching Heuristics

    Matti Järvisalo, Tommi Junttila

    304

    PDF
  • Efficient Memoization for Dynamic Programming with Ad-Hoc Constraints

    Joxan Jaffar, Andrew E. Santosa, Razvan Voicu

    297

    PDF
  • Piecewise Linear Dynamic Programming for Constrained POMDPs

    Joshua D. Isom, Sean P. Meyn, Richard D. Braatz

    291

    PDF
  • Clause Learning Can Effectively P-Simulate General Propositional Resolution

    Philipp Hertel, Fahiem Bacchus, Toniann Pitassi, Allen Van Gelder

    283

    PDF
  • Measuring the Hardness of SAT Instances

    Carlos Ansótegui, María Luisa Bonet, Jordi Levy, Felip Manyà

    222

    PDF
  • On Range of Skill

    Thomas D. Hansen, Peter Bro Miltersen, Troels Bjerre Sørensen

    277

    PDF
  • Studies in Solution Sampling

    Vibhav Giridhar Gogate, Rina Dechter

    271

    PDF
  • Phase Transitions and Complexity of Weighted Satisfiability and Other Intractable Parameterized Problems

    Yong Gao

    265

    PDF
  • Simulation-Based Approach to General Game Playing

    Hilmar Finnsson, Yngvi Björnsson

    259

    PDF
  • Virtual Arc Consistency for Weighted CSP

    Martin Cooper, Simon de Givry, Marti Sanchez, Thomas Schiex, Matthias Zytnicki

    253

    PDF
  • Relaxed Survey Propagation: A Sum-Product Algorithm for Max-SAT

    Hai Leong Chieu, Wee Sun Lee

    247

    PDF
  • Protein Structure Prediction on the Face Centered Cubic Lattice by Local Search

    Manuel Cebrian, Ivan Dotu, Pascal Van Hentenryck, Peter Clote

    241

    PDF
  • The Parameterized Complexity of Global Constraints

    Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan, Claude-Guy Quimper, Toby Walsh

    235

    PDF
  • A New Incomplete Method for CSP Inconsistency Checking

    Belaïd Benhamou, Mohamed Réda Saïdi

    229

    PDF

Knowledge Representation, Logic, and Information Systems

  • Revising Imprecise Probabilistic Beliefs in the Framework of Probabilistic Logic Programming

    Anbu Yue, Weiru Liu

    590

    PDF
  • Loop Formulas for Logic Programs with Arbitrary Constraint Atoms

    Jia-Huai You, Guohua Liu

    584

    PDF
  • Towards Automatic Animated Storyboarding

    Patrick Ye, Timothy Baldwin

    578

    PDF
  • Grounding with Bounds

    Johan Wittocx, Maarten Mariën, Marc Denecker

    572

    PDF
  • Generating Application-Specific Benchmark Models for Complex Systems

    Jun Wang, Gregory Provan

    566

    PDF
  • Hyperequivalence of Logic Programs with Respect to Supported Models

    Miroslaw Truszczynski, Stefan Woltran

    560

    PDF
  • An Extended Interpreted System Model for Epistemic Logics

    Kaile Su, Abdul Sattar

    554

    PDF
  • AnalogySpace: Reducing the Dimensionality of Common Sense Knowledge

    Robyn Speer, Catherine Havasi, Henry Lieberman

    548

    PDF
  • Factored Models for Probabilistic Modal Logic

    Afsaneh Shirazi, Eyal Amir

    541

    PDF
  • A Scalable Jointree Algorithm for Diagnosability

    Anika Schumann, Jinbo Huang

    535

    PDF
  • A First-Order Theory of Stanislavskian Scene Analysis

    Leora Morgenstern

    498

    PDF
  • Terminological Reasoning in SHIQ with Ordered Binary Decision Diagrams

    Sebastian Rudolph, Markus Krotzsch, Pascal Hitzler

    529

    PDF
  • A Semantic Approach for Iterated Revision in Possibilistic Logic

    Guilin Qi

    523

    PDF
  • New Compilation Languages Based on Structured Decomposability

    Knot Pipatsrisawat, Adnan Darwiche

    517

    PDF
  • An AGM-Based Belief Revision Mechanism for Probabilistic Spatio-Temporal Logics

    Austin Parker, Guillaume Infantes, VS Subrahmanian, John Grant

    511

    PDF
  • Worst-case Optimal Conjunctive Query Answering for an Expressive Description Logic without Inverses

    Magdalena Ortiz, Mantas Simkus, Thomas Eiter

    504

    PDF
  • Minimal Contraction of Preference Relations

    Denis Mindolin, Jan Chomicki

    492

    PDF
  • A Formalization of Program Debugging in the Situation Calculus

    Yongmei Liu

    486

    PDF
  • Abductive Logic Programming by Nonground Rewrite Systems

    Fangzhen Lin, Jia-Huai You

    480

    PDF
  • A Reductive Semantics for Counting and Choice in Answer Set Programming

    Joohyung Lee, Vladimir Lifschitz, Ravi Palla

    472

    PDF
  • Horn Complements: Towards Horn-to-Horn Belief Revision

    Marina Langlois, Robert H. Sloan, Balazs Szorenyi, Gyorgy Turan

    466

    PDF
  • Nonmonotonic Modes of Inference

    Victor Jauregui

    460

    PDF
  • From Qualitative to Quantitative Proofs of Security Properties Using First-Order Conditional Logic

    Joseph Y. Halpern

    454

    PDF
  • A Meta-Programming Technique for Debugging Answer-Set Programs

    Martin Gebser, Jörg Pührer, Torsten Schaub, Hans Tompits

    448

    PDF
  • Extending the Knowledge Compilation Map: Krom, Horn, Affine and Beyond

    Hélène Fargier, Pierre Marquis

    442

    PDF
  • Efficient Haplotype Inference with Answer Set Programming

    Esra Erdem, Ferhan Ture

    436

    PDF
  • Parallel Belief Revision

    James Delgrande, Yi Jin

    430

    PDF
  • Manifold Integration with Markov Random Walks

    Heeyoul Choi, Seungjin Choi, Yoonsuck Choe

    424

    PDF
  • Credulous Resolution for Answer Set Programming

    Piero Bonatti, Enrico Pontelli, Tran Cao Son

    418

    PDF
  • Prime Implicate Normal Form for ALC Concepts

    Meghyn Bienvenu

    412

    PDF
  • On the Decidability of Role Mappings between Modular Ontologies

    Jie Bao, George Voutsadakis, Giora Slutzki, Vasant Honavar

    400

    PDF
  • Non-monotonic Temporal Logics that Facilitate Elaboration Tolerant Revision of Goals

    Chitta Baral, Jicheng Zhao

    406

    PDF

Machine Learning

  • Transfer Learning via Dimensionality Reduction

    Sinno Jialin Pan, James T. Kwok, Qiang Yang

    677

    PDF
  • Constraint Projections for Ensemble Learning

    Daoqiang Zhang, Songcan Chen, Zhi-Hua Zhou, Qiang Yang

    758

    PDF
  • Multi-View Local Learning

    Dan Zhang, Fei Wang, Changshui Zhang, Tao Li

    752

    PDF
  • Classification by Discriminative Regularization

    Bin Zhang, Fei Wang, Ta-Hsin Li, Wen jun Yin, Jin Dong

    746

    PDF
  • Hidden Dynamic Probabilistic Models for Labeling Sequence Data

    Xiaofeng Yu, Wai Lam

    739

    PDF
  • Learning Hidden Curved Exponential Family Models to Infer Face-to-Face Interaction Networks from Situated Speech Data

    Danny Wyatt, Tanzeem Choudhury, Jeff Bilmes

    732

    PDF
  • Semi-supervised Classification Using Local and Global Regularization

    Fei Wang, Tao Li, Gang Wang, Changshui Zhang

    726

    PDF
  • On Discriminative Semi-Supervised Classification

    Fei Wang, Changshui Zhang

    720

    PDF
  • Efficient Learning of Action Schemas and Web-Service Descriptions

    Thomas J Walsh, Michael L. Littman

    714

    PDF
  • Adapting ADtrees for High Arity Features

    Robert Van Dam

    708

    PDF
  • On-Line Case-Based Plan Adaptation for Real-Time Strategy Games

    Neha Sugandh, Santiago Ontañón, Ashwin Ram

    702

    PDF
  • Markov Blanket Feature Selection for Support Vector Machines

    Jianqiang Shen, Lida Li, Weng-Keen Wong

    696

    PDF
  • Economic Hierarchical Q-Learning

    Erik G Schultink, Ruggiero Cavallo, David C. Parkes

    689

    PDF
  • Active Learning for Pipeline Models

    Dan Roth, Kevin Small

    683

    PDF
  • Trace Ratio Criterion for Feature Selection

    Feiping Nie, Feiping Nie, Shiming Xiang, Yangqing Jia, Changshui Zhang, Shuicheng Yan

    671

    PDF
  • From Comparing Clusterings to Combining Clusterings

    Zhiwu Lu, Yuxin Peng, Jianguo Xiao

    665

    PDF
  • Clustering on Complex Graphs

    Bo Long, Zhongfei Zhang, Philip S. Yu, Tianbing Xue

    659

    PDF
  • Distance Metric Learning Versus Fisher Discriminant Analysis

    Babak Alipanahi, Michael Biggs, Ali Ghodsi

    598

    PDF
  • Dimension Amnesic Pyramid Match Kernel

    Yi Liu, Xu-Lei Wang, Hongbin Zha

    652

    PDF
  • Zero-data Learning of New Tasks

    Hugo Larochelle, Dumitru Erhan, Yoshua Bengio

    646

    PDF
  • Instance-level Semisupervised Multiple Instance Learning

    Yangqing Jia, Changshui Zhang

    640

    PDF
  • Semi-Supervised Ensemble Ranking

    Steven C. H. Hoi, Rong Jin

    634

    PDF
  • A Case Study on the Critical Role of Geometric Regularity in Machine Learning

    Jason Gauci, Kenneth O. Stanley

    628

    PDF
  • Integrating Multiple Learning Components through Markov Logic

    Thomas G. Dietterich, Xinlong Bao

    622

    PDF
  • Clustering via Random Walk Hitting Time on Directed Graphs

    Mo Chen, Jianzhuang Liu, Xiaoou Tang

    616

    PDF
  • Sparse Projections over Graph

    Deng Cai, Xiaofei He, Jiawei Han

    610

    PDF
  • Potential-based Shaping in Model-based Reinforcement Learning

    John Asmuth, Michael L. Littman, Robert Zinkov

    604

    PDF

Multidisciplinary Topics and Applications

  • Exposing Parameters of a Trained Dynamic Model for Interactive Music Creation

    Dan Morris, Ian Simon, Sumit Basu

    784

    PDF
  • Another Look at Search-Based Drama Management

    Mark J. Nelson, Michael Mateas

    792

    PDF
  • Learning to Analyze Binary Computer Code

    Nathan Rosenblum, Xiaojin Zhu, Barton Miller, Karen Hunt

    798

    PDF
  • Prediction and Change Detection in Sequential Data for Interactive Applications

    Li Cheng, Jun Zhou, Walter Bischof

    805

    PDF
  • Using Knowledge Driven Matrix Factorization to Reconstruct Modular Gene Regulatory Network

    Yang Zhou, Li Zheng, Xuerui Yang, Zhang Linxia, Shireesh Srivastava, Rong Jin, Christina Chan

    811

    PDF
  • Automating To-Do Lists for Users: Interpretation of To-Dos for Selecting and Tasking Agents

    Yolanda Gil, Varun Ratnakar

    765

    PDF
  • Proactive Intrusion Detection

    Benjamin Liebald, Dan Roth, Neelay Shah, Vivek Srikumar

    772

    PDF
  • Speech-enabled Card Games for Language Learners

    Ian McGraw, Stephanie Seneff

    778

    PDF

Natural-Language Processing

  • Using Answer Set Programming and Lambda Calculus to Characterize Natural Language Sentences with Normatives and Exceptions

    Chitta Baral, Juraj Dzifcak, Tran Cao Son

    818

    PDF
  • Automatic Semantic Relation Extraction with Multiple Boundary Generation

    Brandon Beamer, Alla Rozovskaya, Roxana Girju

    824

    PDF
  • Importance of Semantic Representation: Dataless Classification

    Ming-Wei Chang, Lev Ratinov, Dan Roth, Vivek Srikumar

    830

    PDF
  • Discourse Topic and Gestural Form

    Jacob Eisenstein, Regina Barzilay, Randall Davis

    836

    PDF
  • Text Categorization with Knowledge Transfer from Heterogeneous Data Sources

    Rakesh Gupta, Lev Ratinov

    842

    PDF
  • Cross-lingual Propagation for Morphological Analysis

    Benjamin Snyder, Regina Barzilay

    848

    PDF
  • Single Document Keyphrase Extraction Using Neighborhood Knowledge

    Xiaojun Wan, Jianguo Xiao

    855

    PDF
  • Using Wiktionary for Computing Semantic Relatedness

    Torsten Zesch, Christof Müller, Iryna Gurevych

    861

    PDF

Reasoning about Plans, Processes, and Actions

  • Accuracy of Admissible Heuristic Functions in Selected Planning Domains

    Malte Helmert, Robert Mattmüller

    938

    PDF
  • Probabilistic Planning via Determinization in Hindsight

    Sungwook Yoon, Alan Fern, Robert Givan, Subbarao Kambhampati

    1010

    PDF
  • On the Progression of Situation Calculus Basic Action Theories: Resolving a 10-year-old Conjecture

    Stavros Vassos, Hector J. Levesque

    1004

    PDF
  • Hypothesis Pruning and Ranking for Large Plan Recognition Problems

    Gita Sukthankar, Katia Sycara

    998

    PDF
  • Learning Generalized Plans Using Abstract Counting

    Siddharth Srivastava, Neil Immerman, Shlomo Zilberstein

    991

    PDF
  • Fusing Procedural and Declarative Planning Goals for Nondeterministic Domains

    Dzmitry Shaparau, Marco Pistore, Paolo Traverso

    983

    PDF
  • Landmarks Revisited

    Silvia Richter, Malte Helmert, Matthias Westphal

    975

    PDF
  • Route Planning under Uncertainty: The Canadian Traveller Problem

    Evdokia Nikolova, David R. Karger

    969

    PDF
  • Unknown Rewards in Finite-Horizon Domains

    Colin McMillen, Manuela Veloso

    963

    PDF
  • Generating Plans in Concurrent, Probabilistic, Over-Subscribed Domains

    Li Li, Nilufer Onder

    957

    PDF
  • HTN-MAKER: Learning HTNs with Minimal Additional Knowledge Engineering Required

    Chad M. Hogg, Hector Munoz-Avila, Ugur Kuter

    950

    PDF
  • How Good is Almost Perfect?

    Malte Helmert, Gabriele Röger

    944

    PDF
  • Reasoning about Large Taxonomies of Actions

    Yilan Gu, Mikhail Soutchanski

    931

    PDF
  • Finding State Similarities for Faster Planning

    Christian Fritz

    925

    PDF
  • Computing Observation Vectors for Max-Fault Min-Cardinality Diagnoses

    Alexander Feldman, Gregory Provan, Arjan van Gemund

    919

    PDF
  • Computing Minimal Diagnoses by Greedy Stochastic Search

    Alexander Feldman, Gregory Provan, Arjan van Gemund

    911

    PDF
  • Optimal Scheduling of Contract Algorithms with Soft Deadlines

    Spyros Angelopoulos, Alejandro Lopez-Ortiz, Angele Hamel

    868

    PDF
  • Error Classification in Action Descriptions: A Heuristic Approach

    Thomas Eiter, Michael Fink, Ján Senko

    905

    PDF
  • Partitioned External-Memory Value Iteration

    Peng Dai, Mausam, Daniel S. Weld

    898

    PDF
  • Planning with Problems Requiring Temporal Coordination

    Andrew Coles, Maria Fox, Derek Long, Amanda Smith

    892

    PDF
  • Fast Planning by Search in Domain Transition Graph

    Yixin Chen, Ruoyun Huang, Weixiong Zhang

    886

    PDF
  • PBA*: Using Proactive Search to Make A* Robust to Unplanned Deviations

    Paul Breimyer, Peter R. Wurman

    880

    PDF
  • Optimal Metric Planning with State Sets in Automata Representation

    Bjoern Borowsky, Stefan Edelkamp

    874

    PDF

Uncertainty in AI

  • Optimal Testing of Structured Knowledge

    Michael Munie, Yoav Shoham

    1069

    PDF
  • A General Framework for Generating Multivariate Explanations in Bayesian Networks

    Changhe Yuan, Tsai-Ching Lu

    1119

    PDF
  • Latent Tree Models and Approximate Inference in Bayesian Networks

    Yi Wang, Nevin L. Zhang, Tao Chen

    1112

    PDF
  • Hybrid Markov Logic Networks

    Jue Wang, Pedro Domingos

    1106

    PDF
  • Bounding the False Discovery Rate in Local Bayesian Network Learning

    Ioannis Tsamardinos, Laura E. Brown

    1100

    PDF
  • Lifted First-Order Belief Propagation

    Parag Singla, Pedro Domingos

    1094

    PDF
  • Symbolic Heuristic Search Value Iteration for Factored POMDPs

    Hyeong Seop Sim, Kee-Eung Kim, Jin Hyung Kim, Du-Seong Chang, Myoung-Wan Koo

    1088

    PDF
  • Dormant Independence

    Ilya Shpitser, Judea Pearl

    1081

    PDF
  • A General Method for Reducing the Complexity of Relational Inference and its Application to MCMC

    Hoifung Poon, Pedro Domingos, Marc Sumner

    1075

    PDF
  • Lifted Probabilistic Inference with Counting Formulas

    Brian Milch, Luke S. Zettlemoyer, Kristian Kersting, Michael Haimes, Leslie Pack Kaelbling

    1062

    PDF
  • A Variance Analysis for POMDP Policy Evaluation

    Mahdi Milani Fard, Peng Sun, Joelle Pineau

    1056

    PDF
  • Towards Faster Planning with Continuous Resources in Stochastic Domains

    Janusz Marecki, Milind Tambe

    1049

    PDF
  • Exploiting Symmetries in POMDPs for Point-Based Algorithms

    Kee-Eung Kim

    1043

    PDF
  • CRF-OPT: An Efficient High-Quality Conditional Random Field Solver

    Minmin Chen, Yixin Chen, Michael R. Brent

    1018

    PDF
  • Preference Aggregation with Graphical Utility Models

    Christophe Gonzales, Patrice Perny, Sergio Queiroz

    1037

    PDF
  • Many-Pairs Mutual Information for Adding Structure to Belief Propagation Approximations

    arthur choi, adnan darwiche

    1031

    PDF
  • Focusing Generalizations of Belief Propagation on Targeted Queries

    arthur choi, adnan darwiche

    1024

    PDF

Primary Sidebar