• 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, 20 /

Book One

Mobile Robot Competition and Exhibition

  • A Brochette of Socially Interactive Robots

    Francois Michaud, D. Letourneau, P. Lepage, Y. Morin, F. Gagnon, P. Giguere, E. Beaudry, Y. Brosseau, C. Cote, J.F. Laplante, A. Duquette, M.A. LEgault, P. Moisan, A. Ponchon, C. Raievsky, ...

    PDF
  • Catoms: Moving Robots Without Moving Parts

    Brian Kirby, Jason Campbell, Burak Aksak, Padmanabhan Pillai, James Hoburg, Todd Mowry, Seth Copen Goldstein

    PDF
  • Improving Human-Robot Interaction for Remote Robot Operation

    Holly A. Yanco, Michael Baker, Robert Casey, Andrew Chanler, Munjal Desai, Dan Hestand, Brenden Keyes, and Philip Thoren

    PDF
  • Indoor Aerial Robot Competition: Challenges in Search and Rescue Applications

    Paul Oh, William Green, Keith Sevcik

    PDF
  • Low-cost Outdoor Robot Platform for the Penn State Abington Mini Grand Challenge

    Robert Avanzato

    PDF
  • NavBot: The Navigational Search-and-Rescue Robot

    Matthew Marge, Ayman Sawas, Juan Carlos Liberato, Murtaza M. Karim, Manish Muttreja, Nader Alrawahi, Brian Fink

    PDF
  • Pyro: An Integrated Environment for Robotics Education

    Douglas Blank, Deepak Kumar, Lisa Meeden, Holly Yanco

    PDF
  • Ready or Not, Here I Come …

    Magdalena Bugajska, William Adams, Scott Thomas, J. Gregory Trafton, Alan C. Schultz

    PDF
  • Robots in an Intelligent Systems Course

    Debra Burhans, Andre Nelson, Victoria Steck

    PDF
  • Scavenging with a Laptop Robot

    Alan Davidson, Mac Mason, Susanna Ricco, Ben Tribelhorn, Zachary Dodds

    PDF
  • Social Tag: Finding the Person with the Pink Hat

    Carl DiSalvo, Didac Font, Laura Hiatt, Nik Melchior, Marek Michalowski, Reid Simmons

    PDF
  • Tekkotsu: A Framework for AIBO Cognitive Robotics

    David S. Touretzky, Ethan J. Tira-Thompson

    PDF
  • Toward Affective Cognitive Robots for Human-Robot Interaction

    Matthias Scheutz, James Kramer, Chris Middendorff, Paul Schermerhorn, Michael Heilman, Dave Anderson, Peter Bui

    PDF
  • Upending the Uncanny Valley

    David Hanson, Andrew Olney, Steve Prilliman, Eric Mathews, Marge Zielke, Derek Hammons, Raul Fernandez, Harry Stephanou

    PDF
  • Using a Sketch Pad Interface for Interacting with a Robot Team

    Marjorie Skubic, Derek Anderson, Samuel Blisard, Dennis Perzanowski, William Adams, J. Gregory Trafton, Alan C. Schultz

    PDF

Activity and Plan Recognition

  • Unsupervised Activity Recognition Using Automatically Mined Common Sense

    Danny Wyatt, Matthai Philipose, Tanzeem Choudhury

    21

    PDF
  • Activity Recognition through Goal-Based Segmentation

    Jie Yin, Dou Shen, Qiang Yang, Ze-Nian Li

    28

    PDF
  • Multiple-Goal Recognition from Low-Level Signals

    Xiaoyong Chai, Qiang Yang

    3

    PDF
  • A Variational Learning Algorithm for the Abstract Hidden Markov Model

    Jeff Johns, Sridhar Mahadevan

    9

    PDF
  • Large-Scale Localization from Wireless Signal Strength

    Julia Letchner, Dieter Fox, Anthony LaMarca

    15

    PDF

Agents / Multiagent Systems

  • An Ecological Approach to Agent Population Management

    Maxim D. Peysakhov, Robert N. Lass, William C. Regli, Moshe Kam

    146

    PDF
  • Distributing Coalitional Value Calculations among Cooperative Agents

    Talal Rahwan, Nicholas R. Jennings

    152

    PDF
  • Cooperative Exploration in the Electronic Marketplace

    David Sarne, Sarit Kraus

    158

    PDF
  • Solving the Auction-Based Task Allocation Problem in an Open Environment

    David Sarne, Sarit Kraus

    164

    PDF
  • Profit Sharing Auction

    Sandip Sen, Teddy Candale, Susnata Basak

    170

    PDF
  • OAR: A Formal Framework for Multi-Agent Negotiation

    Jiaying Shen, Ingo Weber, Victor Lesser

    176

    PDF
  • Tool Use for Autonomous Agents

    Robert St. Amant, Alexander B. Wood

    184

    PDF
  • Observation-based Model for BDI-Agents

    Kaile Su, Abdul Sattar, Kewen Wang, Xiangyu Luo, Guido Governatori Vineet Padmanabhan$

    190

    PDF
  • Stable Service Placement on Dynamic Peer-to-Peer Networks: A Heuristic for the Distributed k-Center Problem

    Evan A. Sultanik, William C. Regli

    196

    PDF
  • Team Member Reallocation via Tree Pruning

    Noa Agmon, Gal A Kaminka, Sarit Kraus

    35

    PDF
  • Efficient No-Regret Multiagent Learning

    Bikramjit Banerjee, Jing Peng

    41

    PDF
  • Solving DisCSPs with Penalty Driven Search

    Muhammed Basharu, Ines Arana, Hatem Ahriz

    47

    PDF
  • Coordination and Adaptation in Impromptu Teams

    Michael Bowling, Peter McCracken

    53

    PDF
  • Robust and Self-Repairing Formation Control for Swarms of Mobile Agents

    Jimming Cheng, Winston Cheng, Radhika Nagpal

    59

    PDF
  • An Extended Protocol for Multiple-Issue Concurrent Negotiation

    Jiangbo Dang, Michael N. Huhns

    65

    PDF
  • The Semantics of Potential Intentions

    Xiaocong Fan, John Yen

    71

    PDF
  • Agent-Organized Networks for Multi-Agent Production and Exchange

    Matthew Gaston, Marie desJardins

    77

    PDF
  • Supporting Collaborative Activity

    Meirav Hadad, Gilad Armon-Kest, Gal A. Kaminka, Sarit Kraus

    83

    PDF
  • Multiple Agent Event Detection and Representation in Videos

    Asaad Hakeem, Mubarak Shah

    89

    PDF
  • Anyone but Him: The Complexity of Precluding an Alternative

    Edith Hemaspaandra, Lane A. Hemaspaandra, Jörg Rothe

    95

    PDF
  • Towards Model-Based Diagnosis of Coordination Failures

    Meir Kalech, Gal A.

    102

    PDF
  • Flexible Teamwork in Behavior-Based Robots

    Gal A. Kaminka, Inna Frenkel

    108

    PDF
  • Coordinating Agile Systems through the Model-based Execution of Temporal Plans

    Thomas Leaute, Brian C. Williams

    114

    PDF
  • Controversial Users Demand Local Trust Metrics: An Experimental Study on Epinions.com Community

    Paolo Massa, Paolo Avesani.

    121

    PDF
  • Modeling Human Behavior for Virtual Training Systems

    Yohei Murakami, Yuki Sugimoto, Toru Ishida

    127

    PDF
  • Networked Distributed POMDPs: A Synthesis of Distributed Constraint Optimization and POMDPs

    Ranjit Nair, Pradeep Varakantham, Milind Tambe, Makoto Yokoo

    133

    PDF
  • New Approaches to Optimization and Utility Elicitation in Autonomic Computing

    Relu Patrascu, Craig Boutilier, Rajarshi Das, Jeffrey O. Kephart, Gerald Tesauro, William E. Walsh

    140

    PDF

