Table of Contents

A pragmatic look at artificial intelligence.- An original object-oriented approach for relation management.- Conceptual representation techniques in the framework of large knowledge based systems.- Efficient frame systems.- First order theories of quantification.- A horn clause theory of inheritance and temporal reasoning.- Explicit context-based blackboards enhancing blackboard systems performance.- Reasoning with the unknown.- Path - based inference in SNeBR.- Relevant counterfactuals.- Non-monotonic reasoning with the ATMS.- On the classification and existence of structures in default logic.- Inscription — A rule of conjecture.- Algorithmic debugging of prolog side-effects.- Cooperating rewrite processes revisited.- CLG : A grammar formalism based on constraint resolution.- Some comments on a logic programming approach to natural language semantics.- Semantic analysis of time and tense in natural language: an implementation.- Extra-sentential dependencies, meaning representation, and generics.- Enhancing text quality in a question-answering system.- A knowledge-based system to synthesize FP programs from examples.- A path planner for the cutting of nested irregular layouts.- Reasoning objects with dynamic knowledge bases.- Prose: A constraint language with control structures.- An external database for Prolog.- Non-exact matching.- Rad: The risk advisor expert system.- Run-through algorithms for applications of autonomous mobile robots.- Events, situations, and adverbs.- LING2: A system for induction.- Logical foundations of nonmonotonic truth maintenance.- The CASSIE projects: An approach to natural language competence.- Knowledge acquisition by teachable systems.- List of contributors.