AAAI 2005

325 papers

A Brochette of Socially Interactive Robots François Michaud, Dominic Létourneau, Pierre Lepage, Yan Morin, Frédéric Gagnon, Patrick Giguère, Eric Beaudry, Yannick Brosseau, Carle Côté, Audrey Duquette, Jean-François Laplante, Marc-Antoine Legault, Pierre Moisan, Arnaud Ponchon, Clément Raïevsky, Marc-André Roux, Tamie Salter, Jean-Marc Valin, Serge Caron, Patrice Masson, Froduald Kabanza, Michel Lauria

A Comparison of Novel and State-of-the-Art Polynomial Bayesian Network Learning Algorithms Laura E. Brown, Ioannis Tsamardinos, Constantin F. Aliferis

A Computational Model of the Cerebral Cortex Thomas Dean

A Constraint Satisfaction Approach to Geospatial Reasoning Martin Michalowski, Craig A. Knoblock

A Decision Theoretic Model for Stress Recognition and User Assistance Wenhui Liao, Weihong Zhang, Zhiwei Zhu, Qiang Ji

A Discourse Planning Approach to Cinematic Camera Control for Narratives in Virtual Environments Arnav Jhala, Robert Michael Young

A Distributed Approach to Passive Localization for Sensor Networks Rahul Biswas, Sebastian Thrun

A Domain-Independent System for Case-Based Task Decomposition Without Domain Theories Ke Xu, Héctor Muñoz-Avila

A Fast Arc Consistency Algorithm for N-Ary Constraints Olivier Lhomme, Jean-Charles Régin

A Framework for Bayesian Network Mapping Rong Pan, Yun Peng

A Framework for Representing and Solving NP Search Problems David G. Mitchell, Eugenia Ternovska

A Generalized Strategy Eliminability Criterion and Computational Methods for Applying It Vincent Conitzer, Tuomas Sandholm

A Graph Theoretical Foundation for Integrating RDF Ontologies Octavian Udrea, Yu Deng, Edna Ruckhaus, V. S. Subrahmanian

A Hybrid Generative/Discriminative Approach to Semi-Supervised Classifier Design Akinori Fujino, Naonori Ueda, Kazumi Saito

A Knowledge-Based Approach to Network Security: Applying Cyc in the Domain of Network Risk Assessment Blake Shepard, Cynthia Matuszek, C. Bruce Fraser, William Wechtenhiser, David Crabbe, Zelal Güngördü, John Jantos, Todd Hughes, Larry Lefkowitz, Michael Witbrock, Douglas B. Lenat, Erik Larson

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, Denitsa Apostolova, Adrian Ciubotariu

A Learning Architecture for Automating the Intelligent Environment G. Michael Youngblood, Diane J. Cook, Lawrence B. Holder

A Learning Support Method in Qualitative Simulation-Based Economic Education Tokuro Matsuo, Takayuki Ito, Toramatsu Shintani

A Learning-Based Term-Weighting Approach for Information Retrieval Guangcan Liu, Yong Yu, Xing Zhu

A Maximum Likelihood Framework for Integrating Taxonomies Suju Rajan, Kunal Punera, Joydeep Ghosh

A Multi-Agent Simulator for Teaching Police Allocation Vasco Furtado, Eurico Vasconcelos Filho

A Multifrontal QR Factorization Approach to Distributed Inference Applied to Multirobot Localization and Mapping Frank Dellaert, Alexander Kipp, Peter Krauthausen

A New Strategy-Proof Greedy-Allocation Combinatorial Auction Protocol and Its Extension to Open Ascending Auction Protocol Takayuki Ito, Makoto Yokoo, Atsushi Iwasaki, Shigeo Matsubara

A Particle Filtering Based Approach to Approximating Interactive POMDPs Prashant Doshi, Piotr J. Gmytrasiewicz

A Probabilistic Classification Approach for Lexical Textual Entailment Oren Glickman, Ido Dagan, Moshe Koppel

A Relational Representation for Procedural Task Knowledge Stephen Hart, Roderic A. Grupen, David D. Jensen

A Theory of Forgetting in Logic Programming Kewen Wang, Abdul Sattar, Kaile Su

A Unified Framework for Representing Logic Program Updates Yan Zhang, Norman Y. Foo

A Variational Learning Algorithm for the Abstract Hidden Markov Model Jeffrey Johns, Sridhar Mahadevan

Activity Recognition from Accelerometer Data Nishkam Ravi, Nikhil Dandekar, Preetham Mysore, Michael L. Littman

Activity Recognition Through Goal-Based Segmentation Jie Yin, Dou Shen, Qiang Yang, Ze-Nian Li

Adaptive Modeling and Planning for Reactive Agents Mykel J. Kochenderfer

Agent-Organized Networks for Multi-Agent Production and Exchange Matthew E. Gaston, Marie desJardins

An Algorithm Better than AO*? Blai Bonet, Hector Geffner

An Analysis of Knowledge Collected from Volunteer Contributors Timothy Chklovski, Yolanda Gil

An Analysis of Procedure Learning by Instruction Jim Blythe

