A Modified Completeness Theorem of KAT and Decidability of Term Reducibility.

Published in: RAMiCS (2014)

Keyphrases

description logics
weighting factor
query answering
von neumann
database
information systems
database systems
co occurrence
information retrieval systems