Analogical and Case-Based Reasoning

  • Analogical Learning of Visual/Conceptual Relationships in Sketches

    Kenneth D. Forbus, Jeffrey Usher, Emmett Tomai

    202

    PDF
  • Solving Everyday Physical Reasoning Problems by Analogy Using Sketches

    Matthew Klenk, Ken Forbus, Emmett Tomai, Hyeonkyeong Kim, and Brian Kyckelhahn

    209

    PDF
  • Complexity-Guided Case Discovery for Case Based Reasoning

    Stewart Massie, Susan Craw, Nirmalie Wiratunga

    216

    PDF
  • Interactive Knowledge Validation and Query Refinement in CBR

    Monica H Ou, Geoff A W West, Mihai Lazarescu, Chris Clay

    222

    PDF
  • Competence Driven Case-Base Mining

    Rong Pan, Qiang Yang, Junfeng Pan, Lei Li

    228

    PDF
  • A Domain-Independent System for Case-Based Task Decomposition without Domain Theories

    Ke Xu, Hector Munoz-Avila

    234

    PDF

Auctions and Market-Based Systems

  • Mechanism Design for Single-Value Domains

    Moshe Babaioff, Ron Lavi: Elan Pavlov

    241

    PDF
  • Combinatorial Auctions with k-wise Dependent Valuations

    Vincent Conitzer, Tuomas Sandholm, Paolo Santi

    248

    PDF
  • Expressive Negotiation in Settings with Externalities

    Vincent Conitzer, Tuomas Sandholm

    255

    PDF
  • A New Strategy-Proof Greedy-Allocation Combinatorial Auction Protocol and Its Extension to Open Ascending Auction Protocol

    Takayuki Ito, Makoto Yokoo, Shigeo Matsubara, Atsushi Iwasaki

    261

    PDF
  • Approximating Revenue-Maximizing Combinatorial Auctions

    Anton Likhodedov, Tuomas Sandholm

    267

    PDF

Automated Reasoning

  • The Achilles’ Heel of QBF

    Carlos Ansotegui, Carla P. Gomes, Bart Selman

    275

    PDF
  • Combining Stochastic and Greedy Search in Hybrid Estimation

    Lars J Blackmore, Stanislav Funiak, Brian Williams

    282

    PDF
  • Propositional Fragments for Knowledge Compilation and Quantified Boolean Formulae

    Sylvie Coste-Marquis, Daniel Le Berre, Florian Letombe, Pierre Marquis

    288

    PDF
  • Axiom Schemata as Metalevel Axioms: Model Theory

    Timothy L. Hinrichs, Michael R. Genesereth

    294

    PDF
  • On Compiling System Models for Faster and More Scalable Diagnosis

    Jinbo Huang, Adnan Darwiche

    300

    PDF
  • A Discourse Planning Approach to Cinematic Camera Control for Narratives in Virtual Environments

    Arnav Jhala, R Michael Young

    307

    PDF
  • Dependency-Directed Reconsideration Belief Base Optimization for Truth Maintenance Systems

    Frances L. Johnson, Stuart C. Shapiro

    313

    PDF
  • Diagnosis as Approximate Belief State Enumeration for Probabilistic Concurrent Constraint Automata

    Oliver B. Martin, Michel D. Ingham, Brian C. Williams

    321

    PDF
  • Model-Based Monitoring and Diagnosis of Systems with Software-Extended Behavior

    Tsoline Mikaelian, Brian C. Williams, Martin Sachenbacher

    327

    PDF
  • Recommender Systems: Attack Types and Strategies

    Michael P. O'Mahony, Neil J. Hurley, Guenole C. M. Silvestre

    334

    PDF
  • Compact Propositional Encodings of First-Order Theories

    Deepak Ramachandran, Eyal Amir

    340

    PDF
  • Identifying Direct Causal Effects in Linear Models

    Jin Tian

    346

    PDF