An Automated Distributed Meeting Scheduler for FCVW Plug-in Hsiang-Hwa Koo, Elhadi M. Shakshuki

An Axiomatic Account of Formal Argumentation Martin Caminada, Leila Amgoud

An Ecological Approach to Agent Population Management Maxim Peysakhov, Robert N. Lass, William C. Regli, Moshe Kam

An Extended Protocol for Multiple-Issue Concurrent Negotiation Jiangbo Dang, Michael N. Huhns

An Inference Model for Semantic Entailment in Natural Language Rodrigo de Salvo Braz, Roxana Girju, Vasin Punyakanok, Dan Roth, Mark Sammons

Analogical Learning of Visual/Conceptual Relationships in Sketches Kenneth D. Forbus, Jeffrey M. Usher, Emmett Tomai

Analysis of Strategic Knowledge in Back of the Envelope Reasoning Praveen K. Paritosh, Kenneth D. Forbus

Anyone but Him: The Complexity of Precluding an Alternative Edith Hemaspaandra, Lane A. Hemaspaandra, Jörg Rothe

Anytime, Complete Algorithm for Finding Utilitarian Optimal Solutions to STPPs Bart Peintner, Martha E. Pollack

Approximate Inference of Bayesian Networks Through Edge Deletion Julie Thornton

Approximate Strategic Reasoning Through Hierarchical Reduction of Large Symmetric Games Michael P. Wellman, Daniel M. Reeves, Kevin M. Lochner, Shih-Fen Cheng, Rahul Suri

Approximating Revenue-Maximizing Combinatorial Auctions Anton Likhodedov, Tuomas Sandholm

Augmenting Disjunctive Temporal Problems with Finite-Domain Constraints Michael D. Moffitt, Bart Peintner, Martha E. Pollack

Automatic Text Summarization of Newswire: Lessons Learned from the Document Understanding Conference Ani Nenkova

Automatically Acquiring Domain Knowledge for Adaptive Game AI Using Evolutionary Learning Marc J. V. Ponsen, Héctor Muñoz-Avila, Pieter Spronck, David W. Aha

Automating the Underwriting of Insurance Applications Kareem S. Aggour, William Cheetham

Autonomous Color Learning on a Mobile Robot Mohan Sridharan, Peter Stone

Autonomous Learning of Tool Affordances by a Robot Alexander Stoytchev

Autonomous Subgoal Discovery and Hierarchical Abstraction for Reinforcement Learning Using Monte Carlo Method Mehran Asadi, Manfred Huber

Axiom Schemata as Metalevel Axioms: Model Theory Timothy L. Hinrichs, Michael R. Genesereth

Backbones and Backdoors in Satisfiability Philip Kilby, John K. Slaney, Sylvie Thiébaux, Toby Walsh

Bitbots: Simple Robots Solving Complex Tasks Anna Yershova, Benjamín Tovar, Robert Ghrist, Steven M. LaValle

Boosting Semantic Web Data Access Using Swoogle Li Ding, Timothy W. Finin

Boosting Sex Identification Performance Shumeet Baluja, Henry A. Rowley

Building Applications Using End to End Composition of Web Services Vikas Agarwal, Girish Chafle, Koustuv Dasgupta, Neeran M. Karnik, Arun Kumar, Ashish Kundu, Anupam Mediratta, Sumit Mittal, Biplav Srivastava

Capturing Expression Using Linguistic Information Özlem Uzuner, Boris Katz

Catoms: Moving Robots Without Moving Parts Brian T. Kirby, Jason Campbell, Burak Aksak, Padmanabhan Pillai, James F. Hoburg, Todd C. Mowry, Seth Copen Goldstein

Clustering and Classifying Person Names by Origin Fei Huang, Stephan Vogel, Alex Waibel

Coalitional Games in Open Anonymous Environments Makoto Yokoo, Vincent Conitzer, Tuomas Sandholm, Naoki Ohta, Atsushi Iwasaki

Combinatorial Auctions with K-Wise Dependent Valuations Vincent Conitzer, Tuomas Sandholm, Paolo Santi

Combining Stochastic and Greedy Search in Hybrid Estimation Lars Blackmore, Stanislav Funiak, Brian C. Williams

Compact Propositional Encodings of First-Order Theories Deepak Ramachandran, Eyal Amir

Competence Driven Case-Base Mining Rong Pan, Qiang Yang, Jeffrey Junfeng Pan, Lei Li

Complexity-Guided Case Discovery for Case Based Reasoning Stewart Massie, Susan Craw, Nirmalie Wiratunga

Computational Aspects of Mechanism Design Vincent Conitzer

Concurrent Hierarchical Reinforcement Learning Bhaskara Marthi

Conformant Planning for Domains with Constraints-a New Approach Tran Cao Son, Phan Huy Tu, Michael Gelfond, A. Ricardo Morales

Consciousness: Drinking from the Firehose of Experience Benjamin Kuipers

Constrained Decision Diagrams Kenil C. K. Cheng, Roland H. C. Yap

Constraint-Based Entity Matching Warren Shen, Xin Li, AnHai Doan

