ENGLISH

Term Indexing

By J. Bentley (auth.) , Peter Graf (eds.)

Book information

Publisher
Springer-Verlag Berlin Heidelberg
Year
1995
ISBN
978-3-540-61040-3, 978-3-540-49873-5
DOI
10.1007/3-540-61040-5
Language
english
Format
PDF
Filesize
4 MB (4167346 bytes)
Series
Lecture Notes in Computer Science 1053
Edition
1
Pages
294\291
Orientation
yes
Scanned
yes
Time added
2013-08-01 04:00:00
Artificial Intelligence (incl. Robotics); Mathemat

Description

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.

Similar books