Title	Computing Meaning [electronic resource] : Volume 1 / edited by Harry Bunt, Reinhard Muskens
Imprint	Dordrecht : Springer Netherlands : Imprint: Springer, 1999
Connect to	http://dx.doi.org/10.1007/978-94-011-4231-1
Descript	VI, 363 p. online resource

Computational semantics is concerned with computing the meanings of linguistic objects such as sentences, text fragments, and dialogue contributions. As such it is the interdisciplinary child of semantics, the study of meaning and its linguistic encoding, and computational linguistics, the discipline that is concerned with computations on linguistic objects. From one parent computational semantics inherits concepts and techniques that have been developed under the banner of formal (or model-theoretic) semantics. This blend of logic and linguistics applies the methods of logic to the description of meaning. From the other parent the young discipline inherits methods and techniques for parsing sentences, for effective and efficient representation of syntactic structure and logical form, and for reasoning with semantic information. Computational semantics integrates and further develops these methods, concepts and techniques. This book is a collection of papers written by outstanding researchers in the newly emerging field of computational semantics. It is aimed at those linguists, computer scientists, and logicians who want to know more about the algorithmic realisation of meaning in natural language and about what is happening in this field of research. There is a general introduction by the editors

Computational Semantics -- On Semantic Underspecification -- Dynamic and Underspecified Interpretation without Dynamic or Underspecified Logic -- Labeled Representations, Underspecification and Disambiguation -- Underspecified Semantics in HPSG -- Minimum Description Length and Compositionality -- How to Glue a Donkey to an f-Structure: Porting a โDynamicโ Meaning Representation Language into LFGโs Linear Logic Glue-Language Semantics -- Vague Utterances and Context Change -- Using Situations to Reason about the Interpretation of Speech Events -- Simulative Inference in a Computational Model of Belief -- Indefinites as Epsilon Terms: A Labelled Deduction Account -- Dynamic Skolemization -- Semantically-based Ellipsis Resolution with Syntactic Presuppositions -- Presupposition Projection as Proof Construction -- Dynamic Discourse Referents for Tense and Modals -- Linking Theory and Lexical Ambiguity: The Case of Italian Motion Verbs -- A Disambiguation Approach for German Compounds with Deverbal Head

1. Linguistics
2. Logic
3. Artificial intelligence
4. Computational linguistics
5. Semantics
6. Linguistics
7. Semantics
8. Language Translation and Linguistics
9. Computational Linguistics
10. Logic
11. Artificial Intelligence (incl. Robotics)