A Simple Top-Down Query Answering Procedure for Many-Valued Logic Programming (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali)

Type
Label
  • A Simple Top-Down Query Answering Procedure for Many-Valued Logic Programming (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (literal)
Anno
  • 2006-01-01T00:00:00+01:00 (literal)
Alternative label
  • Straccia U. (2006)
    A Simple Top-Down Query Answering Procedure for Many-Valued Logic Programming
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
  • Straccia U. (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#note
  • Technical report (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#descrizioneSinteticaDelProdotto
  • ABSTRACT: We present a simple, yet general top-down query answering procedure for many-valued logic programming, which allow to deal with imprecision and some forms of uncertainty. The main features of the logic are: ii{i} the truth values are taken from a complete lattice; ii{ii} computable functions may appear in the rule bodies to manipulate truth values. To answer queries, we provide a novel and simple tabling-like top-down procedure. (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#supporto
  • Altro (literal)
Titolo
  • A Simple Top-Down Query Answering Procedure for Many-Valued Logic Programming (literal)
Prodotto di
Insieme di parole chiave

Incoming links:


Prodotto
Insieme di parole chiave di
data.CNR.it