Epistemic Foundation of the Well-Founded Semantics over Bilattices (Contributo in atti di convegno)

Type
Label
  • Epistemic Foundation of the Well-Founded Semantics over Bilattices (Contributo in atti di convegno) (literal)
Anno
  • 2004-01-01T00:00:00+01:00 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#doi
  • 10.1007/978-3-540-28629-5_39 (literal)
Alternative label
  • Straccia, Umberto (2004)
    Epistemic Foundation of the Well-Founded Semantics over Bilattices
    in Mathematical Foundations of Computer Science 2004, 29th International Symposium
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
  • Straccia, Umberto (literal)
Pagina inizio
  • 513 (literal)
Pagina fine
  • 524 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#url
  • http://link.springer.com/chapter/10.1007%2F978-3-540-28629-5_39 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#volumeInCollana
  • 3153 (literal)
Note
  • ISI Web of Science (WOS) (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni
  • ISTI-CNR (literal)
Titolo
  • Epistemic Foundation of the Well-Founded Semantics over Bilattices (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#isbn
  • 978-3-540-22823-3 (literal)
Abstract
  • We define new, both model-theoretical and fixpoint-based, characterizations of the well-founded semantics for logic programs in the general setting of bilattices. This work lights the role of the CWA, used in the well-founded semantics as a carrier of falsehood, and shows that the definition of that semantics does not require any separation of positive and negative information nor any program transformation. (literal)
Prodotto di
Autore CNR

Incoming links:


Autore CNR di
Prodotto
data.CNR.it