Non-standard inferences in description logics:
Saved in:
| Main Author: | |
|---|---|
| Format: | Thesis Book |
| Language: | English |
| Published: |
Berlin [u.a.]
Springer
2001
|
| Series: | Lecture notes in computer science
2100 : Lecture notes in artificial intelligence |
| Subjects: | |
| Physical Description: | X, 250 S. |
| ISBN: | 3540423974 |
Staff View
MARC
| LEADER | 00000nam a22000008cb4500 | ||
|---|---|---|---|
| 001 | BV013832819 | ||
| 003 | DE-604 | ||
| 005 | 20130614 | ||
| 007 | t| | ||
| 008 | 010717s2001 gw m||| 00||| eng d | ||
| 016 | 7 | |a 961917814 |2 DE-101 | |
| 020 | |a 3540423974 |9 3-540-42397-4 | ||
| 035 | |a (OCoLC)47650554 | ||
| 035 | |a (DE-599)BVBBV013832819 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-384 |a DE-739 |a DE-91 |a DE-91G |a DE-29T |a DE-706 |a DE-634 |a DE-83 |a DE-188 | ||
| 050 | 0 | |a Q334 | |
| 050 | 0 | |a QA76 | |
| 082 | 0 | |a 006.3/32 |2 21 | |
| 084 | |a DAT 706f |2 stub | ||
| 100 | 1 | |a Küsters, Ralf |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Non-standard inferences in description logics |c Ralf Küsters |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2001 | |
| 300 | |a X, 250 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 2100 : Lecture notes in artificial intelligence | |
| 502 | |a Zugl.: Aachen, Techn. Hochsch., Diss., 2000 | ||
| 650 | 4 | |a Intelligence artificielle | |
| 650 | 7 | |a Intelligence artificielle |2 ram | |
| 650 | 4 | |a Prédicat (Logique) | |
| 650 | 7 | |a Prédicat (logique) |2 ram | |
| 650 | 4 | |a Représentation des connaissances | |
| 650 | 7 | |a Représentation des connaissances |2 ram | |
| 650 | 7 | |a inférence non standard |2 inriac | |
| 650 | 7 | |a logique non classique |2 inriac | |
| 650 | 7 | |a représentation connaissance |2 inriac | |
| 650 | 4 | |a Künstliche Intelligenz | |
| 650 | 4 | |a Description logics | |
| 650 | 0 | 7 | |a Nonstandard-Logik |0 (DE-588)4171988-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Terminologische Logik |0 (DE-588)4359506-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Matching |0 (DE-588)4212483-9 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4113937-9 |a Hochschulschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Terminologische Logik |0 (DE-588)4359506-6 |D s |
| 689 | 0 | 1 | |a Nonstandard-Logik |0 (DE-588)4171988-8 |D s |
| 689 | 0 | 2 | |a Matching |0 (DE-588)4212483-9 |D s |
| 689 | 0 | |5 DE-604 | |
| 830 | 0 | |a Lecture notes in computer science |v 2100 : Lecture notes in artificial intelligence |w (DE-604)BV000000607 |9 2100 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-009461117 | |
Record in the Search Index
| _version_ | 1820874904168300544 |
|---|---|
| adam_text | |
| any_adam_object | |
| author | Küsters, Ralf |
| author_facet | Küsters, Ralf |
| author_role | aut |
| author_sort | Küsters, Ralf |
| author_variant | r k rk |
| building | Verbundindex |
| bvnumber | BV013832819 |
| callnumber-first | Q - Science |
| callnumber-label | Q334 |
| callnumber-raw | Q334 QA76 |
| callnumber-search | Q334 QA76 |
| callnumber-sort | Q 3334 |
| callnumber-subject | Q - General Science |
| classification_rvk | SS 4800 |
| classification_tum | DAT 706f |
| ctrlnum | (OCoLC)47650554 (DE-599)BVBBV013832819 |
| dewey-full | 006.3/32 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 006 - Special computer methods |
| dewey-raw | 006.3/32 |
| dewey-search | 006.3/32 |
| dewey-sort | 16.3 232 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Thesis Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a22000008cb4500</leader><controlfield tag="001">BV013832819</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20130614</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">010717s2001 gw m||| 00||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">961917814</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540423974</subfield><subfield code="9">3-540-42397-4</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)47650554</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV013832819</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="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">DE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-384</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">Q334</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">006.3/32</subfield><subfield code="2">21</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 706f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Küsters, Ralf</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Non-standard inferences in description logics</subfield><subfield code="c">Ralf Küsters</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2001</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">X, 250 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">Lecture notes in computer science</subfield><subfield code="v">2100 : Lecture notes in artificial intelligence</subfield></datafield><datafield tag="502" ind1=" " ind2=" "><subfield code="a">Zugl.: Aachen, Techn. Hochsch., Diss., 2000</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Intelligence artificielle</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Intelligence artificielle</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Prédicat (Logique)</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Prédicat (logique)</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Représentation des connaissances</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Représentation des connaissances</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">inférence non standard</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">logique non classique</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">représentation connaissance</subfield><subfield code="2">inriac</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">Description logics</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Nonstandard-Logik</subfield><subfield code="0">(DE-588)4171988-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Terminologische Logik</subfield><subfield code="0">(DE-588)4359506-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Matching</subfield><subfield code="0">(DE-588)4212483-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4113937-9</subfield><subfield code="a">Hochschulschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Terminologische Logik</subfield><subfield code="0">(DE-588)4359506-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Nonstandard-Logik</subfield><subfield code="0">(DE-588)4171988-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Matching</subfield><subfield code="0">(DE-588)4212483-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">2100 : Lecture notes in artificial intelligence</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">2100</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-009461117</subfield></datafield></record></collection> |
| genre | (DE-588)4113937-9 Hochschulschrift gnd-content |
| genre_facet | Hochschulschrift |
| id | DE-604.BV013832819 |
| illustrated | Not Illustrated |
| indexdate | 2025-01-10T15:07:08Z |
| institution | BVB |
| isbn | 3540423974 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-009461117 |
| oclc_num | 47650554 |
| open_access_boolean | |
| owner | DE-384 DE-739 DE-91 DE-BY-TUM DE-91G DE-BY-TUM DE-29T DE-706 DE-634 DE-83 DE-188 |
| owner_facet | DE-384 DE-739 DE-91 DE-BY-TUM DE-91G DE-BY-TUM DE-29T DE-706 DE-634 DE-83 DE-188 |
| physical | X, 250 S. |
| publishDate | 2001 |
| publishDateSearch | 2001 |
| publishDateSort | 2001 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Küsters, Ralf Verfasser aut Non-standard inferences in description logics Ralf Küsters Berlin [u.a.] Springer 2001 X, 250 S. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 2100 : Lecture notes in artificial intelligence Zugl.: Aachen, Techn. Hochsch., Diss., 2000 Intelligence artificielle Intelligence artificielle ram Prédicat (Logique) Prédicat (logique) ram Représentation des connaissances Représentation des connaissances ram inférence non standard inriac logique non classique inriac représentation connaissance inriac Künstliche Intelligenz Description logics Nonstandard-Logik (DE-588)4171988-8 gnd rswk-swf Terminologische Logik (DE-588)4359506-6 gnd rswk-swf Matching (DE-588)4212483-9 gnd rswk-swf (DE-588)4113937-9 Hochschulschrift gnd-content Terminologische Logik (DE-588)4359506-6 s Nonstandard-Logik (DE-588)4171988-8 s Matching (DE-588)4212483-9 s DE-604 Lecture notes in computer science 2100 : Lecture notes in artificial intelligence (DE-604)BV000000607 2100 |
| spellingShingle | Küsters, Ralf Non-standard inferences in description logics Lecture notes in computer science Intelligence artificielle Intelligence artificielle ram Prédicat (Logique) Prédicat (logique) ram Représentation des connaissances Représentation des connaissances ram inférence non standard inriac logique non classique inriac représentation connaissance inriac Künstliche Intelligenz Description logics Nonstandard-Logik (DE-588)4171988-8 gnd Terminologische Logik (DE-588)4359506-6 gnd Matching (DE-588)4212483-9 gnd |
| subject_GND | (DE-588)4171988-8 (DE-588)4359506-6 (DE-588)4212483-9 (DE-588)4113937-9 |
| title | Non-standard inferences in description logics |
| title_auth | Non-standard inferences in description logics |
| title_exact_search | Non-standard inferences in description logics |
| title_full | Non-standard inferences in description logics Ralf Küsters |
| title_fullStr | Non-standard inferences in description logics Ralf Küsters |
| title_full_unstemmed | Non-standard inferences in description logics Ralf Küsters |
| title_short | Non-standard inferences in description logics |
| title_sort | non standard inferences in description logics |
| topic | Intelligence artificielle Intelligence artificielle ram Prédicat (Logique) Prédicat (logique) ram Représentation des connaissances Représentation des connaissances ram inférence non standard inriac logique non classique inriac représentation connaissance inriac Künstliche Intelligenz Description logics Nonstandard-Logik (DE-588)4171988-8 gnd Terminologische Logik (DE-588)4359506-6 gnd Matching (DE-588)4212483-9 gnd |
| topic_facet | Intelligence artificielle Prédicat (Logique) Prédicat (logique) Représentation des connaissances inférence non standard logique non classique représentation connaissance Künstliche Intelligenz Description logics Nonstandard-Logik Terminologische Logik Matching Hochschulschrift |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT kustersralf nonstandardinferencesindescriptionlogics |