Constraint Satisfaction and Satisfiability

  • A Fast Arc Consistency Algorithm for n-ary Constraints

    Olivier Lhomme, Jean-Charles Regin

    405

    PDF
  • Quick Shaving

    Olivier Lhomme

    411

    PDF
  • DC-SSAT: A Divide-and-Conquer Approach to Solving Stochastic Satisfiability Problems Efficiently

    Stephen M. Majercik, Byron Boots

    416

    PDF
  • A Constraint Satisfaction Approach to Geospatial Reasoning

    Martin Michalowski, Craig A. Knoblock

    423

    PDF
  • A Framework for Representing and Solving NP Search Problems

    David G. Mitchell, Eugenia Ternovska

    430

    PDF
  • Generation of Hard Non-Clausal Random Satisfiability Problems

    Juan A. Navarro, Andrei Voronkov

    436

    PDF
  • Anytime, Complete Algorithm for Finding Utilitarian Optimal Solutions to STPPs

    Bart Peintner, Martha E. Pollack

    443

    PDF
  • Superstabilizing, Fault-Containing Multiagent Combinatorial Optimization

    Adrian Petcu, Boi Faltings

    449

    PDF
  • SAT-Based versus CSP-Based Constraint Weighting for Satisfiability

    Duc Nghia Pham, John Thornton, Abdul Sattar, Abdelraouf Ishtaiwi

    455

    PDF
  • Constraint-Based Preferential Optimization

    Steve Prestwich, Francesca Rossi, Kristen Brent Venable, Toby Walsh

    461

    PDF
  • SymChaff: A Structure-Aware Satisfiability Solver

    Ashish Sabharwal

    467

    PDF
  • Performing Bayesian Inference by Weighted Model Counting

    Tian Sang, Paul Beame, Henry Kautz

    475

    PDF
  • Old Resolution Meets Modern SLS

    A. Anbulagan, Duc Nghia Pham, John Slaney, Abdul Sattar

    354

    PDF
  • CSP Properties for Quantified Constraints: Definitions and Complexity

    Lucas Bordeaux, Marco Cadoli, Toni Mancini

    360

    PDF
  • Constrained Decision Diagrams

    Kenil C.K. Cheng, Roland H.C. Yap

    366

    PDF
  • Finding Diverse and Similar Solutions in Constraint Programming

    Emmanuel Hebrard, Brahim Hnich, Barry O'Sullivan, Toby Walsh

    372

    PDF
  • Weighted Super Solutions for Constraint Programs

    Alan Holland, Barry O'Sullivan

    378

    PDF
  • Generating Hard Satisfiable Formulas by Hiding Solutions Deceptively

    Haixia Jia, Cristopher Moore, Doug Strain.

    384

    PDF
  • Generalized NoGoods in CSPs

    George Katsirelos, Fahiem Bacchus

    390

    PDF
  • Neighborhood Interchangeability and Dynamic Bundling for Non-Binary Finite CSPs

    Anagh Lal, Berthe Y. Choueiry, Eugene C. Freuder

    397

    PDF

Game Theory and Economic Models

  • A Generalized Strategy Eliminability Criterion and Computational Methods for Applying It

    Vincent Conitzer, Tuomas Sandholm

    483

    PDF
  • Fast and Compact: On A Simple Class of Congestion Games

    Samuel Ieong, Robert McGrew, Eugene Nudelman, Yoav Shoham, Qixiang Sun

    489

    PDF
  • Mixed-Integer Programming Methods for Finding Nash Equilibria

    Tuomas Sandholm, Andrew Gilpin, Vincent Conitzer

    495

    PDF
  • Approximate Strategic Reasoning through Hierarchical Reduction of Large Symmetric Games

    Michael P. Wellman, Daniel M. Reeves, Kevin M. Lochner, Shih-Fen Cheng, and Rahul Suri

    502

    PDF
  • Coalitional Games in Open Anonymous Environments

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

    509

    PDF

Human-Computer Interaction

  • On the Evaluation of Dynamic Critiquing: A Large-Scale User Study

    Kevin McCarthy, Lorraine McGinty, Barry Smyth, James Reilly

    535

    PDF
  • Optimal Recommendation Sets: Covering Uncertainty over User Preferences

    Bob Price, Paul Messinger

    541

    PDF
  • Goal-Directed Site-Independent Recommendations from Passive Observations

    Tingshao Zhu, Russ Greiner, Gerald Haeubl, Kevin Jewell, Bob Price

    549

    PDF
  • Mathematical Domain Reasoning Tasks in Natural Language Tutorial Dialog on Proofs

    Christoph Benzmueller, Quoc Bao Vo

    516

    PDF
  • Real-Time Classification of Electromyographic Signals for Robotic Control

    Beau Crawford, Kai Miller, Pradeep Shenoy, Rajesh P.N. Rao

    523

    PDF
  • A Decision Theoretic Model for Stress Recognition and User Assistance

    Wenhui Liao, Weihong Zhang, Zhiwei Zhu, Qiang Ji

    529

    PDF

Knowledge Acquisition and Engineering

  • An Analysis of Procedure Learning by Instruction

    Jim Blythe

    558

    PDF
  • An Analysis of Knowledge Collected from Volunteer Contributors

    Timothy Chklovski, Yolanda Gil

    564

    PDF

