14. AAAI / 9. IAAI 1997:
Providence, Rhode Island
Proceedings of the Fourteenth National Conference on Artificial Intelligence and Ninth Innovative Applications of Artificial Intelligence Conference,
AAAI 97, IAAI 97, July 27-31, 1997, Providence,
Rhode Island. AAAI Press / The MIT Press, 1997, ISBN 0-262-51095-2
AAAI-97 Technical Papers
Agents
Agent Architecture
Agent Coordination
- Mihai Barbuceanu:
Coordinating Agents by Role Based Social Constraints and Conversation Plans.
16-21
- Milind Tambe:
Agent Architectures for Flexible, Practical Teamwork.
22-28
Negotiation
Automated Reasoning
Automated Reasoning/Diagnosis
Automated Reasoning & the User Interface
- Vibhu O. Mittal:
Visual Prompts and Graphical Design: A Framework for Exploring the Design Space of 2-D Charts and Graphs.
57-63
- Robert St. Amant:
Navigation and Planning in a Mixed-Initiative User Interface.
64-69
Belief and Decision
Classification
Diagnosis
Modeling for Decision Processes
Qualitative Reasoning
Reasoning about Physical Systems
Spatial Uncertainty
Techniques for Temporal Reasoning
Constraint Satisfaction and Search
Constraint Satisfaction Problems and Bayes Networks
Constraint Satisfaction Problems:
Symmetry
Constraint Satisfaction Techniques
Efficient Reasoning
Heuristics for Scheduling
Information Retrieval
Local Search:
Beyond SAT
Local Search Techniques
Problem Solving & Computational Resources
Scheduling
Search (Cost)
Structure of Constraint Satisfaction Problems
- Daniel Frost, Irina Rish, Lluís Vila:
Summarizing CSP Hardness with Continuous Probability Distributions.
327-333
- Tad Hogg:
Exploiting the Deep Structure of Constraint Satisfaction Problems with Quantum Computers.
334-339
- Andrew J. Parkes:
Clustering at the Phase Transition.
340-345
Education and Evaluation
Computational Systems for Education
- William H. Bares, James C. Lester:
Realtime Generation of Customized 3D Animated Explanations for Knowledge-Based Learning Environments.
347-354
- Jack Mostow, Gregory Aist:
The Sounds of Silence: Towards Automated Evaluation of Student Learning in a Reading Tutor that Listens.
355-361
Experimental Methodology
Knowledge Representation
Building and Modifying Knowledge Bases
Description Logics
Knowledge Representation for Automated Reasoning
- Pierre E. Bonzon:
A Reflective Proof System for Reasoning in Contexts.
398-403
- Robert Givan:
Obvious Properties of Computer Programs.
404-410
Knowledge Representation:
Expert Systems
Knowledge Representation:
Nonmonotonic Logic
- Grigoris Antoniou:
A Comparison of Two Approaches to Splitting Default Theories.
424-429
- Riccardo Rosati:
Reasoning with Minimal Belief and Negation as Failure: Algorithms and Complexity.
430-435
Knowledge Representation:
Ontologies
Knowledge Representation:
Reasoning about Action
Knowledge Representation:
Theorem Proving
Learning
Formal Analyses of Learning
Knowledge Discovery in Databases
Learning In Linguistic Domains
Machine Learning (Probabilistic)
Model Selection and Overfitting
Parallelism in Learning
Reactive Behavior
Text Retrieval and Learning
Natural Language
Language and Learning
Natural Language
Natural Language Generation
Perception and Behavior
Multi-Agent Systems
Navigation & Perception
Planning
Case-Based Reasoning and Planning
Flexible Hierarchical Planning
Optimal Planning
- Tom Bylander:
A Linear Programming Heuristic for Optimal Planning.
694-699
- Richard E. Korf:
Finding Optimal Solutions to Rubik's Cube Using Pattern Databases.
700-705
Plan Generation
Planning Under Uncertainty
- Ronen I. Brafman:
A Heuristic Variable Grid Solution Method for POMDPs.
727-733
- Milos Hauskrecht:
Incremental Methods for Computing Bounds in Partially Observable Markov Decision Processes.
734-739
Probability and Planning
Invited Talks
Mobile Robot Competition Abstracts
- CPT Pete Beim, Ian Horswill, Ivan Yen:
Hack and Kluge.
776-777
- Douglas S. Blank, J. Oliver Ross:
Learning in a Fuzzy Logic Robot Controller.
778
- Marc Bolduc, Eric Bourque, Gregory Dudek, Nicholas Roy, Robert Sim:
Autonomous Exploration: An Integrated Systems Approach.
779-780
- R. Peter Bonasso:
ServerDroid: A MultiMedia Service Robot.
781-782
- David J. Bruemmer, Ross Michael Dickson, Jeremy Dilatush, David Allan Lewis, Heather Mateyak, Mike Mirarchi, Mike Morton, Jim Tracy, A. Vorobiev, Lisa Meeden:
A Situated Vacuuming Robot.
783-784
- Thomas R. Collins, Tucker R. Balch:
Teaming Up: Georgia Tech's Multi-Robot Competition Teams.
785-786
- William Garner, Gregory Friedland, Artyom Lifshits, Daniela Rus, Keith Kotay, Jon Howell:
The Dartmouth Mobile Robot: SK.
787-788
- Ales V. Hvezda, John J. Garcia, Paul R. Klarer, Raymond H. Byrne, Gregory L. Heileman, Chaouki T. Abdallah:
LOBOtomous: An Autonomous Platform for Indoor Environments.
789-790
- Jason A. Janét, Bruce R. Linnell, Sean M. Scoggins:
Finding Life on Mars, and Other Tasks for NCSU's Mobile Robots.
791-792
- David P. Miller, Cathryne Stein, Anne Wright, Randy Sargent:
Are You Being Served?
793-794
- Robin R. Murphy:
Intelligent Sensor Fusion for the 1997 AAAI Mobile Robot Competition.
795-796
- Todd Prater, Michael J. Novak, Brian Rectanus, Steven Gustafson, David A. Gustafson:
Kansas State Robotics.
797
- Paul E. Rybski, Sascha Stoeter, Chris Wyman, Maria L. Gini:
A Cooperative Multi-Robot Approach to the Mapping and Exploration of Mars.
798-799
- Daniel P. Stormont, Jane Canulette, Timothy Eyring, Jose Juste, Salamon Quintana, Chaouki T. Abdallah, Raymond H. Byrne, Gregory L. Heileman:
Lobokhod: The University of New Mexico's Robotic Mars Rover.
800-801
- Barry Brian Werger, Miguel Schneider-Fontán, Dani Goldberg, Gregory Hornby, Maja J. Mataric, Sen Song:
Multiple Agents from the Bottom Up: The Interaction Lab's Robot Competition Effort.
802-803
- Brian Yamauchi, Alan C. Schultz, William Adams, Kevin Graves, John J. Grefenstette, Dennis Perzanowski:
ARIEL: Autonomous Robot for Integrated Exploration and Localization.
804-805
Doctorial Consortium Abstracts
- Debra T. Burhans:
Pragmatic Question Answering: Generic versus Specific Responses.
807
- Juan M. Corchado:
Adaptive Hybrid System Architecture for Forecasting.
808
- Stephen F. Correl:
Iterative Refinement of Knowledge Bases with Consistency Guarantees.
809
- William H. Hsu:
Probabilistic Learning in Bayesian and Stochastic Neural Networks.
810
- Ravi Kapadia:
Unified Hardware and Software Models for Smart System Design.
811
- Venkateswarlu Kolluri:
Evaluating the Role of Background Knowledge in Enhancing Knowledge Discovery in Databases.
812
- Ole J. Mengshoel:
Belief Network Inference in Dynamic Environments.
813
- Ted Pedersen:
Knowledge Lean Word Sense Disambiguation.
814
- Wanda Pratt:
Dynamic Organization of Search Results Using a Taxonomic Domain Model.
815
- Mehran Sahami:
Applications of Machine Learning to Information Access.
816
- Kenneth B. Samuel:
Computing Discourse Information with Statistical Methods.
817
- Bilge Say:
An Information-Based Approach to Punctuation.
818
- Peter Stone:
Layered Learning in Multiagent Systems.
819
Student Abstracts
- Ella M. Atkins, Edmund H. Durfee, Kang G. Shin:
Avoiding Failure via Pre-Planned Responses and Time-Bounded Planning.
821
- Aaron A. Armstrong, Edmund H. Durfee:
Dynamic Prioritization of Complex Agents in Distributed Constraint Satisfaction Problems.
822
- Cheng-Gang Bian, Wen Cao, Gunnar Hartvigsen:
An Efficient Heuristic Search in a Large Multi-Agent System.
823
- Sarah Boyd:
Summarizing Time-Varying Data.
824
- Bonghan Cho, Paul S. Rosenbloom, Milind Tambe:
Efficient Production Match Algorithm and Its Implication for Dynamic Constraint Satisfaction Problems.
825
- Piew Datta:
Applying Clustering to the Classification Problem.
826
- Brian D. Davison, Haym Hirsh:
Experiments in UNIX Command Prediction.
827
- Pedro Domingos:
A Comparison of Model Averaging Methods in Foreign Exchange Prediction.
828
- Pedro Domingos:
Learning Multiple Models without Sacrificing Comprehensibility.
829
- Jörg Ernst, Grigoris Antoniou:
Stratification for Variants of Default Logic.
830
- Michael S. Fulkerson, Michael L. Littman, Greg A. Keim:
Speeding Safely: Multi-Criteria Optimization in Probabilistic Planning.
831
- Jeffrey A. Goldman:
Information Routing Using a Corpus Distribution.
832
- Jonathan B. Handler:
Althea: Minimalist Representation for Robot Assembly Tasks.
833
- Gal A. Kaminka, Milind Tambe:
Social Comparison for Failure Detection and Recovery in Multi-Agent Settings.
834
- Ravi Kapadia:
Smart System Design Using Hybrid Models.
835
- Leo Kuvayev:
Learning to Play Hearts.
836
- Jung Jin Lee, Robert McCartney:
Predicting Resource Use with Case-Based Plan Recognition.
837
- Ray Liere, Prasad Tadepalli:
Active Learning with Committees.
838
- Charles B. McVey, Ella M. Atkins, Edmund H. Durfee, Kang G. Shin:
Development of Iterative Scheduler to Planner Feedback.
839
- Sunju Park, Edmund H. Durfee:
A Stochastic Strategy for Multiagent Contracts and the Impact of Deliberation Overhead.
840
- Ted Pedersen:
Naive Mixes for Word Sense Disambiguation.
841
- Jorge C. G. Ramirez, Lynn L. Peterson, Dolores M. Peterson, Gretchen K. Cormier:
On the Discovery of Patterns in Medical Data.
842
- Chandra Reddy, Prasad Tadepalli:
Learning Goal-Decomposition Rules Using Exercises.
843
- Walid S. Saba, Jean-Pierre Corriveau:
Quantification and Commonsense Reasoning.
844
- Mehran Sahami, Salim Yusufali, Michelle Q. Wang Baldonado:
Real-Time Full-Text Clustering of Networked Documents.
845
- Marin Simina, Ashwin Ram, Janet L. Kolodner, Michael E. Gorman:
A Model of Invention.
846
- Marcelo Tallis, Yolanda Gil:
Modifying Knowledge Bases Using Scripts.
847
- Jenn-Kwei Tyan:
Noise Sensitivity Analysis for Shape from Focus Methods.
848
- José M. Vidal, Edmund H. Durfee:
Analyzing Agents that Learn about Agents.
849
- Peter Weinstein, William P. Birmingham:
Matching Requests for Agent Services with Differentiated Vocabulary.
850
Innovative Applications of Artificial Intelligence Papers
Deployed Applications
- Narendra Dev, Bart Anderson:
Pimtool, an Expert System to Troubleshoot Computer Hardware Failures.
853-860
- Kyoung Jun Lee, Hyun Woo Kim, Jae Kyu Lee, Tae Hwan Kim, Chang Gon Kim, Myoung Kyun Yoon, Eui Jun Hwang, Hyun Jeong Park:
Case and Constraint-Based Apartment Construction Project Planning System: FASTrak-APT.
861-866
- Howard Marmorstein, Jayesh Ghia, Sandeep Sathaye, Akshay Gupta, Eva Baron-Vartian:
PST: The Provider Selection Tool.
867-874
- David W. McDonald, Charles O. Pepe, Henry M. Bowers, Edward J. Dombroski:
Desktop Underwriter: Fannie Mae's Automated Mortgage Underwriting Expert System.
875-882
- Charles S. Moon, Thomas A. Shore, Gary Brophy, Dennis Koski:
Design of High Performance Help Desk Application and Its Implementation Results.
883-892
- Ernesto M. Morgado, João P. Martins:
CREWS_NS: Scheduling Train Crew in The Netherlands.
893-902
- Kathleen Murphy, Elizabeth Ralston, David Friedlander, Rodney Swab, Paul Steege:
The Scheduling of Rail at Union Pacific Railroad.
903-912
- Ina Ng, Andrew Gill, Ian Chia, Mei-Leng Koh, Chris Yeung, Lih-Wee Chew:
SunRay V - An Intelligent Container Trucking Operations Management and Control System.
913-918
- James R. Nolan:
DISXPERT: A Social Security Disability Screening Expert System.
919-925
- Cyril Way:
STHANA: Profitability Forecast and Situation Analysis for Automated Teller Machines.
926-931
- Kirk D. Wilson:
ChemReg: Using Case-Based Reasoning to Support Health and Safety Compliance in the Chemical Industry.
932-939
Emerging Applications
- Amit Bagga, Joyce Yue Chai, Alan W. Biermann:
The Role of WordNet in The Creation of a Trainable Message Understanding System.
941-948
- R. Peter Bonasso, David Kortenkamp, Troy Whitney:
Using a Robot Control Architecture to Automate Space Shuttle Operations.
949-956
- Andreas Butz:
Animation with CATHI.
957-962
- Steve A. Chien, Anita Govindjee, Tara A. Estlin, Xuemei Wang, Randall W. Hill Jr.:
Automated Generation of Tracking Plans for a Network of Communications Antennas.
963-970
- Michael H. Coen:
Building Brains for Rooms: Designing Distributed Software Agents.
971-977
- Philip R. Cohen, Michael Johnston, David McGee, Sharon L. Oviatt, Jay Pittman, Ira A. Smith, Liang Chen, Josh Clow:
Mulitmodal Interaction for Distributed Interactive Simulation.
978-985
- Ana Cristina Bicharra Garcia, Joper Cezar de Andrade, Rogério Ferreira Rodrigues, Ricardo Moura:
ADDVAC: Applying Active Design Documents for the Capture, Retrieval and Use of Rationale During Offshore Platform VAC Design.
986-991
- Barry Glasgow, Alan Mandell, Dan Binney, Lila Ghemri, David Fisher:
MITA: An Information Extraction Approach to Analysis of Free-Form Text in Life Insurance Applications.
992-999
- David W. Hildum, Norman M. Sadeh, Thomas J. Laliberty, John McA'Nulty, Stephen F. Smith, Dag Kjenstad:
Blackboard Agents for Mixed-Initiative Management of Integrated Process-Planning/Production-Scheduling Solutions Across the Supply Chain.
1000-1005
- Randall W. Hill Jr., Johnny Chen, Jonathan Gratch, Paul S. Rosenbloom, Milind Tambe:
Intelligent Agents for the Synthetic Battlefield: A Company of Rotary Wing Aircraft.
1006-1012
- Richard D. Holowczak, Nabil R. Adam:
Information Extraction based Multiple-Category Document Classification for the Global Legal Information Network.
1013-1018
- William B. Klein, Carl R. Stern, George F. Luger, Eric T. Olsson:
An Intelligent Control Architecture for Accelerator Beamline Tuning.
1019-1025
- David P. Miller, Anne Wright, Randy Sargent, Rob Cohen, Teresa Hunt:
Attitude and Position Control Using Real-Time Color Tracking.
1026-1031
- Steven W. Mitchell:
A Hybrid Architecture for Real-Time Mixed-Initiative Planning and Control.
1032-1037
- Motohide Otsubo, Satoru Fujita, Toru Yamanouchi:
Intelligent Command Control for VLSI CAD Systems.
1038-1044
- Suzanne M. Paley, John D. Lowrance, Peter D. Karp:
A Generic Knowledge-Base Browser and Editor.
1045-1051
- Chris Price, Neil Taylor:
Multiple Fault Diagnosis from FMEA.
1052-1057
- Ellen Spertus:
Smokey: Automatic Recognition of Hostile Messages.
1058-1065
- Adriana Santarosa Vivacqua, Ana Cristina Bicharra Garcia:
MultiADD: A Multiagent Active Design Document Model to Support Group Design.
1066-1071
- Manuela M. Veloso, Alice M. Mulvehill, Michael T. Cox:
Rationale-Supported Mixed-Initiative Case-Based Planning.
1072-1077
- Rob Wylie, Robert Orchard, Michael Halasz, François Dubé:
IDS: Improving Aircraft Fleet Maintenance.
1078-1085
Copyright © Fri Mar 12 17:05:21 2010
by Michael Ley (ley@uni-trier.de)
