Transformation rules for locally stratified constraint logic programs (Articolo in rivista)

Type
Label
  • Transformation rules for locally stratified constraint logic programs (Articolo in rivista) (literal)
Anno
  • 2004-01-01T00:00:00+01:00 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#doi
  • 10.1007/978-3-540-25951-0_10 (literal)
Alternative label
  • Fioravanti, F.; Pettorossi, A.; Proietti, M. (2004)
    Transformation rules for locally stratified constraint logic programs
    in Lecture notes in computer science
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
  • Fioravanti, F.; Pettorossi, A.; Proietti, M. (literal)
Pagina inizio
  • 77 (literal)
Pagina fine
  • 89 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#numeroVolume
  • 3049 (literal)
Rivista
Note
  • ISI Web of Science (WOS) (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni
  • Pettorossi, A. DISP, Università Tor Vergata, Roma (literal)
Titolo
  • Transformation rules for locally stratified constraint logic programs (literal)
Abstract
  • We propose a set of transformation rules for constraint logic programs with negation. We assume that every program is locally stratified and, thus, it has a unique perfect model. We give sufficient conditions which ensure that the proposed set of transformation rules preserves the perfect model of the programs. Our rules extend in some respects the rules for logic programs and constraint logic programs already considered in the literature and, in particular, they include a rule for unfolding a clause with respect to a negative literal (literal)
Prodotto di
Autore CNR

Incoming links:


Autore CNR di
Prodotto
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#rivistaDi
data.CNR.it