Knowledge Representation and Reasoning

  • Functional Specification of Probabilistic Process Models

    Avi Pfeffer

    663

    PDF
  • Diagnosing Terminologies

    Stefan Schlobach

    670

    PDF
  • Issues in Reasoning about Interaction Networks in Cells: Necessity of Event Ordering Knowledge

    Nam Tran, Chitta Baral, Carron Shankland

    676

    PDF
  • A Theory of Forgetting in Logic Programming

    Kewen Wang, Abdul Sattar, Kaile Su

    682

    PDF
  • Integrating Description Logics and Action Formalisms: First Results

    Franz Baader, Carsten Lutz, Maja Milicic, Ulrike Sattler, Frank Wolter

    572

    PDF
  • Using SAT and Logic Programming to Design Polynomial-Time Algorithms for Planning in Non-Deterministic Domains

    Chitta Baral, Thomas Eiter, Jicheng Zhao

    578

    PDF
  • Hybrid Possibilistic Networks

    Salem Benferhat, Salma Smaoui

    584

    PDF
  • Practical First-Order Argumentation

    Philippe Besnard, Anthony Hunter

    590

    PDF
  • Prioritized Component Systems

    Gerhard Brewka, Ilkka Niemelä, Mirosław Truszczyński

    596

    PDF
  • DL-Lite: Tractable Description Logics for Ontologies

    Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati

    602

    PDF
  • An Axiomatic Account of Formal Argumentation

    Martin Caminada, Leila Amgoud

    608

    PDF
  • Merging Argumentation Systems

    Sylvie Coste-Marquis, Caroline Devred, Sébastien Konieczny, Marie-Christine Lagasquie-Schiex, Pierre Marquis

    614

    PDF
  • DD-PREF: A Language for Expressing Preferences over Sets

    Marie desJardins, Kiri L. Wagstaff

    620

    PDF
  • Cumulative Effects of Concurrent Actions on Numeric-Valued Fluents

    Esra Erdem, Alfredo Gabaldon

    627

    PDF
  • Only-Knowing: Taking It Beyond Autoepistemic Reasoning

    Gerhard Lakemeyer, Hector J. Levesque

    633

    PDF
  • Tractable Reasoning in First-Order Knowledge Bases with Disjunctive Information

    Yongmei Liu, Hector J. Levesque

    639

    PDF
  • Knowledge Integration for Description Logics

    Thomas Meyer, Kevin Lee, Richard Booth

    645

    PDF
  • Analysis of Strategic Knowledge in Back of the Envelope Reasoning

    Praveen K Paritosh, Kenneth D. Forbus

    651

    PDF
  • Generalized Link Properties for Expressive ε-Connections of Description Logics

    Bijan Parsia, Bernardo Cuenca Grau

    657

    PDF

Logic Programming

  • Reasoning about Intended Actions

    Chitta Baral, Michael Gelfond

    689

    PDF
  • Strong and Uniform Equivalence in Answer-Set Programming: Characterizations and Complexity Results for the Non-Ground Case

    Thomas Eiter, Michael Fink, Hans Tompits, Stefan Woltran

    695

    PDF
  • Properties of Programs with Monotone and Convex Constraints

    Lengning Liu, Miroslaw Truszczynski

    701

    PDF
  • A Unified Framework for Representing Logic Program Updates

    Yan Zhang, Norman Foo

    707

    PDF

Machine Learning

  • Learning Planning Rules in Noisy Stochastic Worlds

    Luke S. Zettlemoyer, Hanna M. Pasula, Leslie Pack Kaelbling

    911

    PDF
  • Hidden Naive Bayes

    Harry Zhang, Liangxiao Jiang, Jiang Su

    919

    PDF
  • Finite Sample Error Bound for Parzen Windows

    Peng Zhang, Jing Peng, Norbert Riedel

    925

    PDF
  • Using Modified Lasso Regression to Learn Large Undirected Graphs in a Probabilistic Framework

    Fan Li, Yiming Yang

    801

    PDF
  • The Regularized EM Algorithm

    Haifeng Li, Keshu Zhang, Tao Jiang

    807

    PDF
  • Semi-Supervised Sequence Modeling with Syntactic Topic Models

    Wei Li

    813

    PDF
  • Giving Advice about Preferred Actions to Reinforcement Learners Via Knowledge-Based Kernel Regression

    Richard Maclin, Jude Shavlik, Lisa Torrey, Trevor Walker, Edward Wild

    819

    PDF
  • Distribution-Free Learning of Bayesian Network Structure in Continuous Domains

    Dimitris Margaritis

    825

    PDF
  • Online Query Relaxation via Bayesian Causal Structures Discovery

    Ion Muslea, Thomas J. Lee

    831

    PDF
  • Redescription Mining: Structure Theory and Algorithms

    Laxmi Parida, Naren Ramakrishnan

    837

    PDF
  • Spectral Clustering of Biological Sequence Data

    William Pentney, Marina Meila

    845

    PDF
  • Enhanced Direct Linear Discriminant Analysis for Feature Extraction on High Dimensional Data

    A. K. Qin, S. Y. M. Shi, P. N. Suganthan, M. Loog

    851

    PDF
  • A Maximum Likelihood Framework for Integrating Taxonomies

    Suju Rajan, Kunal Punera , Joydeep Ghosh

    856

    PDF
  • Constraint-Based Entity Matching

    Warren Shen, Xin Li, AnHai Doan

    862

    PDF
  • Discriminative Training of Markov Logic Networks

    Parag Singla, Pedro Domingos

    868

    PDF
  • Representing Conditional Independence Using Decision Trees

    Jiang Su, Harry Zhang

    874

    PDF
  • Value Functions for RL-Based Behavior Transfer: A Comparative Study

    Matthew E. Taylor, Peter Stone, Yaxin Liu

    880

    PDF
  • Online Resource Allocation Using Decompositional Reinforcement Learning

    Gerald Tesauro

    886

    PDF
  • Inducing Hierarchical Process Models in Dynamic Domains

    Ljupco Todorovski, Will Bridewell, Oren Shiran, Pat Langley

    892

    PDF
  • Software Testing by Active Learning for Commercial Games

    Gang Xiao, Finnegan Southey, Robert C. Holte, Dana Wilkinson

    898

    PDF
  • Unsupervised and Semi-Supervised Multi-Class Support Vector Machines

    Linli Xu, Dale Schuurmans

    904

    PDF
  • Non-Stationary Policy Learning in 2-Player Zero Sum Games

    Steven Jensen, Daniel Boley, Maria Gini, Paul Schrater

    789

    PDF
  • nFOIL: Integrating Naïve Bayes and FOIL

    Niels Landwehr, Kristian Kersting, Luc De Raedt

    795

    PDF
  • Robust Supervised Learning

    James Bagnell

    714

    PDF
  • Weighted One-Against-All

    Alina Beygelzimer, John Langford, Bianca Zadrozny

    720

    PDF
  • Optimal Efficient Learning Equilibrium: Imperfect Monitoring in Symmetric Games

    Ronen Brafman, Moshe Tennenholtz

    726

    PDF
  • Discovering Domain-Specific Composite Kernels

    Tom Briggs, Tim Oates

    732

    PDF
  • A Comparison of Novel and State-of-the-Art Polynomial Bayesian Network Learning Algorithms

    Laura E. Brown, Ioannis Tsamardinos, Constantin F. Aliferis

    739

    PDF
  • Reducing Labeling Effort for Structured Prediction Tasks

    Aron Culotta, Andrew McCallum

    746

    PDF
  • Towards Learning Stochastic Logic Programs from Proof-Banks

    Luc De Raedt, Kristian Kersting, Sunna Torge

    752

    PDF
  • Incremental Estimation of Discrete Hidden Markov Models Based on a New Backward Procedure

    German Florez-Larrahondo, Susan Bridges, Eric A. Hansen

    758

    PDF
  • A Hybrid Generative/Discriminative Approach to Semi-Supervised Classifier Design

    Akinori Fujino, Naonori Ueda, Kazumi Saito

    764

    PDF
  • Discriminative Model Selection for Belief Net Structures

    Yuhong Guo, Russ Greiner

    770

    PDF
  • Transforming between Propositions and Features: Bridging the Gap

    Daniel T. Halstead, Kenneth D. Forbus

    777

    PDF
  • Effective Short-Term Opponent Exploitation in Simplified Poker

    Bret Hoehn, Finnegan Southey, Robert C. Holte, Valeriy Bulitko

    783

    PDF

