Logic program synthesis from first order logic specifications
Abstract: "In this paper, a logic program synthesis method from first order logic specifications is described. The specifications are described by Horn clauses extended by universally quantified implicational formulae. Those formulae are transformed into definite clause programs by meaning-pres...
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Tokyo, Japan
1992
|
| Schriftenreihe: | Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report
749 |
| Schlagworte: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV010958065 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 960919s1992 |||| 00||| engod | ||
| 035 | |a (OCoLC)27807764 | ||
| 035 | |a (DE-599)BVBBV010958065 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91G | ||
| 100 | 1 | |a Kawamura, Tadashi |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Logic program synthesis from first order logic specifications |c by T. Kawamura |
| 264 | 1 | |a Tokyo, Japan |c 1992 | |
| 300 | |a 17 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report |v 749 | |
| 520 | 3 | |a Abstract: "In this paper, a logic program synthesis method from first order logic specifications is described. The specifications are described by Horn clauses extended by universally quantified implicational formulae. Those formulae are transformed into definite clause programs by meaning-preserving unfold/fold transformation. We show some classes of first order formulae which can be successfully transformed into definite clauses automatically by unfold/fold transformation." | |
| 650 | 4 | |a Logic programming | |
| 830 | 0 | |a Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report |v 749 |w (DE-604)BV010923438 |9 749 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-007330002 | ||
Datensatz im Suchindex
| DE-BY-TUM_call_number | 0111/2001 B 6123-749 |
|---|---|
| DE-BY-TUM_katkey | 766544 |
| DE-BY-TUM_media_number | 040010279833 |
| _version_ | 1816711745246330881 |
| any_adam_object | |
| author | Kawamura, Tadashi |
| author_facet | Kawamura, Tadashi |
| author_role | aut |
| author_sort | Kawamura, Tadashi |
| author_variant | t k tk |
| building | Verbundindex |
| bvnumber | BV010958065 |
| ctrlnum | (OCoLC)27807764 (DE-599)BVBBV010958065 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01413nam a2200289 cb4500</leader><controlfield tag="001">BV010958065</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">960919s1992 |||| 00||| engod</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)27807764</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010958065</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">Kawamura, Tadashi</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Logic program synthesis from first order logic specifications</subfield><subfield code="c">by T. Kawamura</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Tokyo, Japan</subfield><subfield code="c">1992</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">Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report</subfield><subfield code="v">749</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Abstract: "In this paper, a logic program synthesis method from first order logic specifications is described. The specifications are described by Horn clauses extended by universally quantified implicational formulae. Those formulae are transformed into definite clause programs by meaning-preserving unfold/fold transformation. We show some classes of first order formulae which can be successfully transformed into definite clauses automatically by unfold/fold transformation."</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic programming</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report</subfield><subfield code="v">749</subfield><subfield code="w">(DE-604)BV010923438</subfield><subfield code="9">749</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-007330002</subfield></datafield></record></collection> |
| id | DE-604.BV010958065 |
| illustrated | Not Illustrated |
| indexdate | 2024-11-25T17:14:19Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-007330002 |
| oclc_num | 27807764 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM |
| owner_facet | DE-91G DE-BY-TUM |
| physical | 17 S. |
| publishDate | 1992 |
| publishDateSearch | 1992 |
| publishDateSort | 1992 |
| record_format | marc |
| series | Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report |
| series2 | Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report |
| spellingShingle | Kawamura, Tadashi Logic program synthesis from first order logic specifications Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report Logic programming |
| title | Logic program synthesis from first order logic specifications |
| title_auth | Logic program synthesis from first order logic specifications |
| title_exact_search | Logic program synthesis from first order logic specifications |
| title_full | Logic program synthesis from first order logic specifications by T. Kawamura |
| title_fullStr | Logic program synthesis from first order logic specifications by T. Kawamura |
| title_full_unstemmed | Logic program synthesis from first order logic specifications by T. Kawamura |
| title_short | Logic program synthesis from first order logic specifications |
| title_sort | logic program synthesis from first order logic specifications |
| topic | Logic programming |
| topic_facet | Logic programming |
| volume_link | (DE-604)BV010923438 |
| work_keys_str_mv | AT kawamuratadashi logicprogramsynthesisfromfirstorderlogicspecifications |