Logic programming and nonmonotonic reasoning: 6th international conference, LPNMR 2001, Vienna, Austria, September 17 - 19, 2001 ; proceedings
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London
Springer
2001
|
| Schriftenreihe: | Lecture notes in computer science
2173 : Lecture notes in artificial intelligence |
| Schlagworte: | |
| Beschreibung: | Literaturangaben |
| Beschreibung: | XI, 444 S. |
| ISBN: | 3540425934 |
Internformat
MARC
| LEADER | 00000nam a22000008cb4500 | ||
|---|---|---|---|
| 001 | BV013910522 | ||
| 003 | DE-604 | ||
| 005 | 20010926 | ||
| 007 | t| | ||
| 008 | 010904s2001 gw |||| 10||| eng d | ||
| 016 | 7 | |a 962287164 |2 DE-101 | |
| 020 | |a 3540425934 |9 3-540-42593-4 | ||
| 035 | |a (OCoLC)48003275 | ||
| 035 | |a (DE-599)BVBBV013910522 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-91G |a DE-384 |a DE-739 |a DE-83 |a DE-706 | ||
| 050 | 0 | |a QA76.63 | |
| 082 | 0 | |a 005.1/15 | |
| 084 | |a DAT 706f |2 stub | ||
| 245 | 1 | 0 | |a Logic programming and nonmonotonic reasoning |b 6th international conference, LPNMR 2001, Vienna, Austria, September 17 - 19, 2001 ; proceedings |c Thomas Eiter ... (ed.) |
| 264 | 1 | |a Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London |b Springer |c 2001 | |
| 300 | |a XI, 444 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 2173 : Lecture notes in artificial intelligence | |
| 500 | |a Literaturangaben | ||
| 650 | 7 | |a Kunstmatige intelligentie |2 gtt | |
| 650 | 7 | |a Logisch programmeren |2 gtt | |
| 650 | 4 | |a Programmation logique - Congrès | |
| 650 | 7 | |a Programmation logique - Congrès |2 ram | |
| 650 | 7 | |a Raisonnement - Congrès |2 ram | |
| 650 | 4 | |a Raisonnement non-monotone - Congrès | |
| 650 | 7 | |a Redeneren |2 gtt | |
| 650 | 7 | |a base donnée logique |2 inriac | |
| 650 | 7 | |a logique informatique |2 inriac | |
| 650 | 7 | |a logique non classique |2 inriac | |
| 650 | 7 | |a programmation logique |2 inriac | |
| 650 | 7 | |a raisonnement non monotone |2 inriac | |
| 650 | 7 | |a représentation connaissance |2 inriac | |
| 650 | 7 | |a système base connaissance |2 inriac | |
| 650 | 4 | |a Logic programming |v Congresses | |
| 650 | 4 | |a Nonmonotonic reasoning |v Congresses | |
| 650 | 0 | 7 | |a Logische Programmierung |0 (DE-588)4195096-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Wissensrepräsentation |0 (DE-588)4049534-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Datenbanksystem |0 (DE-588)4113276-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Nichtmonotones Schließen |0 (DE-588)4210699-0 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2001 |z Wien |2 gnd-content | |
| 689 | 0 | 0 | |a Datenbanksystem |0 (DE-588)4113276-2 |D s |
| 689 | 0 | 1 | |a Logische Programmierung |0 (DE-588)4195096-3 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Wissensrepräsentation |0 (DE-588)4049534-6 |D s |
| 689 | 1 | 1 | |a Nichtmonotones Schließen |0 (DE-588)4210699-0 |D s |
| 689 | 1 | |5 DE-604 | |
| 700 | 1 | |a Eiter, Thomas |e Sonstige |4 oth | |
| 711 | 2 | |a LPNMR |n 6 |d 2001 |c Wien |j Sonstige |0 (DE-588)10026425-6 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 2173 : Lecture notes in artificial intelligence |w (DE-604)BV000000607 |9 2173 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-009517956 | |
Datensatz im Suchindex
| _version_ | 1820874905182273536 |
|---|---|
| adam_text | |
| any_adam_object | |
| building | Verbundindex |
| bvnumber | BV013910522 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.63 |
| callnumber-search | QA76.63 |
| callnumber-sort | QA 276.63 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SS 4800 |
| classification_tum | DAT 706f |
| ctrlnum | (OCoLC)48003275 (DE-599)BVBBV013910522 |
| dewey-full | 005.1/15 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.1/15 |
| dewey-search | 005.1/15 |
| dewey-sort | 15.1 215 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Conference Proceeding 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">BV013910522</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20010926</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">010904s2001 gw |||| 10||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">962287164</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540425934</subfield><subfield code="9">3-540-42593-4</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)48003275</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV013910522</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-91G</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-706</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.63</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1/15</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 706f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Logic programming and nonmonotonic reasoning</subfield><subfield code="b">6th international conference, LPNMR 2001, Vienna, Austria, September 17 - 19, 2001 ; proceedings</subfield><subfield code="c">Thomas Eiter ... (ed.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London</subfield><subfield code="b">Springer</subfield><subfield code="c">2001</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XI, 444 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">2173 : Lecture notes in artificial intelligence</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturangaben</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Kunstmatige intelligentie</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logisch programmeren</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programmation logique - Congrès</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Programmation logique - Congrès</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Raisonnement - Congrès</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Raisonnement non-monotone - Congrès</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Redeneren</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">base donnée logique</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">logique informatique</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">programmation logique</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">raisonnement non monotone</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="7"><subfield code="a">système base connaissance</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic programming</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Nonmonotonic reasoning</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Logische Programmierung</subfield><subfield code="0">(DE-588)4195096-3</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="650" ind1="0" ind2="7"><subfield code="a">Datenbanksystem</subfield><subfield code="0">(DE-588)4113276-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Nichtmonotones Schließen</subfield><subfield code="0">(DE-588)4210699-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2001</subfield><subfield code="z">Wien</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Datenbanksystem</subfield><subfield code="0">(DE-588)4113276-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Logische Programmierung</subfield><subfield code="0">(DE-588)4195096-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" 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="1" ind2="1"><subfield code="a">Nichtmonotones Schließen</subfield><subfield code="0">(DE-588)4210699-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Eiter, Thomas</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">LPNMR</subfield><subfield code="n">6</subfield><subfield code="d">2001</subfield><subfield code="c">Wien</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)10026425-6</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">2173 : Lecture notes in artificial intelligence</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">2173</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-009517956</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2001 Wien gnd-content |
| genre_facet | Konferenzschrift 2001 Wien |
| id | DE-604.BV013910522 |
| illustrated | Not Illustrated |
| indexdate | 2025-01-10T15:07:10Z |
| institution | BVB |
| institution_GND | (DE-588)10026425-6 |
| isbn | 3540425934 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-009517956 |
| oclc_num | 48003275 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM DE-384 DE-739 DE-83 DE-706 |
| owner_facet | DE-91G DE-BY-TUM DE-384 DE-739 DE-83 DE-706 |
| physical | XI, 444 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 | Logic programming and nonmonotonic reasoning 6th international conference, LPNMR 2001, Vienna, Austria, September 17 - 19, 2001 ; proceedings Thomas Eiter ... (ed.) Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London Springer 2001 XI, 444 S. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 2173 : Lecture notes in artificial intelligence Literaturangaben Kunstmatige intelligentie gtt Logisch programmeren gtt Programmation logique - Congrès Programmation logique - Congrès ram Raisonnement - Congrès ram Raisonnement non-monotone - Congrès Redeneren gtt base donnée logique inriac logique informatique inriac logique non classique inriac programmation logique inriac raisonnement non monotone inriac représentation connaissance inriac système base connaissance inriac Logic programming Congresses Nonmonotonic reasoning Congresses Logische Programmierung (DE-588)4195096-3 gnd rswk-swf Wissensrepräsentation (DE-588)4049534-6 gnd rswk-swf Datenbanksystem (DE-588)4113276-2 gnd rswk-swf Nichtmonotones Schließen (DE-588)4210699-0 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2001 Wien gnd-content Datenbanksystem (DE-588)4113276-2 s Logische Programmierung (DE-588)4195096-3 s DE-604 Wissensrepräsentation (DE-588)4049534-6 s Nichtmonotones Schließen (DE-588)4210699-0 s Eiter, Thomas Sonstige oth LPNMR 6 2001 Wien Sonstige (DE-588)10026425-6 oth Lecture notes in computer science 2173 : Lecture notes in artificial intelligence (DE-604)BV000000607 2173 |
| spellingShingle | Logic programming and nonmonotonic reasoning 6th international conference, LPNMR 2001, Vienna, Austria, September 17 - 19, 2001 ; proceedings Lecture notes in computer science Kunstmatige intelligentie gtt Logisch programmeren gtt Programmation logique - Congrès Programmation logique - Congrès ram Raisonnement - Congrès ram Raisonnement non-monotone - Congrès Redeneren gtt base donnée logique inriac logique informatique inriac logique non classique inriac programmation logique inriac raisonnement non monotone inriac représentation connaissance inriac système base connaissance inriac Logic programming Congresses Nonmonotonic reasoning Congresses Logische Programmierung (DE-588)4195096-3 gnd Wissensrepräsentation (DE-588)4049534-6 gnd Datenbanksystem (DE-588)4113276-2 gnd Nichtmonotones Schließen (DE-588)4210699-0 gnd |
| subject_GND | (DE-588)4195096-3 (DE-588)4049534-6 (DE-588)4113276-2 (DE-588)4210699-0 (DE-588)1071861417 |
| title | Logic programming and nonmonotonic reasoning 6th international conference, LPNMR 2001, Vienna, Austria, September 17 - 19, 2001 ; proceedings |
| title_auth | Logic programming and nonmonotonic reasoning 6th international conference, LPNMR 2001, Vienna, Austria, September 17 - 19, 2001 ; proceedings |
| title_exact_search | Logic programming and nonmonotonic reasoning 6th international conference, LPNMR 2001, Vienna, Austria, September 17 - 19, 2001 ; proceedings |
| title_full | Logic programming and nonmonotonic reasoning 6th international conference, LPNMR 2001, Vienna, Austria, September 17 - 19, 2001 ; proceedings Thomas Eiter ... (ed.) |
| title_fullStr | Logic programming and nonmonotonic reasoning 6th international conference, LPNMR 2001, Vienna, Austria, September 17 - 19, 2001 ; proceedings Thomas Eiter ... (ed.) |
| title_full_unstemmed | Logic programming and nonmonotonic reasoning 6th international conference, LPNMR 2001, Vienna, Austria, September 17 - 19, 2001 ; proceedings Thomas Eiter ... (ed.) |
| title_short | Logic programming and nonmonotonic reasoning |
| title_sort | logic programming and nonmonotonic reasoning 6th international conference lpnmr 2001 vienna austria september 17 19 2001 proceedings |
| title_sub | 6th international conference, LPNMR 2001, Vienna, Austria, September 17 - 19, 2001 ; proceedings |
| topic | Kunstmatige intelligentie gtt Logisch programmeren gtt Programmation logique - Congrès Programmation logique - Congrès ram Raisonnement - Congrès ram Raisonnement non-monotone - Congrès Redeneren gtt base donnée logique inriac logique informatique inriac logique non classique inriac programmation logique inriac raisonnement non monotone inriac représentation connaissance inriac système base connaissance inriac Logic programming Congresses Nonmonotonic reasoning Congresses Logische Programmierung (DE-588)4195096-3 gnd Wissensrepräsentation (DE-588)4049534-6 gnd Datenbanksystem (DE-588)4113276-2 gnd Nichtmonotones Schließen (DE-588)4210699-0 gnd |
| topic_facet | Kunstmatige intelligentie Logisch programmeren Programmation logique - Congrès Raisonnement - Congrès Raisonnement non-monotone - Congrès Redeneren base donnée logique logique informatique logique non classique programmation logique raisonnement non monotone représentation connaissance système base connaissance Logic programming Congresses Nonmonotonic reasoning Congresses Logische Programmierung Wissensrepräsentation Datenbanksystem Nichtmonotones Schließen Konferenzschrift 2001 Wien |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT eiterthomas logicprogrammingandnonmonotonicreasoning6thinternationalconferencelpnmr2001viennaaustriaseptember17192001proceedings AT lpnmrwien logicprogrammingandnonmonotonicreasoning6thinternationalconferencelpnmr2001viennaaustriaseptember17192001proceedings |