Compositional model-theoretic semantics for logic programs:
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....
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Pisa
1991
|
| Series: | Università degli Studi <Pisa> / Dipartimento di Informatica: Technical report
1991,8 |
| Subjects: | |
| Summary: | 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." |
| Physical Description: | 17 S. |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV010844079 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 960711s1991 |||| 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 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-007249239 | ||
Record in the Search Index
| _version_ | 1804125332030095360 |
|---|---|
| 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>01620nam 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 |||| 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="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-007249239</subfield></datafield></record></collection> |
| id | DE-604.BV010844079 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T17:59:52Z |
| 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 |
| spelling | Brogi, Antonio Verfasser aut Compositional model-theoretic semantics for logic programs A. Brogi ; E. Lamma ; P. Mello Pisa 1991 17 S. txt rdacontent n rdamedia nc rdacarrier Università degli Studi <Pisa> / Dipartimento di Informatica: Technical report 1991,8 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." Logic programming Lamma, Evelina Verfasser aut Mello, Paola Verfasser aut Dipartimento di Informatica: Technical report Università degli Studi <Pisa> 1991,8 (DE-604)BV010841375 1991,8 |
| 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 |