Table of Contents

• Recent Developments in Butterfly™ LispDonald C. Allen, Seth A. Steinberg, Lawrence A. Stabile. 2-6
• Achieving Flexibility, Efficiency, and Generality in Blackboard ArchitecturesDaniel D. Corkill, Kevin Q. Gallagher, Philip M. Johnson. 18-23
• Forward Chaining Logic Programming with the ATMSNicholas S. Flann, Thomas G. Dietterich, Dan R. Corpon. 24-29
• Integrating Diverse Reasoning Methods in the BB1 Blackboard Control ArchitectureM. Vaughan Johnson Jr., Barbara Hayes-Roth. 30-35
• A Multiprocessor Architecture for Production System MatchingMichael A. Kelly, Rudolph E. Seviora. 36-41
• TREAT: A Better Match Algorithm for AI Production System MatchingDaniel P. Miranker. 42-47
• Joshua: Uniform Access to Heterogeneous Knowledge Structures, or why Joshing Is Better than Conniving or PlanningSteve Rowley, Howard E. Shrobe, Robert Cassels, Walter Hamscher. 48-52
• CP as a General-Purpose Constraint-LanguageVijay A. Saraswat. 53-58
• Non-Deterministic Lisp with Dependency-directed BacktrackingRamin Zabih, David A. McAllester, David Chapman. 59-65
• From Intelligent Tutoring to Computerized PsychotherapyDavid Servan-Schreiber. 66-71
• An Intelligent Tutoring System for Interpreting Ground TracksKathleen M. Swigger, Hugh Burns, Harry Loveland, Terresa Jackson. 72-76
• Plan Inference and Student Modeling in ICAIY. M. Visetti, Philippe Dague. 77-81
• Building a Community Memory for Intelligent Tutoring SystemsBeverly Park Woolf, Pat Cunningham. 82-89
• A Model of Two-Player Evaluation FunctionsBruce Abramson, Richard E. Korf. 90-94
• Proof Analogy in Interactive Theorem Proving: A Method to Express and Use It via Second Order Pattern MatchingThierry Boy de la Tour, Ricardo Caferra. 95-99
• Comparing Minimax and Product in a Variety of GamesPing-Ching Chi, Dana S. Nau. 100-104
• Computational Costs versus Benefits of Control ReasoningAlan Garvey, Craig Cornelius, Barbara Hayes-Roth. 110-115
• Filming a Terrain under Uncertainty Using Temporal and Probahilistic ReasoningRaymond D. Gumb. 116-120
• On the Expressiveness of Rule-based Systems for Reasoning with UncertaintyDavid Heckerman, Eric Horvitz. 121-126
• Inferring Formal Software Specifications from Episodic DescriptionsVan E. Kelly, Uwe Nonnenmann. 127-132
• Real-Time Heuristic Search: First ResultsRichard E. Korf. 133-138
• Reasoning in the Presence of InconsistencyFangzhen Lin. 139-143
• Synthesizing Algorithms with Performance ConstraintsRobert McCartney. 149-154
• The Deductive Synthesis of Imperative LISP ProgramsZohar Manna, Richard J. Waldinger. 155-160
• Path Dissolution: A Strongly Complete Rule of InferenceNeil V. Murray, Erik Rosenthal. 161-166
• Revised Dependencydirected Backtracking for Default ReasoningCharles J. Petrie. 167-172
• Efficiency Analysis of Multiple-Context TMSs in Scene RepresentationGregory M. Provan. 173-177
• A Parallel Implementation of Iterative-Deepening-A*V. Nageshwara Rao, Vipin Kumar, K. Ramesh. 178-182
• Foundations of Assumption-based Truth Maintenance Systems: Preliminary ReportRaymond Reiter, Johan de Kleer. 183-189
• Reasoning about Exceptions during Plan Execution MonitoringCarol A. Broverman, W. Bruce Croft. 190-195
• Incremental Causal ReasoningThomas Dean, Mark S. Boddy. 196-201
• An Investigation into Reactive Planning in Complex DomainsR. James Firby. 202-206
• On Stratified Autoepistemic TheoriesMichael Gelfond. 207-211
• Possible Worlds and the Qualification ProblemMatthew L. Ginsberg, David E. Smith. 212-217
• Using Goal Interactions to Guide PlanningCaroline C. Hayes. 224-228
• Localized Representation and Planning Methods for Parallel DomainsAmy L. Lansky, David S. Fogelsong. 240-245
• A Model for Concurrent Actions Having Temporal ExtentRichard N. Pelavin, James F. Allen. 246-250
• The Consistent Labeling Problem in Temporal ReasoningEdward P. K. Tsang. 251-255
• Validating Generalized Plans in the Presence of Incomplete InformationMarianne Winslett. 261-267
• Pengi: An Implementation of a Theory of ActivityPhilip E. Agre, David Chapman. 268-272
• Compare and Contrast: A Test of ExpertiseKevin D. Ashley, Edwina L. Rissland. 273-278
• Modular Learning in Neural NetworksDana H. Ballard. 279-284
• Reducing Indeterminism in Consultation: A Cognitive Model of User/Librarian InteractionsHsinchun Chen, Vasant Dhar. 285-289
• Case-based Problem Solving with a Large Knowledge Base of Learned CasesWendy G. Lehnert. 301-306
• Material Handling: A Conservative Domain for Neural Connectivity and PropagationH. Van Dyke Parunak, James Kindrick, Bruce W. Irish. 307-311
• AQUA: Asking Questions and Understanding AnswersAshwin Ram. 312-316
• Information Retrieval from Never-Ending StoriesLisa F. Rau. 317-321
• Analogical Processing: A Simulation and Empirical CorroborationJanice Skorstad, Brian Falkenhainer, Dedre Gentner. 322-326
• Goal-based Generation of Motivational Expressions in a Learning EnvironmentIngrid Zukerman. 327-333
• Incremental Inference: Getting Multiple Agents to Agree on What to Do NextGary C. Borchardt. 334-339
• An Approach to Default Reasoning Based on a First-Order Conditional LogicJames P. Delgrande. 340-345
• Counterfactual Reasoning with Direct ModelsMark Derthick. 346-351
• More on Inheritance Hierarchies with Exceptions: Default Theories and Inferential DistanceDavid W. Etherington. 352-357
• A Skeptical Theory of Inheritance in Nonmonotonic Semantic NetworksJohn F. Horty, Richmond H. Thomason, David S. Touretzky. 358-363
• Embracing Causality in Formal ReasoningJudea Pearl. 369-373
• The Logic of Representing Dependencies by Directed GraphsJudea Pearl, Thomas Verma. 374-379
• A Theory of Default ReasoningWlodek Zadrozny. 385-393
• The Goal/Subgoal Knowledge Representation for Real-Time Process MonitoringJames R. Allard, William Kaemmerer. 394-398
• Partial Compilation of Strategic KnowledgeRuss B. Altman, Bruce G. Buchanan. 399-404
• Intention = Choice + CommitmentPhilip R. Cohen, Hector J. Levesque. 410-415
• Complexity in Classificatory ReasoningAshok K. Goel, Neelam Soundararajan, B. Chandrasekaran. 421-425
• All I Know: An Abridged ReportHector J. Levesque. 426-431
• Algorithm Synthesis through Problem ReformulationMichael R. Lowry. 432-436
• Curing Anomalous ExtensionsPaul Morris. 437-442
• Semantically Sound Inheritance for a Formally Defined Frame Language with DefaultsRobert Nado, Richard Fikes. 443-448
• Assimilation: A Strategy for Implementing Self-Reorganizing Knowledge BasesJane Terry Nutter. 449-455
• Learning to Control a Dynamic Physical SystemMargaret E. Connell, Paul E. Utgoff. 456-460
• Improving Inference through Conceptual ClusteringDouglas H. Fisher. 461-465
• Learning Conjunctive Concepts in Structural DomainsDavid Haussler. 466-470
• An Experimental Comparison of Knowledge Engineering for Expert Systems and for Decision AnalysisMax Henrion, Daniel R. Cooley. 471-476
• Formulating Concepts According to PurposeSmadar T. Kedar-Cabelli. 477-481
• Defining Operationality for Explanation-based LearningRichard M. Keller. 482-487
• A KNACK for Knowledge AcquisitionGeorg Klinker, Casey Boyd, Serge Genetet, John P. McDermott. 488-493
• PROLEARN: Towards a Prolog Interpreter that LearnsArmand Prieditis, Jack Mostow. 494-498
• Knowledge Level Learning in SoarPaul S. Rosenbloom, John E. Laird, Allen Newell. 499-504
• A Declarative Approach to Bias in Concept LearningStuart J. Russell, Benjamin N. Grosof. 505-510
• Learning and Representation ChangeJeffrey C. Schlimmer. 511-515
• BAGGER: An EBL System that Extends and Generalizes ExplanationsJude W. Shavlik, Gerald DeJong. 516-520
• Optimizing the Predictive Value of Diagnostic Decision RulesSholom M. Weiss, Robert S. Galen, Prasad Tadepalli. 521-527
• Interpreting Clues in Conjunction with Processing Restrictions in Arguments and DiscourseRobin Cohen. 528-533
• UNITRAN: An Interlingual Approach to Machine TranslationBonnie J. Dorr. 534-539
• Recovering from Erroneous InferencesKurt P. Eiselt. 540-544
• Interpretation in GenerationEduard H. Hovy. 545-549
• Word-Order Variation in Natural Language GenerationAravind K. Joshi. 550-555
• Porting and Extensible Natural Language Interface: A Case HistoryCandace E. Kalish, Matthew B. Cox. 556-560
• Inference in Text UnderstandingPeter Norvig. 561-565
• The Acquisition of Conceptual Structure for the LexiconJames Pustejovsky, Sabine Bergler. 566-570
• Ambiguity ProcrastinationElaine Rich, Jim Barnett, Kent Wittenburg, David A. Wroblewski. 571-576
• Nondestructive Graph UnificationDavid A. Wroblewski. 582-589
• Reasoning about Fluids via Molecular CollectionsJohn W. Collins, Kenneth D. Forbus. 590-594
• Extending the Mathematics in Qualitative Process TheoryBruce D Ambrosio. 595-599
• Troubleshooting: When Modeling Is the TroublePhilippe Dague, Olivier Raiman, Philippe Deves. 600-605
• Explanation-based Failure RecoveryAjay Gupta 0005. 606-610
• Shape and Function in Mechanical DevicesLeo Joskowicz. 611-615
• Critical Hypersurfaces and the Quantity SpaceMieczyslaw M. Kokar. 616-620
• Abstraction by Time-Scale in Qualitative SimulationBenjamin Kuipers. 621-625
• Making Partial Choices in Constraint Reasoning ProblemsSanjay Mittal, Felix Frayman. 631-636
• PROMPT: An Innovative Design ToolSeshashayee S. Murthy, Sanjaya Addanki. 637-642
• Reasoning about Discontinuous ChangeToyoaki Nishida, Shuji Doshita. 643-648
• Hierarchical Reasoning about InequalitiesElisha Sacks. 649-654
• Piecewise Linear ReasoningElisha Sacks. 655-661
• Probabilistic Semantics for Qualitative InfluencesMichael P. Wellman. 662-664
• Reactive Reasoning and PlanningMichael P. Georgeff, Amy L. Lansky. 677-682
• Qualitative Landmark-based Path Planning and FollowingTod S. Levitt, Daryl T. Lawton, David M. Chelberg, Philip C. Nelson. 689-694
• The Sensitivity of Motion and Structure ComputationsJohn L. Barron, Allan D. Jepson, John K. Tsotsos. 700-705
• Using Generic Geometric Models for Intelligent Shape ExtractionPascal Fua, Andrew J. Hanson. 706-711
• Detecting Runways in Aerial ImagesAndres Huertas, William Cole, Ramakant Nevatia. 712-717
• Hypothesis Testing in a Computational Theory of Visual Word RecognitionJonathan J. Hull. 718-722
• Range Image Interpretation of Mail Pieces with SuperquadricsFranc Solina, Ruzena Bajcsy. 733-737
• Closed Form Solution to the Structure from Motion Problem from Line CorrespondencesMinas E. Spetsakis, Yiannis Aloimonos. 738-743
• Bounds on Translational and Angular Velocity Components from First Order Derivatives of Image FlowMuralidhara Subbarao. 744-748
• Regularization Uses Fractal PriorsRichard Szeliski. 749-754
• Energy Constraints on Deformable Models: Recovering Shape and Non-Rigid MotionDemetri Terzopoulos, Andrew P. Witkin, Michael Kass. 755-760
• Shadow Stereo-Locating Object Boundaries Using ShadowsWilliam B. Thompson, Michael T. Checky, William Kaemmerer. 761-766
• Perceptual Significance Hierarchy: A Computer Vision Theory for Color SeparationDeborah Walters, Ganapathy Krishnan. 767-771
• Visual Estimation of 3-D Line Segments from Motion - A Mobile Robot Vision SystemWilliam M. Wells III. 772-777
• Data Validation during Diagnosis: A Step beyond Traditional Sensor ValidationB. Chandrasekaran, William F. Punch III. 778-782
• MU: A Development Environment for Prospective Reasoning SystemsPaul R. Cohen, Michael Greenberg, Jefferson DeLisio. 783-788
• Diagnostic Improvement through Qualitative Sensitivity Analysis and AggregationKeith L. Downing. 789-793
• CAMEX - An Expert System for Process Planning on CNC MachinesO. Eliyahu, L. Zaidenberg, Moshe Ben-Bassat. 794-798
• A Multiple Representation Approach to Understanding the Time Behavior of Digital CircuitsRobert J. Hall, Richard H. Lathrop, Robert S. Kirk. 799-803
• KADBASE - A Prototype Expert System-Database Interface for Integrated CAE EnvironmentsH. Craig Howard, Daniel R. Rehak. 804-808
• An Automated Reasoning Technique for Providing Moment-by-Moment Advice Concerning the Operation of a ProcessWilliam Kaemmerer, James R. Allard. 809-813
• TEST: A Model-driven Application ShellGary S. Kahn, Al Kepner, Jeff Pepper. 814-818
• Script-based Reasoning for Situation MonitoringSharon J. Laskowski, Emily J. Hofmann. 819-823
• Assessing the Maintainability of XCON-in-RIME: Coping with the Problems of a VERY Large Rule-BaseElliot Soloway, Judy Bachant, Keith Jensen. 824-829
• Design as Refinement Plus Constraint Propagation: The VEXED ExperienceLouis I. Steinberg. 830-835