Abstract is missing.
- 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