Knowledge base system in a logic programming paradigm:
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. I...
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Tokyo, Japan
1988
|
| Series: | Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical memorandum
617 |
| Subjects: | |
| Summary: | 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." |
| Physical Description: | 22 S. graph. Darst. |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV010969918 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 960924s1988 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 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-007339676 | ||
Record in the Search Index
| _version_ | 1804125457803640832 |
|---|---|
| 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>01692nam 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 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="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-007339676</subfield></datafield></record></collection> |
| id | DE-604.BV010969918 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T18:01:52Z |
| 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 |
| spelling | Itoh, Hidenori Verfasser aut Knowledge base system in a logic programming paradigm by H. Itoh, H. Monoi and H. Seki Tokyo, Japan 1988 22 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical memorandum 617 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." Logic programming Parallel processing (Electronic computers) Monoi, Hidetoshi Verfasser aut Seki, Hirohisa Verfasser aut Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical memorandum 617 (DE-604)BV010943497 617 |
| 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 |