The unification problem and several variants are presented. Various algorithms and data
structures are discussed. Research on unification arising in several areas of computer …

The Routledge Dictionary of Language and Linguistics is a unique reference work for
students and teachers of linguistics. The highly regarded second edition of the Lexikon der …

抄録< jats: p> This book develops the theory of typed feature structures, a data structure that
generalizes both first-order terms and feature structures of unification-based grammars to …

Unification is a fundamental process upon which many methods for automated deduction
are based. Unification theory abstracts from the specific applications of this process: it …

This is an introduction to the philosophy and use of OBJ, emphasizing its oper-ational
semantics, with aspects of its history and its logical semantics. Release 2 of OBJ3 is …

We propose a database logic which accounts in a clean declarative fashion for most of the
“object-oriented” features such as object identity, complex objects, inheritance, methods, etc …

A semantic network is a graph of the structure of meaning. This article introduces semantic
network systems and their importance in Artificial Intelligence, followed by I. the early …

The knowledge representation system KL-ONE has been one of the most influential and
imitated knowledge representation systems in the Artificial Intelligence community. Begun at …

This book introduces a software development method, called the Demeter1 Method, for
develo** adaptive object-oriented software. The reader will learn the Demeter Method for …

It is shown that in the frame-based language KL-ONE it is undecidable whether one concept
is subsumed by another concept. In fact a rather small sublanguage of KL-ONE called ALR …