Table of Contents

• Rules and Precedents as Complementary WarrantsKarl Branting, Bruce W. Porter. 3-9
• An Indexing Vocabulary for Case-Based ExplanationDavid B. Leake. 10-15
• Intelligent Multimedia Presentation Systems: Research and PrinciplesSteven F. Roth, William E. Hefley. 13-58
• Indexing Stories as Social AdviceEric A. Domeshek. 16-21
• Improving Rule-Based Systems Through Case-Based ReasoningAndrew R. Golding, Paul S. Rosenbloom. 22-27
• The Roles of Adaptation in Case-Based DesignThomas R. Hinrichs, Janet L. Kolodner. 28-33
• Prototype-Based Reasoning: An Integrated Approach to Solving Large Novel ProblemsShankar A. Rajamoney, Hee-Youn Lee. 34-39
• Student Modelling with ConfluencesDaniel Baril, Jim E. Greer, Gordon I. McCalla. 43-48
• FITS: A Fraction Intelligent Tutoring SystemHyacinth S. Nwana. 49-54
• Making Design Objects Relevant to the Task at HandGerhard Fischer, Kumiyo Nakakoji. 67-73
• A Tool for Achieving Consensus in Knowledge RepresentationLoren G. Terveen, David A. Wroblewski. 74-79
• WIP: The Automatic Synthesis of Multimodal PresentationsElisabeth André, Wolfgang Finkler, Winfried Graf, Thomas Rist, Anne Schauder, Wolfgang Wahlster. 75-93
• Piction: A System That Uses Captions to Label Human Faces in Newspaper PhotographsRohini K. Srihari. 80-85
• Generating Interactive ExplanationsAlison Cawsey. 86-91
• Automatic Generation of Formatted TextEduard H. Hovy, Yigal Arens. 92-97
• The Design of Illustrated Documents as a Planning TaskElisabeth André, Thomas Rist. 94-116
• Interpreting Prepositions PhysicallyJugal K. Kalita, Norman I. Badler. 105-110
• Semantics-First Natural Language ProcessingSteven L. Lytinen. 111-116
• Automating the Generation of Coordinated Multimedia ExplanationsSteven Feiner, Kathleen McKeown. 117-138
• A Cognitively Plausible Approach to Understanding Complex SyntaxClaire Cardie, Wendy G. Lehnert. 117-124
• From Syntax to Meaning in Natural Language ProcessingAlexander G. Hauptmann. 125-130
• Tense Interpretation in the Context of NarrativeFei Song, Robin Cohen. 131-136
• ULINK: A Semantics-Driven Approach to Understanding Ungrammatical InputJeffrey D. Kirtner, Steven L. Lytinen. 137-142
• Towards Coordinated Temporal Multimedia PresentationsSteven Feiner, Diane J. Litman, Kathleen McKeown, Rebecca J. Passonneau. 139-147
• A Tabular Method for Island-Driven Context-Free Grammar ParsingGiorgio Satta, Oliviero Stock. 143-148
• Multimedia Explanations for Intelligent Training SystemsBradley A. Goodman. 149-171
• High Performance Memory-Based Translation on IXM2 Massively Parallel Associative Memory ProcessorHiroaki Kitano, Tetsuya Higuchi. 149-154
• Disambiguation of Prepositional Phrases in Automatically Labelled Technical TextLois Boggess, Rajeev Agarwal, Ron Davis. 155-159
• A Probabilistic Model of Plan RecognitionEugene Charniak, Robert P. Goldman. 160-165
• The Utility of Communication in Coordinating Intelligent AgentsPiotr J. Gmytrasiewicz, Edmund H. Durfee, David K. Wehe. 166-172
• The Clarke Tax as a Consensus Mechanism Among Automated AgentsEithan Ephrati, Jeffrey S. Rosenschein. 173-178
• The Application of Natural Language Models to Intelligent MultimediaJohn D. Burger, Ralph J. Marshall. 174-196
• The Function of Time in Cooperative NegotiationsSarit Kraus, Jonathan Wilkenfeld. 179-184
• A Dynamic Organizational Architecture for Adaptive Problem SolvingLes Gasser, Toru Ishida. 185-190
• Sophisticated Cooperation in FA/C Distributed Problem Solving SystemsNorman Carver, Zarko Cvetanovic, Victor R. Lesser. 191-198
• ALFRESCO: Enjoying the Combination of Natural Language Processing and Hypermedia for Information ExplorationOliviero Stock. 197-224
• Combining Specialized Reasoners and General Purpose Planners: A Case StudySubbarao Kambhampati, Mark R. Cutkosky, Marty Tenenbaum, Soo Hong Lee. 199-205
• Toward an Intelligent Agent Flamework for Enterprise IntegrationJeff Yung-Choa Pan, Jay M. Tenenbaum. 206-212
• Conditional Existence of Variables in Generalised Constraint NetworksJames Bowen, Dennis Bahler. 215-220
• Arc-Consistency in Dynamic Constraint Satisfaction ProblemsChristian Bessière. 221-226
• An Approach to Hypermedia in Diagnostic SystemsSuhayya Abu-Hakima, Mike Halasz, Sieu Phan. 225-256
• Eliminating Interchangeable Values in Constraint Satisfaction ProblemsEugene C. Freuder. 227-233
• On Generalized Interval CalculiGérard Ligozat. 234-240
• Integrating Metric and Qualitative Temporal ReasoningHenry A. Kautz, Peter B. Ladkin. 241-246
• Temporal Reasoning During Plan RecognitionFei Song, Robin Cohen. 247-252
• Metric Constraints for Maintaining Appointments: Dates and Repeated ActivitiesMassimo Poesio, Ronald J. Brachman. 253-259
• Integrating Simultaneous Input from Speech, Gaze, and Hand GesturesDavid B. Koons, Carlton J. Sparrell, Kristinn R. Thórisson. 257-276
• Combining Qualitative and Quantitative Constraints in Temporal ReasoningItay Meiri. 260-267
• Efficiency of Production Systems When Coupled with an Assumption Based Truth Maintenance SystemGeneviéve Morgue, Thomas Chehire. 268-274
• Using Attention in Belief RevisionXueming Huang, Gordon I. McCalla, Eric Neufeld. 275-280
• On the Knowledge Underlying Multimedia PresentationsYigal Arens, Eduard H. Hovy, Mira Vossers. 280-306
• CATMS: An ATMS Which Avoids Label ExplosionsJohn W. Collins, Dennis DeCoste. 281-287
• Context MaintenanceCharles J. Petrie. 288-295
• IXM2: A Parallel Associative Processor for Knowledge ProcessingTetsuya Higuchi, Hiroaki Kitano, Tatsumi Furuya, Ken ichi Handa, Akio Kokubu, Naoto Takahashi. 296-303
• Implementation of Multiple Rule Firing Production Systems on HypercubeSteve Kuo, Dan I. Moldovan. 304-309
• Using Live Information in a Multimedia FrameworkMatthew Cornell, Beverly Park Woolf, Daniel D. Suthers. 307-327
• Control Issues in Parallel Rule-Firing Production SystemsDaniel E. Neiman. 310-316
• Using Abstraction to Automate Program Improvement by TransformationIan Green. 317-322
• Verification of Multi-Level Rule-Based Expert SystemsPedro Meseguer. 323-328
• A Multilayered Empirical Approach to Multimodality: Towards Mixed Solutions of Natural Language and Graphical InterfacesJürgen Krause. 328-352
• Formal Verification of Pure Production System ProgramsRose F. Gamble, Gruia-Catalin Roman, William E. Ball. 329-334
• Learning Meta Knowledge for Database CheckingJeffrey C. Schlimmer. 335-340
• A Logic of Situated Know-HowMunindar P. Singh. 343-348
• Provably Correct Theories of Action (Preliminary Report)Fangzhen Lin, Yoav Shoham. 349-354
• Modeling Issues in Multimedia Car-Driver InteractionAndrea Bonarini. 353-371
• A Critique of Yoav Shoham s Theory of Causal ReasoningAntony Galton. 355-359
• A Logic and Time Nets for Probabilistic InferenceKeiji Kanazawa. 360-365
• The P-Systems: A Systematic Classification of Logics of NonmonotonicityWolfgang Nejdl. 366-372
• Default Logic, Propositional Logic, and ConstraintsRachel Ben-Eliyahu, Rina Dechter. 379-385
• Strong IntrospectionMichael Gelfond. 386-391
• Default Reasoning From StatisticsFahiem Bacchus. 392-398
• System-Z+: A Formalism for Reasoning with Variable-Strength DefaultsMoisés Goldszmidt, Judea Pearl. 399-404
• Incorporating Nonmonotonic Reasoning in Horn Clause TheoriesJames P. Delgrande. 405-411
• Step-Logic and the Three-Wise-Men ProblemJennifer J. Elgot-Drapkin. 412-417
• Logic Morphisms as a Framework for Backward Transfer of Lemmas and Strategies in Some Modal and Epistemic LogicsRicardo Caferra, Stéphane Demri, Michel Herment. 421-426
• Mechanization of Analytic Reasoning About SetsAlan F. McMichael. 427-433
• Depth-First Versus Best-First SearchNageshwara Rao Vempaty, Vipin Kumar, Richard E. Korf. 434-440
• Optimal Satisficing Tree SearchesDan Geiger, Jeffrey A. Barnett. 441-445
• A New Admissible Heuristic for Minimal-Cost ProofsEugene Charniak, Saadia Husain. 446-451
• Is There any Need for Domain-Dependent Control Information?Matthew L. Ginsberg, Donald F. Geddis. 452-457
• Integrating Rules in Term Subsumption Knowledge Representation ServersBrian R. Gaines. 458-463
• Concept Languages as Query LanguagesMaurizio Lenzerini, Andrea Schaerf. 471-476
• Explanation, Irrelevance, and Statistical IndependenceSolomon Eyal Shimony. 482-487
• Conditions for the Existence of Belief Functions Corresponding to Intervals of BeliefJohn F. Lemmer, Henry E. Kyburg Jr.. 488-493
• An Efficient First-Order Horn-Clause Abduction System Based on the ATMSHwee Tou Ng, Raymond J. Mooney. 494-499
• The Common Order-Theoretic Structure of Version Spaces and ATMS sCarl A. Gunter, Teow-Hin Ngair, Prakash Panangaden, Devika Subramanian. 500-505
• ACP: Reason Maintenance and Inference Control for Constraint Propagation Over IntervalsWalter Hamscher. 506-511
• Synthesizing UNIX Shell Scripts Using Derivational Analogy: An Empirical AssessmentSanjay Bhansali, Mehdi T. Harandi. 521-526
• SteppingStone: An Empirical and Analytical EvaluationDavid Ruby, Dennis F. Kibler. 527-532
• STATIC: A Problem-Space Compiler for PRODIGYOren Etzioni. 533-540
• Integrating Abstraction and Explanation-Based Learning in PRODIGYCraig A. Knoblock, Steven Minton, Oren Etzioni. 541-546
• Learning with Many Irrelevant FeaturesHussein Almuallim, Thomas G. Dietterich. 547-552
• Analyses of Instance-Based Learning AlgorithmsMarc K. Albert, David W. Aha. 553-558
• A Minimal Encoding Approach to Feature DiscoveryMark Derthick. 565-571
• Error-Correcting Output Codes: A General Method for Improving Multiclass Inductive Learning ProgramsThomas G. Dietterich, Ghulum Bakiri. 572-577
• Analysis of the Internal Representations in Neural Networks for Machine IntelligenceLai-Wan Chan. 578-583
• Direct Transfer of Learned Information Among Neural NetworksLorien Y. Pratt, Jack Mostow, Candace A. Kamm. 584-589
• Rule Learning by Searching on Adapted NetsLiMin Fu. 590-595
• Two Kinds of Training Information For Evaluation Function LearningPaul E. Utgoff, Jeffrey A. Clouse. 596-600
• Adaptive Pattern-Oriented ChessRobert Levinson, Richard Snyder. 601-606
• A Complexity Analysis of Cooperative Mechanisms in Reinforcement LearningSteven D. Whitehead. 607-613
• Constructive Induction on Domain InformationJames P. Callan, Paul E. Utgoff. 614-619
• On the NP-Hardness of Blocks WorldStephen V. Chenoweth. 623-628
• Complexity Results for Blocks-World PlanningNaresh Gupta, Dana S. Nau. 629-633
• Systematic Nonlinear PlanningDavid A. McAllester, David Rosenblitt. 634-639
• An Efficient Reactive Planner for Synthesizing Reactive PlansPatrice Godefroid, Froduald Kabanza. 640-645
• Dealing with Uncertainties in CAD-Based Assembly Motion PlanningSusan N. Gottschlich, Avinash C. Kak. 646-652
• Augmenting a Nominal Assembly Motion Plan with a Compliant BehaviorGordon A. Dakin, Robin J. Popplestone. 653-658
• A Fast Path Planner for a Car-Like Indoor Mobile RobotJean-Claude Latombe. 659-665
• Path Planning for Highly Redundant Manipulators Using a Continuous ModelAkira Hayashi, Benjamin Kuipers. 666-672
• A Quantitative Theory for Plan MergingDavid E. Foulser, Ming Li, Qiang Yang. 673-678
• Explanation-Based Generalization of Partially Ordered PlansSubbarao Kambhampati, Smadar Kedar. 679-685
• Search Reduction in Hierarchical Problem SolvingCraig A. Knoblock. 686-691
• Characterizing Abstraction Hierarchies for PlanningCraig A. Knoblock, Josh D. Tenenberg, Qiang Yang. 692-697
• Preferential Semantics for GoalsMichael P. Wellman, Jon Doyle. 698-703
• AGENT0: A Simple Agent Language and Its InterpreterYoav Shoham. 704-709
• Automatic Generation of Object Class Descriptions Using Symbolic Learning TechniquesR. L. Cromwell, Avinash C. Kak. 710-717
• An Algorithm for Real-Time Tracking of Non-Rigid ObjectsJohn Woodfill, Ramin Zabih. 718-723
• A New Framework for Sensor Interpretation: Planning to Resolve Sources of UncertaintyNorman Carver, Victor R. Lesser. 724-731
• The Geometry of Visual CoordinationJean-Yves Hervé, Rajeev Sharma, Peter Cucka. 732-737
• Anytime Problem Solving Using Dynamic ProgrammingMark S. Boddy. 738-743
• An Analysis of Error Recovery and Sensory Integration for Dynamic PlannersBruce Abramson. 744-749
• Global Symbolic Maps from Local NavigationDavid P. Miller, Marc G. Slack. 750-755
• Sensible Planning: Focusing Perceptual AttentionLonnie Chrisman, Reid G. Simmons. 756-761
• Cost-Sensitive Reinforcement Learning for Adaptive Classification and ControlMing Tan. 774-780
• Programming Robots Using Reinforcement Learning and TeachingLong Ji Lin. 781-786
• Stabilizing Environments to Facilitate Planning and Activity: An Engineering ArgumentKristian J. Hammond, Timothy M. Converse. 787-793
• Underwater Experiments Using a Reactive System for Autonomous VehiclesR. Peter Bonasso. 794-800
• Failure Recovery: A Model and ExperimentsAdele E. Howe, Paul R. Cohen. 801-808
• Automated Phase Portrait Analysis by Integrating Qualitative and Quantitative AnalysisToyoaki Nishida, Kenji Mizutani, Atsushi Kubota, Shuji Doshita. 811-816
• Analytic Solution of Qualitative Differential EquationsPhilip Schaefer. 830-835
• Model-Based Reconfiguration: Toward an Integration with DiagnosisJudith Crow, John M. Rushby. 836-841
• Focusing on Probable DiagnosesJohan de Kleer. 842-848
• Characterizing Non-Intermittent FaultsOlivier Raiman, Johan de Kleer, Vijay A. Saraswat, Mark Shirley. 849-854
• Domain Structure and the Complexity of Diagnostic Problem SolvingThomas D. Wu. 855-861
• Behavioral Aggregation Within Complex Situations: A Case Study Involving Dynamic EquilibriaShankar A. Rajamoney, Sang Hoe Koo. 862-867
• Structural Aggregation in Common-Sense ReasoningZheng-Yang Liu, Arthur M. Farley. 868-873
• Geometric Reasoning for Shape DesignGeorge Turkiyyah, Omar Ghattas. 874-879
• The Use of Intelligently Controlled Simulation to Predict a Machine s Long-Term BehaviorAndrew Gelsey. 880-887
• Incremental Configuration Space Construction for Mechanism AnalysisLeo Joskowicz, Elisha Sacks. 888-893
• Negation and Proof by Contradiction in Access-Limited LogicJames M. Crawford, Benjamin Kuipers. 897-903
• Knowledge Compilation using Horn ApproximationsBart Selman, Henry A. Kautz. 904-909
• Observations on Cognitive JudgmentsDavid A. McAllester. 910-914
• Natural Language Based Inference Procedures Applied to Schubert s SteamrollerRobert Givan, David A. McAllester, Sameer Shalaby. 915-920
• Approximate Reasoning Systems: A Personal PerspectivePiero P. Bonissone. 923-929
• Robot PlanningDrew V. McDermott. 930-931