Query answering in normal logic programs under uncertainty (Contributo in atti di convegno)

Type
Label
  • Query answering in normal logic programs under uncertainty (Contributo in atti di convegno) (literal)
Anno
  • 2005-01-01T00:00:00+01:00 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#doi
  • 10.1007/11518655_58 (literal)
Alternative label
  • Straccia U. (2005)
    Query answering in normal logic programs under uncertainty
    in 8th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
  • Straccia U. (literal)
Pagina inizio
  • 687 (literal)
Pagina fine
  • 700 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#url
  • http://link.springer.com/chapter/10.1007%2F11518655_58 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#volumeInCollana
  • 3571 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#note
  • 8th European Conferences on Symbolic and Quantitative Approaches to Reasoning with Uncertainty. ECSQARU-05 (Barcellona, Spain, July). Proceedings. Springer Verlag, 2005. (literal)
Note
  • ISI Web of Science (WOS) (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni
  • ISTI-CNR (literal)
Titolo
  • Query answering in normal logic programs under uncertainty (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#isbn
  • 978-3-540-27326-4 (literal)
Abstract
  • We present a simple, yet general top-down query answering procedure for normal logic programs over lattices and bilattices, where functions may appear in the rule bodies. Its interest relies on the fact that many approaches to paraconsistency and uncertainty in logic programs with or without non-monotonic negation are based on bilattices or lattices, respectively. (literal)
Prodotto di
Autore CNR
Insieme di parole chiave

Incoming links:


Autore CNR di
Prodotto
Insieme di parole chiave di
data.CNR.it