Constraint-Based Preferential Optimization Steve Prestwich, Francesca Rossi, K. Brent Venable, Toby Walsh

Continuous Speech Recognition Using Modified Stack Decoding Algorithm David Lee

Controlling Tiny Multi-Scale Robots for Nerve Repair Tad Hogg, David W. Sretavan

Controversial Users Demand Local Trust Metrics: An Experimental Study on Epinions.com Community Paolo Massa, Paolo Avesani

Cooperative Exploration in the Electronic Marketplace David Sarne, Sarit Kraus

Coordinating Agile Systems Through the Model-Based Execution of Temporal Plans Thomas Léauté, Brian C. Williams

Coordination and Adaptation in Impromptu Teams Michael H. Bowling, Peter McCracken

CORMS AI: Decision Support System for Monitoring US Maritime Environment Haleh Vafaie, Carl Cecere

Cost-Algebraic Heuristic Search Stefan Edelkamp, Shahid Jabbar, Alberto Lluch-Lafuente

Cross-Lingual Bootstrapping of Semantic Lexicons: The Case of FrameNet Sebastian Padó, Mirella Lapata

Cross-Modal Clustering Michael H. Coen

CSP Properties for Quantified Constraints: Definitions and Complexity Lucas Bordeaux, Marco Cadoli, Toni Mancini

Cumulative Effects of Concurrent Actions on Numeric-Valued Fluents Esra Erdem, Alfredo Gabaldon

Data-Driven MCMC for Learning and Inference in Switching Linear Dynamic Systems Sang Min Oh, James M. Rehg, Tucker R. Balch, Frank Dellaert

DC-SSAT: A Divide-and-Conquer Approach to Solving Stochastic Satisfiability Problems Efficiently Stephen M. Majercik, Byron Boots

DD-PREF: A Language for Expressing Preferences over Sets Marie desJardins, Kiri Wagstaff

Dependency Parsing with Dynamic Bayesian Network Virginia Savova, Leonid Peshkin

Dependency-Directed Reconsideration Belief Base Optimization for Truth Maintenance Systems Frances L. Johnson, Stuart C. Shapiro

Description Logic-Ground Knowledge Integration and Management Joseph Kopena

Development of a Hybrid Knowledge-Based System for Multiobjective Optimization of Power Distribution System Operations Robert J. Sárfi, Ashu M. G. Solo

Diagnosing Terminologies Stefan Schlobach

Diagnosis as Approximate Belief State Enumeration for Probabilistic Concurrent Constraint Automata Oliver B. Martin, Brian C. Williams, Michel D. Ingham

DiamondHelp: A Collaborative Task Guidance Framework for Complex Devices Charles Rich, Candace L. Sidner, Neal Lesh, Andrew Garland, Shane Booth, Markus Chimani

Discourse Factors in Multi-Document Summarization Ani Nenkova

Discovering Domain-Specific Composite Kernels Tom Briggs, Tim Oates

Discriminative Model Selection for Belief Net Structures Yuhong Guo, Russell Greiner

Discriminative Training of Markov Logic Networks Parag Singla, Pedro M. Domingos

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

Distributing Coalitional Value Calculations Among Cooperative Agents Talal Rahwan, Nicholas R. Jennings

Distribution-Free Learning of Bayesian Network Structure in Continuous Domains Dimitris Margaritis

DL-Lite: Tractable Description Logics for Ontologies Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati

Domain-Dependent Parameter Selection of Search-Based Algorithms Compatible with User Performance Criteria Biplav Srivastava, Anupam Mediratta

DR-Prolog: A System for Reasoning with Rules and Ontologies on the Semantic Web Antonis Bikakis, Grigoris Antoniou

Dynamic Regime Identification and Prediction Based on Observed Behavior in Electronic Marketplaces Wolfgang Ketter

Effective Short-Term Opponent Exploitation in Simplified Poker Bret Hoehn, Finnegan Southey, Robert C. Holte, Valeriy Bulitko

Efficient Maximization in Solving POMDPs Zhengzhu Feng, Shlomo Zilberstein

Efficient No-Regret Multiagent Learning Bikramjit Banerjee, Jing Peng

Enhanced Direct Linear Discriminant Analysis for Feature Extraction on High Dimensional Data A. Kai Qin, S. Y. M. Shi, Ponnuthurai N. Suganthan, Marco Loog

Error Bounds for Approximate Value Iteration Rémi Munos

Evolution of an Empathetic Digital Entity: Phase One Margaret Manella Kozak

Evolving AI Opponents in a First-Person-Shooter Video Game C. Adam Overholtzer, Simon D. Levy

Exploiting Subjectivity Classification to Improve Information Extraction Ellen Riloff, Janyce Wiebe, William Phillips

Exploiting Temporal Flexibility to Obtain High Quality Schedules Nicola Policella, Xiaofang Wang, Stephen F. Smith, Angelo Oddi

Exploiting the Structure of Hierarchical Plans in Temporal Constraint Propagation Neil Yorke-Smith

Expressive Negotiation in Settings with Externalities Vincent Conitzer, Tuomas Sandholm