Machine Perception

  • Cross-Modal Clustering

    Michael H. Coen

    932

    PDF
  • A Computational Model of the Cerebral Cortex

    Thomas Dean

    938

    PDF
  • Data-Driven MCMC for Learning and Inference in Switching Linear Dynamic Systems

    Sangmin Oh, James M. Rehg, Tucker Balch, Frank Dellaet

    944

    PDF
  • Function-Based Classification from 3D Data via Generic and Symbolic Models

    Michael Pechuk, Octavian Soldea, Ehud Rivlin

    950

    PDF
  • Learning Static Object Segmentation from Motion Segmentation

    Michael G. Ross, Leslie Pack Kaelbling

    956

    PDF
  • Semantic Scene Concept Learning by an Autonomous Agent

    Weiyu Zhu

    962

    PDF

Markov Decision Processes and Uncertainty

  • A Particle Filtering Based Approach to Approximating Interactive POMDPs

    Prashant Doshi, Piotr J. Gmytrasiewicz

    969

    PDF
  • Efficient Maximization in Solving POMDPs

    Zhengzhu Feng, Shlomo Zilberstein

    975

    PDF
  • Extending Continuous Time Bayesian Networks

    Karthik Gopalratnam, Henry Kautz, Daniel S. Weld

    981

    PDF
  • Planning in Models that Combine Memory with Predictive Representations of State

    Michael R. James, Satinder Singh

    987

    PDF
  • Risk-Sensitive Planning with One-Switch Utility Functions: Value Iteration

    Yaxin Liu, Sven Koenig

    993

    PDF
  • Samuel Meets Amarel: Automating Value Function Approximation Using Global State Space Analysis

    Sridhar Mahadevan

    1000

    PDF
  • Error Bounds for Approximate Value Iteration

    Rémi Munos

    1006

    PDF
  • Geometric Variance Reduction in Markov Chains. Application to Value Function and Gradient Estimation

    Rémi Munos

    1012

    PDF
  • Modeling Form for On-line Following of Musical Performances

    Bryan Pardo, William Birmingham

    1018

    PDF
  • Improving Action Selection in MDP’s via Knowledge Transfer

    Alexander A. Sherstov, Peter Stone

    1024

    PDF
  • Planning and Execution with Phase Transitions

    Håkan L. S. Younes

    1030

    PDF

