A many-sorted theory proposal for information retrieval : axiomatization and semantics
No Thumbnail Available
Date
2017
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Springer
Abstract
Description
Keywords
Information retrieval, Axiomatic theory, Many-sorted first-order logic, Boolean model, Vector space model, Formal concept analysis