Compositional model-theoretic semantics for logic programs:
Gespeichert in:
| Beteiligte Personen: | , , |
|---|---|
| Format: | Buch |
| Sprache: | Englisch |
| Veröffentlicht: |
Pisa
1991
|
| Schriftenreihe: | Università degli Studi <Pisa> / Dipartimento di Informatica: Technical report
1991,8 |
| Schlagwörter: | |
| Abstract: | Abstract: "A compositional model-theoretic semantics for logic programs is presented, where the composition of programs is modelled by the composition of the admissible Herbrand models of the programs. An Herbrand model is admissible if it is supported by the assumption of a set of hypotheses. On one hand, the hypotheses supporting a model correspond to an open interpretation of the program intended to capture possible compositions with other programs. On the other hand, admissible models provide a natural model-theory for a form of hypothetical reasoning, called abduction." |
| Umfang: | 17 S. |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV010844079 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t| | ||
| 008 | 960711s1991 xx |||| 00||| engod | ||
| 035 | |a (OCoLC)28227670 | ||
| 035 | |a (DE-599)BVBBV010844079 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91G | ||
| 100 | 1 | |a Brogi, Antonio |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Compositional model-theoretic semantics for logic programs |c A. Brogi ; E. Lamma ; P. Mello |
| 264 | 1 | |a Pisa |c 1991 | |
| 300 | |a 17 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Università degli Studi <Pisa> / Dipartimento di Informatica: Technical report |v 1991,8 | |
| 520 | 3 | |a Abstract: "A compositional model-theoretic semantics for logic programs is presented, where the composition of programs is modelled by the composition of the admissible Herbrand models of the programs. An Herbrand model is admissible if it is supported by the assumption of a set of hypotheses. On one hand, the hypotheses supporting a model correspond to an open interpretation of the program intended to capture possible compositions with other programs. On the other hand, admissible models provide a natural model-theory for a form of hypothetical reasoning, called abduction." | |
| 650 | 4 | |a Logic programming | |
| 700 | 1 | |a Lamma, Evelina |e Verfasser |4 aut | |
| 700 | 1 | |a Mello, Paola |e Verfasser |4 aut | |
| 810 | 2 | |a Dipartimento di Informatica: Technical report |t Università degli Studi <Pisa> |v 1991,8 |w (DE-604)BV010841375 |9 1991,8 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-007249239 | |
Datensatz im Suchindex
| DE-BY-TUM_call_number | 0111 2001 B 6106-1991,8 |
|---|---|
| DE-BY-TUM_katkey | 751819 |
| DE-BY-TUM_location | 01 |
| DE-BY-TUM_media_number | 040010271960 |
| _version_ | 1821931187520667648 |
| any_adam_object | |
| author | Brogi, Antonio Lamma, Evelina Mello, Paola |
| author_facet | Brogi, Antonio Lamma, Evelina Mello, Paola |
| author_role | aut aut aut |
| author_sort | Brogi, Antonio |
| author_variant | a b ab e l el p m pm |
| building | Verbundindex |
| bvnumber | BV010844079 |
| ctrlnum | (OCoLC)28227670 (DE-599)BVBBV010844079 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01621nam a2200313 cb4500</leader><controlfield tag="001">BV010844079</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">960711s1991 xx |||| 00||| engod</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)28227670</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010844079</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="049" ind1=" " ind2=" "><subfield code="a">DE-91G</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Brogi, Antonio</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Compositional model-theoretic semantics for logic programs</subfield><subfield code="c">A. Brogi ; E. Lamma ; P. Mello</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Pisa</subfield><subfield code="c">1991</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">17 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">Università degli Studi <Pisa> / Dipartimento di Informatica: Technical report</subfield><subfield code="v">1991,8</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Abstract: "A compositional model-theoretic semantics for logic programs is presented, where the composition of programs is modelled by the composition of the admissible Herbrand models of the programs. An Herbrand model is admissible if it is supported by the assumption of a set of hypotheses. On one hand, the hypotheses supporting a model correspond to an open interpretation of the program intended to capture possible compositions with other programs. On the other hand, admissible models provide a natural model-theory for a form of hypothetical reasoning, called abduction."</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic programming</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Lamma, Evelina</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Mello, Paola</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="810" ind1="2" ind2=" "><subfield code="a">Dipartimento di Informatica: Technical report</subfield><subfield code="t">Università degli Studi <Pisa></subfield><subfield code="v">1991,8</subfield><subfield code="w">(DE-604)BV010841375</subfield><subfield code="9">1991,8</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-007249239</subfield></datafield></record></collection> |
| id | DE-604.BV010844079 |
| illustrated | Not Illustrated |
| indexdate | 2024-12-20T10:01:48Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-007249239 |
| oclc_num | 28227670 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM |
| owner_facet | DE-91G DE-BY-TUM |
| physical | 17 S. |
| publishDate | 1991 |
| publishDateSearch | 1991 |
| publishDateSort | 1991 |
| record_format | marc |
| series2 | Università degli Studi <Pisa> / Dipartimento di Informatica: Technical report |
| spellingShingle | Brogi, Antonio Lamma, Evelina Mello, Paola Compositional model-theoretic semantics for logic programs Logic programming |
| title | Compositional model-theoretic semantics for logic programs |
| title_auth | Compositional model-theoretic semantics for logic programs |
| title_exact_search | Compositional model-theoretic semantics for logic programs |
| title_full | Compositional model-theoretic semantics for logic programs A. Brogi ; E. Lamma ; P. Mello |
| title_fullStr | Compositional model-theoretic semantics for logic programs A. Brogi ; E. Lamma ; P. Mello |
| title_full_unstemmed | Compositional model-theoretic semantics for logic programs A. Brogi ; E. Lamma ; P. Mello |
| title_short | Compositional model-theoretic semantics for logic programs |
| title_sort | compositional model theoretic semantics for logic programs |
| topic | Logic programming |
| topic_facet | Logic programming |
| volume_link | (DE-604)BV010841375 |
| work_keys_str_mv | AT brogiantonio compositionalmodeltheoreticsemanticsforlogicprograms AT lammaevelina compositionalmodeltheoreticsemanticsforlogicprograms AT mellopaola compositionalmodeltheoreticsemanticsforlogicprograms |
Paper/Kapitel scannen lassen
Teilbibliothek Mathematik & Informatik, Berichte
| Signatur: |
0111 2001 B 6106-1991,8
Lageplan |
|---|---|
| Exemplar 1 | Ausleihbar Am Standort |