Extending Continuous Time Bayesian Networks Karthik Gopalratnam, Henry A. Kautz, Daniel S. Weld

External-Memory Pattern Databases Using Structured Duplicate Detection Rong Zhou, Eric A. Hansen

Fast and Compact: A Simple Class of Congestion Games Samuel Ieong, Robert McGrew, Eugene Nudelman, Yoav Shoham, Qixiang Sun

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

Finding Diverse and Similar Solutions in Constraint Programming Emmanuel Hebrard, Brahim Hnich, Barry O'Sullivan, Toby Walsh

Finite Sample Error Bound for Parzen Windows Peng Zhang, Jing Peng, Norbert Riedel

Flexible Teamwork in Behavior-Based Robots Gal A. Kaminka, Inna Frenkel

Function-Based Classification from 3D Data via Generic and Symbolic Models Michael Pechuk, Octavian Soldea, Ehud Rivlin

Functional Specification of Probabilistic Process Models Avi Pfeffer

Generalized Link Properties for Expressive Epsilon-Connections of Description Logics Bijan Parsia, Bernardo Cuenca Grau

Generalized NoGoods in CSPs George Katsirelos, Fahiem Bacchus

Generating Hard Satisfiable Formulas by Hiding Solutions Deceptively Haixia Jia, Cristopher Moore, Doug Strain

Generation of Hard Non-Clausal Random Satisfiability Problems Juan Antonio Navarro Pérez, Andrei Voronkov

Genome Rearrangement and Planning Esra Erdem, Elisabeth R. M. Tillier

Genre Classification of Web Documents Elizabeth Sugar Boese, Adele E. Howe

Geometric Variance Reduction in Markov Chains. Application to Value Function and Gradient Estimation Rémi Munos

Giving Advice About Preferred Actions to Reinforcement Learners via Knowledge-Based Kernel Regression Richard Maclin, Jude W. Shavlik, Lisa Torrey, Trevor Walker, Edward W. Wild

Goal-Directed Site-Independent Recommendations from Passive Observations Tingshao Zhu, Russell Greiner, Gerald Häubl, Kevin Jewell, Robert Price

Helicopter Routing for Maintaining Remote Sites in Alaska Using a Genetic Algorithm Nicholas L. Armstrong-Crews, Kenrick J. Mock

Heterogeneous Multirobot Coordination with Spatial and Temporal Constraints Mary Koes, Illah R. Nourbakhsh, Katia P. Sycara

Heuristics for Agent Routing and Itinerary Optimization on Dynamic Networks Evan Sultanik

Hidden Naive Bayes Harry Zhang, Liangxiao Jiang, Jiang Su

Hybrid Possibilistic Networks Salem Benferhat, Salma Smaoui

Identifying Direct Causal Effects in Linear Models Jin Tian

Identifying Similar Words and Contexts in Natural Language with SenseClusters Ted Pedersen, Anagha Kulkarni

Impact of Linguistic Analysis on the Semantic Graph Coverage and Learning of Document Extracts Jure Leskovec, Natasa Milic-Frayling, Marko Grobelnik

Improving Action Selection in MDP's via Knowledge Transfer Alexander A. Sherstov, Peter Stone

Improving Human-Robot Interaction for Remote Robot Operation Holly A. Yanco, Michael Baker, Robert Casey, Andrew Chanler, Munjal Desai, Dan Hestand, Brenden Keyes, Philip Thoren

Improving Reinforcement Learning Function Approximators via Neuroevolution Shimon Whiteson

Improving Simultaneous Mapping and Localization in 3D Using Global Constraints Rudolph Triebel, Wolfram Burgard

Incremental Estimation of Discrete Hidden Markov Models Based on a New Backward Procedure German Florez-Larrahondo, Susan Bridges, Eric A. Hansen

Indoor Aerial Robot Competition: Challenges in Search and Rescue Applications Paul Y. Oh, William E. Green, Keith W. Sevcik

Inducing Hierarchical Process Models in Dynamic Domains Ljupco Todorovski, Will Bridewell, Oren Shiran, Pat Langley

Integrating Description Logics and Action Formalisms: First Results Franz Baader, Carsten Lutz, Maja Milicic, Ulrike Sattler, Frank Wolter

Interactive Knowledge Validation and Query Refinement in CBR Monica H. Ou, Geoff A. W. West, Mihai M. Lazarescu, Chris Clay

Issues in Reasoning About Interaction Networks in Cells: Necessity of Event Ordering Knowledge Tran Hoai Nam, Chitta Baral, Carron Shankland

Knowledge Integration for Description Logics Thomas Andreas Meyer, Kevin Lee, Richard Booth

Knowledge-Based Interactive Selling of Financial Services with FSAdvisor Alexander Felfernig, Alfred Kiener

Language Independent Extractive Summarization Rada Mihalcea

Large-Scale Localization from Wireless Signal Strength Julie Letchner, Dieter Fox, Anthony LaMarca

Large-Scale Parallel Breadth-First Search Richard E. Korf, Peter Schultze

