On fixed-points of multivalued functions on complete lattices and their application to generalized logic programs (Articolo in rivista)

Type

• Articolo in rivista (Classe)
• Prodotto della ricerca (Classe)

Label

• On fixed-points of multivalued functions on complete lattices and their application to generalized logic programs (Articolo in rivista) (literal)

Anno

• 2009-01-01T00:00:00+01:00 (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#doi

• 10.1137/070695976 (literal)

Alternative label

• Straccia U.; Ojeda-Aciego M.; Damasio C. V. (2009)
  On fixed-points of multivalued functions on complete lattices and their application to generalized logic programs
  in SIAM journal on computing (Print)
  (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori

• Straccia U.; Ojeda-Aciego M.; Damasio C. V. (literal)

Pagina inizio

• 1881 (literal)

Pagina fine

• 1911 (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#url

• http://epubs.siam.org/sicomp/resource/1/smjcat/v38/i5/p1881_s1 (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#numeroVolume

• 38 (literal)

Rivista

• SIAM journal on computing (Rivista)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#note

• In: Siam Journal on Computing, vol. 38 (5) pp. 1881 - 1911. SIAM - Society for Industrial and Applied Mathematics, 2009. (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#numeroFascicolo

• 5 (literal)

Note

• Scopu (literal)
• Google Scholar (literal)
• ISI Web of Science (WOS) (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni

• CNR-ISTI, Pisa, Departamento de Matematica Aplicada, Universidad de Malaga, Spain, Departamento de Informatica, Universidade Nova de Lisboa, Portugal (literal)

Titolo

• On fixed-points of multivalued functions on complete lattices and their application to generalized logic programs (literal)

Abstract

• Unlike monotone single-valued functions, multivalued mappings may have zero, one, or (possibly infinitely) many minimal fixed-points. The contribution of this work is twofold. First, we overview and investigate the existence and computation of minimal fixed-points of multivalued mappings, whose domain is a complete lattice and whose range is its power set. Second, we show how these results are applied to a general form of logic programs, where the truth space is a complete lattice. We show that a multivalued operator can be defined whose fixed-points are in one-to-one correspondence with the models of the logic program. (literal)

Prodotto di

• Istituto di scienza e tecnologie dell'informazione \"Alessandro Faedo\" (ISTI) (Istituto)
• Digital Libraries (ICT.P08.010.002) (Modulo)

Autore CNR

• UMBERTO STRACCIA (Persona)

Insieme di parole chiave

• Parole chiave di "On fixed-points of multivalued functions on complete lattices and their application to generalized logic programs" (Insieme di parole chiave)

Incoming links:

Autore CNR di

• UMBERTO STRACCIA (Persona)

Prodotto

• Istituto di scienza e tecnologie dell'informazione \"Alessandro Faedo\" (ISTI) (Istituto)
• Digital Libraries (ICT.P08.010.002) (Modulo)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#rivistaDi

• SIAM journal on computing (Rivista)

Insieme di parole chiave di

• Parole chiave di "On fixed-points of multivalued functions on complete lattices and their application to generalized logic programs" (Insieme di parole chiave)