18. AAAI / 13. IAAI 2002:
Edmonton,
Alberta,
Canada
Proceedings of the Eighteenth National Conference on Artificial Intelligence and Fourteenth Conference on Innovative Applications of Artificial Intelligence,
July 28 - August 1,
2002,
Edmonton,
Alberta,
Canada. AAAI Press,
2002
AAAI-02 Technical Papers
Constraint Satisfaction
- Ping Chen, Zhaohui Fu, Andrew Lim:
The Yard Allocation Problem.
3-8 BibTeX
- Hoong Chuin Lau, Qi Zhang Liu, Hirotaka Ono:
Integrating Local Search and Network Flow to Solve the Inventory Routing Problem.
9-14 BibTeX
- Rina Dechter, Kalev Kask, Eyal Bin, Roy Emek:
Generating Random Solutions for Constraint Satisfaction Problems.
15-21 BibTeX
- Alex Fabrikant, Tad Hogg:
Graph Coloring with Quantum Heuristics.
22-27 BibTeX
- Hai Fang, Y. Kilani, Jimmy Ho-Man Lee, Peter J. Stuckey:
Reducing Search Space in Local Search for Constraint Satisfaction.
28-33 BibTeX
- Ulrich Junker:
Preference-Based Search and Multi-Criteria Optimization.
34-40 BibTeX
- Gunnar W. Klau, Neal Lesh, Joe Marks, Michael Mitzenmacher:
Human-Guided Tabu Search.
41-47 BibTeX
- Javier Larrosa:
Node and Arc Consistency in Weighted CSP.
48-53 BibTeX
- Yat Chiu Law, Jimmy Ho-Man Lee:
Model Induction: A New Source of CSP Model Redundancy.
54- BibTeX
Knowledge Representation
Logic Programming
Learning
- David Andre, Stuart J. Russell:
State Abstraction for Programmable Reinforcement Learning Agents.
119-125 BibTeX
- Paul R. Cohen, Tim Oates, Carole R. Beal, Niall M. Adams:
Contentful Mental States for Robot Baby.
126-131 BibTeX
- Gal Elidan, Matan Ninio, Nir Friedman, Dale Shuurmans:
Data Perturbation for Escaping Local Maxima in Learning.
132-139 BibTeX
- Tapio Elomaa, Matti Kääriäinen:
Progressive Rademacher Sampling.
140-145 BibTeX
- Wei Fan, Fang Chu, Haixun Wang, Philip S. Yu:
Pruning and Dynamic Scheduling of Cost-Sensitive Ensembles.
146-151 BibTeX
- Alan Fern, Robert Givan, Jeffrey Mark Siskind:
Specific-to-General Learning for Temporal Events.
152-158 BibTeX
- Alan Fern, Jeffrey Mark Siskind, Robert Givan:
Learning Temporal, Relational, Force-Dynamic Event Definitions from Video.
159-166 BibTeX
- Russell Greiner, Wei Zhou:
Structural Extension to Logistic Regression: Discriminative Parameter Learning of Belief Net Classifiers.
167-173 BibTeX
- Benjamin Kuipers, Patrick Beeson:
Bootstrap Learning for Place Recognition.
174-180 BibTeX
- Philip M. Long:
Minimum Majority Classification and Boosting.
181-186 BibTeX
- Prem Melville, Raymond J. Mooney, Ramadass Nagarajan:
Content-Boosted Collaborative Filtering for Improved Recommendations.
187-192 BibTeX
- Masayuki Numao, Shoichi Takagi, Keisuke Nakamura:
Constructive Adaptive User Interfaces - Composing Music Based on Human Feelings.
193-198 BibTeX
- Theodore J. Perkins:
Reinforcement Learning for POMDPs Based on Action Values and Stochastic Optimization.
199-204 BibTeX
- Karèn Pivazyan, Yoav Shoham:
Polynomial-Time Reinforcement Learning of Near-Optimal Policies.
205-210 BibTeX
- Benjamin W. Wah, Minglun Qian:
Constrained Formulations and Algorithms for Stock-Price Predictions Using Recurrent FIR Neural Networks.
211-216 BibTeX
- Weng-Keen Wong, Andrew W. Moore, Gregory F. Cooper, Michael Wagner:
Rule-Based Anomaly Pattern Detection for Detecting Disease Outbreaks.
217-223 BibTeX
- Ming-Hsuan Yang:
Extended Isomap for Pattern Classification.
224-229 BibTeX
- Nevin Lianwen Zhang:
Hierarchical Latent Class Models for Cluster Analysis.
230-237 BibTeX
Markov Decision Processes
- Craig Boutilier:
A POMDP Formulation of Preference Elicitation Problems.
239-246 BibTeX
- Laura Firoiu, Paul R. Cohen:
Segmenting Time Series with a Hybrid Neural Networks - Hidden Markov Model.
247-252 BibTeX
- Carlos Guestrin, Shobha Venkataraman, Daphne Koller:
Context-Specific Multiagent Coordination and Planning with Factored MDPs.
253-259 BibTeX
- Terran Lane, Leslie Pack Kaelbling:
Nearly Deterministic Abstractions of Markov Decision Processes.
260-266 BibTeX
- Paolo Liberatore:
The Size of MDP Factored Policies.
267-272 BibTeX
- Omid Madani:
On Policy Iteration as a Newton s Method and Polynomial Policy Iteration Algorithms.
273-278 BibTeX
- Michael McGeachie, Jon Doyle:
Efficient Utility Functions for Ceteris Paribus Preferences.
279-284 BibTeX
- Relu Patrascu, Pascal Poupart, Dale Schuurmans, Craig Boutilier, Carlos Guestrin:
Greedy Linear Value-Approximation for Factored Markov Decision Processes.
285-291 BibTeX
- Pascal Poupart, Craig Boutilier, Relu Patrascu, Dale Schuurmans:
Piecewise Linear Value Function Approximation for Factored MDPs.
292-299 BibTeX
- Sven Wachsmuth, Gerhard Sagerer:
Bayesian Networks for Speech and Image Integration.
300-306 BibTeX
- Weihong Zhang, Nevin Lianwen Zhang:
Value Iteration Working with Belief Subset.
307- BibTeX
Multiagent Systems
Auctions
Game Theory
Natural Language Processing
- Tat-Seng Chua, Jimin Liu:
Learning Pattern Rules for Chinese Named Entity Extraction.
411-418 BibTeX
- Joshua Goodman, Gina Danielle Venolia, Keith Steury, Chauncey Parker:
Language Modeling for Soft Keyboards.
419-424 BibTeX
- Michael J. Kearns, Charles Lee Isbell Jr., Satinder P. Singh, Diane J. Litman, Jessica Howe:
CobotDS: A Spoken Dialogue System for Chat.
425-430 BibTeX
- Kazuhiro Nakadai, Hiroshi G. Okuno, Hiroaki Kitano:
Exploiting Auditory Fovea in Humanoid-Human Interaction.
431-438 BibTeX
- Zhu Zhang, Sasha Blair-Goldensohn, Dragomir R. Radev:
Towards CST-Enhanced Summarization.
439-446 BibTeX
Planning
Actions and Temporal Reasoning
Probabilistic and Causal Reasoning
Robotics
- Adam Milstein, Javier Nicolás Sánchez, Evan Tang Williamson:
Robust Global Localization Using Clustered Particle Filtering.
581-586 BibTeX
- Michael Montemerlo, Joelle Pineau, Nicholas Roy, Sebastian Thrun, Vandi Verma:
Experiences with a Mobile Robotic Guide for the Elderly.
587-592 BibTeX
- Michael Montemerlo, Sebastian Thrun, Daphne Koller, Ben Wegbreit:
FastSLAM: A Factored Solution to the Simultaneous Localization and Mapping Problem.
593-598 BibTeX
- Thorsten Schmitt, Michael Beetz, Robert Hanek, Sebastian Buck:
Watch Their Moves: Applying Probabilistic Multiple Object Tracking to Autonomous Robot Soccer.
599-604 BibTeX
- Anthony Stentz:
CD*: A Real-Time Resolution Optimal Re-Planner for Globally Constrained Problems.
605 BibTeX
Satisfiability
- Fahiem Bacchus:
Enhancing Davis Putnam with Extended Binary Clause Reasoning.
613-619 BibTeX
- Delbert D. Bailey, Víctor Dalmau, Phokion G. Kolaitis:
Comparing Phase Transitions and Peak Cost in PP-Complete Satisfiability Problems.
620-626 BibTeX
- Adnan Darwiche:
A Compiler for Deterministic, Decomposable Negation Normal Form.
627-634 BibTeX
- Heidi E. Dixon, Matthew L. Ginsberg:
Inference Methods for a Pseudo-Boolean Satisfiability Solver.
635-640 BibTeX
- Alex S. Fukunaga:
Automated Discovery of Composite SAT Variable-Selection Heuristics.
641-648 BibTeX
- Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella:
Learning for Quantified Boolean Logic Satisfiability.
649-654 BibTeX
- Holger H. Hoos:
An Adaptive Noise Mechanism for WalkSAT.
655-660 BibTeX
- Holger H. Hoos:
A Mixture-Model for the Behaviour of SLS Algorithms for SAT.
661-667 BibTeX
- Rune M. Jensen, Randal E. Bryant, Manuela M. Veloso:
SetA*: An Efficient BDD-Based Heuristic Search Algorithm.
668-673 BibTeX
- Henry A. Kautz, Eric Horvitz, Yongshao Ruan, Carla P. Gomes, Bart Selman:
Dynamic Restart Policies.
674-681 BibTeX
- James D. Park:
Using Weighted MAX-SAT Engines to Solve MPE.
682-687 BibTeX
- Andrew J. Parkes:
Easy Predictions for the Easy-Hard-Easy Transition.
688-694 BibTeX
- Toby Walsh:
The Interface between P and NP: COL, XOR, NAE, 1-in-k, and Horn SAT.
695- BibTeX
Search
- Daniel S. Bernstein, Theodore J. Perkins, Shlomo Zilberstein, Lev Finkelstein:
Scheduling Contract Algorithms on Multiple Processors.
702-706 BibTeX
- Sharlee Climer, Weixiong Zhang:
Searching for Backbones and Fat: A Limit-Crossing Approach with Applications.
707-712 BibTeX
- Dmitry Davidov, Shaul Markovitch:
Multiple-Goal Search Algorithms and their Application to Web Crawling.
713-718 BibTeX
- Lev Finkelstein, Shaul Markovitch, Ehud Rivlin:
Optimal Schedules for Parallelizing Anytime Algorithms: The Case of Independent Processes.
719-724 BibTeX
- Russell Greiner, Ryan Hayward, Michael Molloy:
Optimal Depth-First Strategies for And-Or Trees.
725-730 BibTeX
- Richard E. Korf:
A New Algorithm for Optimal Bin Packing.
731-726 BibTeX
- Matthew McNaughton, Paul Lu, Jonathan Schaeffer, Duane Szafron:
Memory-Efficient A* Heuristics for Multiple Sequence Alignment.
737-743 BibTeX
- Natalya Fridman Noy, Mark A. Musen:
PROMPTDIFF: A Fixed-Point Algorithm for Comparing Ontology Versions.
744-750 BibTeX
- Patrice Perny, Olivier Spanjaard:
On Preference-Based Search in State Space Graphs.
751-756 BibTeX
- Anup K. Sen, Amitava Bagchi, Weixiong Zhang:
An Average-Case Analysis of Graph Search.
757- BibTeX
Vision
Web and Information Extraction
Innovative Applications of Artificial Intelligence Papers
Deployed Applications
- Laurie E. Damianos, Jay M. Ponte, Steve Wohlever, Florence Reeder, David S. Day, D. George Wilson, Lynette Hirschman:
MiTAP, Text and Audio Processing for Bio-Security: A Case Study.
807-814 BibTeX
- Stephen D. Durbin, Doug Warner, J. Neal Richter, Zuzana Gedeon:
RightNow eService Center: Internet Customer Service Using a Self-Learning Knowledge Base.
815-821 BibTeX
- Alex S. Fukunaga, Ed Hamilton, Jason Fama, David Andre, Ofer Matan, Illah R. Nourbakhsh:
Staff Scheduling for Inbound Call Centers and Customer Contact Centers.
822-829 BibTeX
- Richard Goodwin, Rama Akkiraju, Frederick Y. Wu:
A Decision-Support System for Quote Generation.
830-837 BibTeX
- Andrew Lim, Juay Chin Ang, Wee-Kit Ho, Wee-Chong Oon:
UTTSExam: A Campus-Wide University Exam-Timetabling System.
838-844 BibTeX
- K. Christoph Ranze, Thorsten Scholz, Thomas Wagner, Andreas Günter, Otthein Herzog, Oliver Hollmann, Christoph Schlieder, Volker Arlt:
A Structure Based Configuration Tool: Drive Solution Designer - DSD.
845-852 BibTeX
- Gheorghe Tecuci, Mihai Boicu, Dorin Marcu, Bogdan Stanescu, Cristina Boicu, Jerry Comello, Antonio Lopez, James Donlon, William Cleckner:
Development and Deployment of a Disciple Agent for Center of Gravity Analysis.
853- BibTeX
Emerging Applications
- José Luis Ambite, Greg Barish, Craig A. Knoblock, Maria Muslea, Jean Oh, Steven Minton:
Getting from Here to There: Interactive Planning and Agent Execution for Optimizing Travel.
862-869 BibTeX
- Hans Chalupsky, Thomas A. Russ:
WhyNot: Debugging Failed Queries in Large Knowledge Bases.
870-877 BibTeX
- Kenneth D. Forbus, Thomas Mostek, Ronald W. Ferguson:
An Analogy Ontology for Integrating Analogical Processing and First-Principles Reasoning.
878-885 BibTeX
- Randall W. Hill Jr., Changhee Han, Michael van Lent:
Applying Perceptually Driven Cognitive Mapping to Virtual Urban Environments.
886-893 BibTeX
- Alexander Kott, Larry Ground, Ray Budd, V. Lakshmi Rebbapragada, John Langston:
Toward Practical Knowledge-Based Tools for Battle Planning and Scheduling.
894-899 BibTeX
- Kathy Panton, Pierluigi Miraglia, Nancy Salay, Robert C. Kahlert, David Baxter, Roland Reagan:
Knowledge Formation and Dialogue Using the KRAKEN Toolset.
900-905 BibTeX
- Robert Rasch, Alexander Kott, Kenneth D. Forbus:
AI on the Battlefield: An Experimental Exploration.
906-912 BibTeX
- David Scheidt, Christopher McCubbin, Michael Pekala, Shon Vick, David Alger:
Intelligent Control of Auxiliary Ship Systems.
913-918 BibTeX
- Howard E. Shrobe:
Computational Vulnerability Analysis for Information Survivability.
919-926 BibTeX
- Jérôme Thoméré, Ken Barker, Vinay K. Chaudhri, Peter Clark, Michael Eriksen, Sunil Mishra, Bruce W. Porter, Andrés Rodríguez:
A Web-Based Ontology Browsing and Editing System.
927-934 BibTeX
- Michael P. Wellman, Amy R. Greenwald, Peter Stone, Peter R. Wurman:
The 2001 Trading Agent Competition.
935- BibTeX
Student Abstracts
- Stuart Andrews, Thomas Hofmann, Ioannis Tsochantaridis:
Multiple Instance Learning with Generalized Support Vector Machines.
943-944 BibTeX
- Stuart Andrews, David H. Laidlaw:
Toward a Framework for Assembling Broken Pottery Vessels.
945-946 BibTeX
- Cristina Boicu, Gheorghe Tecuci, Mihai Boicu:
Mixed-Initiative Exception-Based Learning for Knowledge Base Refinement.
947-948 BibTeX
- Otto X. Cordero, C. Enrique Peláez:
Fuzzy Numbers for the Improvement of Causal Knowledge Representation in Fuzzy Cognitive Maps.
949-950 BibTeX
- Haipeng Guo, Benjamin B. Perry, Julie A. Stilson, William H. Hsu:
A Genetic Algorithm for Tuning Variable Orderings in Bayesian Network Structure Learning.
951-952 BibTeX
- Leila Kalantari, Eugenia Ternovska:
A Model Checker for Verifying ConGolog Programs.
953-954 BibTeX
- Thomas Lin:
Analogical Inference over a Common Sense Database.
955-956 BibTeX
- Hugo Liu, Push Singh:
MAKEBELIEVE: Using Commonsense Knowledge to Generate Stories.
957-958 BibTeX
- Andrew J. Martignoni III, William D. Smart:
Localizing while Mapping: A Segment Approach.
959-960 BibTeX
- Wee-Chong Oon, Andrew Lim:
Multi-Player Game Approach to Solving Multi-Entity Problems.
961-962 BibTeX
- Benjamin B. Perry, Julie A. Stilson:
BN-Tools: A Software Toolkit for Experimentation in BBNs.
963-964 BibTeX
- James F. Swafford II:
Optimizing Parameter Learning Using Temporal Differences.
965-966 BibTeX
- Tiffany Ya Tang, Gordon I. McCalla:
Student Modeling for a Web-Based Learning Environment: A Data Mining Approach.
967-968 BibTeX
- Pinata Winoto, Gordon I. McCalla, Julita Vassileva:
An Extended Alternating-Offers Bargaining Protocol for Automated Negotiation in Multi-Agent Systems.
969-970 BibTeX
- Yuanlin Zhang, Roland H. C. Yap:
Consistency and Set Intersection.
971-972 BibTeX
- Yuanlin Zhang, Roland H. C. Yap:
Incrementally Solving Functional Constraints.
973-974 BibTeX
- Rong Zhou, Eric A. Hansen:
Multiple Sequence Alignment Using Anytime A*.
975- BibTeX
SIGART/AAAI Doctoral Consortium
Intelligent Systems Demonstrations
- Mihai Boicu, Gheorghe Tecuci, Dorin Marcu, Bogdan Stanescu, Cristina Boicu, Catalin Balan, Marcel Barbulescu, Xianjun Hao:
Disciple-RKF/COG: Agent Teaching by Subject Matter Experts.
992-993 BibTeX
- Songsak Channarukul, Susan Weber McRoy, Syed S. Ali:
JYAG & IDEY: A Template-Based Generator and Its Authoring Tool.
994-995 BibTeX
- John Collins, Maria L. Gini:
Research Applications of the MAGNET Multi-Agent Contracting Testbed.
996-997 BibTeX
- Richard A. Frost:
SpeechWeb: A Web of Natural-Language Speech Applications.
998-999 BibTeX
- Penina Hoz-Weiss, Sarit Kraus, Jonathan Wilkenfeld, Tara E. Santmire:
An Automated Negotiator for an International Crisis.
1000-1001 BibTeX
- Aaron Khoo, Robin Hunicke, Greg Dunham, Nick Trienens, Muon Van:
FlexBot, Groo, Patton and Hamlet: Research Using Computer Games as a Platform.
1002-1003 BibTeX
- Andrew Lim, Juay Chin Ang, Wee-Kit Ho, Wee-Chong Oon:
UTTSExam: A University Examination Timetable Scheduler.
1004-1005 BibTeX
- Mala Mehrotra, Dmitri Bobrovnikoff:
Multi-ViewPoint Clustering Analysis (MVP-CA) Tool.
1006-1007 BibTeX
- Samuel Moyle, Michael J. Watts:
Fuzzy Neural Networks in a Palm Environment.
1008-1009 BibTeX
- Masayuki Numao, Shoichi Takagi, Keisuke Nakamura:
CAUI Demonstration Composing Music Based on Human Feelings.
1010- BibTeX
Invited Talks
Copyright © Sat May 16 22:55:30 2009
by Michael Ley (ley@uni-trier.de)
