| 2005 | 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 |
| 2005 | A Comparison of Novel and State-of-the-Art Polynomial Bayesian Network Learning Algorithms. Laura E. Brown, Ioannis Tsamardinos, Constantin F. Aliferis |
| 2005 | A Computational Model of the Cerebral Cortex. Thomas Dean |
| 2005 | A Constraint Satisfaction Approach to Geospatial Reasoning. Martin Michalowski, Craig A. Knoblock |
| 2005 | A Decision Theoretic Model for Stress Recognition and User Assistance. Wenhui Liao, Weihong Zhang, Zhiwei Zhu, Qiang Ji |
| 2005 | A Discourse Planning Approach to Cinematic Camera Control for Narratives in Virtual Environments. Arnav Jhala, Robert Michael Young |
| 2005 | A Distributed Approach to Passive Localization for Sensor Networks. Rahul Biswas, Sebastian Thrun |
| 2005 | A Domain-Independent System for Case-Based Task Decomposition without Domain Theories. Ke Xu, Héctor Muñoz-Avila |
| 2005 | A Fast Arc Consistency Algorithm for n-ary Constraints. Olivier Lhomme, Jean-Charles Régin |
| 2005 | A Framework for Bayesian Network Mapping. Rong Pan, Yun Peng |
| 2005 | A Framework for Representing and Solving NP Search Problems. David G. Mitchell, Eugenia Ternovska |
| 2005 | A Generalized Strategy Eliminability Criterion and Computational Methods for Applying It. Vincent Conitzer, Tuomas Sandholm |
| 2005 | A Graph Theoretical Foundation for Integrating RDF Ontologies. Octavian Udrea, Yu Deng, Edna Ruckhaus, V. S. Subrahmanian |
| 2005 | A Hybrid Generative/Discriminative Approach to Semi-Supervised Classifier Design. Akinori Fujino, Naonori Ueda, Kazumi Saito |
| 2005 | 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 |
| 2005 | A Learning Architecture for Automating the Intelligent Environment. G. Michael Youngblood, Diane J. Cook, Lawrence B. Holder |
| 2005 | A Learning Support Method in Qualitative Simulation-Based Economic Education. Tokuro Matsuo, Takayuki Ito, Toramatsu Shintani |
| 2005 | 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 |
| 2005 | A Learning-Based Term-Weighting Approach for Information Retrieval. Guangcan Liu, Yong Yu, Xing Zhu |
| 2005 | A Maximum Likelihood Framework for Integrating Taxonomies. Suju Rajan, Kunal Punera, Joydeep Ghosh |
| 2005 | A Multi-Agent Simulator for Teaching Police Allocation. Vasco Furtado, Eurico Vasconcelos Filho |
| 2005 | A Multifrontal QR Factorization Approach to Distributed Inference Applied to Multirobot Localization and Mapping. Frank Dellaert, Alexander Kipp, Peter Krauthausen |
| 2005 | 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 |
| 2005 | A Particle Filtering Based Approach to Approximating Interactive POMDPs. Prashant Doshi, Piotr J. Gmytrasiewicz |
| 2005 | A Probabilistic Classification Approach for Lexical Textual Entailment. Oren Glickman, Ido Dagan, Moshe Koppel |
| 2005 | A Relational Representation for Procedural Task Knowledge. Stephen Hart, Roderic A. Grupen, David D. Jensen |
| 2005 | A Theory of Forgetting in Logic Programming. Kewen Wang, Abdul Sattar, Kaile Su |
| 2005 | A Unified Framework for Representing Logic Program Updates. Yan Zhang, Norman Y. Foo |
| 2005 | A Variational Learning Algorithm for the Abstract Hidden Markov Model. Jeffrey Johns, Sridhar Mahadevan |
| 2005 | Activity Recognition from Accelerometer Data. Nishkam Ravi, Nikhil Dandekar, Preetham Mysore, Michael L. Littman |
| 2005 | Activity Recognition through Goal-Based Segmentation. Jie Yin, Dou Shen, Qiang Yang, Ze-Nian Li |
| 2005 | Adaptive Modeling and Planning for Reactive Agents. Mykel J. Kochenderfer |
| 2005 | Agent-Organized Networks for Multi-Agent Production and Exchange. Matthew E. Gaston, Marie desJardins |
| 2005 | An Algorithm Better than AO*? Blai Bonet, Hector Geffner |
| 2005 | An Analysis of Knowledge Collected from Volunteer Contributors. Timothy Chklovski, Yolanda Gil |
| 2005 | An Analysis of Procedure Learning by Instruction. Jim Blythe |
| 2005 | An Automated Distributed Meeting Scheduler for FCVW Plug-in. Hsiang-Hwa Koo, Elhadi M. Shakshuki |
| 2005 | An Axiomatic Account of Formal Argumentation. Martin Caminada, Leila Amgoud |
| 2005 | An Ecological Approach to Agent Population Management. Maxim Peysakhov, Robert N. Lass, William C. Regli, Moshe Kam |
| 2005 | An Extended Protocol for Multiple-Issue Concurrent Negotiation. Jiangbo Dang, Michael N. Huhns |
| 2005 | An Inference Model for Semantic Entailment in Natural Language. Rodrigo de Salvo Braz, Roxana Girju, Vasin Punyakanok, Dan Roth, Mark Sammons |
| 2005 | Analogical Learning of Visual/Conceptual Relationships in Sketches. Kenneth D. Forbus, Jeffrey M. Usher, Emmett Tomai |
| 2005 | Analysis of Strategic Knowledge in Back of the Envelope Reasoning. Praveen K. Paritosh, Kenneth D. Forbus |
| 2005 | Anyone but Him: The Complexity of Precluding an Alternative. Edith Hemaspaandra, Lane A. Hemaspaandra, Jörg Rothe |
| 2005 | Anytime, Complete Algorithm for Finding Utilitarian Optimal Solutions to STPPs. Bart Peintner, Martha E. Pollack |
| 2005 | Approximate Inference of Bayesian Networks through Edge Deletion. Julie Thornton |
| 2005 | Approximate Strategic Reasoning through Hierarchical Reduction of Large Symmetric Games. Michael P. Wellman, Daniel M. Reeves, Kevin M. Lochner, Shih-Fen Cheng, Rahul Suri |
| 2005 | Approximating Revenue-Maximizing Combinatorial Auctions. Anton Likhodedov, Tuomas Sandholm |
| 2005 | Augmenting Disjunctive Temporal Problems with Finite-Domain Constraints. Michael D. Moffitt, Bart Peintner, Martha E. Pollack |
| 2005 | Automatic Text Summarization of Newswire: Lessons Learned from the Document Understanding Conference. Ani Nenkova |
| 2005 | 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 |
| 2005 | Automating the Underwriting of Insurance Applications. Kareem S. Aggour, William Cheetham |
| 2005 | Autonomous Color Learning on a Mobile Robot. Mohan Sridharan, Peter Stone |
| 2005 | Autonomous Learning of Tool Affordances by a Robot. Alexander Stoytchev |
| 2005 | Autonomous Subgoal Discovery and Hierarchical Abstraction for Reinforcement Learning Using Monte Carlo Method. Mehran Asadi, Manfred Huber |
| 2005 | Axiom Schemata as Metalevel Axioms: Model Theory. Timothy L. Hinrichs, Michael R. Genesereth |
| 2005 | Backbones and Backdoors in Satisfiability. Philip Kilby, John K. Slaney, Sylvie Thiébaux, Toby Walsh |
| 2005 | Bitbots: Simple Robots Solving Complex Tasks. Anna Yershova, Benjamín Tovar, Robert Ghrist, Steven M. LaValle |
| 2005 | Boosting Semantic Web Data Access Using Swoogle. Li Ding, Timothy W. Finin |
| 2005 | Boosting Sex Identification Performance. Shumeet Baluja, Henry A. Rowley |
| 2005 | 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 |
| 2005 | CORMS AI: Decision Support System for Monitoring US Maritime Environment. Haleh Vafaie, Carl Cecere |
| 2005 | CSP Properties for Quantified Constraints: Definitions and Complexity. Lucas Bordeaux, Marco Cadoli, Toni Mancini |
| 2005 | Capturing Expression Using Linguistic Information. Özlem Uzuner, Boris Katz |
| 2005 | Catoms: Moving Robots Without Moving Parts. Brian T. Kirby, Jason Campbell, Burak Aksak, Padmanabhan Pillai, James F. Hoburg, Todd C. Mowry, Seth Copen Goldstein |
| 2005 | Clustering and Classifying Person Names by Origin. Fei Huang, Stephan Vogel, Alex Waibel |
| 2005 | Coalitional Games in Open Anonymous Environments. Makoto Yokoo, Vincent Conitzer, Tuomas Sandholm, Naoki Ohta, Atsushi Iwasaki |
| 2005 | Combinatorial Auctions with Vincent Conitzer, Tuomas Sandholm, Paolo Santi |
| 2005 | Combining Stochastic and Greedy Search in Hybrid Estimation. Lars Blackmore, Stanislav Funiak, Brian C. Williams |
| 2005 | Compact Propositional Encodings of First-Order Theories. Deepak Ramachandran, Eyal Amir |
| 2005 | Competence Driven Case-Base Mining. Rong Pan, Qiang Yang, Jeffrey Junfeng Pan, Lei Li |
| 2005 | Complexity-Guided Case Discovery for Case Based Reasoning. Stewart Massie, Susan Craw, Nirmalie Wiratunga |
| 2005 | Computational Aspects of Mechanism Design. Vincent Conitzer |
| 2005 | Concurrent Hierarchical Reinforcement Learning. Bhaskara Marthi |
| 2005 | Conformant Planning for Domains with Constraints-A New Approach. Tran Cao Son, Phan Huy Tu, Michael Gelfond, A. Ricardo Morales |
| 2005 | Consciousness: Drinking from the Firehose of Experience. Benjamin Kuipers |
| 2005 | Constrained Decision Diagrams. Kenil C. K. Cheng, Roland H. C. Yap |
| 2005 | Constraint-Based Entity Matching. Warren Shen, Xin Li, AnHai Doan |
| 2005 | Constraint-Based Preferential Optimization. Steve Prestwich, Francesca Rossi, K. Brent Venable, Toby Walsh |
| 2005 | Continuous Speech Recognition Using Modified Stack Decoding Algorithm. David Lee |
| 2005 | Controlling Tiny Multi-Scale Robots for Nerve Repair. Tad Hogg, David W. Sretavan |
| 2005 | Controversial Users Demand Local Trust Metrics: An Experimental Study on Epinions.com Community. Paolo Massa, Paolo Avesani |
| 2005 | Cooperative Exploration in the Electronic Marketplace. David Sarne, Sarit Kraus |
| 2005 | Coordinating Agile Systems through the Model-based Execution of Temporal Plans. Thomas Léauté, Brian C. Williams |
| 2005 | Coordination and Adaptation in Impromptu Teams. Michael H. Bowling, Peter McCracken |
| 2005 | Cost-Algebraic Heuristic Search. Stefan Edelkamp, Shahid Jabbar, Alberto Lluch-Lafuente |
| 2005 | Cross-Lingual Bootstrapping of Semantic Lexicons: The Case of FrameNet. Sebastian Padó, Mirella Lapata |
| 2005 | Cross-Modal Clustering. Michael H. Coen |
| 2005 | Cumulative Effects of Concurrent Actions on Numeric-Valued Fluents. Esra Erdem, Alfredo Gabaldon |
| 2005 | DC-SSAT: A Divide-and-Conquer Approach to Solving Stochastic Satisfiability Problems Efficiently. Stephen M. Majercik, Byron Boots |
| 2005 | DD-PREF: A Language for Expressing Preferences over Sets. Marie desJardins, Kiri Wagstaff |
| 2005 | DL-Lite: Tractable Description Logics for Ontologies. Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati |
| 2005 | DR-Prolog: A System for Reasoning with Rules and Ontologies on the Semantic Web. Antonis Bikakis, Grigoris Antoniou |
| 2005 | Data-Driven MCMC for Learning and Inference in Switching Linear Dynamic Systems. Sang Min Oh, James M. Rehg, Tucker R. Balch, Frank Dellaert |
| 2005 | Dependency Parsing with Dynamic Bayesian Network. Virginia Savova, Leonid Peshkin |
| 2005 | Dependency-Directed Reconsideration Belief Base Optimization for Truth Maintenance Systems. Frances L. Johnson, Stuart C. Shapiro |
| 2005 | Description Logic-Ground Knowledge Integration and Management. Joseph Kopena |
| 2005 | Development of a Hybrid Knowledge-Based System for Multiobjective Optimization of Power Distribution System Operations. Robert J. Sárfi, Ashu M. G. Solo |
| 2005 | Diagnosing Terminologies. Stefan Schlobach |
| 2005 | Diagnosis as Approximate Belief State Enumeration for Probabilistic Concurrent Constraint Automata. Oliver B. Martin, Brian C. Williams, Michel D. Ingham |
| 2005 | DiamondHelp: A Collaborative Task Guidance Framework for Complex Devices. Charles Rich, Candace L. Sidner, Neal Lesh, Andrew Garland, Shane Booth, Markus Chimani |
| 2005 | Discourse Factors in Multi-Document Summarization. Ani Nenkova |
| 2005 | Discovering Domain-Specific Composite Kernels. Tom Briggs, Tim Oates |
| 2005 | Discriminative Model Selection for Belief Net Structures. Yuhong Guo, Russell Greiner |
| 2005 | Discriminative Training of Markov Logic Networks. Parag Singla, Pedro M. Domingos |
| 2005 | Dissertation in Progress: An Empirical Analysis of the Costs and Benefits of Naturalness in Spoken Dialog Systems. Ellen Campana |
| 2005 | Distributing Coalitional Value Calculations among Cooperative Agents. Talal Rahwan, Nicholas R. Jennings |
| 2005 | Distribution-Free Learning of Bayesian Network Structure in Continuous Domains. Dimitris Margaritis |
| 2005 | Domain-Dependent Parameter Selection of Search-based Algorithms Compatible with User Performance Criteria. Biplav Srivastava, Anupam Mediratta |
| 2005 | Dynamic Regime Identification and Prediction Based on Observed Behavior in Electronic Marketplaces. Wolfgang Ketter |
| 2005 | Effective Short-Term Opponent Exploitation in Simplified Poker. Bret Hoehn, Finnegan Southey, Robert C. Holte, Valeriy Bulitko |
| 2005 | Efficient Maximization in Solving POMDPs. Zhengzhu Feng, Shlomo Zilberstein |
| 2005 | Efficient No-Regret Multiagent Learning. Bikramjit Banerjee, Jing Peng |
| 2005 | Enhanced Direct Linear Discriminant Analysis for Feature Extraction on High Dimensional Data. A. K. Qin, S. Y. M. Shi, Ponnuthurai N. Suganthan, Marco Loog |
| 2005 | Error Bounds for Approximate Value Iteration. Rémi Munos |
| 2005 | Evolution of an Empathetic Digital Entity: Phase One. Margaret Manella Kozak |
| 2005 | Evolving AI Opponents in a First-Person-Shooter Video Game. C. Adam Overholtzer, Simon D. Levy |
| 2005 | Exploiting Subjectivity Classification to Improve Information Extraction. Ellen Riloff, Janyce Wiebe, William Phillips |
| 2005 | Exploiting Temporal Flexibility to Obtain High Quality Schedules. Nicola Policella, Xiaofang Wang, Stephen F. Smith, Angelo Oddi |
| 2005 | Exploiting the Structure of Hierarchical Plans in Temporal Constraint Propagation. Neil Yorke-Smith |
| 2005 | Expressive Negotiation in Settings with Externalities. Vincent Conitzer, Tuomas Sandholm |
| 2005 | Extending Continuous Time Bayesian Networks. Karthik Gopalratnam, Henry A. Kautz, Daniel S. Weld |
| 2005 | External-Memory Pattern Databases Using Structured Duplicate Detection. Rong Zhou, Eric A. Hansen |
| 2005 | 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 |
| 2005 | Fast and Compact: A Simple Class of Congestion Games. Samuel Ieong, Robert McGrew, Eugene Nudelman, Yoav Shoham, Qixiang Sun |
| 2005 | Finding Diverse and Similar Solutions in Constraint Programming. Emmanuel Hebrard, Brahim Hnich, Barry O'Sullivan, Toby Walsh |
| 2005 | Finite Sample Error Bound for Parzen Windows. Peng Zhang, Jing Peng, Norbert Riedel |
| 2005 | Flexible Teamwork in Behavior-Based Robots. Gal A. Kaminka, Inna Frenkel |
| 2005 | Function-Based Classification from 3D Data via Generic and Symbolic Models. Michael Pechuk, Octavian Soldea, Ehud Rivlin |
| 2005 | Functional Specification of Probabilistic Process Models. Avi Pfeffer |
| 2005 | Generalized Link Properties for Expressive epsilon-Connections of Description Logics. Bijan Parsia, Bernardo Cuenca Grau |
| 2005 | Generalized NoGoods in CSPs. George Katsirelos, Fahiem Bacchus |
| 2005 | Generating Hard Satisfiable Formulas by Hiding Solutions Deceptively. Haixia Jia, Cristopher Moore, Doug Strain |
| 2005 | Generation of Hard Non-Clausal Random Satisfiability Problems. Juan Antonio Navarro Pérez, Andrei Voronkov |
| 2005 | Genome Rearrangement and Planning. Esra Erdem, Elisabeth R. M. Tillier |
| 2005 | Genre Classification of Web Documents. Elizabeth Sugar Boese, Adele E. Howe |
| 2005 | Geometric Variance Reduction in Markov Chains. Application to Value Function and Gradient Estimation. Rémi Munos |
| 2005 | 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 |
| 2005 | Goal-Directed Site-Independent Recommendations from Passive Observations. Tingshao Zhu, Russell Greiner, Gerald Häubl, Kevin Jewell, Robert Price |
| 2005 | Helicopter Routing for Maintaining Remote Sites in Alaska using a Genetic Algorithm. Nicholas L. Armstrong-Crews, Kenrick J. Mock |
| 2005 | Heterogeneous Multirobot Coordination with Spatial and Temporal Constraints. Mary Koes, Illah R. Nourbakhsh, Katia P. Sycara |
| 2005 | Heuristics for Agent Routing and Itinerary Optimization on Dynamic Networks. Evan Sultanik |
| 2005 | Hidden Naive Bayes. Harry Zhang, Liangxiao Jiang, Jiang Su |
| 2005 | Hybrid Possibilistic Networks. Salem Benferhat, Salma Smaoui |
| 2005 | Identifying Direct Causal Effects in Linear Models. Jin Tian |
| 2005 | Identifying Similar Words and Contexts in Natural Language with SenseClusters. Ted Pedersen, Anagha Kulkarni |
| 2005 | Impact of Linguistic Analysis on the Semantic Graph Coverage and Learning of Document Extracts. Jure Leskovec, Natasa Milic-Frayling, Marko Grobelnik |
| 2005 | Improving Action Selection in MDP's via Knowledge Transfer. Alexander A. Sherstov, Peter Stone |
| 2005 | 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 |
| 2005 | Improving Reinforcement Learning Function Approximators via Neuroevolution. Shimon Whiteson |
| 2005 | Improving Simultaneous Mapping and Localization in 3D Using Global Constraints. Rudolph Triebel, Wolfram Burgard |
| 2005 | Incremental Estimation of Discrete Hidden Markov Models Based on a New Backward Procedure. German Florez-Larrahondo, Susan Bridges, Eric A. Hansen |
| 2005 | Indoor Aerial Robot Competition: Challenges in Search and Rescue Applications. Paul Y. Oh, William E. Green, Keith W. Sevcik |
| 2005 | Inducing Hierarchical Process Models in Dynamic Domains. Ljupco Todorovski, Will Bridewell, Oren Shiran, Pat Langley |
| 2005 | Integrating Description Logics and Action Formalisms: First Results. Franz Baader, Carsten Lutz, Maja Milicic, Ulrike Sattler, Frank Wolter |
| 2005 | Interactive Knowledge Validation and Query Refinement in CBR. Monica H. Ou, Geoff A. W. West, Mihai M. Lazarescu, Chris Clay |
| 2005 | Issues in Reasoning about Interaction Networks in Cells: Necessity of Event Ordering Knowledge. Tran Hoai Nam, Chitta Baral, Carron Shankland |
| 2005 | Knowledge Integration for Description Logics. Thomas Andreas Meyer, Kevin Lee, Richard Booth |
| 2005 | Knowledge-based Interactive Selling of Financial Services with FSAdvisor. Alexander Felfernig, Alfred Kiener |
| 2005 | Language Independent Extractive Summarization. Rada Mihalcea |
| 2005 | Large-Scale Localization from Wireless Signal Strength. Julie Letchner, Dieter Fox, Anthony LaMarca |
| 2005 | Large-Scale Parallel Breadth-First Search. Richard E. Korf, Peter Schultze |
| 2005 | Lazy Approximation for Solving Continuous Finite-Horizon MDPs. Lihong Li, Michael L. Littman |
| 2005 | 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 |
| 2005 | Learning Measures of Progress for Planning Domains. Sung Wook Yoon, Alan Fern, Robert Givan |
| 2005 | Learning Planning Rules in Noisy Stochastic Worlds. Luke S. Zettlemoyer, Hanna Pasula, Leslie Pack Kaelbling |
| 2005 | Learning Source Descriptions for Web Services. Mark James Carman |
| 2005 | Learning Static Object Segmentation from Motion Segmentation. Michael G. Ross, Leslie Pack Kaelbling |
| 2005 | Learning Support Vector Machines from Distributed Data Sources. Cornelia Caragea, Doina Caragea, Vasant G. Honavar |
| 2005 | Learning to Prevent Failure States for a Dynamically Balancing Robot. Jeremy Searock, Brett Browning |
| 2005 | Learning to Transform Natural to Formal Languages. Rohit J. Kate, Yuk Wah Wong, Raymond J. Mooney |
| 2005 | Leveraging Language into Learning. Jacob Beal |
| 2005 | Loads-n-Limits and Release-n-Sequence: The "Brains" behind WEPS. Paul S. Cerkez |
| 2005 | Low-cost Outdoor Robot Platform for the Penn State Abington Mini Grand Challenge. Robert Avanzato |
| 2005 | MADbot: A Motivated and Goal Directed Robot. Alexandra M. Coddington, Maria Fox, Jonathan Gough, Derek Long, Ivan Serina |
| 2005 | MGLAIR Agents in Virtual and Other Graphical Environments. Stuart C. Shapiro, Josephine Anstey, David E. Pape, Trupti Devdas Nayak, Michael Kandefer, Orkan Telhan |
| 2005 | Machine Learning and Its Application at Nooksack Falls Hydroelectric Station. Scott Alexander, Jianna Zhang |
| 2005 | Managing the Life Cycle of Plans. Biplav Srivastava, Jussi Vanhatalo, Jana Koehler |
| 2005 | Manufacturing Processes Recognition of Machined Mechanical Parts using SVMs. Cheuk Yiu Ip, William C. Regli |
| 2005 | Markov Decision Processes for Control of a Sensor Network-based Health Monitoring System. Anand V. Panangadan, Syed Muhammad Ali, Ashit Talukder |
| 2005 | Mathematical Domain Reasoning Tasks in Natural Language Tutorial Dialog on Proofs. Christoph Benzmüller, Quoc Bao Vo |
| 2005 | Mechanism Design for Single-Value Domains. Moshe Babaioff, Ron Lavi, Elan Pavlov |
| 2005 | Merging Argumentation Systems. Sylvie Coste-Marquis, Caroline Devred, Sébastien Konieczny, Marie-Christine Lagasquie-Schiex, Pierre Marquis |
| 2005 | Minimizing Environmental Swings with a Recurrent Neural Network Control System. Sam Skrivan, Jianna Zhang, Debra S. Jusak |
| 2005 | Mixed-Initiative Approach to Collaboration in the Mathematical Domain. Nadya Belov, Joshua Shaffer |
| 2005 | Mixed-Integer Programming Methods for Finding Nash Equilibria. Tuomas Sandholm, Andrew Gilpin, Vincent Conitzer |
| 2005 | Mobile Robot Mapping and Localization in Non-Static Environments. Cyrill Stachniss, Wolfram Burgard |
| 2005 | Model-Based Monitoring and Diagnosis of Systems with Software-Extended Behavior. Tsoline Mikaelian, Brian C. Williams, Martin Sachenbacher |
| 2005 | Modeling Form for On-line Following of Musical Performances. Bryan Pardo, William P. Birmingham |
| 2005 | Modeling Human Behavior for Virtual Training Systems. Yohei Murakami, Yuki Sugimoto, Toru Ishida |
| 2005 | Multiple Agent Event Detection and Representation in Videos. Asaad Hakeem, Mubarak Shah |
| 2005 | Multiple-Goal Recognition from Low-Level Signals. Xiaoyong Chai, Qiang Yang |
| 2005 | 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 |
| 2005 | Natural Language Generation for Text-to-Text Applications Using an Information-Slim Representation. Radu Soricut |
| 2005 | NavBot: The Navigational Search-and-Rescue Robot. Matthew Marge, Ayman Sawas, Juan Carlos Liberato, Murtaza M. Karim, Manish Muttreja, Nader Alrawahi, Brian Fink |
| 2005 | Neighborhood Interchangeability and Dynamic Bundling for Non-Binary Finite CSPs. Anagh Lal, Berthe Y. Choueiry, Eugene C. Freuder |
| 2005 | Networked Distributed POMDPs: A Synthesis of Distributed Constraint Optimization and POMDPs. Ranjit Nair, Pradeep Varakantham, Milind Tambe, Makoto Yokoo |
| 2005 | New Admissible Heuristics for Domain-Independent Planning. Patrik Haslum, Blai Bonet, Hector Geffner |
| 2005 | New Approaches to Optimization and Utility Elicitation in Autonomic Computing. Relu Patrascu, Craig Boutilier, Rajarshi Das, Jeffrey O. Kephart, Gerald Tesauro, William E. Walsh |
| 2005 | Non-Stationary Policy Learning in 2-Player Zero Sum Games. Steven Jensen, Daniel Boley, Maria L. Gini, Paul R. Schrater |
| 2005 | OAR: A Formal Framework for Multi-Agent Negotiation. Jiaying Shen, Ingo Weber, Victor R. Lesser |
| 2005 | Observation-based Model for BDI-Agents. Kaile Su, Abdul Sattar, Kewen Wang, Xiangyu Luo, Guido Governatori, Vineet Padmanabhan |
| 2005 | Old Resolution Meets Modern SLS. Anbulagan, Duc Nghia Pham, John K. Slaney, Abdul Sattar |
| 2005 | On Boosting Semantic Web Data Access. Li Ding |
| 2005 | On Compiling System Models for Faster and More Scalable Diagnosis. Jinbo Huang, Adnan Darwiche |
| 2005 | On Predicting User Intent. Nadya Belov |
| 2005 | On the Evaluation of Dynamic Critiquing: A Large-Scale User Study. Kevin McCarthy, Lorraine McGinty, Barry Smyth, James Reilly |
| 2005 | Online Query Relaxation via Bayesian Causal Structures Discovery. Ion Muslea, Thomas J. Lee |
| 2005 | Online Resource Allocation Using Decompositional Reinforcement Learning. Gerald Tesauro |
| 2005 | Only-Knowing: Taking It Beyond Autoepistemic Reasoning. Gerhard Lakemeyer, Hector J. Levesque |
| 2005 | Optimal Efficient Learning Equilibrium: Imperfect Monitoring in Symmetric Games. Ronen I. Brafman, Moshe Tennenholtz |
| 2005 | Optimal Recommendation Sets: Covering Uncertainty over User Preferences. Robert Price, Paul R. Messinger |
| 2005 | Optimal Rhode Island Hold'em Poker. Andrew Gilpin, Tuomas Sandholm |
| 2005 | Partial Pathfinding Using Map Abstraction and Refinement. Nathan R. Sturtevant, Michael Buro |
| 2005 | Performing Bayesian Inference by Weighted Model Counting. Tian Sang, Paul Beame, Henry A. Kautz |
| 2005 | Planning and Execution with Phase Transitions. Håkan L. S. Younes |
| 2005 | Planning for Geospatial Data Integration. Snehal Thakkar |
| 2005 | Planning for Stream Processing Systems. Anton Riabov, Zhen Liu |
| 2005 | Planning in Models that Combine Memory with Predictive Representations of State. Michael R. James, Satinder Singh |
| 2005 | Practical First-Order Argumentation. Philippe Besnard, Anthony Hunter |
| 2005 | Prioritized Component Systems. Gerhard Brewka, Ilkka Niemelä, Miroslaw Truszczynski |
| 2005 | Proceedings, The Twentieth National Conference on Artificial Intelligence and the Seventeenth Innovative Applications of Artificial Intelligence Conference, July 9-13, 2005, Pittsburgh, Pennsylvania, USA Manuela M. Veloso, Subbarao Kambhampati |
| 2005 | Profit Sharing Auction. Sandip Sen, Teddy Candale, Susnata Basak |
| 2005 | Properties of Programs with Monotone and Convex Constraints. Lengning Liu, Miroslaw Truszczynski |
| 2005 | Propositional Fragments for Knowledge Compilation and Quantified Boolean Formulae. Sylvie Coste-Marquis, Daniel Le Berre, Florian Letombe, Pierre Marquis |
| 2005 | Prottle: A Probabilistic Temporal Planner. Iain Little, Douglas Aberdeen, Sylvie Thiébaux |
| 2005 | Proving Theorems of Type Theory Automatically with TPS. Peter B. Andrews |
| 2005 | Pyro: An Integrated Environment for Robotics Education. Douglas S. Blank, Deepak Kumar, Lisa Meeden, Holly A. Yanco |
| 2005 | QuOnto: Querying Ontologies. Andrea Acciarri, Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Mattia Palmieri, Riccardo Rosati |
| 2005 | Qualitative Dimensions in Question Answering: Extending the Definitional QA Task. Lucian Vlad Lita, Andrew Hazen Schlaikjer, WeiChang Hong, Eric Nyberg |
| 2005 | Quasi-Monotonic Segmentation of State Variable Behavior for Reactive Control. Will Fitzgerald, Daniel Lemire, Martin Brooks |
| 2005 | Query Translation Disambiguation as Graph Partitioning. Yi Liu, Rong Jin |
| 2005 | Quick Shaving. Olivier Lhomme |
| 2005 | 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 |
| 2005 | Ready or Not, Here I Come .... Magdalena D. Bugajska, William Adams, Scott Thomas, J. Gregory Trafton, Alan C. Schultz |
| 2005 | Real-Time Classification of Electromyographic Signals for Robotic Control. Beau Crawford, Kai J. Miller, Pradeep Shenoy, Rajesh P. N. Rao |
| 2005 | Reasoning about Intended Actions. Chitta Baral, Michael Gelfond |
| 2005 | Recommender Systems: Attack Types and Strategies. Michael P. O'Mahony, Neil J. Hurley, Guenole C. M. Silvestre |
| 2005 | Recovery Planning for Ambiguous Cases in Perceptual Anchoring. Mathias Broxvall, Silvia Coradeschi, Lars Karlsson, Alessandro Saffiotti |
| 2005 | Redescription Mining: Structure Theory and Algorithms. Laxmi Parida, Naren Ramakrishnan |
| 2005 | Reducing Labeling Effort for Structured Prediction Tasks. Aron Culotta, Andrew McCallum |
| 2005 | Remote Supervisory Control of a Humanoid Robot. Michael T. Rosenstein, Andrew H. Fagg, Robert Platt Jr., John Sweeney, Roderic A. Grupen |
| 2005 | Representing Conditional Independence Using Decision Trees. Jiang Su, Harry Zhang |
| 2005 | Risk-Sensitive Planning with One-Switch Utility Functions: Value Iteration. Yaxin Liu, Sven Koenig |
| 2005 | Robots in an Intelligent Systems Course. Debra T. Burhans, Andre Nelson, Victoria Steck |
| 2005 | Robust Supervised Learning. J. Andrew Bagnell |
| 2005 | Robust Textual Inference Via Learning and Abductive Reasoning. Rajat Raina, Andrew Y. Ng, Christopher D. Manning |
| 2005 | Robust and Self-Repairing Formation Control for Swarms of Mobile Agents. Jimming Cheng, Winston Cheng, Radhika Nagpal |
| 2005 | Rover Science Autonomy: Probabilistic Planning for Science-Aware Exploration. Trey Smith |
| 2005 | Rule Refinement by Domain Experts in Complex Knowledge Bases. Cristina Boicu, Gheorghe Tecuci, Mihai Boicu |
| 2005 | SAGA-ML: An Active Learning System for Semiautomated Gameplay Analysis. Finnegan Southey, Robert C. Holte |
| 2005 | SAT-Based versus CSP-Based Constraint Weighting for Satisfiability. Duc Nghia Pham, John Thornton, Abdul Sattar, Abdelraouf Ishtaiwi |
| 2005 | Samuel Meets Amarel: Automating Value Function Approximation Using Global State Space Analysis. Sridhar Mahadevan |
| 2005 | Scaling Up Word Sense Disambiguation via Parallel Texts. Yee Seng Chan, Hwee Tou Ng |
| 2005 | Scavenging with a Laptop Robot. Alan Davidson, Mac Mason, Susanna Ricco, Ben Tribelhorn, Zachary Dodds |
| 2005 | 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 |
| 2005 | Search versus Knowledge for Solving Life and Death Problems in Go. Akihiro Kishimoto, Martin Müller |
| 2005 | 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 |
| 2005 | Selection and Ranking of Propositional Formulas for Large-Scale Service Directories. Ion Constantinescu, Walter Binder, Boi Faltings |
| 2005 | Self-Emergence of Structures in Gene Expression Programming. Xin Li |
| 2005 | Semantic Place Classification of Indoor Environments with Mobile Robots Using Boosting. Axel Rottmann, Óscar Martínez Mozos, Cyrill Stachniss, Wolfram Burgard |
| 2005 | Semantic Scene Concept Learning by an Autonomous Agent. Weiyu Zhu |
| 2005 | Semi-Supervised Sequence Modeling with Syntactic Topic Models. Wei Li, Andrew McCallum |
| 2005 | SenseRelate: : TargetWord-A Generalized Framework for Word Sense Disambiguation. Siddharth Patwardhan, Satanjeev Banerjee, Ted Pedersen |
| 2005 | Sensor Selection for Active Information Fusion. Yongmian Zhang, Qiang Ji |
| 2005 | Simultaneous Heuristic Search for Conjunctive Subgoals. Lin Zhu, Robert Givan |
| 2005 | 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 |
| 2005 | Software Testing by Active Learning for Commercial Games. Gang Xiao, Finnegan Southey, Robert C. Holte, Dana F. Wilkinson |
| 2005 | Solo: A Cognitive Orthosis. Richard C. Simpson, Edmund F. LoPresti, Debra Schreckenghost, Ned Kirsch, Steve Hayashi |
| 2005 | Solving DisCSPs with Penalty Driven Search. Muhammed Basharu, Inés Arana, Hatem Ahriz |
| 2005 | Solving Everyday Physical Reasoning Problems by Analogy Using Sketches. Matthew Klenk, Kenneth D. Forbus, Emmett Tomai, Hyeonkyeong Kim, Brian Kyckelhahn |
| 2005 | Solving the Auction-Based Task Allocation Problem in an Open Environment. David Sarne, Sarit Kraus |
| 2005 | Song Search and Retrieval by Tapping. Geoffrey Peters, Caroline Anthony, Michael Schwartz |
| 2005 | Spectral Clustering of Biological Sequence Data. William Pentney, Marina Meila |
| 2005 | Speeding Up Learning in Real-time Search via Automatic State Abstraction. Vadim Bulitko, Nathan R. Sturtevant, Maryia Kazakevich |
| 2005 | Spotting Subsequences Matching an HMM Using the Average Observation Probability Criteria with Application to Keyword Spotting. Marius-Calin Silaghi |
| 2005 | Stable Service Placement on Dynamic Peer-to-Peer Networks: A Heuristic for the Distributed Evan Sultanik, William C. Regli |
| 2005 | State Agnostic Planning Graphs and the Application to Belief-Space Planning. William Cushing, Daniel Bryce |
| 2005 | 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 |
| 2005 | Structure Learning for Statistical Relational Models. Jennifer Neville |
| 2005 | Superstabilizing, Fault-Containing Distributed Combinatorial Optimization. Adrian Petcu, Boi Faltings |
| 2005 | Supervised Ranking for Pronoun Resolution: Some Recent Improvements. Vincent Ng |
| 2005 | Supporting Collaborative Activity. Meirav Hadad, Gilad Armon-Kest, Gal A. Kaminka, Sarit Kraus |
| 2005 | Swoogle: Searching for Knowledge on the Semantic Web. Timothy W. Finin, Li Ding, Rong Pan, Anupam Joshi, Pranam Kolari, Akshay Java, Yun Peng |
| 2005 | SymChaff: A Structure-Aware Satisfiability Solver. Ashish Sabharwal |
| 2005 | 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 |
| 2005 | TIELT: A Testbed for Gaming Environments. Matthew Molineaux, David W. Aha |
| 2005 | Tactic-Based Motion Modeling and Multi-Sensor Tracking. Yang Gu |
| 2005 | Team Member Reallocation via Tree Pruning. Noa Agmon, Gal A. Kaminka, Sarit Kraus |
| 2005 | Tekkotsu: A Framework for AIBO Cognitive Robotics. David S. Touretzky, Ethan J. Tira-Thompson |
| 2005 | Temporal Dynamic Controllability Revisited. Paul H. Morris, Nicola Muscettola |
| 2005 | 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 |
| 2005 | The Achilles' Heel of QBF. Carlos Ansótegui, Carla P. Gomes, Bart Selman |
| 2005 | The DEFACTO System: Training Tool for Incident Commanders. Nathan Schurr, Janusz Marecki, John P. Lewis, Milind Tambe, Paul Scerri |
| 2005 | The Deep Space Network Scheduling Problem. Bradley J. Clement, Mark D. Johnston |
| 2005 | The Max Vincent A. Cicirello, Stephen F. Smith |
| 2005 | 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 |
| 2005 | The Regularized EM Algorithm. Haifeng Li, Keshu Zhang, Tao Jiang |
| 2005 | The Semantics of Potential Intentions. Xiaocong Fan, John Yen |
| 2005 | The TaskTracker System. Simone Stumpf, Xinlong Bao, Anton N. Dragunov, Thomas G. Dietterich, Jonathan L. Herlocker, Kevin Johnsrude, Lida Li, Jianqiang Shen |
| 2005 | Tool Use for Autonomous Agents. Robert St. Amant, Alexander B. Wood |
| 2005 | Toward Affective Cognitive Robots for Human-Robot Interaction. Matthias Scheutz, James F. Kramer, Christopher Middendorff, Paul W. Schermerhorn, Michael Heilman, David Anderson, P. Bui |
| 2005 | Towards Competence in Autonomous Agents. Özgür Simsek |
| 2005 | Towards Exploiting Duality in Approximate Linear Programming for MDPs. Dmitri A. Dolgov, Edmund H. Durfee |
| 2005 | Towards Learning Stochastic Logic Programs from Proof-Banks. Luc De Raedt, Kristian Kersting, Sunna Torge |
| 2005 | Towards Model-Based Diagnosis of Coordination Failures. Meir Kalech, Gal A. Kaminka |
| 2005 | Towards Truthful Mechanisms for Binary Demand Games: A General Framework. Weizhao Wang, Xiang-Yang Li |
| 2005 | Tractable Reasoning in First-Order Knowledge Bases with Disjunctive Information. Yongmei Liu, Hector J. Levesque |
| 2005 | Transforming between Propositions and Features: Bridging the Gap. Daniel T. Halstead, Kenneth D. Forbus |
| 2005 | Unsupervised Activity Recognition Using Automatically Mined Common Sense. Danny Wyatt, Matthai Philipose, Tanzeem Choudhury |
| 2005 | Unsupervised Multilingual Word Sense Disambiguation via an Interlingua. Kornél G. Markó, Stefan Schulz, Udo Hahn |
| 2005 | Unsupervised and Semi-Supervised Multi-Class Support Vector Machines. Linli Xu, Dale Schuurmans |
| 2005 | Upending the Uncanny Valley. David Hanson, Andrew Olney, Steve Prilliman, Eric Mathews, Marge Zielke, Derek Hammons, Raul Fernandez, Harry E. Stephanou |
| 2005 | Use of Expert Knowledge for Decision Tree Pruning. Jingfeng Cai, John Durkin |
| 2005 | Using Domain-Configurable Search Control for Probabilistic Planning. Ugur Kuter, Dana S. Nau |
| 2005 | Using Modified Lasso Regression to Learn Large Undirected Graphs in a Probabilistic Framework. Fan Li, Yiming Yang |
| 2005 | Using SAT and Logic Programming to Design Polynomial-Time Algorithms for Planning in Non-Deterministic Domains. Chitta Baral, Thomas Eiter, Jicheng Zhao |
| 2005 | 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 |
| 2005 | Using the GEMS System for Cancer Diagnosis and Biomarker Discovery from Microarray Gene Expression Data. Alexander R. Statnikov, Ioannis Tsamardinos, Constantin F. Aliferis |
| 2005 | Validating Plans in the Context of Processes and Exogenous Events. Maria Fox, Richard Howey, Derek Long |
| 2005 | Value Functions for RL-Based Behavior Transfer: A Comparative Study. Matthew E. Taylor, Peter Stone, Yaxin Liu |
| 2005 | WebCrow: A Web-Based System for Crossword Solving. Marco Ernandes, Giovanni Angelini, Marco Gori |
| 2005 | Weighted One-Against-All. Alina Beygelzimer, John Langford, Bianca Zadrozny |
| 2005 | Weighted Super Solutions for Constraint Programs. Alan Holland, Barry O'Sullivan |
| 2005 | Word Sense Disambiguation with Semi-Supervised Learning. Thanh Phong Pham, Hwee Tou Ng, Wee Sun Lee |
| 2005 | nFOIL: Integrating Naïve Bayes and FOIL. Niels Landwehr, Kristian Kersting, Luc De Raedt |