Term Indexing
Download Term Indexing PDF/ePub or read online books in Mobi eBooks. Click Download or Read Online button to get Term Indexing book now. This website allows unlimited access to, at the time of writing, more than 1.5 million titles, including hundreds of thousands of titles in various foreign languages.
Term Indexing
Author: Peter Graf
language: en
Publisher: Springer Science & Business Media
Release Date: 1995
Term indexing supports the construction of efficient automated reasoning systems, as e.g. automated theorem provers, by allowing rapid access to first order predicate calculus terms with specific properties. This monograph provides a comprehensive, well-written survey on term indexing in general and presents new indexing techniques for the retrieval and maintenance of data that help to overcome program degradation in automated reasoning systems. Theoretical foundations and applicational aspects are treated in detail; finally the PURR prover for parallel unit resulting resolution is discussed to demonstrate the importance of careful implementations.
Natural Language and Information Systems
Author: Vijayan Sugumaran
language: en
Publisher: Springer Science & Business Media
Release Date: 2008-06-16
This book constitutes the refereed proceedings of the 13th International Conference on Applications of Natural Language to Information Systems, NLDB 2008, held in London, UK, in June 2008. The 31 revised full papers and 14 revised poster papers presented together with 3 invited talks and 4 papers of the NLDB 2008 doctoral symposium were carefully reviewed and selected from 82 submissions. The papers are organized in topical sections on natural language processing and understanding, conceptual modelling and ontologies, information retrieval, querying and question answering, document processing and text mining, software (requirements) engineering and specification.