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