THE ANATOMY OF VAMPIRE

• We present an implementation technique for a class of bottom-up logic procedures. The technique is based on code trees. It is intended to speed up most important and costly operations, such as subsumption and resolution. As an example, we consider the for

Nyckelord

BOTTOM-UP ALGORITHMS; INDEXING; SUBSUMPTION; OTTERS; VAMPIRES; LOGIC

Publikations- och innehållstyp

vet (ämneskategori)

art (ämneskategori)