Lazy Approximation for Solving Continuous Finite-Horizon MDPs Lihong Li, Michael L. Littman

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

Learning Measures of Progress for Planning Domains Sung Wook Yoon, Alan Fern, Robert Givan

Learning Planning Rules in Noisy Stochastic Worlds Luke S. Zettlemoyer, Hanna Pasula, Leslie Pack Kaelbling

Learning Source Descriptions for Web Services Mark James Carman

Learning Static Object Segmentation from Motion Segmentation Michael G. Ross, Leslie Pack Kaelbling

Learning Support Vector Machines from Distributed Data Sources Cornelia Caragea, Doina Caragea, Vasant G. Honavar

Learning to Prevent Failure States for a Dynamically Balancing Robot Jeremy Searock, Brett Browning

Learning to Transform Natural to Formal Languages Rohit J. Kate, Yuk Wah Wong, Raymond J. Mooney

Leveraging Language into Learning Jacob Beal

Loads-N-Limits and Release-N-Sequence: The "Brains" Behind WEPS Paul S. Cerkez

Low-Cost Outdoor Robot Platform for the Penn State Abington Mini Grand Challenge Robert Avanzato

Machine Learning and Its Application at Nooksack Falls Hydroelectric Station Scott Alexander, Jianna Zhang

MADbot: A Motivated and Goal Directed Robot Alexandra M. Coddington, Maria Fox, Jonathan Gough, Derek Long, Ivan Serina

Managing the Life Cycle of Plans Biplav Srivastava, Jussi Vanhatalo, Jana Koehler

Manufacturing Processes Recognition of Machined Mechanical Parts Using SVMs Cheuk Yiu Ip, William C. Regli

Markov Decision Processes for Control of a Sensor Network-Based Health Monitoring System Anand V. Panangadan, Syed Muhammad Ali, Ashit Talukder

Mathematical Domain Reasoning Tasks in Natural Language Tutorial Dialog on Proofs Christoph Benzmüller, Quoc Bao Vo

Mechanism Design for Single-Value Domains Moshe Babaioff, Ron Lavi, Elan Pavlov

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

MGLAIR Agents in Virtual and Other Graphical Environments Stuart C. Shapiro, Josephine Anstey, David E. Pape, Trupti Devdas Nayak, Michael Kandefer, Orkan Telhan

Minimizing Environmental Swings with a Recurrent Neural Network Control System Sam Skrivan, Jianna Zhang, Debra S. Jusak

Mixed-Initiative Approach to Collaboration in the Mathematical Domain Nadya Belov, Joshua Shaffer

Mixed-Integer Programming Methods for Finding Nash Equilibria Tuomas Sandholm, Andrew Gilpin, Vincent Conitzer

Mobile Robot Mapping and Localization in Non-Static Environments Cyrill Stachniss, Wolfram Burgard

Model-Based Monitoring and Diagnosis of Systems with Software-Extended Behavior Tsoline Mikaelian, Brian C. Williams, Martin Sachenbacher

Modeling Form for On-Line Following of Musical Performances Bryan Pardo, William P. Birmingham

Modeling Human Behavior for Virtual Training Systems Yohei Murakami, Yuki Sugimoto, Toru Ishida

Multiple Agent Event Detection and Representation in Videos Asaad Hakeem, Mubarak Shah

Multiple-Goal Recognition from Low-Level Signals Xiaoyong Chai, Qiang Yang

Natural Language Generation for Text-to-Text Applications Using an Information-Slim Representation Radu Soricut

NavBot: The Navigational Search-and-Rescue Robot Matthew Marge, Ayman Sawas, Juan Carlos Liberato, Murtaza M. Karim, Manish Muttreja, Nader Alrawahi, Brian Fink

Neighborhood Interchangeability and Dynamic Bundling for Non-Binary Finite CSPs Anagh Lal, Berthe Y. Choueiry, Eugene C. Freuder

NESTA: NASA Engineering Shuttle Telemetry Agent Glenn S. Semmel, Steven R. Davis, Kurt W. Leucht, Daniel A. Rowe, Kevin E. Smith, Ladislau Bölöni

Networked Distributed POMDPs: A Synthesis of Distributed Constraint Optimization and POMDPs Ranjit Nair, Pradeep Varakantham, Milind Tambe, Makoto Yokoo

New Admissible Heuristics for Domain-Independent Planning Patrik Haslum, Blai Bonet, Hector Geffner

New Approaches to Optimization and Utility Elicitation in Autonomic Computing Relu Patrascu, Craig Boutilier, Rajarshi Das, Jeffrey O. Kephart, Gerald Tesauro, William E. Walsh

nFOIL: Integrating Naïve Bayes and FOIL Niels Landwehr, Kristian Kersting, Luc De Raedt

Non-Stationary Policy Learning in 2-Player Zero Sum Games Steven Jensen, Daniel Boley, Maria L. Gini, Paul R. Schrater

OAR: A Formal Framework for Multi-Agent Negotiation Jiaying Shen, Ingo Weber, Victor R. Lesser

