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
  • 197 (literal)
Pagina fine
  • 205 (literal)
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
  • ISTI-CNR (literal)
Titolo
  • A relevance terminological logic for information retrieval (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#isbn
  • 0-89791-792-8 (literal)
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
data.CNR.it