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