Abstract is missing.
- Logic Program Derivation for a Class of First Order Logic RelationsGeorge Dayantis. 9-14
- A Network of Communicating Logic Programs and Its SemanticsSusumu Yamasaki. 24-29
- Constraints in a Hybrid Knowledge Representation SystemHans W. Guesgen, Ulrich Junker, Angi Voß. 30-33
- Extending Logic Programming to Object Programming: The System LapHerman Iline, Henry Kanoui. 34-39
- A Uniform Model for Object-Oriented Languages Using the Class AbstractionJean-Pierre Briot, Pierre Cointe. 40-43
- Reflection as a Tool for Integration: An Exercise in Procedural IntrospectionRobert Ghislanzoni, Luca Spampinato, Giorgio Tornielli. 44-47
- A Parallel Logic Programming Language for PEPSysMichael Ratcliffe, Jean-Claude Syre. 48-55
- Parallelism in LISPMichael van Biema. 56-61
- A Distributed Approach for Inferring Production SystemsChing-Chi Hsu, Shao-Ming Wu, Jan-Jan Wu. 62-67
- Efficiency Considerations on Built-in Taxonomic Reasoning in PROLOGGiorgio Montini. 68-75
- Amalgamating Multiple Programming Paradigms in PROLOGYoshiyuki Koseki. 76-82
- Graphical Debugging with the Transparent PROLOG Machine (TPM)Marc Eisenstadt, Mike Brayshaw. 83-86
- A Logic-based Architecture for Knowledge ManagementDamian Black, John Manley. 87-90
- A Tool for Building Second Generation Expert SystemsXuejun Tong, Zhijun He, Ruizao Yu. 91-96
- X-AiD: A Shell for Building Highly Interactive and Adaptive User InterfacesHans-Werner Hein, Gert M. Kellerman, Christoph G. Thomas. 97-99
- Knowledge Engineering Tools at the Architecture LevelThomas R. Gruber, Paul R. Cohen. 100-105
- Surprisingness and Expectation Failure: What s the Difference?Andrew Ortony, Derek Partridge. 106-108
- Explaining and Repairing Plans that FailKristian J. Hammond. 109-114
- An Analysis of Psychological Experiments on Non-Monotonic ReasoningEdward Hoenkamp. 115-117
- Language Acquisition: Learning a Hierarchy of PhrasesUri Zernik. 125-132
- Learning Idioms - With and Without ExplanationUri Zernik. 133-136
- Understanding New MetaphorsJames H. Martin. 137-139
- A Comparison of Concept Identification in Human Learning and Network Learning with the Generalized Delta RuleMichael J. Pazzani, Michael G. Dyer. 147-150
- Spontaneous Retrieval in a Conceptual Information SystemLisa F. Rau. 155-162
- How Can a Program Mean?Donald Perlis. 163-166
- A Shell for Intelligent Help SystemsJoost Breuker, Radboud Winkels, Jacobijn Sandberg. 167-173
- Intelligent Case Selection and PresentationRobert G. Farrell. 174-176
- A Critic for LISPGerhard Fischer. 177-184
- Implementing a Model of Human Plausible ReasoningMichelle Baker, Mark H. Burstein, Allan M. Collins. 185-188
- A Framework for Representing Tutorial DiscourseBeverly Park Woolf, Thomas J. Murray. 189-193
- Towards an Integrated Discovery SystemBernd Nordhausen, Pat Langley. 198-200
- Knowledge-based Knowledge ElicitationJoachim Diederich. 201-204
- The Classification, Detection and Handling of Imperfect Theory ProblemsShankar A. Rajamoney, Gerald DeJong. 205-207
- Non-Cumulative Learning in METAXA.3Werner Emde. 208-210
- Concepts in Conceptual ClusteringRobert E. Stepp. 211-213
- Pattern Clustering: An Artificial Intelligence ApproachB. Shekar, M. Narasimha Murty, G. Krishna. 214-216
- Hierarchical Credit Allocation in a Classifier SystemStewart W. Wilson. 217-220
- Explanation-based Generalization in a Logic- Programming EnvironmentHaym Hirsh. 221-227
- Strategies for Learning Search Control Rules: An Explanation-based ApproachSteven Minton, Jaime G. Carbonell. 228-235
- An Explanation-based Approach to Generalizing NumberJude W. Shavlik, Gerald DeJong. 236-238
- Approximation in Mathematical DomainsScott Bennett. 239-241
- On the Operationality/Generality Trade-off in Explanation-based LearningAlberto Maria Segre. 242-248
- Failsafe - A Floor Planner that Uses EBG to Learn from Its FailuresJack Mostow, Neeraj Bhatnagar. 249-255
- Learning Strategies by Reasoning about RulesD. Paul Benjamin. 256-259
- An Examination of the Third Stage in the Analogy Process: Verification-based Analogical LearningBrian Falkenhainer. 260-263
- A Logical Approach to Reasoning by AnalogyTodd R. Davies, Stuart J. Russell. 264-270
- DISCIPLE-1: Interactive Apprentice System in Weak Theory FieldsYves Kodratoff, Gheorghe Tecuci. 271-273
- The Use of Explanations for Similarity-based LearningAndrea Pohoreckyj Danyluk. 274-276
- Using Prior Learning to Facilitate the Learning of New Causal TheoriesMichael J. Pazzani, Michael G. Dyer, Margot Flowers. 277-279
- Learning in the Limit in a Growing LanguageRanan B. Banerji. 280-282
- Inductive Inference of Context-free Languages- Context-free Expression MethodTakashi Yokomori. 283-286
- Duce, An Oracle-based Approach to Constructive InductionStephen Muggleton. 287-292
- Guiding Constructive Induction for Incremental Learning from ExamplesLarry Watanabe, Renee Elio. 293-296
- Generating Production Rules from Decision TreesJ. Ross Quinlan. 304-307
- Layered Concept-Learning and Dynamically Variable Bias ManagementLarry A. Rendell, Raj Sheshu, David K. Tcheng. 308-314
- A Formal Approach to Learning From ExamplesJames P. Delgrande. 315-322
- Network Learning on the Connection MachineGuy E. Blelloch, Charles R. Rosenberg. 323-326
- CYPRESS-Soar: A Case Study in Search and Learning in Algorithm DesignDavid M. Steier. 327-330
- Combining Weak Learning Heuristics in General Problem SolversT. L. McCluskey. 331-333
- Learning General Search Control from Outside GuidanceAndrew R. Golding, Paul S. Rosenbloom, John E. Laird. 334-337
- Machine Learning for Software ReuseWalter L. Hill. 338-344
- CHARADE: A Rule System Learning SystemJean-Gabriel Ganascia. 345-347
- From Application Shell to Knowledge Acquisition SystemGary S. Kahn. 355-358
- SIS: A Shell for Interview SystemsAtsuo Kawaguchi, Riichiro Mizoguchi, Takahira Yamaguchi, Osamu Kakusho. 359-361
- MUNIN - A Causal Probabilistic Network for Interpretation of Electromyographic FindingsSteen Andreassen, Marianne Woldbye, Björn Falck, Stig K. Andersen. 366-372
- Uncertainty and ProbabilityJane Terry Nutter. 373-379
- Network Regions: Alternatives to the Winner-Take-All StructureHon Wai Chun, Lawrence A. Bookman, Niki Afshartous. 380-387
- Nonmonotonic Logics: Meaning and UtilityYoav Shoham. 388-393
- On the Relation Between Default Theories and Autoepistemic LogicKurt Konolige. 394-400
- Tractable Meta-Reasoning in Propositional Logics of BeliefGerhard Lakemeyer. 401-408
- The Logic of OccurrenceKenneth D. Forbus. 409-415
- The Relevance of IrrelevanceDevika Subramanian, Michael R. Genesereth. 416-422
- Qualitative Kinematics: A FrameworkKenneth D. Forbus, Paul Nielson, Boi Faltings. 430-435
- Qualitative Kinematics in MechanismsBoi Faltings. 436-442
- Qualitative Reasoning in Electronic Fault DiagnosisPadraig Cunningham. 443-445
- Commonsense Reasoning with VerbsJoyce P. McDowell, Kathleen Dahlgren. 446-448
- Time Structures for AIEdward P. K. Tsang. 456-461
- The Completeness of a Natural System for Reasoning with Time IntervalsPeter B. Ladkin. 462-465
- A Representation Framework for Continuous Dynamic SystemsPeter Raulefs. 466-471
- Temporal Event ConceptualizationKrishna Kumar, Amitabha Mukerjee. 472-475
- A Clash of Intuitions: The Current State of Nonmonotonic Multiple Inheritance SystemsDavid S. Touretzky, John F. Horty, Richmond H. Thomason. 476-482
- The Logic of Inheritance in Frame SystemsGerhard Brewka. 483-488
- Relating Default Logic and CircumscriptionDavid W. Etherington. 489-494
- A Semantics for Default LogicDavid W. Etherington. 495-498
- Proving Facts about | Michael J. Miller, Donald Perlis. 499-501
- Belief Functions for Real-Time Script ProcessingPhilip Schaefer. 502-508
- On Definitional Processes in Knowledge Reconstruction SystemsPeter Schefe. 509-511
- Program Understanding with the Lambda CalculusStanley Letovsky. 512-514
- Inference without ChainingAlan M. Frisch. 515-519
- Hardware Diagnosis as Program DebuggingAjay Gupta 0005. 524-526
- DANTES: An Expert System for Real-Time Network TroubleshootingRobert Mathonet, Herwig Van Cotthem, Leon Vanryckeghem. 527-530
- Repair Strategies in a Diagnostic Expert SystemJeff Pepper, Gary S. Kahn. 531-534
- Performance in Practical Problem SolvingLeo B. Hartman, Josh D. Tenenberg. 535-540
- Drastic Cut of Man s Work in Reliability Studies by Using an Expert SystemM. Bouissou, N. Villatte. 541-544
- Graphical Deep Knowledge for Intelligent Machine DraftingJames Geller, Stuart C. Shapiro. 545-551
- Compiling Design Plans from Descriptions of Artifacts and Problem Solving HeuristicsAgustin A. Araya, Sanjay Mittal. 552-558
- What s in a Deep Model? A Characterization of Knowledge Depth in Intelligent Safety Systems559-562
- Integrating Declarative Knowledge Programming Styles and Tools in a Structured Object AI EnvironmentMihai Barbuceanu, Stefan Trausan-Matu, Balint Molnar. 563-568
- Transfer Semantics in an Operating System Consultant: The Formalization of Actions Involving Object TransferPaul McKevitt, Yorick Wilks. 569-575
- Planning and Executing Office Procedures in Project ASPERAM. Cristina Bena, Giorgio Montini, Franco Sirovich. 576-583
- A Multi-Attribute Approach to Knowledge Representation for Loan GrantingSuzanne Pinson. 588-591
- Feedback as a Coindexing Mechanism in Connectionist ArchitecturesMark A. Jones. 602-610
- Parallel Parsing for Unification GrammarsAndrew R. Haas. 615-618
- The Preliminary Results of a Mandarin Dictation Machine Based Upon Chinese Natural Language AnalysisLin-Shan Lee, Chiu-yu Tseng, Keh-Jiann Chen, James Huang. 619-621
- Modified Caseframe Parsing for Speech Understanding SystemsMassimo Poesio, Claudio Rullent. 622-625
- Combining Discourse Strategies to Generate Descriptions to Users Along a Naive/Expert SpectrumCécile Paris. 626-632
- Discourse Consistency and Many-Sorted LogicJean Véronis. 633-635
- A Computational Model of ReferringDouglas E. Appelt, Amichai Kronfeld. 640-647
- Representation and Interpretation of Determiners in Natural LanguageBarbara Di Eugenio, Leonardo Lesmo. 648-654
- A Framework for Incremental Syntactic Tree FormationGerard Kempen. 655-660
- Incremental Interpretation and Combinatory Categorial GrammarNicholas J. Haddock. 661-663
- Dependency Propagation: A Unified Theory of Sentence Comprehension and GenerationKôiti Hasida, Syun Isizaki. 664-670
- A Parsing System Based on Logic ProgrammingYuji Matsumoto, Ryôichi Sugimura. 671-674
- Combining Prediction, Syntactic Analysis and Semantic Analysis in Chinese Sentence AnalysisYiming Yang. 679-681
- Building Natural Language Interfaces for Rule-based Expert SystemsGalina Datskovsky Moerdler, Kathleen McKeown, J. Robert Ensor. 682-687
- Understanding System Specifications Written in Natural LanguageJohn J. Granacki Jr., Alice C. Parker, Yigal Arens. 688-691
- An Equipment Model and its Role in the Interpretation of Noun PhrasesTomasz Ksiezyk, Ralph Grishman, John Sterling. 692-695
- Naive Mechanics Comprehension and Invention in EDISONMichael G. Dyer, Margot Flowers, Jack Hodges. 696-699
- Blackboard-based Dependency ParsingK. Valkonen, Harri Jäppinen, Aarno Lehtola. 700-702
- A Formalism and Environment for the Development of a Large Grammar of EnglishTed Briscoe, Claire Grover, Branimir Boguraev, John Carroll. 703-708
- A Semantic Expert Using an Online Standard DictionaryJean-Louis Binot, Karen Jensen. 709-714
- Interactive Vocabulary Acquisition in XTRACheng-ming Guo. 715-717
- The Universal Parser Architecture for Knowledge-based Machine TranslationMasaru Tomita, Jaime G. Carbonell. 718-721
- Direct Memory Access TranslationHideto Tomabechi. 722-727
- Representing Space for Practical ReasoningMargaret M. Fleck. 728-730
- Recovering Surface Shape from BoundaryGang Xu, Saburo Tsuji. 731-733
- Combining Sources of Information in Vision I. Computing Shape from Shading and MotionYiannis Aloimonos. 738-741
- Image Reconstruction from Zero-CrossingsSu-Shing Chen. 742-744
- An Optimal Scale for Edge DetectionDavi Geiger, Tomaso Poggio. 745-748
- Feature Selection in Colour Images for Token MatchingLeonie S. Dreschler-Fischer, Frank Gnutzmann. 749-751
- The Use of Color in Highlight IdentificationRon Gershon, Allan D. Jepson, John K. Tsotsos. 752-754
- From [R, G, B] to Surface Reflectance: Computing Color Constant Descriptors in ImagesRon Gershon, Allan D. Jepson, John K. Tsotsos. 755-758
- Color Algorithms for a General Vision SystemGlenn Healey, Thomas O. Binford. 759-762
- Recognition in 2D Images of 3D Objects from Large Model Bases Using Prediction HierarchiesJ. Brian Burns, Leslie J. Kitchen. 763-766
- A Shape Representation Based on Geometric Topology: Bumps, Gaussian Curvature, and the Topological ZodiacA. Peter Blicher. 767-770
- Process RecoveryMichael Leyton. 771-774
- From Early Processing to Conceptual Reasoning: An Attempt to Fill the GapGiovanni Adorni, Lina Massone, Giulio Sandini, Maurizio Immovilli. 775-778
- Probabilistic Information Fusion for Multi-Modal Image SegmentationPaul B. Chou, Christopher M. Brown. 779-782
- Uncertainty Reduction Paradigm Using Structural Knowledge in Line-Drawing UnderstandingYasuo Ariki, Masashi Morimoto, Toshiyuki Sakai. 783-786
- Exploiting 2D Topology in Labeling Polyhedral ImagesVan-Duc Nguyen. 787-789
- Coordination of Action and Perception in a Surveillance RobotJames L. Crowley. 793-796
- Determining Cylindrical Shape from Contour and ShadingMinoru Asada. 797-800
- Building a Consistent 3D Representation of a Mobile Robot Environment by Combining Multiple Stereo ViewsNicholas Ayache, Olivier D. Faugeras. 808-810
- A Goal-Directed Intermediate Level Executive for Image InterpretationCharles A. Kohl, Allen R. Hanson, Edward M. Riseman. 811-814
- A Robust Algorithm for Determining the Translation of a Rigidly Moving Surface without Correspondence, for Robotics ApplicationsAnup Basu, Yiannis Aloimonos. 815-818
- Qualitative Motion UnderstandingWilhelm Burger, Bir Bhanu. 819-821
- Determination of Egomotion and Environmental Layout from Noisy Time-Varying Image Velocity in Binocular Image SequencesJohn L. Barron, Allan D. Jepson, John K. Tsotsos. 822-825
- Stereo Matching by Hierarchical, Microcanonical AnnealingStephen T. Barnard. 832-835
- On Multi-Level Machines for Continuous Speech RecognitionJoseph di Martino. 836-839
- Use of Procedural Knowledge for Automatic Speech RecognitionRenato de Mori, Ettore Merlo, Mathew J. Palakal, Jean Rouat. 840-843
- A Multi-Level Perception Approach to Reading Cursive ScriptSargur N. Srihari, Radmilo M. Bozinovic. 844-847
- Learning Phonetic Features Using Connectionist NetworksRaymond L. Watrous, Lokendra Shastri. 851-854
- An Algorithm which Automatically Constructs Discrimination Graphs in a Visual Knowledge BaseJan A. Mulder. 855-859
- Large-Scale Temporal Data Bases for Planning in Complex DomainsThomas Dean. 860-866
- Knowledge Preconditions for Actions and PlansLeora Morgenstern. 867-874
- Using Partial Global Plans to Coordinate Distributed Problem SolversEdmund H. Durfee, Victor R. Lesser. 875-883
- Reasoning with Consistent ProbabilitiesDimiter Driankov. 899-901
- Variables in HypothesesDavid Poole. 905-908
- Intended Models, Circumscription and Commonsense ReasoningWlodek Zadrozny. 909-916
- Matrix Proof Methods for Modal LogicsLincoln A. Wallen. 917-923
- Inductive Inference on the Base of Fixed Point TheoryTamás Gergely, Zoltan Szabo. 932-938
- Foundations of Probabilistic LogicH. Guggenheimer, R. S. Freedman. 939-941
- A General Proof Method for First-Order Modal LogicPeter Jackson, Han Reichgelt. 942-944
- Performance Evaluation of the Inference Structure in Expert SystemYang Tao, He Zhijun, Yu Ruizhao. 945-950
- A Quantitative Analysis of Minimal Window SearchAlexander Reinefeld, T. Anthony Marsland. 951-954
- Optimizing Backtrack Search for all Solutions to Conjunctive ProblemsK. S. Natarajan. 955-958
- Comparative AnalysisDaniel S. Weld. 959-965
- Formal Theories of Action (Preliminary Report)Vladimir Lifschitz. 966-972
- An Algebraic Foundation for Truth MaintenanceAllen L. Brown Jr., Dale E. Gaucas, Dan Benanav. 973-980
- Short Time PeriodsPatrick J. Hayes, James F. Allen. 981-983
- Theorem Proving Under Uncertainty - A Possibility Theory-based ApproachDidier Dubois, Jérôme Lang, Henri Prade. 984-986
- Complete Inference Rules for the Cancellation LawsJieh Hsiang, Michaël Rusinowitch, Kô Sakai. 990-992
- Constructive Second-Order Proofs in Logical DatabasesMichel de Rougemont. 993-996
- Domain Abstraction and Limited ReasoningTomasz Imielinski. 997-1003
- The Abstraction/Implementation Model of Problem ReformulationMichael R. Lowry. 1004-1010
- Preserving Consistency Across Abstraction MappingsJosh D. Tenenberg. 1011-1014
- Combining Bodies of Dependent InformationRobert A. Hummel, Larry M. Manevitz. 1015-1017
- Subgoal Ordering and Goal Augmentation for Heuristic Problem SolvingKeki B. Irani, Jie Cheng. 1018-1024
- Goal Conflict ConcernsMarc Luria. 1025-1031
- Controlling Constraint PropagationAnne Collinot, Claude Le Pape. 1032-1034
- An Investigation of Opportunistic Constraint Satisfaction in Space PlanningCan A. Baykan, Mark S. Fox. 1035-1038
- Universal Plans for Reactive Robots in Unpredictable EnvironmentsMarcel Schoppers. 1039-1046
- Contingency Planning for an Autonomous Land VehicleTheodore A. Linden, Jay Glicksman. 1047-1054
- The Pipelining Transformation on Plans for Manufacturing Cells with RobotsErik Sandewall. 1055-1062
- A Probabilistic Framework for Resource-Constrained Multi-Agent PlanningNicola Muscettola, Stephen F. Smith. 1063-1066
- Path Planning Through Time and Space in Dynamic DomainsMarc G. Slack, David P. Miller. 1067-1070
- Generate, Test and Debug: Combining Associational Rules and Causal ModelsReid G. Simmons, Randall Davis. 1071-1078
- Taming Intractible Branching in Qualitative SimulationBenjamin Kuipers, Charles Chiu. 1079-1085
- The Generation of Explanations within Evidential Reasoning SystemsThomas M. Strat. 1097-1104
- An Improved Constraint-Propagation Algorithm for DiagnosisHector Geffner, Judea Pearl. 1105-1111
- Computational Complexity of Hypothesis AssemblyDean Allemang, Michael C. Tanner, Tom Bylander, John R. Josephson. 1112-1119
- Finding Collision-Free Smooth Trajectories for a Non-Holonomic Mobile RobotJean-Paul Laumond. 1120-1123
- Creature Design with the Subsumption ArchitectureJonathan Connell. 1124-1126
- Visual Path Planning by a Mobile RobotSaburo Tsuji, Jiang Yu Zheng. 1127-1130
- TINA: The Sheffeild AIVRU Vision SystemJohn Porrill, Stephen Pollard, Tony P. Pridmore, Jonathan B. Bowen, John E. W. Mayhew, John P. Frisby. 1138-1144
- Object Identification from Parallel Light StripesBijan Arbab. 1145-1148
- Locating Polyhedral Objects from Edge Point DataGary Silverman, Roger Y. Tsai, Mark Lavin. 1149-1152
- Grasp Planning from Human PrehensionThea Iberall. 1153-1156
- A Parallel Blackboard System for Robot ControlHugo Velthuijsen, Ben J. Lippolt, Jeanette C. Vonk. 1157-1161
- Parallel Inference Machines (Panel)Wolfgang Bibel. 1162
- Pointing, Language and the Visual World: Towards Multimodal Input and Output for Natural Language Dialog Systems (Panel)Wolfgang Wahlster. 1163
- The Commercialization of AI: Part 2. The Vendor Viewpoint (Panel)Harry C. Reinstein. 1164-1165
- The Commercialization of AI: Part 3. The Technology Challenge (Panel)Jan Aikins. 1164-1165
- Some Challenges for Intelligent Tutoring SystemsDerek H. Sleeman. 1166-1168
- Artificial 3D VisionOlivier D. Faugeras. 1169-1171
- The New Grammar Formalisms - A Tutorial Survey (Abstract)Gerald Gazdar. 1172
- On the Thresholds of KnowledgeDouglas B. Lenat, Edward A. Feigenbaum. 1173-1182
- Towards a Functional Architecture for Intelligence Based on Generic Information Processing TasksB. Chandrasekaran. 1183