Table of Contents

• Facilitating Self-Education by Questioning Assumptive ReasoningRobert G. Farrell. 2-7
• Integrating Multiple Sources of Knowledge Into Designer Soar, an Automatic Algorithm DesignerDavid M. Steier, Allen Newell. 8-13
• Invariant Logic: A Calculus for Problem ReformulationMichael R. Lowry. 14-18
• Being Suspicious: Critiquing Problem SpecificationsStephen Fickas, P. Nagarajan. 19-24
• Dominic II: Meta-Level Control in Iterative RedesignMark F. Orelup, John R. Dixon, Paul R. Cohen, Melvin K. Simmons. 25-30
• FRM: An Intelligent Assistant for Financial Resource ManagementAndrew Gelman, Susan Altman, Matt Pallakoff, Ketan Doshi, Catherine Manago, Thomas C. Rindfleisch, Bruce G. Buchanan. 31-36
• An Analysis of Time-Dependent PlanningThomas Dean, Mark S. Boddy. 49-54
• Extending Conventional Planning Techniques to Handle Actions with Context-Depen dent EffectsEdwin P. D. Pednault. 55-59
• Goals as Parallel Program SpecificationsLeslie Pack Kaelbling. 60-64
• Predictability Versus Responsiveness: Coordinating Problem Solvers in Dynamic DomainsEdmund H. Durfee, Victor R. Lesser. 65-71
• Reactive Plan RevisionPeng Si Ow, Stephen F. Smith, Alfred Thirlez. 77-82
• Integrating Planning, Execution and MonitoringJose A. Ambros-Ingerson, Sam Steel. 83-88
• Reasoning about Action Using a Possible Models ApproachMarianne Winslett. 89-93
• A Theory of Debugging Plans and InterpretationsReid G. Simmons. 94-99
• Plan Abstraction Based on Operator GeneralizationJohn S. Anderson, Arthur M. Farley. 100-104
• Geometric Reasoning and Organized Optimization for Automated Process PlanningYasuyuki Maeda, Katsuya Shinohara. 105-110
• Reasoning under Varying and Uncertain Resource ConstraintsEric Horvitz. 111-116
• Conflict Resolution in Fuzzy Forward-Chaining Production SystemsJames Bowen, Jianchu Kang. 117-121
• Parallel Best-First Search of State-Space Graphs: A Summary of ResultsVipin Kumar, K. Ramesh, V. Nageshwara Rao. 122-127
• Distributed Tree Search and Its Application to Alpha-Beta PruningChris Ferguson, Richard E. Korf. 128-132
• Real-Tme Heuristic Search: New ResultsRichard E. Korf. 139-144
• An Exact Best-First Search Procedure for the Constrained Rectangular Guillotine Knapsack ProblemK. V. Viswanathan, A. Bagchi. 145-149
• Tree-Clustering Schemes for Constraint-ProcessingRina Dechter, Judea Pearl. 150-154
• A Rearrangement Search Strategy for Determining Propositional SatisfiabilityRamin Zabih, David A. McAllester. 155-160
• Using Specialists to Accelerate General ReasoningStephanie A. Miller, Lenhart K. Schubert. 161-165
• Goal-Directed Equation SolvingNachum Dershowitz, G. Sivakumar. 166-170
• A General Proof Method for Modal Predicate Logic without the Barcan FormulaPeter Jackson, Han Reichgelt. 177-181
• An Efficient ATMS for Equivalence RelationsCaroline N. Koff, Nicholas S. Flann, Thomas G. Dietterich. 182-187
• A General Labeling Algorithm for Assumption-Based Truth MaintenanceJohan de Kleer. 188-192
• Focusing the ATMSKenneth D. Forbus, Johan de Kleer. 193-198
• Massively Parallel Assumption-Based Truth MaintenanceMichael Dixon, Johan de Kleer. 199-204
• Evidential Reasoning Using DELEFDebra K. Zarley, Yen-Teh Hsia, Glenn Shafer. 205-209
• Belief Maintenance: An Integrated Approach to Uncertainty ManagementKathryn B. Laskey, Paul E. Lehner. 210-214
• A Note on Probabilistic LogicMary McLeish. 215-221
• Learning a Second LanguageSteven L. Lytinen, Carol E. Moon. 222-226
• A Computational Account of Basic Level and Typicality EffectsDouglas H. Fisher. 233-238
• Waiting on Weighting: A Symbolic Least Commitment ApproachKevin D. Ashley, Edwina L. Rissland. 239-244
• Resolving Goal Conflicts via NegotiationKatia P. Sycara. 245-250
• Evaluating ExplanationsDavid B. Leake. 251-255
• Reasoning about Evidence in Causal ExplanationsPhyllis Koton. 256-263
• MINIMA: A Symbolic Approach to Qualitative Algebraic ReasoningBrian C. Williams. 264-269
• A Qualitative Approach to Mechanical ConstraintPaul Nielsen. 270-274
• Global Filters for Qualitative BehaviorsPeter Struss. 275-279
• Non-Intersection of Trajectories in Qualitative Phase Space: A Global Constraint for Qualitative SimulationWood W. Lee, Benjamin Kuipers. 286-290
• Qualitative Reasoning at Multiple ResolutionsSeshashayee S. Murthy. 296-300
• Setting up Large-Scale Qualitative ModelsBrian Falkenhainer, Kenneth D. Forbus. 301-306
• Formal Basis for Commonsense Abstraction of Dynamic SystemsYumi Iwasaki, Inderpal S. Bhandari. 307-312
• Causal Ordering in a Mixed StructureYumi Iwasaki. 313-318
• Controlling Qualitative ResolutionJean-Luc Dormoy. 319-323
• Using Incomplete Quantitative Knowledge In Qualitative ReasoningBenjamin Kuipers, Daniel Berleant. 324-329
• Assembling a DeviceJean-Luc Dormoy, Olivier Raiman. 330-335
• Upgrading Design SystemsSarosh Talukdar, James M. Rehg, Rob Woodbury, Alberto Elfes. 336-341
• Function Sharing in Mechanical DesignKarl T. Ulrich, Warren P. Seering. 342-346
• From Kinematics to Shape: An Approach to Innovative DesignLeo Joskowicz, Sanjaya Addanki. 347-352
• Design for TestabilityPeng Wu. 358-363
• Specialized Strategies: An Altenative to First Principles in Diagnostic Problem SolvingNancy E. Reed, Elizabeth R. Stuck, James B. Moen. 364-368
• Robust Operative Diagnosis as Problem Solving in a Hypothesis SpaceKathy H. Abbott. 369-379
• How to Print a File: An Expert System Approach to Software Knowledge RepresentationPeter G. Selfridge. 380-385
• Representing Genetic Information with Formal GrammarsDavid B. Searls. 386-391
• Overview of an Approach to Representation DesignJeffrey Van Baalen, Randall Davis. 392-397
• Mechanisms for Reasoning about SetsMichael P. Wellman, Reid G. Simmons. 398-402
• A Deductive Pattern MatcherRobert M. MacGregor. 403-408
• A Model and Representation for Type Information and Its Use in Reasoning with DefaultsLin Padgham. 409-414
• Beyond ISA: Structures for Plausible Inference In Semantic NetworksPaul R. Cohen, Cynthia L. Loiselle. 415-420
• Mixing Strict and Defeasible InheritanceJohn F. Horty, Richmond H. Thomason. 427-432
• Hierarchic Autoepistemic Theories for Nonmonotonic ReasoningKurt Konolige. 439-443
• On the Relationship Between Logic Programming and Nonmonotonic ReasoningTeodor C. Przymusinski. 444-448
• On the Logic of DefaultsHector Geffner. 449-454
• Compiling Circumscriptive Theories into Logic ProgramsMichael Gelfond, Vladimir Lifschitz. 455-449
• Some Computational Aspects of CircumscriptionPhokion G. Kolaitis, Christos H. Papadimitriou. 455-469
• A Circumscriptive Theorem ProverMatthew L. Ginsberg. 470-474
• Investigations into a Theory of Knowledge Base RevisionMukesh Dalal. 475-479
• Adding Number Restrictions to a Four-Valued Terminological LogicPeter F. Patel-Schneider. 485-490
• Normal Multimodal LogicsLaurent Catach. 491-495
• The Persistence of Derived InformationKaren L. Myers, David E. Smith. 496-500
• Representing and Computing Temporally Scoped BeliefsSteve Hanks. 501-505
• Stable Closures, Defeasible Logic and Contradiction Tolerant ReasoningPaul Morris. 506-511
• Why Things Go Wrong: A Formal Theory of Causal ReasoningLeora Morgenstern, Lynn Andrea Stein. 518-523
• Probabilistic Temporal ReasoningThomas Dean, Keiji Kanazawa. 524-529
• The Utility of Difference-Based ReasoningBrian Falkenhainer. 530-535
• Learning from Opportunities: Storing and Re-using Execution-Time OptimizationsKristian J. Hammond, Timothy M. Converse, Mitchell Marks. 536-540
• Explanation-Based Indexing of CasesRalph Barletta, William Mark. 541-546
• Parsing to Learn Fine Gralned RulesSubrata Roy, Jack Mostow. 547-551
• Simulation-Assisted Inductive LearningBruce G. Buchanan, John Sullivan, Tze-Pin Cheng, Scott H. Clearwater. 552-557
• The Automatic Acquisition of Proof MethodsKurt Ammon. 558-563
• Quantitative Results Concerning the Utility of Explanation-Based LearningSteven Minton. 564-569
• Approximate Theory Formation: An Explanation-Based ApproachThomas Ellman. 570-574
• IMEX: Overcoming Intactability In Explanation Based LearningMichael S. Braverman, Stuart J. Russell. 575-579
• Knowledge-Base Reduction: A New Approach to Checking knowledge Bases for Inconsistency and RedundancyAllen Ginsberg. 585-589
• Theory Revision via Prior OperationalizationAllen Ginsberg. 590-595
• Credit Assignment in Genetic Learning SystemsJohn J. Grefenstette. 596-600
• Perceptron Trees: A Case Study In Hybrid Concept RepresentationsPaul E. Utgoff. 601-606
• Bayesian ClassificationPeter Cheeseman, Matthew Self, James Kelly, Will Taylor, Don Freeman, John Stutz. 607-611
• Combining Symbolic Learning Techniques and Statistical Regression AnalysisCarlo Berzuini. 612-617
• Infering Probabilistic Theofies from DataEdwin P. D. Pednault. 624-628
• Learning Complicated Concepts Reliably and UsefullyRonald L. Rivest, Robert H. Sloan. 635-640
• Tree-Structured BiasStuart J. Russell. 641-645
• Knowledge Base Refinement Using Apprenticeship Learning TechniquesDavid C. Wilkins. 646-653
• Knowledge-Based Real-Time Control: A Parallel Processing PerspectiveD. D. Sharma, N. S. Sridharan. 665-670
• Tuning a Blackboard-Based Application: A Case Study Using GBBDaniel D. Corkill, Kevin Q. Callagher. 671-676
• A Tree Representation for Parallel Problem SolvingLaxmikant V. Kalé. 677-681
• Parallel Hardware for Constraint SatisfactionMichael J. Swain, Paul R. Cooper. 682-686
• Suitability of Message Passing Computers for Implementing Production SystemsAnoop Gupta, Milind Tambe. 687-692
• Comparison of the Rete and Treat Production Matchers for SoarP. Pandurang Nayak, Anoop Gupta, Paul S. Rosenbloom. 693-698
• Optimizing Rules in Production System ProgramsToru Ishida. 699-704
• The Challenge of Real-Time Process Control for Production SystemsFranz Barachini, Norbert Theuretzbacher. 705-711
• Representing Pronouns in Logical Form: Computational Constraints and Linguistic EvidenceMary P. Harper. 712-717
• Principle-Based Interpretation of Natural Language QuantifiersSamuel S. Epstein. 718-723
• Using Dialog-Level Knowledge Sources to Improve Speech RecognitionAlexander G. Hauptmann, Sheryl R. Young, Wayne H. Ward. 729-733
• Data-Driven Execution of Multi-Layered Networks for Automatic Speech RecognitionRenato de Mori, Yoshua Bengio, Régis Cardin. 734-738
• Acquiring Lexical Knowledge from Text: A Case StudyPaul S. Jacobs, Uri Zernik. 739-744
• The Interpretation of Temporal Relations in NarrativeFei Song, Robin Cohen. 745-750
• Beyond Semantic AmbiguityGalina Datskovsky Moerdler, Kathleen McKeown. 751-755
• Exploiting User Expertise in Answer ExpressionDavid N. Chin. 756-761
• Compliance Viewed as Programming a Damped SpringStephen J. Buckley. 762-767
• A Robust, Qualitative Method for Robot Spatial LearningBenjamin Kuipers, Yung-Tai Byun. 774-779
• Subassembly StabilityNico Boneschanscher, Hans van der Drift, Stephen J. Buckley, Russell H. Taylor. 780-785
• Inferring Ignorance from the Locality of Visual PerceptionErnest Davis. 786-790
• Connectionist Networks for Learning Coordinated Motion in Autonomous SystemsJahir Pabon, David C. Gossard. 791-795
• Situated Vision in a Dynamic World: Chasing ObjectsIan Horswill, Rodney A. Brooks. 796-801
• Knowledge-Based SpreadsheetsGerhard Fischer, Christian Rathke. 802-807
• Automatic Construction of User-Interface DisplaysYigal Arens, Lawrence Miller, Stuart C. Shapiro, Norman K. Sondheimer. 808-813
• Specification by Reformulation: A Paradigm for Building Integrated User Support EnvironmentsJohn Yen, Robert Neches, Michael DeBellis. 814-818
• Multi-Modal References in Human-Computer DialogueJeannette G. Neal, Zuzana Krifka Dobes, Keith E. Bettinger, Jong S. Byoun. 819-825
• On the Extraction of Shape Information from ShadingAlex Pentland. 826-830
• Feature Recognition Using Correlated Information Contained in Multiple NeighborboodsAndrea Califano. 831-836
• Performance of a System to Locate Address Blocks on Mail PiecesChing-Huei Wang, Paul W. Palumbo, Sargur N. Srihari. 837-843
• Future Intelligent Information Systems: AI and Database Technologies Working TogetherMichael L. Brodie. 844-845