Abstract is missing.
- A Linuistic Transitive Closure Method for Completion and Consistency of Uncertain KnowledgeGautam Biswas, James C. Bezdek. 1-10
- Logical Connectives for Combining Fuzzy MeasuresLuis M. de Campos, Maria Teresa Lamata, Serafín Moral. 11-18
- The Advantages of Using Depth and Breadth Components in Heuristic SearchHenry W. Davis, Anna Bramanti-Gregor, Jin Wang. 19-28
- APPLAUSE: An Experimental Plausible Reasoning SystemKejitan Dontas, Maria Zemankova. 29-39
- MGR: An Architecture for Problem Solving in Unstructured Task EnvironmentsChris A. Fields, M. J. Coombs, R. T. Hartley. 40-49
- A Possibilistic Approximate Reasoning Scheme Based on If-Then Rules Represented by Compatibility RelationsJanusz Kacprzyk. 50-59
- An Optimistic Rule for Accumulation of EvidencePawan Lingras, S. K. Michael Wong. 60-69
- Compiling Built-In Taxonomic Reasoning in PrologGiorgio Montini. 81-90
- Elements in Temporal Reasoning in PlanningEdward P. K. Tsang. 91-100
- An Intelligent Multimodal InterfaceWolfgang Wahlster. 101-111
- Rule-Based Approach to Telecommunications DesignW. A. Bratten, M. L. Johnson, M. L. Emrich, J. M. Williams. 112-121
- ISLAND: An Intelligent System for Local Area Network DesignDouglas P. Metzler, James Williams. 122-131
- System Architecture for a Real-Time Planning Agent in an Autonomous Air CraftGöran Pettersson, Dan Strömberg. 132-139
- Knowledge Representation and Reasoning in Expert Systems for BiophysicsGeorge I. Sharkov, Dimiter S. Dimitrov. 150-159
- An Intelligent Directory Assistence SystemHisazumi Tsuchida, Sigehito Iwase, Minoru Ohyama. 160-169
- What Kinds of Recursion Can Be Processed by Transitive Closure Strategies?Jiawei Han, Wo-Shun Luk. 170-179
- Relational Databases with Boolean Structured Values of AttributesAndrzej Jankowski, Zbigniew Michalewicz. 180-189
- NODE: A Database for Use by Intelligent SystemsLin Padgham. 190-199
- An Implementation of the Propositional Part of Krapfen, a Hybrid Knowledge Representation SystemDaniela D Aloisi, O. Stock, A. Tuozzi. 200-209
- LOGSTER - A Relational, Object-Oriented System for Knowledge RepresentationMira Balaban, Stefan Strack. 210-219
- A Representation of Coordinated Actions Characterized by Interval Valued ConditionsChrister Bäckström. 220-229
- Dealing with Time in Diagnostic Reasoning Based on Causal ModelsLuca Console, Anna Furno, Pietro Torasso. 230-239
- Attributed and Extensional Equivalence in DRLNicola Guarino. 240-249
- Task Oriented Knowledge Representation Languages for NLP-SystemsAarno Lehtola, Timo Honkela, Heikki Hyötyniemi, Harri Jäppinen. 250-259
- Hybrid Reasoning in BACKBernhard Nebel, Kai von Luck. 260-269
- Representing and Acquiring Imprecise and Context-dependent Concepts in Knowledge-Based SystemsFrancesco Bergadano, Stan Matwin, Ryszard S. Michalski, Jianping Zhang. 270-280
- Partially Supervised Learning from Examples with the Aid of Statistical Regression AnalysisCarlo Berzuini. 281-292
- Constructive Learning in Conjunctive Concept CharacterizationMarco Botta. 293-302
- Inducing Conceptual Discrimination Rules from Examples: An Application to Image RecognitionRoberto Gemello, Franco Mana, G. Viano. 313-321
- Concept Formation by Goal-Driven, Context-Dependent ClassificationMirsad Hadzikadic, David Y. Y. Yun. 322-332
- Solving Problems by Subproblem ClassificationJ. P. E. Hodgson. 333-342
- A Methdology for Multisearch SystemsAndrzej Jankowski, Jan M. Zytkow. 343-352
- Learning Machine for Probabilistically Describable ConceptsMarek Karpinski, Zbigniew W. Ras. 353-362
- Learning by Watching: An Incremental Machine Learning Method that Acquires Rules by Conceptual ClusteringStan Matwin, Franz Oppacher. 363-373
- A Hierarchical Sigma-Pi Neural Architecture for Learning Search AlgorithmsGee-gwo Mei, Wentai Liu, Su-Shing Chen. 374-379
- Defeasible Argumentation in Reasoning About EventsKurt Konolige. 380-390
- An Approach to Non-Monotonic EntailmentErik Sandewall. 391-397
- Yet Another Solution to the Three Wisemen PuzzleLuigia Carlucci Aiello, Daniele Nardi, Marco Schaerf. 398-407
- TermLog: a Logic for Terminological KnowledgeFrancesco M. Donini, Maurizio Lenzerini. 408-417
- Towards a Many Valued Logic of Belief: Detachment Operations with an Exception ConditionDimiter Driankov. 418-427
- On the Expressive Power of CircumscriptionsP. Ecsedi-Tóth. 428-434
- Minimal Model Semantics vs. Negation as Failure: A Comparison of SemanticsMichael Gelfond, Halina Przymusinska, Teodor C. Przymusinski. 435-443
- Intension, Quantified Beliefs and Epistemic ResolutionY. J. Jiang. 444-453
- A Correct Form of the Satisfiability-Graph Based Decision Algorithm for Linear Propositional Temporal LogicSukhamay Kundu. 454-465
- Deriving a Correct Logic Program from the Formal Specification of a Non-Linear PlannerT. L. McCluskey. 466-475
- On Stable Autoepistemic TheoriesCecylia Rauszer. 476-484