The central task of a future-oriented computational linguistics is the development of cognitive machines which humans can freely talk with in their respective natural language. In the long run, this task will ensure the development of a functional theory of language, an objectiv…
This book introduces formal semantics techniques for a natural language processing audience. Methods discussed involve: (i) the denotational techniques used in model-theoretic semantics, which make it possible to determine whether a linguistic expression is true or false with re…
This book presents important results from the ESPRIT Project 393 "Construction and Interrogation of Knowledge Bases Using Natural Language Text and Graphics" (ACORD). The project involved more than fifty people overfive years, and included industrial and academic partners from t…
This volume contains selected papers presented at the Eighth Logic Programming Conference, held in Tokyo, 1989. Various topics in logic programming are covered. The first paper is an invited talk by Prof. Donald Michie, Chief Scientist of the Turing Institute, entitled "Human an…
This state-of-the-art-survey documents the Fluid Construction Grammar (FCG), a new formalism for the representation of lexicons and grammars, which has been used in a wide range of case studies for different languages, both for studying specific grammatical phenomena and design …
This state-of-the-art-survey documents the Fluid Construction Grammar (FCG), a new formalism for the representation of lexicons and grammars, which has been used in a wide range of case studies for different languages, both for studying specific grammatical phenomena and design …