| 1988 | 8th European Conference on Artificial Intelligence, ECAI 1988, Munich, Germany, August 1-5, 1988, Proceedings. Yves Kodratoff |
| 1988 | A Biologically Based Algorithm for Rapid Scene Analysis. Victor Johnston, Patricia Diane Lopez, Derek Partridge |
| 1988 | A Cognitive Model of Program Designer Behaviour. J. H. Sumiga, Babak Khazaei, Jawed I. A. Siddiqi |
| 1988 | A Conceptual Supervision Model in Computer Integrated Manufacturing. Jacqueline Ayel |
| 1988 | A Formula Circumscriptively both Valid and Unprovable. Philippe Besnard, Jean Houdebine, Raymond Rolland |
| 1988 | A Global Theory of Inheritance. Wayne Wobcke |
| 1988 | A Hybrid Genetic Algorithm for Pallet Loading. Patrick Prosser |
| 1988 | A Machine Learning Approach to Estimation for IC Design. Jürgen Herrmann |
| 1988 | A Many Sorted PROLOG Based on Equational Unification. Thierry Conrad |
| 1988 | A Modal Proof Method for Doxastic Reasoning in Incomplete Theories. Peter Jackson, Han Reichgelt |
| 1988 | A Multiagent Planner for Reasoning with Incomplete Knowledge in a Distributed Environment. Antonio D'Angelo, Claudio Mirolo, Enrico Pagello |
| 1988 | A Network Formalism for Representing Natural Language Quantifiers. Leonardo Lesmo, Marina Berti, Paolo Terenziani |
| 1988 | A Non-Monotonic Deduction System Based on (A)TMS. Hartmut Freitag, Michael Reinfrank |
| 1988 | A Qualitative Model of the Articulators. Anthony J. H. Simons |
| 1988 | A Qualitative Reasoning Approach to Fault Avoidance. Adam Farquhar |
| 1988 | A REPLAI of SOCCER: Recognizing Intentions in the Domain of Soccer Games. Gudula Retz-Schmidt |
| 1988 | A Rational Reconstruction of Boyer and Moore's Technique for Constructing Induction Formulas. Andrew Stevens |
| 1988 | A Reinforcement Approach to Schelduling. Bing Liu |
| 1988 | A Sales Assistant for Chemical Measurement Equipment: SEARCHEM. Mina-Jaqueline Schachter-Radig, Diederich Wermser |
| 1988 | A Strategic Framework for Multi-Agent Cooperative Dialogue. Julia Rose Galliers |
| 1988 | A Survey of the Expert System Tool ZDEST-2. Xuejun Tong, Zhijun He, Ruizao Yu |
| 1988 | A Testbed for Research on Cooperating Agents. David Connah, Martin Shiels, Peter Wavish |
| 1988 | A Theorem Prover for Action Performance. Emmanuel Lafon, Camilla Schwind |
| 1988 | A Typed Unification of Functional and Logic Programming Based on Many-Valued Functions. Thomas Wilmes |
| 1988 | AI Programs and Cognitive Models: Models of Perceptual Processes. Derek Partridge, Jim McDonald, Victor Johnston, Ken Paap |
| 1988 | ATOME: A Blackboard Architecture with Temporal and Hypothetical Reasoning. H. Lâasri, B. Maître, T. Mondot, François Charpillet, Jean Paul Haton |
| 1988 | Acquiring and Complementing the Model for Diagnostic Tasks. Hervé Lambert, Larry J. Eshelman, Yumi Iwasaki |
| 1988 | An Algorithm for Obtaining Action Sequences from a Procedures Knowledge Base. T. J. Grant |
| 1988 | An Automatic Difference-List Transformation Algorithm for Prolog. J. Zhang, Phil W. Grant |
| 1988 | An Environment for Expert Image Processing. G. Vivo, P. Cosoli, R. Salonna |
| 1988 | An Extended Prolog Machine for Dynamic Context Handling. Marco Cavalieri, Evelina Lamma, Paola Mello |
| 1988 | An Implementation of Program Synthesis from Formal Specifications: PRECOMAS. Marta Franová |
| 1988 | An Intelligent Help System for Idpac. Jan Eric Larsson, Per Persson |
| 1988 | Analysing Novices Programs in a Prolog Intelligent Teaching System. Chee-Kit Looi |
| 1988 | Answering WHY?, HOW? and WHY-NOT? Questions in a Blackboard System. Christian Popp |
| 1988 | Applying the KADS Methodology to Develop a Knowledge Based System: NetHandler. Reinhard Krickhahn, Reinhard Nobis, Andres Mählmann, Mina-Jaqueline Schachter-Radig |
| 1988 | Autoepistemic Predicate Logic. Ilkka Niemelä |
| 1988 | Automated Synthesis of Recursive Algorithms as a Theorem Proving Tool. Susanne Biundo |
| 1988 | Automating Rule Strengths in Expert Systems. Marco Valtorta |
| 1988 | BASAR: A Blackboard Based Software Architecture. Christian Märtin, Klemens Waldhör |
| 1988 | Belief Revision as Meta-Reasoning. Maurizio Lenzerini, Daniele Nardi |
| 1988 | Building Complex Derived Inference Rules: A Decider for the Class of Prenex Universal-Existential Formulas. Fausto Giunchiglia, Enrico Giunchiglia |
| 1988 | Chronological Minimization of Abnormality: Simple Theories of Action. Witold Lukaszewicz |
| 1988 | Completeness and Definability in Diagnostic Expert Systems. Jan Treur |
| 1988 | Computation, Connectionism and Content (Panel Statement). Andy Clark |
| 1988 | Computations as Inferences (Panel Statement). Sten-Åke Tärnlund |
| 1988 | Computer-Aided Configuration of Gantry-Robots. Siegfried Bocionek |
| 1988 | Computing Circumscription of Horn Theories. Yves Moinard |
| 1988 | Computing Quantifiers in Predicate Modal Logics. P. J. de la Quintana |
| 1988 | Concept Acquisition in an Integrated EBL and SBL Environment. Francesco Bergadano, Attilio Giordana, Lorenza Saitta |
| 1988 | Conflict Solving in a Frame-Like Multiple Inheritance System. Eugène Chouraqui, Philippe Dugerdil |
| 1988 | Connectionist Recruitment Learning. Joachim Diederich |
| 1988 | Consistency and Preference Criteria for Generalization Languages Handling Negation and Disjunction. Jacques Nicolas |
| 1988 | Constraining Search in a Hierarchical Discriminative Learning System. Jim Blythe |
| 1988 | Constructing Polygon Concepts from Line Drawings. Kurt Ammon, Sebastian Stier |
| 1988 | DRL: Terminologic and Relational Knowledge in Prolog. Nicola Guarino |
| 1988 | Data Analysis Using a Learning Program, a Case Study: An Application of PLAGE to a Biological Sequence Analysis. Olivier Gascuel, Antoine Danchin |
| 1988 | DePlan: Enabling Agents to Produce Plans that Achieve Cooperative Problem Solving. Colin Hopkins |
| 1988 | Discovering a Proof for the Fixed Point Theorem: A Case Study. Kurt Ammon |
| 1988 | ELOISE's Heart: An Efficient Frame for Production System Execution. Patrick Dixneuf, Alain Meller, Marc Porcheron |
| 1988 | ENIARC: An Intelligent Explicative Expert System for Rhythm Analysis in Electro-Cardiograms. Jacques Maree |
| 1988 | Elements in Temporal Reasoning in Planning. Edward P. K. Tsang |
| 1988 | Escut: An Expert System for Configuring Digital Telephone Switching Equipements. Bruno Soler, Antonio Carpentieri, Maria Piera Branca, Pier Giorgio Kubansky |
| 1988 | Explanation-Based Generalisation of Failures. J. L. de Siqueira N., Jean-Francois Puget |
| 1988 | Extending the Basic ATMS. Oskar Dressler |
| 1988 | Extensions of Event-Structures. Kurt Eberle |
| 1988 | Extraction of 3-D Information and Volumetric Uncertainty from Multiple Stereo Images. Enrico Grosso, Giulio Sandini, Carlo Frigato |
| 1988 | Foundations of DISLOG, Programming in Logic with Discontinuities. Patrick Saint-Dizier |
| 1988 | Fundamentals for a New Methodology for Inductive Theorem Proving: CM-Construction of Atomic Formulae. Marta Franová |
| 1988 | Future Developments in Artificial Intelligence: A Personal View. Erik Sandewall |
| 1988 | Good Old Discrete Relaxation. Roger Mohr, Gérald Masini |
| 1988 | Grammatical Inference for Even Linear Languages Based on Control Sets. Yuji Takada |
| 1988 | Hierarchies over Relational Structures. Christian Sielaff |
| 1988 | High Level Control of Simulated Ships and Aircraft. Steve Adey |
| 1988 | INDE: A System for Heuristic Knowledge Refinement. P. P. Terpstra, Maarten van Someren |
| 1988 | INEX: Flexible and Efficient Objects. Ilia Iv. Dimitrov |
| 1988 | Iconic-Declarative Programming and Adaptation Rules. Harold Boley |
| 1988 | Image Analysis Using Iconic Fuzzy Sets. Wido Menhardt |
| 1988 | Implementation of a Parallel Prolog System on a Commercial Multiprocessor. Jacques Chassin de Kergommeaux, Jean-Claude Syre, Harald Westphal |
| 1988 | Improvement and Refinement of the Learning Bias Semantic. Jean-Gabriel Ganascia |
| 1988 | In Search of a Modal System for Possibility Theory. Didier Dubois, Henri Prade, Claudette Testemale |
| 1988 | Incorporating Dynamic Control into the Model Generative Reasoning System. Chris A. Fields, M. J. Coombs, Eric Dietrich, Roger T. Hartley |
| 1988 | Induction and Dialogue in Specification Formalisation: An Object-Based Approach. Bernard S. Doherty, J. J. Stuart |
| 1988 | Induction through Knowledge Base Normalisation. G. Deon Oosthuizen, Douglas R. McGregor |
| 1988 | Inference Structure as a Basis for Problem Solving. Walter Van de Velde |
| 1988 | Information-Theoretic Rule Induction. Rodney M. Goodman, Padhraic Smyth |
| 1988 | Integrating Qualitative Reasoning Approaches. Bert Bredeweg, Bob J. Wielinga |
| 1988 | Integrating Spatio-Temporal Knowledge: A Hybrid Approach. Giovanni Adorni, Antonio Camurri, Agostino Poggi, Renato Zaccaria |
| 1988 | Intelligent Backtracking with Structured Contexts. Tomas Hrycej |
| 1988 | Interaction among Intelligent Agents (Panel). Helder Coelho |
| 1988 | Intuitionistic Non-Monotonic Reasoning - Further Results. M. R. B. Clarke |
| 1988 | Investigating the Usability of Expert Critiquing in Knowledge-Based Consultation Systems. Sture Hägglund, Ivan Rankin |
| 1988 | Knowledge Elicitation Techniques in Classification Domains. A. Mike Burton, Nigel Shadbolt, Gordon Rugg, A. P. Hedgecock |
| 1988 | Knowledge Representation for a Concept Tutoring System. Mike Sharples, Benedict du Boulay |
| 1988 | Learning Redundant Rules in Noisy Domains. Bojan Cestnik, Ivan Bratko |
| 1988 | Linguistic Constraints and Memory Management. Jon M. Slack |
| 1988 | Links between Content and Information-Content. Chris Thornton |
| 1988 | Logics of Justified Belief. Allen L. Brown Jr. |
| 1988 | MILORE, a Meta-Level Knowledge Based Architecture for Production System Execution. Marc Porcheron |
| 1988 | Matching 3-D Images without Backtracking through Feature Grouping. Eric Thirion, Roger Mohr |
| 1988 | Memory-Based Learner Model and its Application to a Game Coach. Kazuo Tanaka, Kazunari Kubota |
| 1988 | Model-Based Knowledge Acquisition for Heuristic Classification Systems. Enric Plaza, Ramón López de Mántaras |
| 1988 | Modelling Iterated Strategies: A Case Study. Nigel R. Seel |
| 1988 | More on Stratified Default Theories. Nicole Bidoit, Christine Froidevaux |
| 1988 | On the Consistency of Knowledge Bases: The COVADIS System. Marie-Christine Rousset |
| 1988 | On the Simultaneous Interpretation of Real World Image Sequences and their Natural Language Description: The System Soccer. Elisabeth André, Gerd Herzog, Thomas Rist |
| 1988 | Opium Mireille Ducassé |
| 1988 | PAMELA: An Expert System Technology for Real-Time Control Applications. Franz Barachini, Norbert Theuretzbacher |
| 1988 | Partial Reconstruction of Coreferential Structure of Discourse. Barbara Dunin-Keplicz |
| 1988 | Pictorial Knowledge Representation. Lars-Erik Janlert |
| 1988 | Planning Robust AGV Movements. James B. H. Kwa |
| 1988 | Preliminary Evaluation of the Connection Network for the Multi-PSI System. Kanae Masuda, Hirokazu Ishizuka, Hiroaki Iwayama, Kazuo Taki, Eiji Sugino |
| 1988 | Production Planning Using a Temoral Planning Component. Alfred Huber, S. Becker |
| 1988 | Programming Environments. Christopher J. Hogger |
| 1988 | Proper Names and Individual Concepts in SI-Nets. Marcello Frixione, Salvatore Gaglio, Giuseppe Spinelli |
| 1988 | Protocols for Consistency Checking in Expert System Knowledge Bases. Marc Ayel |
| 1988 | Qualified Logic as a Means of Integrating Conceptual Formalisms. Jan Paredis |
| 1988 | Quality of Learning. Walter Van de Velde |
| 1988 | Research on HELP-Systems: Empirical Study and Model Construction. Jacobijn Sandberg, Joost Breuker, Radboud Winkels |
| 1988 | SHERLOCK: Hypothetical Reasoning in an Expert System Shell. Marie-Odile Cordier |
| 1988 | Sentence Generation: From Semantic Representations to Sentences throughout Linguistic Definitions and Lexicon-Grammar. Miyo Otani, Jean-Marie Lancel |
| 1988 | Social Intentions (Panel). Eric Werner |
| 1988 | Solving Diagnostic Problems Using Extended Truth Maintenance Systems. Gregory M. Provan |
| 1988 | Solving the Car-Sequencing Problem in Constraint Logic Programming. Mehmet Dincbas, Helmut Simonis, Pascal Van Hentenryck |
| 1988 | Some Computational Aspects of an Order-Sorted Calculus: Order-Sorted Unification Using Compact Representation of Clauses. Gilles Chaminade |
| 1988 | Some Thoughts on the Present and Future of Explanation-Based Learning. Gerald DeJong |
| 1988 | StatCons: Knowledge Acquisition in a Complex Domain. Paul de Greef, Joost Breuker, Guus Schreiber, Jan Wielemaker |
| 1988 | Steps towards Common Sense. Luc Steels |
| 1988 | Student Modeling Techniques in Foreign Language Tutoring. Danilo Fum, Paolo Giangrandi, Carlo Tasso |
| 1988 | Successive Groupings: Adding Knowledge to Improve Segmentation. Andrea Saroldi |
| 1988 | TOPAS: A Task-Oriented Planner for Optimized Assembly-Sequences. Paul Levi |
| 1988 | TRAINS, An Active Time-Table Searcher. Eduard Tulp, Laurent Siklóssy |
| 1988 | Temporal Prolog. Tomas Hrycej |
| 1988 | The Qualitative Modelling of Axis-Based Flow Systems: Methodology and Examples. José Cuena |
| 1988 | The Use of Assertion-Time Inference in Logic-Based Knowledge Bases. Bernie Elfrink, Han Reichgelt |
| 1988 | The Use of Explicit Interpretation to Control Reasoning about Protein Topology. Stephen Owen, Richard Hull II |
| 1988 | Toward a Hybrid Representation of Time. Massimo Poesio |
| 1988 | Towards Intelligent Machine Learning Algorithms. Robert E. Stepp, Bradley L. Whitehall, Lawrence B. Holder |
| 1988 | Transferable Belief Model Versus Bayesian Model. Philippe Smets |
| 1988 | Translations from Epistemic into Dynamic Logic. Heikki Tuominen |
| 1988 | Two Kinds of Cognitive Science? Andy Clark |
| 1988 | Unification with Disjunctive and Negative Values for GPSG Grammars. Tsuneko Nakazawa, Laura Neher, Erhard W. Hinrichs |
| 1988 | Using Coreference in Object-Oriented Representations. Jacques Ferber, Philippe Volle |
| 1988 | What is Computation? (Panel Introduction). Jörg H. Siekmann, Sten-Åke Tärnlund, Aaron Sloman, Andy Clark, Margaret A. Boden |
| 1988 | What isn't Computation? (Panel Statement). Aaron Sloman |
| 1988 | Where's the Beef? The Absence of Pragmatic Factors in Pragmatic Theories of Analogy. Mark T. Keane |