A many-sorted theory proposal for information retrieval : axiomatization and semantics
| dc.contributor.author | Zerarga, Loutfi | |
| dc.contributor.author | Djouadi, Yassine | |
| dc.date.accessioned | 2018-01-22T07:45:00Z | |
| dc.date.available | 2018-01-22T07:45:00Z | |
| dc.date.issued | 2017 | |
| dc.identifier.issn | 0219-1377 | |
| dc.identifier.uri | https://dspace.univ-boumerdes.dz/handle/123456789/4364 | |
| dc.language.iso | en | en_US |
| dc.publisher | Springer | en_US |
| dc.relation.ispartofseries | Knowledge and Information Systems/ (2017);pp. 1-27 | |
| dc.subject | Information retrieval | en_US |
| dc.subject | Axiomatic theory | en_US |
| dc.subject | Many-sorted first-order logic | en_US |
| dc.subject | Boolean model | en_US |
| dc.subject | Vector space model | en_US |
| dc.subject | Formal concept analysis | en_US |
| dc.title | A many-sorted theory proposal for information retrieval : axiomatization and semantics | en_US |
| dc.type | Article | en_US |
