Reasoning and Unification over Conceptual Graphs:
Reasoning and Unification over Conceptual Graphs is an exploration of automated reasoning and resolution in the expanding field of Conceptual Structures. Designed not only for computing scientists researching Conceptual Graphs, but also for anyone interested in exploring the design of knowledge base...
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
New York, NY
Springer US
2003
|
| Ausgabe: | 1st ed. 2003 |
| Schlagworte: | |
| Online-Zugang: | UBY01 URL des Eerstveröffentlichers |
| Zusammenfassung: | Reasoning and Unification over Conceptual Graphs is an exploration of automated reasoning and resolution in the expanding field of Conceptual Structures. Designed not only for computing scientists researching Conceptual Graphs, but also for anyone interested in exploring the design of knowledge bases, the book explores what are proving to be the fundamental methods for representing semantic relations in knowledge bases. While it provides the first comprehensive treatment of Conceptual Graph unification and reasoning, the book also addresses fundamental issues of graph matching, automated reasoning, knowledge bases, constraints, ontology and design. With a large number of examples, illustrations, and both formal and informal definitions and discussions, this book is excellent as a tutorial for the reader new to Conceptual Graphs, or as a reference book for a senior researcher in Artificial Intelligence, Knowledge Representation or Automated Reasoning |
| Beschreibung: | 1 Online-Ressource (X, 151 p) |
| ISBN: | 9781461500872 |
| DOI: | 10.1007/978-1-4615-0087-2 |
Internformat
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV047064194 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 201216s2003 |||| o||u| ||||||eng d | ||
| 020 | |a 9781461500872 |9 978-1-4615-0087-2 | ||
| 024 | 7 | |a 10.1007/978-1-4615-0087-2 |2 doi | |
| 035 | |a (ZDB-2-SCS)978-1-4615-0087-2 | ||
| 035 | |a (OCoLC)1227481857 | ||
| 035 | |a (DE-599)BVBBV047064194 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-706 | ||
| 082 | 0 | |a 006.3 |2 23 | |
| 100 | 1 | |a Corbett, Dan |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Reasoning and Unification over Conceptual Graphs |c by Dan Corbett |
| 250 | |a 1st ed. 2003 | ||
| 264 | 1 | |a New York, NY |b Springer US |c 2003 | |
| 300 | |a 1 Online-Ressource (X, 151 p) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 520 | |a Reasoning and Unification over Conceptual Graphs is an exploration of automated reasoning and resolution in the expanding field of Conceptual Structures. Designed not only for computing scientists researching Conceptual Graphs, but also for anyone interested in exploring the design of knowledge bases, the book explores what are proving to be the fundamental methods for representing semantic relations in knowledge bases. While it provides the first comprehensive treatment of Conceptual Graph unification and reasoning, the book also addresses fundamental issues of graph matching, automated reasoning, knowledge bases, constraints, ontology and design. With a large number of examples, illustrations, and both formal and informal definitions and discussions, this book is excellent as a tutorial for the reader new to Conceptual Graphs, or as a reference book for a senior researcher in Artificial Intelligence, Knowledge Representation or Automated Reasoning | ||
| 650 | 4 | |a Artificial Intelligence | |
| 650 | 4 | |a Information Systems Applications (incl. Internet) | |
| 650 | 4 | |a Mathematical Logic and Foundations | |
| 650 | 4 | |a Discrete Mathematics in Computer Science | |
| 650 | 4 | |a Artificial intelligence | |
| 650 | 4 | |a Application software | |
| 650 | 4 | |a Mathematical logic | |
| 650 | 4 | |a Computer science—Mathematics | |
| 650 | 0 | 7 | |a Begriffsgraph |0 (DE-588)4314945-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Wissensrepräsentation |0 (DE-588)4049534-6 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Wissensrepräsentation |0 (DE-588)4049534-6 |D s |
| 689 | 0 | 1 | |a Begriffsgraph |0 (DE-588)4314945-5 |D s |
| 689 | 0 | |5 DE-604 | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 9781461349174 |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 9780306474873 |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 9781461500889 |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-1-4615-0087-2 |x Verlag |z URL des Eerstveröffentlichers |3 Volltext |
| 912 | |a ZDB-2-SCS | ||
| 940 | 1 | |q ZDB-2-SCS_2000/2004 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-032471306 | ||
| 966 | e | |u https://doi.org/10.1007/978-1-4615-0087-2 |l UBY01 |p ZDB-2-SCS |q ZDB-2-SCS_2000/2004 |x Verlag |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1804182061890666496 |
|---|---|
| adam_txt | |
| any_adam_object | |
| any_adam_object_boolean | |
| author | Corbett, Dan |
| author_facet | Corbett, Dan |
| author_role | aut |
| author_sort | Corbett, Dan |
| author_variant | d c dc |
| building | Verbundindex |
| bvnumber | BV047064194 |
| collection | ZDB-2-SCS |
| ctrlnum | (ZDB-2-SCS)978-1-4615-0087-2 (OCoLC)1227481857 (DE-599)BVBBV047064194 |
| dewey-full | 006.3 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 006 - Special computer methods |
| dewey-raw | 006.3 |
| dewey-search | 006.3 |
| dewey-sort | 16.3 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| discipline_str_mv | Informatik |
| doi_str_mv | 10.1007/978-1-4615-0087-2 |
| edition | 1st ed. 2003 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02994nmm a2200553zc 4500</leader><controlfield tag="001">BV047064194</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">201216s2003 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781461500872</subfield><subfield code="9">978-1-4615-0087-2</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-1-4615-0087-2</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-2-SCS)978-1-4615-0087-2</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1227481857</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV047064194</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-706</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">006.3</subfield><subfield code="2">23</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Corbett, Dan</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Reasoning and Unification over Conceptual Graphs</subfield><subfield code="c">by Dan Corbett</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1st ed. 2003</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">New York, NY</subfield><subfield code="b">Springer US</subfield><subfield code="c">2003</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (X, 151 p)</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">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">Reasoning and Unification over Conceptual Graphs is an exploration of automated reasoning and resolution in the expanding field of Conceptual Structures. Designed not only for computing scientists researching Conceptual Graphs, but also for anyone interested in exploring the design of knowledge bases, the book explores what are proving to be the fundamental methods for representing semantic relations in knowledge bases. While it provides the first comprehensive treatment of Conceptual Graph unification and reasoning, the book also addresses fundamental issues of graph matching, automated reasoning, knowledge bases, constraints, ontology and design. With a large number of examples, illustrations, and both formal and informal definitions and discussions, this book is excellent as a tutorial for the reader new to Conceptual Graphs, or as a reference book for a senior researcher in Artificial Intelligence, Knowledge Representation or Automated Reasoning</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Artificial Intelligence</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Information Systems Applications (incl. Internet)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical Logic and Foundations</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Discrete Mathematics in Computer Science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Artificial intelligence</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Application software</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science—Mathematics</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Begriffsgraph</subfield><subfield code="0">(DE-588)4314945-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Wissensrepräsentation</subfield><subfield code="0">(DE-588)4049534-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Wissensrepräsentation</subfield><subfield code="0">(DE-588)4049534-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Begriffsgraph</subfield><subfield code="0">(DE-588)4314945-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">9781461349174</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">9780306474873</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">9781461500889</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-1-4615-0087-2</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Eerstveröffentlichers</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SCS</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-SCS_2000/2004</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-032471306</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-1-4615-0087-2</subfield><subfield code="l">UBY01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="q">ZDB-2-SCS_2000/2004</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| id | DE-604.BV047064194 |
| illustrated | Not Illustrated |
| index_date | 2024-07-03T16:12:22Z |
| indexdate | 2024-07-10T09:01:34Z |
| institution | BVB |
| isbn | 9781461500872 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-032471306 |
| oclc_num | 1227481857 |
| open_access_boolean | |
| owner | DE-706 |
| owner_facet | DE-706 |
| physical | 1 Online-Ressource (X, 151 p) |
| psigel | ZDB-2-SCS ZDB-2-SCS_2000/2004 ZDB-2-SCS ZDB-2-SCS_2000/2004 |
| publishDate | 2003 |
| publishDateSearch | 2003 |
| publishDateSort | 2003 |
| publisher | Springer US |
| record_format | marc |
| spelling | Corbett, Dan Verfasser aut Reasoning and Unification over Conceptual Graphs by Dan Corbett 1st ed. 2003 New York, NY Springer US 2003 1 Online-Ressource (X, 151 p) txt rdacontent c rdamedia cr rdacarrier Reasoning and Unification over Conceptual Graphs is an exploration of automated reasoning and resolution in the expanding field of Conceptual Structures. Designed not only for computing scientists researching Conceptual Graphs, but also for anyone interested in exploring the design of knowledge bases, the book explores what are proving to be the fundamental methods for representing semantic relations in knowledge bases. While it provides the first comprehensive treatment of Conceptual Graph unification and reasoning, the book also addresses fundamental issues of graph matching, automated reasoning, knowledge bases, constraints, ontology and design. With a large number of examples, illustrations, and both formal and informal definitions and discussions, this book is excellent as a tutorial for the reader new to Conceptual Graphs, or as a reference book for a senior researcher in Artificial Intelligence, Knowledge Representation or Automated Reasoning Artificial Intelligence Information Systems Applications (incl. Internet) Mathematical Logic and Foundations Discrete Mathematics in Computer Science Artificial intelligence Application software Mathematical logic Computer science—Mathematics Begriffsgraph (DE-588)4314945-5 gnd rswk-swf Wissensrepräsentation (DE-588)4049534-6 gnd rswk-swf Wissensrepräsentation (DE-588)4049534-6 s Begriffsgraph (DE-588)4314945-5 s DE-604 Erscheint auch als Druck-Ausgabe 9781461349174 Erscheint auch als Druck-Ausgabe 9780306474873 Erscheint auch als Druck-Ausgabe 9781461500889 https://doi.org/10.1007/978-1-4615-0087-2 Verlag URL des Eerstveröffentlichers Volltext |
| spellingShingle | Corbett, Dan Reasoning and Unification over Conceptual Graphs Artificial Intelligence Information Systems Applications (incl. Internet) Mathematical Logic and Foundations Discrete Mathematics in Computer Science Artificial intelligence Application software Mathematical logic Computer science—Mathematics Begriffsgraph (DE-588)4314945-5 gnd Wissensrepräsentation (DE-588)4049534-6 gnd |
| subject_GND | (DE-588)4314945-5 (DE-588)4049534-6 |
| title | Reasoning and Unification over Conceptual Graphs |
| title_auth | Reasoning and Unification over Conceptual Graphs |
| title_exact_search | Reasoning and Unification over Conceptual Graphs |
| title_exact_search_txtP | Reasoning and Unification over Conceptual Graphs |
| title_full | Reasoning and Unification over Conceptual Graphs by Dan Corbett |
| title_fullStr | Reasoning and Unification over Conceptual Graphs by Dan Corbett |
| title_full_unstemmed | Reasoning and Unification over Conceptual Graphs by Dan Corbett |
| title_short | Reasoning and Unification over Conceptual Graphs |
| title_sort | reasoning and unification over conceptual graphs |
| topic | Artificial Intelligence Information Systems Applications (incl. Internet) Mathematical Logic and Foundations Discrete Mathematics in Computer Science Artificial intelligence Application software Mathematical logic Computer science—Mathematics Begriffsgraph (DE-588)4314945-5 gnd Wissensrepräsentation (DE-588)4049534-6 gnd |
| topic_facet | Artificial Intelligence Information Systems Applications (incl. Internet) Mathematical Logic and Foundations Discrete Mathematics in Computer Science Artificial intelligence Application software Mathematical logic Computer science—Mathematics Begriffsgraph Wissensrepräsentation |
| url | https://doi.org/10.1007/978-1-4615-0087-2 |
| work_keys_str_mv | AT corbettdan reasoningandunificationoverconceptualgraphs |