Intelligent Systems Demonstrations

  • TIELT: A Testbed for Gaming Environments

    Matthew Molineaux and David W. Aha

    PDF
  • Using the GEMS System for Cancer Diagnosis and Biomarker Discovery from Microarray Gene Expression Data

    Alexander Statnikov, Ioannis Tsamardinos, Constantin F. Aliferis

    PDF
  • A Learning and Reasoning System for Intelligence Analysis

    Mihai Boicu, Gheorghe Tecuci, Cindy Ayers, Dorin Marcu, Cristina Boicu, Marcel Barbulescu, Bogdan Stanescu, William Wagner, Vu Le, Adrian Ciubotariu, Denitsa Apostolova

    PDF
  • Building Applications Using End to End Composition of Web Services

    Vikas Agarwal, Girish Chafle, Koustuv Dasgupta, Neeran Karnik, Arun Kumar, Ashish Kundu, Anupam Mediratta, Sumit Mittal, and Biplav Srivastava

    PDF
  • DiamondHelp: A Collaborative Task Guidance Framework for Complex Devices

    Charles Rich, Candy Sidner, Neal Lesh, Andrew Garland, Shane Booth, Markus Chimani

    PDF
  • Evolution of an Empathetic Digital Entity: Phase One

    Margaret Manella Kozak

    PDF
  • Identifying Similar Words and Contexts in Natural Language with SenseClusters

    Ted Pedersen, Anagha Kulkarni

    PDF
  • Language Independent Extractive Summarization

    Rada Mihalcea

    PDF
  • MADbot: A Motivated and Goal Directed Robot

    Alex Coddington, Maria Fox, Jonathan Gough, Derek Long, Ivan Serina

    PDF
  • MGLAIR Agents in Virtual and Other Graphical Environments

    Stuart C. Shapiro, Josephine Anstey, David E. Pape, Trupti Devdas Nayak, Michael Kandefer, Orkan Telhan

    PDF
  • Optimal Rhode Island Hold’em Poker

    Andrew Gilpin, Tuomas Sandholm

    PDF
  • Proving Theorems of Type Theory Automatically with TPS

    Peter B. Andrews

    PDF
  • QuOnto: Querying Ontologies

    Andrea Acciarri, Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Mattia Palmieri, Riccardo Rosati

    PDF
  • Remote Supervisory Control of a Humanoid Robot

    Michael T. Rosenstein, Andrew H. Fagg, Robert Platt, John D. Sweeney, Roderic A. Grupen

    PDF
  • SAGA-ML: An Active Learning System for Semiautomated Gameplay Analysis

    Finnegan Southey, Robert C. Holte

    PDF
  • SenseRelate::TargetWord-A Generalized Framework for Word Sense Disambiguation

    Siddharth Patwardhan, Satanjeev Banerjee, and Ted Pedersen

    PDF
  • Solo: A Cognitive Orthosis

    Richard C Simpson, Edmund LoPresti, Debra Schreckenghost, Ned Kirsch, Steve Hayashi

    PDF
  • Song Search and Retrieval by Tapping

    Geoff Peters, Caroline Anthony, Michael Schwartz

    PDF
  • Swoogle: Searching for Knowledge on the Semantic Web

    Tim Finin, Li Ding, Rong Pan, Anupam Joshi, Pranam Kolari, Akshay Java and Yun Peng

    PDF
  • The AI Technologies of the Philadelphia Area Urban Wireless Network Testbed

    Gustave Anderson and Andrew Burnheimer and Vincent Cicirello and David Dorsey and Chris Dugan and Iris Howley and Moshe Kam and Joseph Kopena and Rob Lass and Kris Malfettone and Andy Mroczkowski and Gaurav Naik and Max Peysakhov and Brian Pyles and William Regli and Evan Sultanik and James Thiel and Kyle Usbeck and Dan Venutolo and Marc Winners

    PDF
  • The Proteome Analyst Suite of Automated Function Prediction Tools

    Brett Poulin, Duane Szafron, Paul Lu, Russell Greiner, David Wishart, Roman Eisner, Alona Fyshe, Brandon Pearcy, Luca Pireddu

    PDF
  • The TaskTracker System

    Simone Stumpf, Xinlong Bao, Anton Dragunov, Thomas G. Dietterich, Jon Herlocker, Kevin Johnsrude, Lida Li, JianQiang Shen

    PDF

Natural Language Processing and Speech Recognition

  • Scaling Up Word Sense Disambiguation via Parallel Texts

    Yee Seng Chan, Hwee Tou Ng

    1037

    PDF
  • An Inference Model for Semantic Entailment in Natural Language

    Rodrigo de Salvo Braz, Roxana Girju, Vasin Punyakanok, Dan Roth, Mark Sammons

    1043

    PDF
  • A Probabilistic Classification Approach for Lexical Textual Entailment

    Oren Glickman, Ido Dagan, Moshe Koppel

    1050

    PDF
  • Clustering and Classifying Person Names by Origin

    Fei Huang, Stephan Vogel, Alex Waibel

    1056

    PDF
  • Learning to Transform Natural to Formal Languages

    Rohit J. Kate, Yuk Wah Wong, Raymond J. Mooney

    1062

    PDF
  • Impact of Linguistic Analysis on the Semantic Graph Coverage and Learning of Document Extracts

    Jure Leskovec, Natasa Milic-Frayling, Marko Grobelnik

    1069

    PDF
  • Unsupervised Multilingual Word Sense Disambiguation via an Interlingua

    Kornel Marko, Stefan Schulz, Udo Hahn

    1075

    PDF
  • Supervised Ranking for Pronoun Resolution: Some Recent Improvements

    Vincent Ng

    1081

    PDF
  • Cross-Lingual Bootstrapping of Semantic Lexicons: The Case of FrameNet

    Sebastian Pado, Mirella Lapata

    1087

    PDF
  • Word Sense Disambiguation with Semi-Supervised Learning

    Thanh Phong Pham, Hwee Tou Ng, Wee Sun Lee

    1093

    PDF
  • Robust Textual Inference Via Learning and Abductive Reasoning

    Rajat Raina, Andrew Y. Ng, Christopher D. Manning

    1099

    PDF
  • Exploiting Subjectivity Classification to Improve Information Extraction

    Ellen Riloff, Janyce Wiebe, William Phillips

    1106

    PDF
  • Dependency Parsing with Dynamic Bayesian Network

    Virginia Savova, Leonid Peshkin

    1112

    PDF
  • Spotting Subsequences Matching an HMM Using the Average Observation Probability Criteria with Application to Keyword Spotting

    Marius C Silaghi

    1118

    PDF
  • Capturing Expression Using Linguistic Information

    Ozlem Uzuner, Boris Katz

    1124

    PDF

