Knowledge base system in a logic programming paradigm:
Gespeichert in:
| Beteiligte Personen: | , , |
|---|---|
| Format: | Buch |
| Sprache: | Englisch |
| Veröffentlicht: |
Tokyo, Japan
1988
|
| Schriftenreihe: | Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical memorandum
617 |
| Schlagwörter: | |
| Abstract: | Abstract: "This paper describes about the research and development status of the knowledge base system in logic programming and the parallel processing paradigms at the end of the intermediate stage. Our aim is to realize a prototype of the fifth generation computer system in the final stage. It will consist of a parallel inference subsystem and a knowledge base subsystem. In the final stage, these subsystems will be integrated into the prototype of the FGCS by using the parallel logic programming kernel language, Guarded Horn Clauses, or GHC defined in ICOT in 1985." |
| Umfang: | 22 S. graph. Darst. |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV010969918 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t| | ||
| 008 | 960924s1988 xx d||| |||| 00||| engod | ||
| 035 | |a (OCoLC)20977360 | ||
| 035 | |a (DE-599)BVBBV010969918 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91G | ||
| 100 | 1 | |a Itoh, Hidenori |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Knowledge base system in a logic programming paradigm |c by H. Itoh, H. Monoi and H. Seki |
| 264 | 1 | |a Tokyo, Japan |c 1988 | |
| 300 | |a 22 S. |b graph. Darst. | ||
| 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 memorandum |v 617 | |
| 520 | 3 | |a Abstract: "This paper describes about the research and development status of the knowledge base system in logic programming and the parallel processing paradigms at the end of the intermediate stage. Our aim is to realize a prototype of the fifth generation computer system in the final stage. It will consist of a parallel inference subsystem and a knowledge base subsystem. In the final stage, these subsystems will be integrated into the prototype of the FGCS by using the parallel logic programming kernel language, Guarded Horn Clauses, or GHC defined in ICOT in 1985." | |
| 650 | 4 | |a Logic programming | |
| 650 | 4 | |a Parallel processing (Electronic computers) | |
| 700 | 1 | |a Monoi, Hidetoshi |e Verfasser |4 aut | |
| 700 | 1 | |a Seki, Hirohisa |e Verfasser |4 aut | |
| 830 | 0 | |a Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical memorandum |v 617 |w (DE-604)BV010943497 |9 617 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-007339676 | |
Datensatz im Suchindex
| DE-BY-TUM_call_number | 0111 2001 B 6122-617 |
|---|---|
| DE-BY-TUM_katkey | 767202 |
| DE-BY-TUM_location | 01 |
| DE-BY-TUM_media_number | 040010304108 |
| _version_ | 1821938177073479680 |
| any_adam_object | |
| author | Itoh, Hidenori Monoi, Hidetoshi Seki, Hirohisa |
| author_facet | Itoh, Hidenori Monoi, Hidetoshi Seki, Hirohisa |
| author_role | aut aut aut |
| author_sort | Itoh, Hidenori |
| author_variant | h i hi h m hm h s hs |
| building | Verbundindex |
| bvnumber | BV010969918 |
| ctrlnum | (OCoLC)20977360 (DE-599)BVBBV010969918 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01693nam a2200325 cb4500</leader><controlfield tag="001">BV010969918</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">960924s1988 xx d||| |||| 00||| engod</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)20977360</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010969918</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">Itoh, Hidenori</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Knowledge base system in a logic programming paradigm</subfield><subfield code="c">by H. Itoh, H. Monoi and H. Seki</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Tokyo, Japan</subfield><subfield code="c">1988</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">22 S.</subfield><subfield code="b">graph. Darst.</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 memorandum</subfield><subfield code="v">617</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Abstract: "This paper describes about the research and development status of the knowledge base system in logic programming and the parallel processing paradigms at the end of the intermediate stage. Our aim is to realize a prototype of the fifth generation computer system in the final stage. It will consist of a parallel inference subsystem and a knowledge base subsystem. In the final stage, these subsystems will be integrated into the prototype of the FGCS by using the parallel logic programming kernel language, Guarded Horn Clauses, or GHC defined in ICOT in 1985."</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic programming</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Parallel processing (Electronic computers)</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Monoi, Hidetoshi</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Seki, Hirohisa</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical memorandum</subfield><subfield code="v">617</subfield><subfield code="w">(DE-604)BV010943497</subfield><subfield code="9">617</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-007339676</subfield></datafield></record></collection> |
| id | DE-604.BV010969918 |
| illustrated | Illustrated |
| indexdate | 2024-12-20T10:04:03Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-007339676 |
| oclc_num | 20977360 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM |
| owner_facet | DE-91G DE-BY-TUM |
| physical | 22 S. graph. Darst. |
| publishDate | 1988 |
| publishDateSearch | 1988 |
| publishDateSort | 1988 |
| record_format | marc |
| series | Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical memorandum |
| series2 | Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical memorandum |
| spellingShingle | Itoh, Hidenori Monoi, Hidetoshi Seki, Hirohisa Knowledge base system in a logic programming paradigm Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical memorandum Logic programming Parallel processing (Electronic computers) |
| title | Knowledge base system in a logic programming paradigm |
| title_auth | Knowledge base system in a logic programming paradigm |
| title_exact_search | Knowledge base system in a logic programming paradigm |
| title_full | Knowledge base system in a logic programming paradigm by H. Itoh, H. Monoi and H. Seki |
| title_fullStr | Knowledge base system in a logic programming paradigm by H. Itoh, H. Monoi and H. Seki |
| title_full_unstemmed | Knowledge base system in a logic programming paradigm by H. Itoh, H. Monoi and H. Seki |
| title_short | Knowledge base system in a logic programming paradigm |
| title_sort | knowledge base system in a logic programming paradigm |
| topic | Logic programming Parallel processing (Electronic computers) |
| topic_facet | Logic programming Parallel processing (Electronic computers) |
| volume_link | (DE-604)BV010943497 |
| work_keys_str_mv | AT itohhidenori knowledgebasesysteminalogicprogrammingparadigm AT monoihidetoshi knowledgebasesysteminalogicprogrammingparadigm AT sekihirohisa knowledgebasesysteminalogicprogrammingparadigm |
Paper/Kapitel scannen lassen
Teilbibliothek Mathematik & Informatik, Berichte
| Signatur: |
0111 2001 B 6122-617 Lageplan |
|---|---|
| Exemplar 1 | Ausleihbar Am Standort |