http://www.cnr.it/ontology/cnr/individuo/prodotto/ID226998
A relevance terminological logic for information retrieval (Contributo in atti di convegno)
- Type
- Label
- A relevance terminological logic for information retrieval (Contributo in atti di convegno) (literal)
- Anno
- 1996-01-01T00:00:00+01:00 (literal)
- Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#doi
- 10.1145/243199.243267 (literal)
- Alternative label
Meghini, Carlo; Straccia, Umberto (1996)
A relevance terminological logic for information retrieval
in Proceedings of the 19th annual international ACM SIGIR conference on Research and development in information retrieval
(literal)
- Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
- Meghini, Carlo; Straccia, Umberto (literal)
- Pagina inizio
- Pagina fine
- Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#url
- http://dl.acm.org/citation.cfm?doid=243199.243267 (literal)
- Note
- DBLP (literal)
- ISI Web of Science (WOS) (literal)
- Google Scholar (literal)
- Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni
- Titolo
- A relevance terminological logic for information retrieval (literal)
- Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#isbn
- Abstract
- A Terminological Logic is presented as an information retrieval model, with a four-valued semantics that gives to its inference relation the avour of relevance, that is a strict connection in meaning between the premises and the conclusion of the arguments licensed by the logic. The logic also permits the expression of meta-knowledge enforcing a closed-world reading of the knowledge concerning specified individuals and primitive concepts. A Gentzen-style, sound and complete calculus for reasoning in the logic is given, thus establishing the basis for an information retrieval engine. (literal)
- Editore
- Prodotto di
- Autore CNR
Incoming links:
- Autore CNR di
- Prodotto
- Editore di