Planning and Scheduling

  • New Admissible Heuristics for Domain-Independent Planning

    Patrik Haslum, Blai Bonet, Hector Geffner

    1163

    PDF
  • Using Domain-Configurable Search Control for Probabilistic Planning

    Ugur Kuter, Dana Nau

    1169

    PDF
  • Lazy Approximation for Solving Continuous Finite-Horizon MDPs

    Lihong Li, Michael L. Littman

    1175

    PDF
  • Prottle: A Probabilistic Temporal Planner

    Iain Little, Douglas Aberdeen, Sylvie Thiebaux.

    1181

    PDF
  • Augmenting Disjunctive Temporal Problems with Finite-Domain Constraints

    Michael D. Moffitt, Bart Peintner, Martha E. Pollack

    1187

    PDF
  • Temporal Dynamic Controllability Revisited

    Paul H. Morris, Nicola Muscettola

    1193

    PDF
  • Exploiting Temporal Flexibility to Obtain High Quality Schedules

    Nicola Policella, Xiaofang Wang, Stephen F. Smith, Angelo Oddi

    1199

    PDF
  • Planning for Stream Processing Systems

    Anton Riabov, Zhen Liu

    1205

    PDF
  • Conformant Planning for Domains with Constraints—A New Approach

    Tran C. Son, Phan H. Tu, Michael Gelfond, Ricardo A. Morales

    1211

    PDF
  • Learning Measures of Progress for Planning Domains

    Sungwook Yoon, Alan Fern, Robert Givan

    1217

    PDF
  • Exploiting the Structure of Hierarchical Plans in Temporal Constraint Propagation

    Neil Yorke-Smith

    1223

    PDF
  • Sensor Selection for Active Information Fusion

    Yongmian Zhang, Qiang Ji

    1229

    PDF
  • Simultaneous Heuristic Search for Conjunctive Subgoals

    Lin Zhu, Robert Givan

    1235

    PDF
  • State Agnostic Planning Graphs and the Application to Belief-Space Planning

    William Cushing, Daniel Bryce

    1131

    PDF
  • Genome Rearrangement and Planning

    Esra Erdem, Elisabeth Tillier

    1139

    PDF
  • Quasi-Monotonic Segmentation of State Variable Behavior for Reactive Control

    Will Fitzgerald, Daniel Lemire, Martin Brooks

    1145

    PDF
  • Validating Plans in the Context of Processes and Exogenous Events

    Maria Fox, Richard Howey, Derek Long

    1151

    PDF
  • Fast Planning in Domains with Derived Predicates: An Approach Based on Rule-Action Graphs and Local Search

    Alfonso Gerevini, Alessandro Saetti, Ivan Serina, Paolo Toninelli

    1157

    PDF

Robotics

  • Controlling Tiny Multi-Scale Robots for Nerve Repair

    Tad Hogg, David W. Sretavan

    1286

    PDF
  • Heterogeneous Multirobot Coordination with Spatial and Temporal Constraints

    Mary Koes, Illah Nourbakhsh, Katia Sycara

    1292

    PDF
  • Consciousness: Drinking from the Firehose of Experience

    Benjamin Kuipers

    1298

    PDF
  • Semantic Place Classification of Indoor Environments with Mobile Robots Using Boosting

    Axel Rottmann, Oscar Martinez Mozos, Cyrill Stachniss, Wolfram Burgard

    1306

    PDF
  • Learning to Prevent Failure States for a Dynamically Balancing Robot

    Jeremy L Searock, Brett Browning

    1312

    PDF
  • Autonomous Color Learning on a Mobile Robot

    Mohan Sridharan, Peter Stone

    1318

    PDF
  • Mobile Robot Mapping and Localization in Non-Static Environments

    Cyrill Stachniss, Wolfram Burgard

    1324

    PDF
  • Improving Simultaneous Mapping and Localization in 3D Using Global Constraints

    Rudolph A. Triebel, Wolfram Burgard

    1330

    PDF
  • Bitbots: Simple Robots Solving Complex Tasks

    Anna Yershova, Benjamin Tovar, Robert Ghrist, Steven M. LaValle

    1336

    PDF
  • Reactive Planning in a Motivated Behavioral Architecture

    Eric Beuadry, Yannick Brosseau, Carle Cote, clement Raievsky, Dominic Letourneau, Froduald Kabanza, Francois Michaud

    1242

    PDF
  • A Distributed Approach to Passive Localization for Sensor Networks

    Rahul Biswas, Sebastian Thrun

    1248

    PDF
  • Recovery Planning for Ambiguous Cases in Perceptual Anchoring

    Mathias Broxvall, Silvia Coradeschi, Lars Karlsson, Alessandro Saffiotti

    1254

    PDF
  • A Multifrontal QR Factorization Approach to Distributed Inference Applied to Multirobot Localization and Mapping

    Frank Dellaert, Alexander Kipp, Peter Krauthausen

    1261

    PDF
  • Learning CPG Sensory Feedback with Policy Gradient for Biped Locomotion for a Full-Body Humanoid

    Gen Endo, Jun Morimoto, Takamitsu Matsubara, Jun Nakanishi, Gordon Cheng

    1267

    PDF
  • Tactic-Based Motion Modeling and Multi-Sensor Tracking

    Yang Gu

    1274

    PDF
  • A Relational Representation for Procedural Task Knowledge

    Stephen Hart, Roderic Grupen, David Jensen

    1280

    PDF

Search

  • An Algorithm Better than AO*?

    Blai Bonet, Hector Geffner

    1343

    PDF
  • Speeding Up Learning in Real-time Search via Automatic State Abstraction

    Vadim Bulitko, Nathan Sturtevant, Maryia Kazakevich

    1349

    PDF
  • The Max K-Armed Bandit: A New Model of Exploration Applied to Search Heuristic Selection

    Vincent A Cicirello, Stephen F Smith

    1355

    PDF
  • Cost-Algebraic Heuristic Search

    Stefan Edelkamp, Shahid Jabbar, Alberto Lluch Lafuente

    1362

    PDF
  • Backbones and Backdoors in Satisfiability

    Philip Kilby, John Slaney, Sylvie Thiebaux, Toby Walsh

    1368

    PDF
  • Search versus Knowledge for Solving Life and Death Problems in Go

    Akihiro Kishimoto, Martin Mueller

    1374

    PDF
  • Large-Scale Parallel Breadth-First Search

    Richard E. Korf, Peter Schultze

    1380

    PDF
  • Domain-Dependent Parameter Selection of Search-based Algorithms Compatible with User Performance Criteria

    Biplav Srivastava, Anupam Mediratta

    1386

    PDF
  • Partial Pathfinding Using Map Abstraction and Refinement

    Nathan Sturtevant, Michael Buro

    1392

    PDF
  • External-Memory Pattern Databases Using Structured Duplicate Detection

    Rong Zhou, Eric A. Hansen

    1398

    PDF

