𝔖 Bobbio Scriptorium
✦   LIBER   ✦

The first computers—History and architectures: Edited by Raúl Rojas and Ulf Hashagen. The MIT Press, Cambridge, MA. (2000). 457 pages. $39.95


Publisher
Elsevier Science
Year
2001
Tongue
English
Weight
106 KB
Volume
41
Category
Article
ISSN
0898-1221

No coin nor oath required. For personal study only.

✦ Synopsis


BOOK REPORTS 537 1. Natural language is a powerful knowledge representation system: The UNO model (Lucia M. Iwafiska). 2. Natural language syntax and first order inference (David A. McAllester and Robert Givan). 3. Issues in the representation of real texts: The design of KPdSP (David D. McDonald). 4. Episodic logic meets Little Red Riding Hood--A comprehensive natural representation for language understanding (Lenhart K. Schubert and Chung Hee Hwang). 5. SNePS: A logic for natural language understanding and commonsense reasoning (Stuart C. Shapiro). II. Knowledge representation and acquisition for large-scale, general-purpose natural language processing systems. Section introduction (Lucja M. Iwafiska and Stuart C. Shapiro). 6. A multi-level approach to interlingual machine translation: Defining the interface between representational languages (Bonnie J. Dorr and Clare R. Voss). 7. Uniform natural (language) spatio-temporal logic: Reasoning about absolute and relative space and time (Lucja M. Iwafiska). 8. Mixed depth representations for dialog processing (Susan W. McRoy, Syed S. All and Susan M. Haller). 9. Enriching the WordNet taxonomy with contextual knowledge acquired from text (Sanda M, Harabagiu and Dan I. Moldovan). 10. Fully automatic acquisition of taxonomic knowledge from large corpora of texts: Limited syntax knowledge representation system based on natural language (Lucja M. Iwafiska, Naveen Mata and Kellyn Kruger). 11. A computational theory of vocabulary acquisition (William J. Rapaport and Karen Ehrlich). Appendices. Appendix A. Propositional, first-order, and higher-order logics (Stuart C. Shapiro). Appendix B. Relations, lattices, algebras, generalized quantifier: Definitions and theorems (Lucia M. Iwafiska). Appendix C. Representational and inferential challenges of natural language: Examples and data (Lucja M. Iwafiska). Bibliography. Index.