Observation-Based Model for BDI-Agents Kaile Su, Abdul Sattar, Kewen Wang, Xiangyu Luo, Guido Governatori, Vineet Padmanabhan

Old Resolution Meets Modern SLS Anbulagan, Duc Nghia Pham, John K. Slaney, Abdul Sattar

On Boosting Semantic Web Data Access Li Ding

On Compiling System Models for Faster and More Scalable Diagnosis Jinbo Huang, Adnan Darwiche

On Predicting User Intent Nadya Belov

On the Evaluation of Dynamic Critiquing: A Large-Scale User Study Kevin McCarthy, Lorraine McGinty, Barry Smyth, James Reilly

Online Query Relaxation via Bayesian Causal Structures Discovery Ion Muslea, Thomas J. Lee

Online Resource Allocation Using Decompositional Reinforcement Learning Gerald Tesauro

Only-Knowing: Taking It Beyond Autoepistemic Reasoning Gerhard Lakemeyer, Hector J. Levesque

Optimal Efficient Learning Equilibrium: Imperfect Monitoring in Symmetric Games Ronen I. Brafman, Moshe Tennenholtz

Optimal Recommendation Sets: Covering Uncertainty over User Preferences Robert Price, Paul R. Messinger

Optimal Rhode Island Hold'em Poker Andrew Gilpin, Tuomas Sandholm

Partial Pathfinding Using mAP Abstraction and Refinement Nathan R. Sturtevant, Michael Buro

Performing Bayesian Inference by Weighted Model Counting Tian Sang, Paul Beame, Henry A. Kautz

Planning and Execution with Phase Transitions Håkan L. S. Younes

Planning for Geospatial Data Integration Snehal Thakkar

Planning for Stream Processing Systems Anton Riabov, Zhen Liu

Planning in Models That Combine Memory with Predictive Representations of State Michael R. James, Satinder Singh

Practical First-Order Argumentation Philippe Besnard, Anthony Hunter

Prioritized Component Systems Gerhard Brewka, Ilkka Niemelä, Miroslaw Truszczynski

Profit Sharing Auction Sandip Sen, Teddy Candale, Susnata Basak

Properties of Programs with Monotone and Convex Constraints Lengning Liu, Miroslaw Truszczynski

Propositional Fragments for Knowledge Compilation and Quantified Boolean Formulae Sylvie Coste-Marquis, Daniel Le Berre, Florian Letombe, Pierre Marquis

Prottle: A Probabilistic Temporal Planner Iain Little, Douglas Aberdeen, Sylvie Thiébaux

Proving Theorems of Type Theory Automatically with TPS Peter B. Andrews

Pyro: An Integrated Environment for Robotics Education Douglas S. Blank, Deepak Kumar, Lisa Meeden, Holly A. Yanco

Qualitative Dimensions in Question Answering: Extending the Definitional QA Task Lucian Vlad Lita, Andrew Hazen Schlaikjer, WeiChang Hong, Eric Nyberg

Quasi-Monotonic Segmentation of State Variable Behavior for Reactive Control Will Fitzgerald, Daniel Lemire, Martin Brooks

Query Translation Disambiguation as Graph Partitioning Yi Liu, Rong Jin

Quick Shaving Olivier Lhomme

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

Reactive Planning in a Motivated Behavioral Architecture Eric Beaudry, Yannick Brosseau, Carle Côté, Clément Raïevsky, Dominic Létourneau, Froduald Kabanza, François Michaud

Ready or Not, Here I Come Magdalena D. Bugajska, William Adams, Scott Thomas, J. Gregory Trafton, Alan C. Schultz

Real-Time Classification of Electromyographic Signals for Robotic Control Beau Crawford, Kai J. Miller, Pradeep Shenoy, Rajesh P. N. Rao

Reasoning About Intended Actions Chitta Baral, Michael Gelfond

Recommender Systems: Attack Types and Strategies Michael P. O'Mahony, Neil J. Hurley, Guenole C. M. Silvestre

Recovery Planning for Ambiguous Cases in Perceptual Anchoring Mathias Broxvall, Silvia Coradeschi, Lars Karlsson, Alessandro Saffiotti

Redescription Mining: Structure Theory and Algorithms Laxmi Parida, Naren Ramakrishnan

Reducing Labeling Effort for Structured Prediction Tasks Aron Culotta, Andrew McCallum

Remote Supervisory Control of a Humanoid Robot Michael T. Rosenstein, Andrew H. Fagg, Robert Platt Jr., John Sweeney, Roderic A. Grupen

Representing Conditional Independence Using Decision Trees Jiang Su, Harry Zhang

Risk-Sensitive Planning with One-Switch Utility Functions: Value Iteration Yaxin Liu, Sven Koenig

Robots in an Intelligent Systems Course Debra T. Burhans, Andre Nelson, Victoria Steck

Robust and Self-Repairing Formation Control for Swarms of Mobile Agents Jimming Cheng, Winston Cheng, Radhika Nagpal

Robust Supervised Learning J. Andrew Bagnell

Robust Textual Inference via Learning and Abductive Reasoning Rajat Raina, Andrew Y. Ng, Christopher D. Manning

