Simultaneous replacement in normal programs:
Abstract: "The simultaneous replacement transformation operation, is here defined and studied wrt normal programs. We give applicability conditions able to ensure the correctness of the operation wrt the set of logical consequences of the completed database. We consider separately the cases in...
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Amsterdam
1993
|
| Series: | Centrum voor Wiskunde en Informatica <Amsterdam> / Department of Computer Science: Report CS
93,57 |
| Subjects: | |
| Summary: | Abstract: "The simultaneous replacement transformation operation, is here defined and studied wrt normal programs. We give applicability conditions able to ensure the correctness of the operation wrt the set of logical consequences of the completed database. We consider separately the cases in which the underlying language is infinite and finite; in this latter case we also distinguish according to the kind of domain closure axioms adopted. As corollaries we obtain results for Fitting's and Kunen's semantics. We also show how simultaneous replacement can mimic other transformation operations such as thinning, fattening and folding, thus producing applicability conditions for them too." |
| Physical Description: | 34 S. |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV010176774 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 950510s1993 |||| 00||| engod | ||
| 035 | |a (OCoLC)31911799 | ||
| 035 | |a (DE-599)BVBBV010176774 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 100 | 1 | |a Bossi, Annalisa |d 1948- |e Verfasser |0 (DE-588)122034961 |4 aut | |
| 245 | 1 | 0 | |a Simultaneous replacement in normal programs |c A. Bossi ; N. Cocco ; S. Etalle |
| 264 | 1 | |a Amsterdam |c 1993 | |
| 300 | |a 34 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Centrum voor Wiskunde en Informatica <Amsterdam> / Department of Computer Science: Report CS |v 93,57 | |
| 520 | 3 | |a Abstract: "The simultaneous replacement transformation operation, is here defined and studied wrt normal programs. We give applicability conditions able to ensure the correctness of the operation wrt the set of logical consequences of the completed database. We consider separately the cases in which the underlying language is infinite and finite; in this latter case we also distinguish according to the kind of domain closure axioms adopted. As corollaries we obtain results for Fitting's and Kunen's semantics. We also show how simultaneous replacement can mimic other transformation operations such as thinning, fattening and folding, thus producing applicability conditions for them too." | |
| 650 | 4 | |a Logic programming | |
| 700 | 1 | |a Cocco, Nicoletta |e Verfasser |4 aut | |
| 700 | 1 | |a Etalle, Sandro |e Verfasser |4 aut | |
| 810 | 2 | |a Department of Computer Science: Report CS |t Centrum voor Wiskunde en Informatica <Amsterdam> |v 93,57 |w (DE-604)BV008928356 |9 93,57 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-006759414 | ||
Record in the Search Index
| _version_ | 1804124574387798016 |
|---|---|
| any_adam_object | |
| author | Bossi, Annalisa 1948- Cocco, Nicoletta Etalle, Sandro |
| author_GND | (DE-588)122034961 |
| author_facet | Bossi, Annalisa 1948- Cocco, Nicoletta Etalle, Sandro |
| author_role | aut aut aut |
| author_sort | Bossi, Annalisa 1948- |
| author_variant | a b ab n c nc s e se |
| building | Verbundindex |
| bvnumber | BV010176774 |
| ctrlnum | (OCoLC)31911799 (DE-599)BVBBV010176774 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01757nam a2200301 cb4500</leader><controlfield tag="001">BV010176774</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">950510s1993 |||| 00||| engod</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)31911799</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010176774</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Bossi, Annalisa</subfield><subfield code="d">1948-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)122034961</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Simultaneous replacement in normal programs</subfield><subfield code="c">A. Bossi ; N. Cocco ; S. Etalle</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam</subfield><subfield code="c">1993</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">34 S.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Centrum voor Wiskunde en Informatica <Amsterdam> / Department of Computer Science: Report CS</subfield><subfield code="v">93,57</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Abstract: "The simultaneous replacement transformation operation, is here defined and studied wrt normal programs. We give applicability conditions able to ensure the correctness of the operation wrt the set of logical consequences of the completed database. We consider separately the cases in which the underlying language is infinite and finite; in this latter case we also distinguish according to the kind of domain closure axioms adopted. As corollaries we obtain results for Fitting's and Kunen's semantics. We also show how simultaneous replacement can mimic other transformation operations such as thinning, fattening and folding, thus producing applicability conditions for them too."</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic programming</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Cocco, Nicoletta</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Etalle, Sandro</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="810" ind1="2" ind2=" "><subfield code="a">Department of Computer Science: Report CS</subfield><subfield code="t">Centrum voor Wiskunde en Informatica <Amsterdam></subfield><subfield code="v">93,57</subfield><subfield code="w">(DE-604)BV008928356</subfield><subfield code="9">93,57</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-006759414</subfield></datafield></record></collection> |
| id | DE-604.BV010176774 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T17:47:50Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006759414 |
| oclc_num | 31911799 |
| open_access_boolean | |
| physical | 34 S. |
| publishDate | 1993 |
| publishDateSearch | 1993 |
| publishDateSort | 1993 |
| record_format | marc |
| series2 | Centrum voor Wiskunde en Informatica <Amsterdam> / Department of Computer Science: Report CS |
| spelling | Bossi, Annalisa 1948- Verfasser (DE-588)122034961 aut Simultaneous replacement in normal programs A. Bossi ; N. Cocco ; S. Etalle Amsterdam 1993 34 S. txt rdacontent n rdamedia nc rdacarrier Centrum voor Wiskunde en Informatica <Amsterdam> / Department of Computer Science: Report CS 93,57 Abstract: "The simultaneous replacement transformation operation, is here defined and studied wrt normal programs. We give applicability conditions able to ensure the correctness of the operation wrt the set of logical consequences of the completed database. We consider separately the cases in which the underlying language is infinite and finite; in this latter case we also distinguish according to the kind of domain closure axioms adopted. As corollaries we obtain results for Fitting's and Kunen's semantics. We also show how simultaneous replacement can mimic other transformation operations such as thinning, fattening and folding, thus producing applicability conditions for them too." Logic programming Cocco, Nicoletta Verfasser aut Etalle, Sandro Verfasser aut Department of Computer Science: Report CS Centrum voor Wiskunde en Informatica <Amsterdam> 93,57 (DE-604)BV008928356 93,57 |
| spellingShingle | Bossi, Annalisa 1948- Cocco, Nicoletta Etalle, Sandro Simultaneous replacement in normal programs Logic programming |
| title | Simultaneous replacement in normal programs |
| title_auth | Simultaneous replacement in normal programs |
| title_exact_search | Simultaneous replacement in normal programs |
| title_full | Simultaneous replacement in normal programs A. Bossi ; N. Cocco ; S. Etalle |
| title_fullStr | Simultaneous replacement in normal programs A. Bossi ; N. Cocco ; S. Etalle |
| title_full_unstemmed | Simultaneous replacement in normal programs A. Bossi ; N. Cocco ; S. Etalle |
| title_short | Simultaneous replacement in normal programs |
| title_sort | simultaneous replacement in normal programs |
| topic | Logic programming |
| topic_facet | Logic programming |
| volume_link | (DE-604)BV008928356 |
| work_keys_str_mv | AT bossiannalisa simultaneousreplacementinnormalprograms AT cocconicoletta simultaneousreplacementinnormalprograms AT etallesandro simultaneousreplacementinnormalprograms |