Semantic Web, Information Retrieval, and Extraction

  • WebCrow: A Web-Based System for Crossword Solving

    Marco Ernandes, Giovanni Angelini, Marco Gori

    1412

    PDF
  • A Learning-Based Term-Weighting Approach for Information Retrieval

    Guang Can Liu, Yong Yu, Xing Zhu

    1418

    PDF
  • Query Translation Disambiguation as Graph Partitioning

    Yi Liu, Rong Jin

    1424

    PDF
  • Searching for Common Sense: Populating Cyc™ from the Web

    Cynthia Matuszek, Michael Witbrock, Robert C. Kahlert, John Cabral, Dave Schneider, Purvesh Shah, Doug Lenat

    1430

    PDF
  • Automatic Text Summarization of Newswire: Lessons Learned from the Document Understanding Conference

    Ani Nenkova

    1436

    PDF
  • A Graph Theoretical Foundation for Integrating RDF Ontologies

    Octavian Udrea, Yu Deng, Edna Ruckhaus, V.S. Subrahmanian

    1442

    PDF
  • Selection and Ranking of Propositional Formulas for Large-Scale Service Directories

    Ion Constantinescu, Walter Binder, Boi Faltings

    1406

    PDF

Student Abstracts

  • Description Logic-Ground Knowledge Integration and Management

    Joseph B Kopena

    1612

    PDF
  • Continuous Speech Recognition Using Modified Stack Decoding Algorithm

    David C. Lee

    1614

    PDF
  • Qualitative Dimensions in Question Answering: Extending the Definitional QA Task

    Lucian Lita, Andrew Hazen Schlaikjer, WeiChang Hong, Eric Nyberg

    1616

    PDF
  • A Learning Support Method in Qualitative Simulation-Based Economic Education

    Tokuro Matsuo, Takayuki Ito, Toramatsu Shintani

    1618

    PDF
  • Evolving AI Opponents in a First-Person-Shooter Video Game

    Christopher A. Overholtzer, Simon D. Levy

    1620

    PDF
  • A Framework for Bayesian Network Mapping

    Rong Pan, Yun Peng

    1622

    PDF
  • Minimizing Environmental Swings with a Recurrent Neural Network Control System

    Sam Skrivan, Dr. Jianna Zhang, Dr. Debra Jusak

    1624

    PDF
  • Autonomous Learning of Tool Affordances by a Robot

    Alexander Stoytchev

    1626

    PDF
  • Machine Learning and Its Application at Nooksack Falls Hydroelectric Station

    Scott Alexander, Dr. Jianna Zhang

    1584

    PDF
  • Helicopter Routing for Maintaining Remote Sites in Alaska using a Genetic Algorithm

    Nicholas Armstrong-Crews, Kenrick Mock

    1586

    PDF
  • Autonomous Subgoal Discovery and Hierarchical Abstraction for Reinforcement Learning Using Monte Carlo Method

    Mehran Asadi, Manfred Huber

    1588

    PDF
  • Mixed-Initiative Approach to Collaboration in the Mathematical Domain

    Nadya Belov, Joshua Shaffer

    1590

    PDF
  • On Predicting User Intent

    Nadya Belov

    1592

    PDF
  • DR-Prolog:A System for Reasoning with Rules and Ontologies on the Semantic Web

    Antonis Bikakis, Grigoris Antoniou

    1594

    PDF
  • Genre Classification of Web Documents

    Elizabeth S Boese, Adele Howe

    1596

    PDF
  • Rule Refinement by Domain Experts in Complex Knowledge Bases

    Cristina Boicu, Gheorghe Tecuci, Mihai Boicu

    1598

    PDF
  • Use of Expert Knowledge for Decision Tree Pruning

    Jingfeng Cai, John Durkin

    1600

    PDF
  • Learning Support Vector Machines from Distributed Data Sources

    Cornelia Caragea, Doina Caragea, Vasant Honavar

    1602

    PDF
  • Boosting Semantic Web Data Access Using Swoogle

    LI Ding and Tim Finin

    1604

    PDF
  • Towards Exploiting Duality in Approximate Linear Programming for MDPs

    Dmitri Dolgov, Edmund Durfee

    1606

    PDF
  • Manufacturing Processes Recognition of Machined Mechanical Parts using SVMs

    Cheuk Yiu Ip, William C. Regli

    1608

    PDF
  • An Automated Distributed Meeting Scheduler for FCVW Plug-in

    Hsiang-Hwa Koo, Elhadi Shakshuki

    1610

    PDF

Doctoral Consortium

  • Rover Science Autonomy: Probabilistic Planning for Science-Aware Exploration

    Trey Smith

    1660

    PDF
  • Natural Language Generation for Text-to-Text Applications Using an Information-Slim Representation

    Radu Soricut

    1662

    PDF
  • Planning for Geospatial Data Integration

    Snehal Thakkar

    1664

    PDF
  • Improving Reinforcement Learning Function Approximators via Neuroevolution

    Shimon Whiteson

    1666

    PDF
  • Leveraging Language into Learning

    Jacob Beal

    1636

    PDF
  • Dissertation in Progress: An Empirical Analysis of the Costs and Benefits of Naturalness in Spoken Dialog Systems

    Ellen Campana

    1638

    PDF
  • Learning Source Descriptions for Web Services

    Mark J Carman

    1640

    PDF
  • Computational Aspects of Mechanism Design

    Vincent Conitzer

    1642

    PDF
  • On Boosting Semantic Web Data Access

    Li Ding

    1644

    PDF
  • Dynamic Regime Identification and Prediction Based on Observed Behavior in Electronic Marketplaces

    Wolfgang Ketter

    1646

    PDF
  • Adaptive Modeling and Planning for Reactive Agents

    Mykel J. Kochenderfer

    1648

    PDF
  • Self-Emergence of Structures in Gene Expression Programming

    Xin Li

    1650

    PDF
  • Concurrent Hierarchical Reinforcement Learning

    Bhaskara Marthi

    1652

    PDF
  • Discourse Factors in Multi-Document Summarization

    Ani Nenkova

    1654

    PDF
  • Structure Learning for Statistical Relational Models

    Jennifer Neville

    1656

    PDF
  • Towards Competence in Autonomous Agents

    Ozgur Simsek

    1658

    PDF

Primary Sidebar