AAAI 2002 Proceedings -- Contents

Prepared by Bob Futrelle 9/2003 from the contents PDF on the CD of the full conference proceedings. For the Northeastern University, College of Computer and Information Science AI Seminar, 2003-2004.

Constraint Satisfaction

Generating Random Solutions for Constraint Satisfaction Problems: Dechter, Rina; Kask, Kalev; Bin, Eyal; Emek, Roy
Graph Coloring with Quantum Heuristics: Fabrikant, Alex; Hogg, Tad
Human-Guided Tabu Search: Klau, Gunnar; Lesh, Neal; Marks, Joe; Mitzenmacher, Michael
Integrating Local Search and Network Flow to Solve the Inventory Routing Problem: Lau, Hoong; Liu, Qizhang; Ono, Hirotaka
Model Induction: A New Source of CSP Model Redundancy: Law, Y.; Lee, J.
Node and Arc Consistency in Weighted CSP: Larrosa, Javier
Preference-Based Search and Multi-Criteria Optimization: Junker, Ulrich
Reducing Search Space in Local Search for Constraint Satisfaction: Fang, H.; Kilani, Y.; Lee, J.; Stuckey, P.
The Yard Allocation Problem: Chen, Ping; Fu, Zhaohui; Lim, Andrew
A Bayesian Metareasoner for Algorithm Selection for Real-Time Bayesian Network Inference Problems: Guo, Haipeng
A Dialogue System with Digression Handling - An Ontology-Based Approach: Tsai, Tzong-Han
A Reputation-Oriented Reinforcement Learning Approach for Agents in Electronic Marketplaces: Tran, Thomas
An Agent Approach to Security in Pervasive Environments: Kagal, Lalana
Combining Inference and Search for the Propositional Satisfiability Problem: Drake, Lyndon; Frisch, Alan; Walsh, Toby
Decision-Theoretic Planning for Intelligent User Interfaces: Bohnenberger, Thorsten
Distributed Constraint Optimization and Its Application to Multiagent Resource Allocation: Modi, Pragnesh
Dynamic Bayesian Networks for Automatic Speech Recognition: Deviren, Murat
Efficient Modeling of Temporally Variable User Properties with Dynamic Bayesian Networks: Brandherm, Boris
Generalized Features: Their Application to Classification: Kiritchenko, Svetlana; Matwin, Stan
Generating Trading Agent Strategies: Reeves, Daniel
Learning in Open-Ended Dynamic Distributed Environments: Caragea, Doina
Organizations of Self-Interested Agents: McGeary, Foster
A Decision-Support System for Quote Generation: Goodwin, Richard; Akkiraju, Rama; Wu, Fred
A Structure Based Configuration Tool: Drive Solution Designer -- DSD: Ranze, Christoph; Scholz, Thorsten; Wagner, Thomas; Gunter, Andreas; Herzog, Otthein; Hollmann, Oliver; Schlieder, Christoph; Arlt, Volker
Development and Deployment of a Disciple Agent for Center of Gravity Analysis: Tecuci, Gheorghe; Boicu, Mihai; Marcu, Dorin; Stanescu, Bogdan; Boicu, Cristina; Comello, Jerry; Lopez, Antonio; Donlon, James; Cleckner, William
MiTAP, Text, and Audio Processing for Bio-Security: A Case Study: Damianos, Laurie; Ponte, Jay; Wohlever, Steve; Reeder, Florence; Day, David; Wilson, George; Hirschman, Lynette
RightNow eService Center: Internet Customer Service Using a Self-Learning Knowledge Base: Durbin, Stephen; Warner, Doug; Richter, J.; Gedeon, Zuzana
Staff Scheduling for Inbound Call Centers and Customer Contact Centers: Fukunaga, Alex; Hamilton, Ed; Fama, Jason; Andre, David; Matan, Ofer; Nourbakhsh, Illah
UTTSExam: A Campus-Wide University Exam-Timetabling System: Lim, Andrew; Ang, Juay-Chin; Ho, Wee-Kit; Oon, Wee-Chong
A Web-Based Ontology Browsing and Editing System: Thomere, Jerome; Barker, Ken; Chaudhri, Vinay; Clark, Peter; Eriksen, Michael; Mishra, Sunil; Porter, Bruce; Rodriguez, Andres
AI on the Battlefield: An Experimental Exploration: Rasch, Robert; Kott, Alexander; Forbus, Kenneth
An Analogy Ontology for Integrating Analogical Processing and First-Principles Reasoning: Forbus, Kenneth; Mostek, Thomas; Ferguson, Ron
Applying Perceptually Driven Cognitive Mapping to Virtual Urban Environments: Hill, Randall; Han, Changhee; van Lent, Michael
Computational Vulnerability Analysis for Information Survivability: Shrobe, Howard
Getting from Here to There: Interactive Planning and Agent Execution for Optimizing Travel: Ambite, Jose; Barish, Greg; Knoblock, Craig; Muslea, Maria; Oh, Jean; Minton, Steven
Intelligent Control of Auxiliary Ship Systems: Scheidt, David; McCubbin, Christopher; Pekala, Michael; Vick, Shon; Alger, David
Knowledge Formation and Dialogue Using the KRAKEN Toolset: Panton, Kathy; Miraglia, Pierluigi; Salay, Nancy; Kahlert, Robert; Baxter, David; Reagan, Roland
The 2001 Trading Agent Competition: Wellman, Michael; Greenwald, Amy; Stone, Peter; Wurman, Peter
Toward Practical Knowledge-Based Tools for Battle Planning and Scheduling: Kott, Alexander; Ground, Larry; Budd, Ray; Rebbapragada, Lakshmi; Langston, John
WhyNot: Debugging Failed Queries in Large Knowledge Bases: Chalupsky, Hans; Russ, Thomas
An Automated Negotiator for an International Crisis: Hoz-Weiss, Penina; Kraus, Sarit; Wilkenfeld, Jonathan; Santmire, Tara
CAUI Demonstration -- Composing Music Based on Human Feelings: Numao, Masayuki; Takagi, Shoichi; Nakamura, Keisuke
Disciple-RKF/COG: Agent Teaching by Subject Matter Experts: Boicu, Mihai; Tecuci, Gheorghe; Marcu, Dorin; Stanescu, Bogdan; Boicu, Cristina; Balan, Catalin; Barbulescu, Marcel; Hao, Xianjun
FlexBot, Groo, Patton, and Hamlet: Research Using Computer Games as a Platform: Khoo, Aaron; Hunicke, Robin; Dunham, Greg; Trienens, Nick; Van, Muon
Fuzzy Neural Networks in a Palm Environment: Moyle, Samuel; Watts, Michael
JYAG & IDEY: A Template-Based Generator and Its Authoring Tool: Channarukul, Songsak; McRoy, Susan; Ali, Syed
Multi-ViewPoint Clustering Analysis (MVP-CA) Tool: Mehrotra, Mala; Bobrovnikoff, Dmitri
Research Applications of the MAGNET Multi-Agent Contracting Testbed: Collins, John; Gini, Maria
SpeechWeb: A Web of Natural-Language Speech Applications: Frost, R.
UTTSExam: A University Examination Timetable Scheduler: Lim, Andrew; Ang, Juay-Chin; Ho, Wee-Kit; Oon, Wee-Chong
Most Informative Dimension Reduction: Globerson, Amir; Tishby, Naftali
Perspectives on Artificial Intelligence Planning: Geffner, Hector
A Hoare-Style Proof System for Robot Programs: Liu, Yongmei
A Regression Based Adaptation Strategy for Case-Based Reasoning: Patterson, David; Rooney, Niall; Galushka, Mykola
Cluster Ensembles -- A Knowledge Reuse Framework for Combining Partitionings: Strehl, Alexander; Ghosh, Joydeep
Measuring Inconsistency in Knowledge via Quasi-Classical Models: Hunter, Anthony
On Computing all Abductive Explanations: Eiter, Thomas; Makino, Kazuhisa
Representing and Reasoning about Mappings between Domain Models: Madhavan, Jayant; Bernstein, Philip; Domingos, Pedro; Halevy, Alon
Knowledge Representation -- Logic Programming
A Three-Valued Characterization for Strong Equivalence of Logic Programs: Cabalar, Pedro
ASSAT: Computing Answer Sets of a Logic Program by SAT Solvers: Lin, Fangzhen; Zhao, Yuting
Logic Programming with Ordered Disjunction: Brewka, Gerhard
Bootstrap Learning for Place Recognition: Kuipers, Benjamin; Beeson, Patrick
Constrained Formulations and Algorithms for Stock-Price Predictions Using Recurrent FIR Neural Networks: Wah, Benjamin; Qian, Minglun
Constructive Adaptive User Interfaces - Composing Music Based on Human Feelings: Numao, Masayuki; Takagi, Shoichi; Nakamura, Keisuke
Content-Boosted Collaborative Filtering for Improved Recommendations: Melville, Prem; Mooney, Raymond; Nagarajan, Ramadass
Contentful Mental States for Robot Baby: Cohen, Paul; Oates, Tim; Beal, Carole; Adams, Niall
Data Perturbation for Escaping Local Maxima in Learning: Elidan, Gal; Ninio, Matan; Friedman, Nir; Schuurmans, Dale
Extended Isomap for Pattern Classification: Yang, Ming-Hsuan
Hierarchical Latent Class Models for Cluster Analysis: Zhang, Nevin
Learning Temporal, Relational, Force-Dynamic Event Definitions from Video: Fern, Alan; Siskind, Jeffrey; Givan, Robert
Minimum Majority Classification and Boosting: Long, Philip
Polynomial-Time Reinforcement Learning of Near-Optimal Policies: Pivazyan, Karen; Shoham, Yoav
Progressive Rademacher Sampling: Elomaa, Tapio; Kaariainen, Matti
Pruning and Dynamic Scheduling of Cost-Sensitive Ensembles: Fan, Wei; Chu, Fang; Wang, Haixun; Yu, Philip
Reinforcement Learning for POMDPs Based on Action Values and Stochastic Optimization: Perkins, Theodore
Rule-Based Anomaly Pattern Detection for Detecting Disease Outbreaks: Wong, Weng-Keen; Moore, Andrew; Cooper, Gregory; Wagner, Michael
Specific-to-General Learning for Temporal Events: Fern, Alan; Givan, Robert; Siskind, Jeffrey
State Abstraction for Programmable Reinforcement Learning Agents: Andre, David; Russell, Stuart
Structural Extension to Logistic Regression: Discriminative Parameter Learning of Belief Net Classifiers: Greiner, Russell; Zhou, Wei
A POMDP Formulation of Preference Elicitation Problems: Boutilier, Craig
Bayesian Networks for Speech and Image Integration: Wachsmuth, Sven; Sagerer, Gerhard
Context-Specific Multiagent Coordination and Planning with Factored MDPs: Guestrin, Carlos; Venkataraman, Shobha; Koller, Daphne
Efficient Utility Functions for Ceteris Paribus Preferences: McGeachie, Michael; Doyle, Jon
Greedy Linear Value-Approximation for Factored Markov Decision Processes: Patrascu, Relu; Poupart, Pascal; Schuurmans, Dale; Boutilier, Craig; Guestrin, Carlos
Nearly Deterministic Abstractions of Markov Decision Processes: Lane, Terran; Kaelbling, Leslie
On Policy Iteration as a Newton's Method and Polynomial Policy Iteration Algorithms: Madani, Omid
Piecewise Linear Value Function Approximation for Factored MDPs: Poupart, Pascal; Boutilier, Craig; Patrascu, Relu; Schuurmans, Dale
Segmenting Time Series with a Hybrid Neural Networks - Hidden Markov Model: Firoiu, Laura; Cohen, Paul
The Size of MDP Factored Policies: Liberatore, Paolo
Value Iteration Working with Belief Subset: Zhang, Weixiong; Zhang, Nevin
(Im)possibility of Safe Exchange Mechanism Design: Sandholm, Tuomas; Wang, XiaoFeng
A Logic-Based Model of Intentions for Multi-Agent Subcontracting: Grant, John; Kraus, Sarit; Perlis, Donald
Complexity of Manipulating Elections with Few Candidates: Conitzer, Vincent; Sandholm, Tuomas
Distributed Breakout Revisited: Zhang, Weixiong; Wittenburg, Lars
Multi-Agent Algorithms for Solving Graphical Games: Vickrey, David; Koller, Daphne
Reinforcement Learning of Coordination in Cooperative Multi-Agent Systems: Kapetanakis, Spiros; Kudenko, Daniel
The Design of Collectives of Agents to Control Non-Markovian Systems: Lawson, John; Wolpert, David
Bidding Clubs in First-Price Auctions: Leyton-Brown, Kevin; Shoham, Yoav; Tennenholtz, Moshe
Partial-Revelation VCG Mechanism for Combinatorial Auctions: Conen, Wolfram; Sandholm, Tuomas
Solving Concisely Expressed Combinatorial Auction Problems: Boutilier, Craig
Structural Leverage and Fictitious Play in Sequential Auctions: Zhu, Weili; Wurman, Peter
Truthful Approximation Mechanisms for Restricted Combinatorial Auctions: Mu'alem, Ahuva; Nisan, Noam
Competitive Safety Analysis: Tennenholtz, Moshe
Dispersion Games: General Definitions and Some Specific Learning Results: Grenager, Trond; Powers, Rob; Shoham, Yoav
Vote Elicitation: Complexity and Strategy-Proofness: Conitzer, Vincent; Sandholm, Tuomas
CobotDS: A Spoken Dialogue System for Chat: Kearns, Michael; Isbell, Charles; Singh, Satinder; Litman, Diane; Howe, Jessica
Exploiting Auditory Fovea in Humanoid-Human Interaction: Nakadai, Kazuhiro; Okuno, Hiroshi; Kitano, Hiroaki
Language Modeling for Soft Keyboards: Goodman, Joshua; Venolia, Gina; Steury, Keith; Parker, Chauncey
Learning Pattern Rules for Chinese Named Entity Extraction: Chua, Tat-Seng; Liu, Jimin
Towards CST-Enhanced Summarization: Zhang, Zhu; Blair-Goldensohn, Sasha; Radev, Dragomir
A Logical Measure of Progress for Planning: Parmar, Aarati
Algorithms for a Temporal Decoupling Problem in Multi-Agent Planning: Multiagent Systems -- Auctions Hunsberger, Luke
D*Lite: Koenig, Sven; Likhachev, Maxim
Iterative-Refinement for Action Timing Discretization: Neller, Todd
Plan Evaluation with Incomplete Action Descriptions: Garland, Andrew; Lesh, Neal
Planning with a Language for Extended Goals: Lago, Ugo; Pistore, Marco; Traverso, Paolo
Speeding Up the Calculation of Heuristics for Heuristic Search-Based Planning: Liu, Yaxin; Koenig, Sven; Furcy, David
Symbolic Heuristic Search for Factored Markov Decision Processes: Feng, Zhengzhu; Hansen, Eric
A Method for Metric Temporal Reasoning: Broxvall, Mathias
Non-Markovian Control in the Situation Calculus: Gabaldon, Alfredo
Reasoning about Actions in a Probabilistic Setting: Baral, Chitta; Tran, Nam; Tuan, Le-Chi
A Distance Measure for Bounding Probabilistic Belief Change: Chan, Hei; Darwiche, Adnan
A General Identification Condition for Causal Effects: Tian, Jin; Pearl, Judea
A Graphical Criterion for the Identification of Causal Effects in Linear Models: Brito, Carlos; Pearl, Judea
A New Characterization of the Experimental Implications of Causal Bayesian Networks: Tian, Jin; Pearl, Judea
Accuracy vs. Efficiency Trade-offs in Probabilistic Diagnosis: Rish, Irina; Brodie, Mark; Ma, Sheng
Strategies for Determining Causes of Events: Hopkins, Mark
Tree Approximation for Belief Updating: Mateescu, Robert; Dechter, Rina; Kask, Kalev
Visual Exploration and Incremental Utility Elicitation: Blythe, Jim
CD*: A Real-Time Resolution Optimal Re-Planner for Globally Constrained Problems: Stentz, Anthony
Experiences with a Mobile Robotic Guide for the Elderly: Montemerlo, Michael; Pineau, Joelle; Roy, Nicholas; Thrun, Sebastian; Verma, Vandi
FastSLAM: A Factored Solution to the Simultaneous Localization and Mapping Problem: Montemerlo, Michael; Thrun, Sebastian; Koller, Daphne; Wegbreit, Ben
Robust Global Localization Using Clustered Particle Filtering: Milstein, Adam; Sanchez, Javier; Williamson, Evan
Watch Their Moves: Applying Probabilistic Multiple Object Tracking to Autonomous Robot Soccer: Schmitt, Thorsten; Beetz, Michael; Hanek, Robert; Buck, Sebastian
A Compiler for Deterministic, Decomposable Negation Normal Form: Darwiche, Adnan
A Mixture-Model for the Behaviour of SLS Algorithms for SAT: Hoos, Holger
An Adaptive Noise Mechanism for WalkSAT: Hoos, Holger
Automated Discovery of Composite SAT Variable-Selection Heuristics: Fukunaga, Alex
Comparing Phase Transitions and Peak Cost in PP-Complete Satisfiability Problems: Bailey, Delbert; Dalmau, Victor; Kolaitis, Phokion
Dynamic Restart Policies: Kautz, Henry; Horvitz, Eric; Ruan, Yongshao; Gomes, Carla; Selman, Bart
Easy Predictions for the Easy-Hard-Easy Transition: Parkes, Andrew
Enhancing Davis Putnam with Extended Binary Clause Reasoning: Bacchus, Fahiem
Inference Methods for a Pseudo-Boolean Satisfiability Solver: Dixon, Heidi; Ginsberg, Matthew
Learning for Quantified Boolean Logic Satisfiability: Giunchiglia, Enrico; Narizzano, Massimo; Tacchella, Armando
SetA*: An Efficient BDD-Based Heuristic Search Algorithm: Jensen, Rune; Bryant, Randal; Veloso, Manuela
The Interface between P and NP: COL, XOR, NAE, 1-in-k, and Horn SAT: Walsh, Toby
Using Weighted MAX-SAT Engines to Solve MPE: Park, James
A New Algorithm for Optimal Bin Packing: Korf, Richard
An Average-Case Analysis of Graph Search: Sen, Anup; Bagchi, Amitava; Zhang, Weixiong
Memory-Efficient A* Heuristics for Multiple Sequence Alignment: McNaughton, Matthew; Lu, Paul; Schaeffer, Jonathan; Szafron, Duane
Multiple-Goal Search Algorithms and their Application to Web Crawling: Davidov, Dmitry; Markovitch, Shaul
On Preference-Based Search in State Space Graphs: Perny, Patrice; Spanjaard, Olivier
Optimal Depth-First Strategies for And-Or Trees: Greiner, Russell; Hayward, Ryan; Molloy, Michael
Optimal Schedules for Parallelizing Anytime Algorithms: The Case of Independent Processes: Finkelstein, Lev; Markovitch, Shaul; Rivlin, Ehud
PROMPTDIFF: A Fixed-Point Algorithm for Comparing Ontology Versions: Noy, Natalya; Musen, Mark
Scheduling Contract Algorithms on Multiple Processors: Bernstein, Daniel; Perkins, Theodore; Zilberstein, Shlomo; Finkelstein, Lev
Searching for Backbones and Fat: A Limit-Crossing Approach with Applications: Climer, Sharlee; Zhang, Weixiong
A Genetic Algorithm for Tuning Variable Orderings in Bayesian Network Structure Learning: Guo, Haipeng; Perry, Benjamin; Stilson, Julie; Hsu, William
A Model Checker for Verifying ConGolog Programs: Kalantari, Leila; Ternovska, Eugenia
An Extended Alternating-Offers Bargaining Protocol for Automated Negotiation in Multi-Agent Systems: Winoto, Pinata; McCalla, Gordon; Vassileva, Julita
Analogical Inference over a Common Sense Database: Lin, Thomas
BN-Tools: A Software Toolkit for Experimentation in BBNs: Perry, Benjamin; Stilson, Julie
Consistency and Set Intersection: Zhang, Yuanlin; Yap, Roland
Fuzzy Numbers for the Improvement of Causal Knowledge Representation in Fuzzy Cognitive Maps: Cordero, Otto; Pelaez, Enrique
Incrementally Solving Functional Constraints: Zhang, Yuanlin; Yap, Roland
Localizing while Mapping: A Segment Approach: Martignoni, Andrew; Smart, William
MAKEBELIEVE: Using Commonsense Knowledge to Generate Stories: Liu, Hugo; Singh, Push
Mixed-Initiative Exception-Based Learning for Knowledge Base Refinement: Boicu, Cristina; Tecuci, Gheorghe; Boicu, Mihai
Multi-Player Game Approach to Solving Multi-Entity Problems: Oon, Wee-Chong; Lim, Andrew
Multiple Instance Learning with Generalized Support Vector Machines: Andrews, Stuart; Hofmann, Thomas; Tsochantaridis, Ioannis
Multiple Sequence Alignment Using Anytime A*: Zhou, Rong; Hansen, Eric
Optimizing Parameter Learning Using Temporal Differences: Swafford, James
Student Modeling for a Web-Based Learning Environment: A Data Mining Approach: Tang, Tiffany; McCalla, Gordon
Toward a Framework for Assembling Broken Pottery Vessels: Andrews, Stuart; Laidlaw, David
Detection and Classification of Motion Boundaries: Mann, Richard; Jepson, Allan
Recognizing Multitasked Activities from Video Using Stochastic Context-Free Grammar: Moore, Darnell; Essa, Irfan
The OD Theory of TOD: The Use and Limits of Temporal Information for Object Discovery: Sanders, Brandon; Nelson, Randal; Sukthankar, Rahul
A Maximum Entropy Approach to Information Extraction from Semi-Structured and Free Text: Chieu, Hai; Ng, Hwee
Reviewing the Design of DAML+OIL: An Ontology Language for the Semantic Web: Horrocks, Ian; Patel-Schneider, Peter; van Harmelen, Frank
Stochastic Link and Group Detection: Kubica, Jeremy; Moore, Andrew; Schneider, Jeff; Yang, Yiming

Return to the AI-CCIS home page.

AAAI 2002 Proceedings -- Contents

Constraint Satisfaction

Doctoral Consortium

Innovative Applications -- Deployed Applications

Intelligent Systems Demonstrations

Invited Talks

Knowledge Representation

Knowledge Representation -- Logic Programming

Learning

Markov Decision Processes

Multiagent Systems

Multiagent Systems -- Auctions

Multiagent Systems -- Game Theory

Natural Language Processing

Planning

Planning -- Actions and Temporal Reasoning

Probabilistic and Causal Reasoning

Robotics

Satisfiability

Search

Student Abstracts

Vision

Web and Information Extraction