Table of Contents

• Reasoning with Simplifying Assumptions: A Methodology and ExampleYishai A. Feldman, Charles Rich. 2-7
• Tweety - Still Flying: Some Remarks on Abnormal Birds Applicable Rules and a Default ProverGerhard Brewka. 8-12
• Representing Actions with an Assumption-Based Truth Maintenance SystemPaul Morris, Robert Nado. 13-20
• Automatic Compilation of Logical Specifications into Efficient ProgramsDonald Cohen. 21-25
• Factual Knowledge For Developing Concurrent ProgramsAndrzej Skowron, Alberto Pettorossi. 26-31
• Generalized Plan RecognitionHenry A. Kautz, James F. Allen. 32-37
• Physics for RobotsJames G. Schmolze. 44-50
• Cooperation without CommunicationMichael R. Genesereth, Matthew L. Ginsberg, Jeffrey S. Rosenschein. 51-57
• Incremental Planning to Control a Blackboard-based Problem SolverEdmund H. Durfee, Victor R. Lesser. 58-64
• An Adaptive PlannerRichard Alterman. 65-69
• The Representation of Events in Multiagent DomainsMichael P. Georgeff. 70-75
• Planning with AbstractionJosh D. Tenenberg. 76-80
• Generating Perception Requests and Expectations to Verify the Execution of PlansRichard J. Doyle, David Atkinson, Rajkumar Doshi. 81-88
• A Representation of Action StructuresErik Sandewall, Ralph Rönnquist. 89-97
• Order of Magnitude ReasoningOlivier Raiman. 100-104
• Doing Time: Putting Qualitative Reasoning on Firmer GroundBrian C. Williams. 105-112
• Interpreting Measurements of Physical SystemsKenneth D. Forbus. 113-117
• Commonsense Arithmetic ReasoningReid G. Simmons. 118-124
• A Reasoning Model Based on an Extended Dempster-Shafer TheoryJohn Yen. 125-131
• Reasoning about Multiple FaultsJohan de Kleer, Brian C. Williams. 132-139
• Plausibility of Diagnostic Hypotheses: The Nature of SimplicityYun Peng, James A. Reggia. 140-147
• Choosing Directions for RulesRichard Treitel, Michael R. Genesereth. 153-157
• An Algorithmic Solution of N-Person GamesCarol Luckhart, Keki B. Irani. 158-162
• Making Best Use of Available Memory When Searching Game TreesSubir Bhattacharya, Amitava Bagchi. 163-167
• Finding a Shortest Solution for the N × N Extension of the 15-PUZZLE Is IntractableDaniel Ratner, Manfred K. Warmuth. 168-172
• Joint and LPA*: Combination of Approximation and SearchDaniel Ratner, Ira Pohl. 173-177
• Learning While Searching in Constraint-Satisfaction-ProblemsRina Dechter. 178-185
• Query Answering in Circumscriptive and Closed-World TheoriesTeodor C. Przymusinski. 186-190
• Indefinite and GCWA Inference in Indefinite Deductive DatabasesLawrence J. Henschen, Hyung-Sik Park. 191-197
• An Integration of Resolution and Natural Deduction Theorem ProvingDale Miller, Amy P. Felty. 198-202
• Parallel Logical Inference and Energy MinimizationDana H. Ballard. 203-209
• A Framework for Comparing Alternative Formalisms for Plausible ReasoningEric Horvitz, David Heckerman, Curtis Langlotz. 210-214
• Using Decision Theory to Justify HeuristicsCurtis Langlotz, Edward H. Shortliffe, Lawrence M. Fagan. 215-219
• Advances in Rete Pattern MatchingMarshall I. Schor, Timothy Daly, Ho Soo Lee, Beth Tibbitts. 225-232
• Bayesian Inference without Point EstimatesPaul Snow. 233-237
• Implementation of and Experiments with a Variable Precision Logic Inference SystemPeter Haddawy. 238-242
• Multi-Valued LogicsMatthew L. Ginsberg. 243-249
• Editorial Comprehension in OpEd through Argument UnitsSergio Alvarado, Michael G. Dyer, Margot Flowers. 250-256
• Uniform Parsing and Inferencing for LearningCharles Martin, Christopher Riesbeck. 257-261
• Mixing Binary and Continuous Connection Schemes for Knowledge AccessNoel E. Sharkey, Richard F. E. Sutcliffe, Wayne Wobcke. 262-266
• CHEF: A Model of Case-Based PlanningKristian J. Hammond. 267-271
• The Structure-Mapping EngineBrian Falkenhainer, Kenneth D. Forbus, Dedre Gentner. 272-277
• SNePS Considered as a Fully Intensional Propositional Semantic NetworkStuart C. Shapiro, William J. Rapaport. 278-283
• Quantitative Analysis of AnalogyStuart J. Russell. 284-288
• Hypotheticals as Heuristic DeviceEdwina L. Rissland, Kevin D. Ashley. 289-297
• Debugging User Conceptions of Interpretation ProcessesM. J. Coombs, R. T. Hartley. 303-307
• Imposing Structure on Linear Programming Problems: An Empirical Analysis of Expert and Novice ModelsWanda J. Orlikowski, Vasant Dhar. 308-312
• Intelligent Tutoring Systems Based Upon Qualitative Model EvolutionsBarbara White, John Frederiksen. 313-319
• An Analysis of Tutorial Reasoning about Programming BugsDavid Littman, Jeannine Pinto, Elliot Soloway. 320-327
• Default Reasoning, Nonmonotonic Logics, and the Frame ProblemSteve Hanks, Drew V. McDermott. 328-333
• Inference in a Topically Organized Semantic NetJohannes de Haan, Lenhart K. Schubert. 334-338
• On the Logic of Probabilistic DependenciesJudea Pearl. 339-343
• A Four-Valued Semantics for Frame-Based Description LanguagesPeter F. Patel-Schneider. 344-348
• On the Parallel Complexity of Some Constraint Satisfaction ProblemsSimon Kasif. 349-353
• Primitives and Units for Time SpecificationPeter B. Ladkin. 353-359
• Time Representation: A Taxonomy of Internal RelationsPeter B. Ladkin. 360-366
• A Representation for Collections of Temporal IntervalsBruce Leban, David McDonald, David Forster. 367-371
• A Representation for Temporal Sequence and Duration in Massively Parallel NetworksHon Wai Chun. 372-376
• Constraint Propagation Algorithms for Temporal ReasoningMarc B. Vilain, Henry A. Kautz. 377-382
• Propagating Temporal Constraints for SchedulingJean-Francois Rit. 383-388
• Chronological Ignorance: Time, Nonmonotonicity, Necessity and Causal TheoriesYoav Shoham. 389-393
• The Logic of PersistenceHenry A. Kautz. 401-405
• Self-Reference, Knowledge, Belief, and ModalityDonald Perlis. 416-420
• Is Belief Revision Harder Than You Thought?Marianne Winslett. 421-427
• What Can Machines Know? On the Epistemic Properties of MachinesRonald Fagin, Joseph Y. Halpern, Moshe Y. Vardi. 428-435
• A Metalinguistic Approach to the Construction of Knowledge Base Refinement SystemsAllen Ginsberg. 436-441
• Rule Refinement Using the Probabilistic Rule GeneratorWon D. Lee, Sylvian R. Ray. 442-447
• On Debugging Rule Sets When Reasoning Under UncertaintyDavid C. Wilkins, Bruce G. Buchanan. 448-454
• Discovering Functional Formulas through Changing Representation BaseMieczyslaw M. Kokar. 455-459
• Selecting Appropriate Representations for Learning from ExamplesNicholas S. Flann, Thomas G. Dietterich. 460-466
• Optimal Allocation of Very Limited Search ResourcesDavid Mutchler. 467-471
• Preliminary Steps Toward the Automation of InductionStuart J. Russell. 477-484
• Quantifying the Inductive Bias in Concept Learning (Extended Abstract)David Haussler. 485-489
• A Case Study of Incremental Concept InductionJeffrey C. Schlimmer, Douglas H. Fisher. 496-501
• Beyond Incremental Processing: Tracking Concept DriftJeffrey C. Schlimmer, Richard H. Granger. 502-507
• Factorization in Experiment GenerationDevika Subramanian, Joan Feigenbaum. 518-522
• STAHLp: Belief Revision in Scientific DiscoveryDonald Rose, Pat Langley. 528-532
• Constructing and Refining Causal Explanations from an Inconsistent Domain TheoryRichard J. Doyle. 538-544
• The Role of Prior Causal Theories in GeneralizationMichael J. Pazzani, Michael G. Dyer, Margot Flowers. 545-550
• A Domain Independent Explanation-Based GeneralizerRaymond J. Mooney, Scott Bennett. 551-555
• Learning to Anticipate and Avoid Planning Problems through the Explanation of FailuresKristian J. Hammond. 556-560
• Mapping Explanation-Based Generalization onto SoarPaul S. Rosenbloom, John E. Laird. 561-567
• Learning by Failing to ExplainRobert J. Hall. 568-573
• Dynamically Combining Syntax and Semantics in Natural Language ProcessingSteven L. Lytinen. 574-587
• Dual Frames: A New Tool for Semantic ParsingJean-Louis Binot, Daniel Ribbens. 579-583
• A Neat Theory of Marker PassingEugene Charniak. 584-588
• Using Commonsense Knowledge to Disambiguate Prepositional Phrase ModifiersKathleen Dahlgren, Joyce P. McDowell. 589-593
• Beyond Exploratory Programming: A Methodology and Environment for Conceptual Natural Language ProcessingPhilip Johnson, Wendy G. Lehnert. 594-600
• Are There Preference Trade-offs in Attachment Decisions?Lenhart K. Schubert. 601-605
• Comprehension-Driven Generation of Meta-Technical Utterances in Math TutoringIngrid Zukerman, Judea Pearl. 606-611
• A Logical-Form and Knowledge-Base Design for Natural Language GenerationNorman K. Sondheimer, Bernhard Nebel. 612-618
• A Simple Motion Planning Algorithm for General Robot ManipulatorsTomás Lozano-Pérez. 626-631
• Tactile Recognition by Probing: Identifying a Polygon on a PlaneR. E. Ellis, Edward M. Riseman, Allen R. Hanson. 632-637
• Abstraction and Representation of Continuous Variables in Connectionist NetworksEric Saund. 638-644
• SIMD Tree Algorithms for Image CorrelationHussein Ibrahim, John R. Kender, David Elliot Shaw. 645-651
• On the Reconstruction of a Scene from Two Unregistered ImagesHarit P. Trivedi. 652-656
• Depth and Flow From Motion EnergyDavid Heeger. 657-663
• Shape from Darkness: Deriving Surface Information from Dynamic ShadowsJohn R. Kender, Earl Smith. 664-669
• 3-D Motion Recovery From Time-Varying Optical FlowsKwangyoen Wohn, Jian Wu. 670-675
• Determining the 3-D Motion of a Rigid Surface Patch Without Correspondence under Perspective ProjectionYiannis Aloimonos, Isidore Rigoutsos. 681-688
• A Stereo Integral EquationGrahame B. Smith. 689-694
• Parts: Structured Descriptions of ShapeAlex Pentland. 695-701
• Constraint-Theorems on the Prototypification of ShapeMichael Leyton. 702-706
• Linear Image Features in StereopsisMichael Kass. 707-713
• Signal Matching Through Scale SpaceAndrew P. Witkin, Demetri Terzopoulos, Michael Kass. 714-719
• Teaching a Complex Industrial ProcessBeverly Park Woolf, Darrell Blegen, Johan Jansen, Arie Verloop. 722-729
• The Butterfly:::TM::: Lisp SystemSeth A. Steinberg, Donald C. Allen, Laura Bagnall, Curtis Scott. 730-734
• CIS: A Massively Concurrent Rule-Based SystemGuy E. Blelloch. 735-741
• A Software and Hardware Environment for Developing AI Applications on Parallel ProcessorsRoberto Bisiani. 742-747
• Merging Objects and Logic Programming: Relational SemanticsHervé Gallaire. 754-758
• Domains in Logic ProgrammingPascal Van Hentenryck, Mehmet Dincbas. 759-765
• Comments on Kornfeld s Equality for Prolog: E-Unification as a Mechanism for Augmenting the Prolog Search StrategyE. W. Elcock, P. Hoddinott. 766-777
• Saturn: An Automatic Test Generation System for Digital CircuitsNarinder Singh. 778-783
• An Expert System for Chorale HarmonizationKemal Ebcioglu. 784-788
• A Rule-Based System for Document UnderstandingDebashish Niyogi, Sargur N. Srihari. 789-793
• Qualitative Simulation of Semiconductor FabricationJohn Mohammed, Reid G. Simmons. 794-799
• Knowledge-Based Simulation of a Glass Annealing Process: An AI Application in the Glass IndustryRichard Herrod, Jeff Rickel. 800-804
• Designing for Manufacturability in Riveted JointsA. R. Kilhoffer, Karl G. Kempf. 820-824
• A Graph-Oriented Knowledge Representation and Unification Technique for Automatically Selecting and Invoking Software FunctionsWilliam Kaemmerer, James Larson. 825-830
• SCAT: An Automatic-Programming Tool for Telecommunications SoftwareS. Barra, O. Ghisio, F. Manucci. 831-835
• PIES: An Engineers Do-lt-Yourself Knowledge System for Interpretation of Parametric Test DataJeff Yung-Choa Pan, Jay M. Tenenbaum. 843
• StarPlan II: Evolution of an Expert SystemRonald Siemmens, Marilyn Golden, Jay C. Ferguson. 844-850
• System Integration of Knowledge-Based Maintenance AidsChristopher Powell, Cynthia Pickering, Keith Wescourt. 851-855
• A Knowledge-Based Framework for DesignSanjay Mittal, Agustin A. Araya. 856-865
• Knowledge Engineering Issues in VLSI SynthesisW. H. Wolf, Thaddeus J. Kowalski, Michael C. McFarland. 866-871
• Artificial Intelligence and Design: A Mechanical Engineering ViewJohn Dixon. 872-871
• Integration of Multiple Knowledge Sources in ALADIN: An Alloy Design SystemMichael D. Rychener, Ingemar A. E. Hulthage, Mark S. Fox, Martha L. Farinacci. 878-883
• A Framework for Evidential-Reasoning SystemsJohn D. Lowrance, Thomas D. Garvey, Thomas M. Strat. 896-903
• PROTEAN: Deriving Protein Structure from ConstraintsBarbara Hayes-Roth, Bruce G. Buchanan, Olivier Lichtarge, Mike Hewitt, Russ B. Altman, James F. Brinkley, Craig Cornelius, Bruce S. Duncan, Oleg Jardetzky. 904-909
• Back to Backtracking: Controlling the ATMSJohan de Kleer, Brian C. Williams. 910-917
• Knowledge-Based Validity Maintenance for Production SystemsPhilip Schaefer, H. Isil Bozma, Randall D. Beer. 918-922
• Towards Explicit Integration of Knowledge in Expert Systems: An Analysis of MYCIN s Therapy Selection AlgorithmJack Mostow, William R. Swartout. 928-935
• The Shifting Terminological Space: An Impediment to EvolvabilityWilliam R. Swartout, Robert Neches. 936-941
• Using Qualitative Reasoning to Understand Financial ArithmeticChidanand Apté, Se June Hong. 942-949
• MOLE: A Knowledge Acquisition Tool that Uses its HeadLarry J. Eshelman, John P. McDermott. 950-955
• Knowledge Level Engineering Ontological AnalysisJames H. Alexander, Michael J. Freiling, Sheryl Shulman, Jeffery Staley, Steven Rehfuss, Steven Messick. 963-968
• Framework for Prototyping Expert Systems for Financial ApplicationsJacob Friedman, Atul Jain. 969-977
• Recent Developments in NIKLThomas Kaczmarek, Raymond Bates, Gabriel Robins. 978-985
• A Hybrid Structured Object and Constraint Representation LanguageDavid Harris. 986-990
• AGNESS: A Generalized Network-based Expert System ShellJames R. Slagle, Michael R. Wick, Marius O. Poliac. 996-1002
• SYNTEL:::TM:::: Knowledge Programming Using Functional RepresentationsRené Reboh, Tore Risch. 1003-1007
• GBB: A Generic Blackboard Development SystemDaniel D. Corkill, Kevin Q. Gallagher, Kelly Murray. 1008-1014
• ISCS-A Tool Kit for Constructing Knowledge-based System ConfiguratorsHarry Wu, Hon Wai Chun, Alejandro Mimo. 1015-1023
• A System Which Uses Examples to Learn VLSI Structure ManipulationsRichard H. Lathrop, Robert S. Kirk. 1024-1028
• Refining the Knowledge Base of a Diagnostic Expert System: An Application of Failure-Driven LearningMichael J. Pazzani. 1029-1035
• Learning Arithmetic Problem SolverMasamichi Shimura, Seiichiro Sakurai. 1036-1040
• The Multi-Purpose Incremental Learning System AQ15 and Its Testing Application to Three Medical DomainsRyszard S. Michalski, Igor Mozetic, Jiarong Hong, Nada Lavrac. 1041-1047
• Restricting Logic GrammarsEdward P. Stabler Jr.. 1048-1052
• A Parser for Portable NL Interfaces Using Graph-Unification-Based GrammarsKent Wittenburg. 1053-1058
• A Chinese Natural Language Processing System Based Upon the Theory of Empty CategoriesLong Ji Lin, Lin-Shan Lee, James Huang, Keh-Jiann Chen. 1059-1062
• Adapting MUMBLE: Experience with Natural Language GenerationRobert Rubinoff. 1063-1068
• Generating Medical Case Reports with the Linguistic String ParserPing-Yang Li, Martha W. Evens, Daniel B. Hier. 1069-1073
• A Relational Representation of ModificationSamuel Bayer. 1074-1078
• Categorical DisambiguationGavan Duffy. 1079-1082
• Focusing and Reference Resolution in PUNDITDeborah A. Dahl. 1083-1088
• ATRANS Automatic Processing of Money Transfer MessagesSteven L. Lytinen, Anatole Gershman. 1089-1095
• A Mobile Robot with Onboard Parallel Processor and Large Workspace ArmRodney A. Brooks, Jon Connell, Anita Flynn. 1096-1100
• Robot Navigation in Unknown Terrains of Convex Polygonal Obstacles Using Learned Visibility GraphsB. John Oommen, S. Sitharama Iyengar, Nageswara S. V. Rao, Rangasami L. Kashyap. 1101-1106
• Planning Sensorless Robot Manipulation of Sliding ObjectsMichael A. Peshkin, Arthur C. Sanderson. 1107-1112
• And/Or Graph Representation of Assembly PlansLuiz Homem de Mello, Arthur C. Sanderson. 1113-1121
• Noise-Tolerant Range Analysis for Autonomous NavigationAviv Bergman, Gregg Cowan. 1122-1126
• Object Recognition in Structured and Random Environments: Locating Address Blocks on Mail PiecesChing-Huei Wang, Sargur N. Srihari. 1133-1137
• A Signal-Symbol Approach to Change DetectionB. G. Lee, V. T. Tom, Mark J. Carlotto. 1138
• Invited Talk: Viewing History of Science as Compiled HindsightLindley Darden. 1146-1147
• Learning in Massively Parallel Nets (Panel)Drew V. McDermott, Geoffrey E. Hinton. 1149
• Panel: Directions for Expert SystemsJanice S. Aikins, Frederick Hayes-Roth, John P. McDermott, Herbert Schorr, Reid G. Smith. 1150
• Panel: Financial Expert SystemsPeter E. Hart, Norton Greenfeld, Walter Reitman, Chuck Williams. 1150
• Panel: Real-Time Performance in Problem SolvingMichael R. Fehling, Malcolm Acock, James F. Allen, Michael P. Georgeff, Victor R. Lesser, Robert C. Moore. 1150
• President s Panel: Past Present and Future Presidents Look at the Past Present and FuturePatrick H. Winston. 1150
• Panel: Are AI Systems Ready to Be Trusted in Critical Applications? (Will They Ever Be?)Peter Friedland, Brian P. McCune, Edward H. Shortliffe. 1150
• Panel: AI and EducationElliot Soloway, John Seely Brown, Andy Molner, Lauren Resnick, Roger C. Schank. 1150
• Panel: Where Should the Intelligence in Intelligent Interfaces be Placed?Thomas Kaczmarek, Robert Neches, John Seely Brown, Phil Hayes, Thomas W. Malone, Dic Waters, Robert Wilensky, Mike Williams. 1151
• Panel: Knowledge Representation Meets Knowledge Acquisition: What Are the Needs and Where Is the Leverage?Robert Neches, Richard Fikes, Casimir A. Kulikowski, John P. McDermott, Ramesh S. Patil. 1153
• Design and Experimentation of an Expert System for Programming In-the-LargeGiovanni Guida, Marco Guida, Sergio Gusmeroli, Marco Somalvico. 1155