| 1988 | A Correct Form of the Satisfiability-Graph Based Decision Algorithm for Linear Propositional Temporal Logic. Sukhamay Kundu |
| 1988 | A Hierarchical Sigma-Pi Neural Architecture for Learning Search Algorithms. Gee-gwo Mei, Wentai Liu, Su-shing Chen |
| 1988 | A Linuistic Transitive Closure Method for Completion and Consistency of Uncertain Knowledge. Gautam Biswas, James C. Bezdek |
| 1988 | A Methdology for Multisearch Systems. Andrzej Jankowski, Jan M. Zytkow |
| 1988 | A Possibilistic Approximate Reasoning Scheme Based on If-Then Rules Represented by Compatibility Relations. Janusz Kacprzyk |
| 1988 | A Representation of Coordinated Actions Characterized by Interval Valued Conditions. Christer Bäckström |
| 1988 | APPLAUSE: An Experimental Plausible Reasoning System. Kejitan Dontas, Maria Zemankova |
| 1988 | An Approach to Non-Monotonic Entailment. Erik Sandewall |
| 1988 | An Implementation of the Propositional Part of Krapfen, a Hybrid Knowledge Representation System. Daniela D'Aloisi, O. Stock, A. Tuozzi |
| 1988 | An Intelligent Directory Assistence System. Hisazumi Tsuchida, Sigehito Iwase, Minoru Ohyama |
| 1988 | An Intelligent Multimodal Interface. Wolfgang Wahlster |
| 1988 | An Optimistic Rule for Accumulation of Evidence. Pawan Lingras, S. K. Michael Wong |
| 1988 | Attributed and Extensional Equivalence in DRL. Nicola Guarino |
| 1988 | Compiling Built-In Taxonomic Reasoning in Prolog. Giorgio Montini |
| 1988 | Concept Formation by Goal-Driven, Context-Dependent Classification. Mirsad Hadzikadic, David Y. Y. Yun |
| 1988 | Constructive Learning in Conjunctive Concept Characterization. Marco Botta |
| 1988 | Dealing with Time in Diagnostic Reasoning Based on Causal Models. Luca Console, Anna Furno, Pietro Torasso |
| 1988 | Defeasible Argumentation in Reasoning About Events. Kurt Konolige |
| 1988 | Deriving a Correct Logic Program from the Formal Specification of a Non-Linear Planner. Thomas Leo McCluskey |
| 1988 | Elements in Temporal Reasoning in Planning. Edward P. K. Tsang |
| 1988 | Heuristic Principles Supporting Making Time Critical Decisions in Knowledge-Based Systems. Lawrence J. Mazlack |
| 1988 | Hybrid Reasoning in BACK. Bernhard Nebel, Kai von Luck |
| 1988 | ISLAND: An Intelligent System for Local Area Network Design. Douglas P. Metzler, James Williams |
| 1988 | Inducing Conceptual Discrimination Rules from Examples: An Application to Image Recognition. Roberto Gemello, Franco Mana, G. Viano |
| 1988 | Intension, Quantified Beliefs and Epistemic Resolution. Yuejun Jiang |
| 1988 | Knowledge Representation and Reasoning in Expert Systems for Biophysics. George I. Sharkov, Dimiter S. Dimitrov |
| 1988 | LOGSTER - A Relational, Object-Oriented System for Knowledge Representation. Mira Balaban, Stefan Strack |
| 1988 | Learning Machine for Probabilistically Describable Concepts. Marek Karpinski, Zbigniew W. Ras |
| 1988 | Learning by Watching: An Incremental Machine Learning Method that Acquires Rules by Conceptual Clustering. Stan Matwin, Franz Oppacher |
| 1988 | Logical Connectives for Combining Fuzzy Measures. Luis M. de Campos, María Teresa Lamata, Serafín Moral |
| 1988 | MGR: An Architecture for Problem Solving in Unstructured Task Environments. Chris A. Fields, M. J. Coombs, Roger T. Hartley |
| 1988 | Methodologies for Intelligent Systems, 3, Proceedings of the Third International Symposium on Methodologies for Intelligent Systems, Turin, Italy, October 12-15, 1988 Zbigniew W. Ras, Lorenza Saitta |
| 1988 | Minimal Model Semantics vs. Negation as Failure: A Comparison of Semantics. Michael Gelfond, Halina Przymusinska, Teodor C. Przymusinski |
| 1988 | NODE: A Database for Use by Intelligent Systems. Lin Padgham |
| 1988 | ORION: A Knowledge Based Clustering System. Silvia Bruno |
| 1988 | On Stable Autoepistemic Theories. Cecylia Rauszer |
| 1988 | On the Expressive Power of Circumscriptions. Péter Ecsedi-Tóth |
| 1988 | Partially Supervised Learning from Examples with the Aid of Statistical Regression Analysis. Carlo Berzuini |
| 1988 | Relational Databases with Boolean Structured Values of Attributes. Andrzej Jankowski, Zbigniew Michalewicz |
| 1988 | Representing and Acquiring Imprecise and Context-dependent Concepts in Knowledge-Based Systems. Francesco Bergadano, Stan Matwin, Ryszard S. Michalski, Jianping Zhang |
| 1988 | Rule-Based Approach to Telecommunications Design. W. A. Bratten, M. L. Johnson, M. L. Emrich, J. M. Williams |
| 1988 | Solving Problems by Subproblem Classification. J. P. E. Hodgson |
| 1988 | System Architecture for a Real-Time Planning Agent in an Autonomous Air Craft. Göran Pettersson, Dan Strömberg |
| 1988 | Task Oriented Knowledge Representation Languages for NLP-Systems. Aarno Lehtola, Timo Honkela, Heikki Hyötyniemi, Harri Jäppinen |
| 1988 | TermLog: a Logic for Terminological Knowledge. Francesco M. Donini, Maurizio Lenzerini |
| 1988 | The Advantages of Using Depth and Breadth Components in Heuristic Search. Henry W. Davis, Anna Bramanti-Gregor, Jin Wang |
| 1988 | Towards a Many Valued Logic of Belief: Detachment Operations with an Exception Condition. Dimiter Driankov |
| 1988 | Towards a Methodology for Acquiring Social-Scientific Knowledge. Roas Massa Rolandino, Maria Luisa Bianco |
| 1988 | What Kinds of Recursion Can Be Processed by Transitive Closure Strategies? Jiawei Han, Wo-Shun Luk |
| 1988 | When is Closed World Reasoning Tractable? John S. Schlipf |
| 1988 | Yet Another Solution to the Three Wisemen Puzzle. Luigia Carlucci Aiello, Daniele Nardi, Marco Schaerf |