EUODHILOS, interactive reasoning system for a variety of logics:
Abstract: "EUODHILOS is the reasoning assistant system with two characteristic features. One is its "naturality," which indicates that users can see and manipulate proof fragments interactively in a natural style as is used on paper with pencil when they reason on sheets of thought wh...
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Tokyo, Japan
1989
|
| Series: | Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical memorandum
810 |
| Subjects: | |
| Summary: | Abstract: "EUODHILOS is the reasoning assistant system with two characteristic features. One is its "naturality," which indicates that users can see and manipulate proof fragments interactively in a natural style as is used on paper with pencil when they reason on sheets of thought which is a proof supporting environment in EUODHILOS. The other one is its "generality," which means that EUODHILOS is logic-independent in the sense the language and logic to be used are defined by its user. We will see the overview of the system and comparisons to related works." |
| Physical Description: | 6 S. |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV010972277 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 960926s1989 |||| 00||| engod | ||
| 035 | |a (OCoLC)23158989 | ||
| 035 | |a (DE-599)BVBBV010972277 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91G | ||
| 100 | 1 | |a Minami, Toshiro |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a EUODHILOS, interactive reasoning system for a variety of logics |c by T. Minami & H. Sawamura |
| 264 | 1 | |a Tokyo, Japan |c 1989 | |
| 300 | |a 6 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 memorandum |v 810 | |
| 520 | 3 | |a Abstract: "EUODHILOS is the reasoning assistant system with two characteristic features. One is its "naturality," which indicates that users can see and manipulate proof fragments interactively in a natural style as is used on paper with pencil when they reason on sheets of thought which is a proof supporting environment in EUODHILOS. The other one is its "generality," which means that EUODHILOS is logic-independent in the sense the language and logic to be used are defined by its user. We will see the overview of the system and comparisons to related works." | |
| 650 | 4 | |a Künstliche Intelligenz | |
| 650 | 4 | |a Artificial intelligence | |
| 650 | 4 | |a Logic | |
| 650 | 4 | |a Reasoning | |
| 700 | 1 | |a Sawamura, Hajime |e Verfasser |4 aut | |
| 830 | 0 | |a Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical memorandum |v 810 |w (DE-604)BV010943497 |9 810 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-007341741 | ||
Record in the Search Index
| _version_ | 1804125460405157888 |
|---|---|
| any_adam_object | |
| author | Minami, Toshiro Sawamura, Hajime |
| author_facet | Minami, Toshiro Sawamura, Hajime |
| author_role | aut aut |
| author_sort | Minami, Toshiro |
| author_variant | t m tm h s hs |
| building | Verbundindex |
| bvnumber | BV010972277 |
| ctrlnum | (OCoLC)23158989 (DE-599)BVBBV010972277 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01660nam a2200337 cb4500</leader><controlfield tag="001">BV010972277</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">960926s1989 |||| 00||| engod</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)23158989</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010972277</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">Minami, Toshiro</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">EUODHILOS, interactive reasoning system for a variety of logics</subfield><subfield code="c">by T. Minami & H. Sawamura</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Tokyo, Japan</subfield><subfield code="c">1989</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">6 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 memorandum</subfield><subfield code="v">810</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Abstract: "EUODHILOS is the reasoning assistant system with two characteristic features. One is its "naturality," which indicates that users can see and manipulate proof fragments interactively in a natural style as is used on paper with pencil when they reason on sheets of thought which is a proof supporting environment in EUODHILOS. The other one is its "generality," which means that EUODHILOS is logic-independent in the sense the language and logic to be used are defined by its user. We will see the overview of the system and comparisons to related works."</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Künstliche Intelligenz</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Artificial intelligence</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Reasoning</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Sawamura, Hajime</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">810</subfield><subfield code="w">(DE-604)BV010943497</subfield><subfield code="9">810</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-007341741</subfield></datafield></record></collection> |
| id | DE-604.BV010972277 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T18:01:55Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-007341741 |
| oclc_num | 23158989 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM |
| owner_facet | DE-91G DE-BY-TUM |
| physical | 6 S. |
| publishDate | 1989 |
| publishDateSearch | 1989 |
| publishDateSort | 1989 |
| 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 | Minami, Toshiro Verfasser aut EUODHILOS, interactive reasoning system for a variety of logics by T. Minami & H. Sawamura Tokyo, Japan 1989 6 S. txt rdacontent n rdamedia nc rdacarrier Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical memorandum 810 Abstract: "EUODHILOS is the reasoning assistant system with two characteristic features. One is its "naturality," which indicates that users can see and manipulate proof fragments interactively in a natural style as is used on paper with pencil when they reason on sheets of thought which is a proof supporting environment in EUODHILOS. The other one is its "generality," which means that EUODHILOS is logic-independent in the sense the language and logic to be used are defined by its user. We will see the overview of the system and comparisons to related works." Künstliche Intelligenz Artificial intelligence Logic Reasoning Sawamura, Hajime Verfasser aut Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical memorandum 810 (DE-604)BV010943497 810 |
| spellingShingle | Minami, Toshiro Sawamura, Hajime EUODHILOS, interactive reasoning system for a variety of logics Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical memorandum Künstliche Intelligenz Artificial intelligence Logic Reasoning |
| title | EUODHILOS, interactive reasoning system for a variety of logics |
| title_auth | EUODHILOS, interactive reasoning system for a variety of logics |
| title_exact_search | EUODHILOS, interactive reasoning system for a variety of logics |
| title_full | EUODHILOS, interactive reasoning system for a variety of logics by T. Minami & H. Sawamura |
| title_fullStr | EUODHILOS, interactive reasoning system for a variety of logics by T. Minami & H. Sawamura |
| title_full_unstemmed | EUODHILOS, interactive reasoning system for a variety of logics by T. Minami & H. Sawamura |
| title_short | EUODHILOS, interactive reasoning system for a variety of logics |
| title_sort | euodhilos interactive reasoning system for a variety of logics |
| topic | Künstliche Intelligenz Artificial intelligence Logic Reasoning |
| topic_facet | Künstliche Intelligenz Artificial intelligence Logic Reasoning |
| volume_link | (DE-604)BV010943497 |
| work_keys_str_mv | AT minamitoshiro euodhilosinteractivereasoningsystemforavarietyoflogics AT sawamurahajime euodhilosinteractivereasoningsystemforavarietyoflogics |