Rover Science Autonomy: Probabilistic Planning for Science-Aware Exploration Trey Smith

Rule Refinement by Domain Experts in Complex Knowledge Bases Cristina Boicu, Gheorghe Tecuci, Mihai Boicu

SAGA-ML: An Active Learning System for Semiautomated Gameplay Analysis Finnegan Southey, Robert C. Holte

Samuel Meets Amarel: Automating Value Function Approximation Using Global State Space Analysis Sridhar Mahadevan

SAT-Based Versus CSP-Based Constraint Weighting for Satisfiability Duc Nghia Pham, John Thornton, Abdul Sattar, Abdelraouf Ishtaiwi

Scaling up Word Sense Disambiguation via Parallel Texts Yee Seng Chan, Hwee Tou Ng

Scavenging with a Laptop Robot Alan Davidson, Mac Mason, Susanna Ricco, Ben Tribelhorn, Zachary Dodds

Scheduling Engineering Works for the MTR Corporation in Hong Kong Andy Hon Wai Chun, Dennis Wai Ming Yeung, Garbbie Pui Shan Lam, Daniel Lai, Richard Keefe, Jerome Lam, Helena Chan

Search Versus Knowledge for Solving Life and Death Problems in Go Akihiro Kishimoto, Martin Müller

Searching for Common Sense: Populating Cyc™ from the Web Cynthia Matuszek, Michael Witbrock, Robert C. Kahlert, John Cabral, David Schneider, Purvesh Shah, Douglas B. Lenat

Selection and Ranking of Propositional Formulas for Large-Scale Service Directories Ion Constantinescu, Walter Binder, Boi Faltings

Self-Emergence of Structures in Gene Expression Programming Xin Li

Semantic Place Classification of Indoor Environments with Mobile Robots Using Boosting Axel Rottmann, Óscar Martínez Mozos, Cyrill Stachniss, Wolfram Burgard

Semantic Scene Concept Learning by an Autonomous Agent Weiyu Zhu

Semi-Supervised Sequence Modeling with Syntactic Topic Models Wei Li, Andrew McCallum

SenseRelate: : TargetWord-a Generalized Framework for Word Sense Disambiguation Siddharth Patwardhan, Satanjeev Banerjee, Ted Pedersen

Sensor Selection for Active Information Fusion Yongmian Zhang, Qiang Ji

Simultaneous Heuristic Search for Conjunctive Subgoals Lin Zhu, Robert Givan

Social Tag: Finding the Person with the Pink Hat Carl F. DiSalvo, Didac Font, Laura M. Hiatt, Nik A. Melchior, Marek P. Michalowski, Reid G. Simmons

Software Testing by Active Learning for Commercial Games Gang Xiao, Finnegan Southey, Robert C. Holte, Dana F. Wilkinson

Solo: A Cognitive Orthosis Richard C. Simpson, Edmund F. LoPresti, Debra Schreckenghost, Ned Kirsch, Steve Hayashi

Solving DisCSPs with Penalty Driven Search Muhammed Basharu, Inés Arana, Hatem Ahriz

Solving Everyday Physical Reasoning Problems by Analogy Using Sketches Matthew Klenk, Kenneth D. Forbus, Emmett Tomai, Hyeonkyeong Kim, Brian Kyckelhahn

Solving the Auction-Based Task Allocation Problem in an Open Environment David Sarne, Sarit Kraus

Song Search and Retrieval by Tapping Geoffrey Peters, Caroline Anthony, Michael Schwartz

Spectral Clustering of Biological Sequence Data William Pentney, Marina Meila

Speeding up Learning in Real-Time Search via Automatic State Abstraction Vadim Bulitko, Nathan R. Sturtevant, Maryia Kazakevich

Spotting Subsequences Matching an HMM Using the Average Observation Probability Criteria with Application to Keyword Spotting Marius-Calin Silaghi

Stable Service Placement on Dynamic Peer-to-Peer Networks: A Heuristic for the Distributed K-Center Problem Evan Sultanik, William C. Regli

State Agnostic Planning Graphs and the Application to Belief-Space Planning William Cushing, Daniel Bryce

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

Structure Learning for Statistical Relational Models Jennifer Neville

Superstabilizing, Fault-Containing Distributed Combinatorial Optimization Adrian Petcu, Boi Faltings

Supervised Ranking for Pronoun Resolution: Some Recent Improvements Vincent Ng

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

Swoogle: Searching for Knowledge on the Semantic Web Timothy W. Finin, Li Ding, Rong Pan, Anupam Joshi, Pranam Kolari, Akshay Java, Yun Peng

SymChaff: A Structure-Aware Satisfiability Solver Ashish Sabharwal

Tactic-Based Motion Modeling and Multi-Sensor Tracking Yang Gu

Team Member Reallocation via Tree Pruning Noa Agmon, Gal A. Kaminka, Sarit Kraus

Tekkotsu: A Framework for AIBO Cognitive Robotics David S. Touretzky, Ethan J. Tira-Thompson

Temporal Dynamic Controllability Revisited Paul H. Morris, Nicola Muscettola

