Logic programming and nonmonotonic reasoning: 5th international conference, LPNMR '99, ElPaso, Texas, USA, December 2 - 4, 1999 ; proceedings
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin u.a.
Springer
1999
|
| Schriftenreihe: | Lecture notes in computer science
1730 : Lecture notes in artificial iintelligence |
| Schlagworte: | |
| Beschreibung: | XI, 388 S. |
| ISBN: | 3540667490 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV012838942 | ||
| 003 | DE-604 | ||
| 005 | 19991130 | ||
| 007 | t| | ||
| 008 | 991027s1999 gw |||| 10||| eng d | ||
| 020 | |a 3540667490 |9 3-540-66749-0 | ||
| 035 | |a (OCoLC)42921289 | ||
| 035 | |a (DE-599)BVBBV012838942 | ||
| 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 |2 21 | |
| 245 | 1 | 0 | |a Logic programming and nonmonotonic reasoning |b 5th international conference, LPNMR '99, ElPaso, Texas, USA, December 2 - 4, 1999 ; proceedings |c Michael Gelfond ... (eds.) |
| 264 | 1 | |a Berlin u.a. |b Springer |c 1999 | |
| 300 | |a XI, 388 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 1730 : Lecture notes in artificial iintelligence | |
| 650 | 7 | |a Inteligencia artificial (computacao) |2 larpcal | |
| 650 | 7 | |a Kunstmatige intelligentie |2 gtt | |
| 650 | 7 | |a Logica matematica |2 larpcal | |
| 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 deduction automatique |2 inriac | |
| 650 | 7 | |a logique non classique |2 inriac | |
| 650 | 7 | |a programmation en logique |2 inriac | |
| 650 | 7 | |a programmation sous contrainte |2 inriac | |
| 650 | 7 | |a raisonnement non monotone |2 inriac | |
| 650 | 7 | |a representation connaissance |2 inriac | |
| 650 | 7 | |a semantique |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 Nichtmonotones Schließen |0 (DE-588)4210699-0 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 1999 |z El Paso Tex. |2 gnd-content | |
| 689 | 0 | 0 | |a Logische Programmierung |0 (DE-588)4195096-3 |D s |
| 689 | 0 | 1 | |a Nichtmonotones Schließen |0 (DE-588)4210699-0 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Gelfond, Michael |e Sonstige |4 oth | |
| 711 | 2 | |a LPNMR |n 5 |d 1999 |c El Paso, Tex. |j Sonstige |0 (DE-588)2179836-9 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 1730 : Lecture notes in artificial iintelligence |w (DE-604)BV000000607 |9 1730 : Lecture | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-008736118 | |
Datensatz im Suchindex
| _version_ | 1820874886345654272 |
|---|---|
| adam_text | |
| any_adam_object | |
| building | Verbundindex |
| bvnumber | BV012838942 |
| 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 |
| ctrlnum | (OCoLC)42921289 (DE-599)BVBBV012838942 |
| 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 a2200000 cb4500</leader><controlfield tag="001">BV012838942</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19991130</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">991027s1999 gw |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540667490</subfield><subfield code="9">3-540-66749-0</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)42921289</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV012838942</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><subfield code="2">21</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Logic programming and nonmonotonic reasoning</subfield><subfield code="b">5th international conference, LPNMR '99, ElPaso, Texas, USA, December 2 - 4, 1999 ; proceedings</subfield><subfield code="c">Michael Gelfond ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin u.a.</subfield><subfield code="b">Springer</subfield><subfield code="c">1999</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XI, 388 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">1730 : Lecture notes in artificial iintelligence</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Inteligencia artificial (computacao)</subfield><subfield code="2">larpcal</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">Logica matematica</subfield><subfield code="2">larpcal</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">deduction automatique</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 en logique</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">programmation sous contrainte</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">representation connaissance</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">semantique</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">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">1999</subfield><subfield code="z">El Paso Tex.</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><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="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="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Gelfond, Michael</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">5</subfield><subfield code="d">1999</subfield><subfield code="c">El Paso, Tex.</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)2179836-9</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">1730 : Lecture notes in artificial iintelligence</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">1730 : Lecture</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-008736118</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1999 El Paso Tex. gnd-content |
| genre_facet | Konferenzschrift 1999 El Paso Tex. |
| id | DE-604.BV012838942 |
| illustrated | Not Illustrated |
| indexdate | 2025-01-10T15:06:52Z |
| institution | BVB |
| institution_GND | (DE-588)2179836-9 |
| isbn | 3540667490 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-008736118 |
| oclc_num | 42921289 |
| 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, 388 S. |
| publishDate | 1999 |
| publishDateSearch | 1999 |
| publishDateSort | 1999 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Logic programming and nonmonotonic reasoning 5th international conference, LPNMR '99, ElPaso, Texas, USA, December 2 - 4, 1999 ; proceedings Michael Gelfond ... (eds.) Berlin u.a. Springer 1999 XI, 388 S. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 1730 : Lecture notes in artificial iintelligence Inteligencia artificial (computacao) larpcal Kunstmatige intelligentie gtt Logica matematica larpcal Logisch programmeren gtt Programmation logique - Congrès Programmation logique - Congrès ram Raisonnement - Congrès ram Raisonnement non-monotone - Congrès Redeneren gtt deduction automatique inriac logique non classique inriac programmation en logique inriac programmation sous contrainte inriac raisonnement non monotone inriac representation connaissance inriac semantique inriac Logic programming Congresses Nonmonotonic reasoning Congresses Logische Programmierung (DE-588)4195096-3 gnd rswk-swf Nichtmonotones Schließen (DE-588)4210699-0 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1999 El Paso Tex. gnd-content Logische Programmierung (DE-588)4195096-3 s Nichtmonotones Schließen (DE-588)4210699-0 s DE-604 Gelfond, Michael Sonstige oth LPNMR 5 1999 El Paso, Tex. Sonstige (DE-588)2179836-9 oth Lecture notes in computer science 1730 : Lecture notes in artificial iintelligence (DE-604)BV000000607 1730 : Lecture |
| spellingShingle | Logic programming and nonmonotonic reasoning 5th international conference, LPNMR '99, ElPaso, Texas, USA, December 2 - 4, 1999 ; proceedings Lecture notes in computer science Inteligencia artificial (computacao) larpcal Kunstmatige intelligentie gtt Logica matematica larpcal Logisch programmeren gtt Programmation logique - Congrès Programmation logique - Congrès ram Raisonnement - Congrès ram Raisonnement non-monotone - Congrès Redeneren gtt deduction automatique inriac logique non classique inriac programmation en logique inriac programmation sous contrainte inriac raisonnement non monotone inriac representation connaissance inriac semantique inriac Logic programming Congresses Nonmonotonic reasoning Congresses Logische Programmierung (DE-588)4195096-3 gnd Nichtmonotones Schließen (DE-588)4210699-0 gnd |
| subject_GND | (DE-588)4195096-3 (DE-588)4210699-0 (DE-588)1071861417 |
| title | Logic programming and nonmonotonic reasoning 5th international conference, LPNMR '99, ElPaso, Texas, USA, December 2 - 4, 1999 ; proceedings |
| title_auth | Logic programming and nonmonotonic reasoning 5th international conference, LPNMR '99, ElPaso, Texas, USA, December 2 - 4, 1999 ; proceedings |
| title_exact_search | Logic programming and nonmonotonic reasoning 5th international conference, LPNMR '99, ElPaso, Texas, USA, December 2 - 4, 1999 ; proceedings |
| title_full | Logic programming and nonmonotonic reasoning 5th international conference, LPNMR '99, ElPaso, Texas, USA, December 2 - 4, 1999 ; proceedings Michael Gelfond ... (eds.) |
| title_fullStr | Logic programming and nonmonotonic reasoning 5th international conference, LPNMR '99, ElPaso, Texas, USA, December 2 - 4, 1999 ; proceedings Michael Gelfond ... (eds.) |
| title_full_unstemmed | Logic programming and nonmonotonic reasoning 5th international conference, LPNMR '99, ElPaso, Texas, USA, December 2 - 4, 1999 ; proceedings Michael Gelfond ... (eds.) |
| title_short | Logic programming and nonmonotonic reasoning |
| title_sort | logic programming and nonmonotonic reasoning 5th international conference lpnmr 99 elpaso texas usa december 2 4 1999 proceedings |
| title_sub | 5th international conference, LPNMR '99, ElPaso, Texas, USA, December 2 - 4, 1999 ; proceedings |
| topic | Inteligencia artificial (computacao) larpcal Kunstmatige intelligentie gtt Logica matematica larpcal Logisch programmeren gtt Programmation logique - Congrès Programmation logique - Congrès ram Raisonnement - Congrès ram Raisonnement non-monotone - Congrès Redeneren gtt deduction automatique inriac logique non classique inriac programmation en logique inriac programmation sous contrainte inriac raisonnement non monotone inriac representation connaissance inriac semantique inriac Logic programming Congresses Nonmonotonic reasoning Congresses Logische Programmierung (DE-588)4195096-3 gnd Nichtmonotones Schließen (DE-588)4210699-0 gnd |
| topic_facet | Inteligencia artificial (computacao) Kunstmatige intelligentie Logica matematica Logisch programmeren Programmation logique - Congrès Raisonnement - Congrès Raisonnement non-monotone - Congrès Redeneren deduction automatique logique non classique programmation en logique programmation sous contrainte raisonnement non monotone representation connaissance semantique Logic programming Congresses Nonmonotonic reasoning Congresses Logische Programmierung Nichtmonotones Schließen Konferenzschrift 1999 El Paso Tex. |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT gelfondmichael logicprogrammingandnonmonotonicreasoning5thinternationalconferencelpnmr99elpasotexasusadecember241999proceedings AT lpnmrelpasotex logicprogrammingandnonmonotonicreasoning5thinternationalconferencelpnmr99elpasotexasusadecember241999proceedings |