TEXTAL™: Automated Crystallographic Protein Structure Determination Kreshna Gopal, Tod D. Romo, Erik McKee, Kevin Childs, Lalji Kanbi, Reetal Pai, Jacob N. Smith, James C. Sacchettini, Thomas R. Ioerger

The Achilles' Heel of QBF Carlos Ansótegui, Carla P. Gomes, Bart Selman

The AI Technologies of the Philadelphia Area Urban Wireless Network Testbed Gustave Anderson, Andrew Burnheimer, Vincent A. Cicirello, David J. Dorsey, Christopher Dugan, Iris Howley, Moshe Kam, Joseph Kopena, Robert N. Lass, Kris Malfettone, Andrew Mroczkowski, Gaurav Naik, Maxim Peysakhov, Brian Pyles, William C. Regli, Evan Sultanik, James Thiel, Kyle Usbeck, Dan Venutolo, Marc Winners

The Deep Space Network Scheduling Problem Bradley J. Clement, Mark D. Johnston

The DEFACTO System: Training Tool for Incident Commanders Nathan Schurr, Janusz Marecki, John P. Lewis, Milind Tambe, Paul Scerri

The Max K-Armed Bandit: A New Model of Exploration Applied to Search Heuristic Selection Vincent A. Cicirello, Stephen F. Smith

The Proteome Analyst Suite of Automated Function Prediction Tools Brett Poulin, Duane Szafron, Paul Lu, Russell Greiner, David S. Wishart, Roman Eisner, Alona Fyshe, Brandon Pearcy, Luca Pireddu

The Regularized EM Algorithm Haifeng Li, Keshu Zhang, Tao Jiang

The Semantics of Potential Intentions Xiaocong Fan, John Yen

The TaskTracker System Simone Stumpf, Xinlong Bao, Anton N. Dragunov, Thomas G. Dietterich, Jonathan L. Herlocker, Kevin Johnsrude, Lida Li, Jianqiang Shen

TIELT: A Testbed for Gaming Environments Matthew Molineaux, David W. Aha

Tool Use for Autonomous Agents Robert St. Amant, Alexander B. Wood

Toward Affective Cognitive Robots for Human-Robot Interaction Matthias Scheutz, James F. Kramer, Christopher Middendorff, Paul W. Schermerhorn, Michael Heilman, David Anderson, P. Bui

Towards Competence in Autonomous Agents Özgür Simsek

Towards Exploiting Duality in Approximate Linear Programming for MDPs Dmitri A. Dolgov, Edmund H. Durfee

Towards Learning Stochastic Logic Programs from Proof-Banks Luc De Raedt, Kristian Kersting, Sunna Torge

Towards Model-Based Diagnosis of Coordination Failures Meir Kalech, Gal A. Kaminka

Towards Truthful Mechanisms for Binary Demand Games: A General Framework Weizhao Wang, Xiang-Yang Li

Tractable Reasoning in First-Order Knowledge Bases with Disjunctive Information Yongmei Liu, Hector J. Levesque

Transforming Between Propositions and Features: Bridging the Gap Daniel T. Halstead, Kenneth D. Forbus

Unsupervised Activity Recognition Using Automatically Mined Common Sense Danny Wyatt, Matthai Philipose, Tanzeem Choudhury

Unsupervised and Semi-Supervised Multi-Class Support Vector Machines Linli Xu, Dale Schuurmans

Unsupervised Multilingual Word Sense Disambiguation via an Interlingua Kornél G. Markó, Stefan Schulz, Udo Hahn

Upending the Uncanny Valley David Hanson, Andrew Olney, Steve Prilliman, Eric Mathews, Marge Zielke, Derek Hammons, Raul Fernandez, Harry E. Stephanou

Use of Expert Knowledge for Decision Tree Pruning Jingfeng Cai, John Durkin

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

Using Domain-Configurable Search Control for Probabilistic Planning Ugur Kuter, Dana S. Nau

Using Modified Lasso Regression to Learn Large Undirected Graphs in a Probabilistic Framework Fan Li, Yiming Yang

Using SAT and Logic Programming to Design Polynomial-Time Algorithms for Planning in Non-Deterministic Domains Chitta Baral, Thomas Eiter, Jicheng Zhao

Using the GEMS System for Cancer Diagnosis and Biomarker Discovery from Microarray Gene Expression Data Alexander R. Statnikov, Ioannis Tsamardinos, Constantin F. Aliferis

Validating Plans in the Context of Processes and Exogenous Events Maria Fox, Richard Howey, Derek Long

Value Functions for RL-Based Behavior Transfer: A Comparative Study Matthew E. Taylor, Peter Stone, Yaxin Liu

WebCrow: A Web-Based System for Crossword Solving Marco Ernandes, Giovanni Angelini, Marco Gori

Weighted One-Against-All Alina Beygelzimer, John Langford, Bianca Zadrozny

Weighted Super Solutions for Constraint Programs Alan Holland, Barry O'Sullivan

Word Sense Disambiguation with Semi-Supervised Learning Thanh Phong Pham, Hwee Tou Ng, Wee Sun Lee