Logics in artificial intelligence: 11th European conference, JELIA 2008, Dresden, Germany, September 28 - October 1, 2008 ; proceedings
Saved in:
| Format: | Conference Proceeding Book |
|---|---|
| Language: | English |
| Published: |
Berlin [u.a.]
Springer
2008
|
| Series: | Lecture notes in computer science
5293 : Lecture notes in artificial intelligence |
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Item Description: | Literaturangaben |
| Physical Description: | XI, 428 S. graph. Darst. 24 cm |
| ISBN: | 9783540878025 |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV035093607 | ||
| 003 | DE-604 | ||
| 005 | 20081118 | ||
| 007 | t| | ||
| 008 | 081010s2008 xx d||| |||| 10||| eng d | ||
| 015 | |a 08,A42,0058 |2 dnb | ||
| 016 | 7 | |a 990502600 |2 DE-101 | |
| 020 | |a 9783540878025 |c kart. : EUR 60.94 (freier Pr.), sfr 95.00 (freier Pr.) |9 978-3-540-87802-5 | ||
| 024 | 3 | |a 9783540878025 | |
| 028 | 5 | 2 | |a 12530502 |
| 035 | |a (OCoLC)259253737 | ||
| 035 | |a (DE-599)DNB990502600 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-706 |a DE-91G |a DE-83 |a DE-11 | ||
| 050 | 0 | |a Q334 | |
| 050 | 0 | |a QA75 | |
| 082 | 0 | |a 006.3 |2 22/ger | |
| 082 | 0 | |a 006.3 |2 22 | |
| 084 | |a DAT 700f |2 stub | ||
| 084 | |a 004 |2 sdnb | ||
| 084 | |a DAT 540f |2 stub | ||
| 245 | 1 | 0 | |a Logics in artificial intelligence |b 11th European conference, JELIA 2008, Dresden, Germany, September 28 - October 1, 2008 ; proceedings |c Steffen Hölldobler ... (ed.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2008 | |
| 300 | |a XI, 428 S. |b graph. Darst. |c 24 cm | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 5293 : Lecture notes in artificial intelligence | |
| 500 | |a Literaturangaben | ||
| 650 | 4 | |a Künstliche Intelligenz - Logik - Kongress - Dresden <2008> | |
| 650 | 4 | |a Logische Programmierung - Kongress - Dresden <2008> | |
| 650 | 4 | |a Künstliche Intelligenz | |
| 650 | 4 | |a Artificial intelligence |v Congresses | |
| 650 | 4 | |a Logic, Symbolic and mathematical |v Congresses | |
| 650 | 0 | 7 | |a Künstliche Intelligenz |0 (DE-588)4033447-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Logische Programmierung |0 (DE-588)4195096-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Logik |0 (DE-588)4036202-4 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2008 |z Dresden |2 gnd-content | |
| 689 | 0 | 0 | |a Künstliche Intelligenz |0 (DE-588)4033447-8 |D s |
| 689 | 0 | 1 | |a Logik |0 (DE-588)4036202-4 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Logische Programmierung |0 (DE-588)4195096-3 |D s |
| 689 | 1 | |5 DE-604 | |
| 700 | 1 | |a Hölldobler, Steffen |d 1957-2023 |e Sonstige |0 (DE-588)140349375 |4 oth | |
| 711 | 2 | |a JELIA |n 11 |d 2008 |c Dresden |j Sonstige |0 (DE-588)10358094-3 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 5293 : Lecture notes in artificial intelligence |w (DE-604)BV000000607 |9 5293 | |
| 856 | 4 | 2 | |m DNB Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=016761685&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-016761685 | |
Record in the Search Index
| _version_ | 1820875078519226368 |
|---|---|
| adam_text |
* * * * * BIBLIOGRAFISCHE INFORMATIONEN HTTP://D-NB.INFO/990502600
DIGITALISIERT DURCH * * * * * * * * * 429 TABLE OF CONTENTS XI EXTENDING
CARIN TO THE DESCRIPTION LOGICS OF THE STI FAMILY 324 MAGDALENA ORTIZ
HOW TO RESTORE COMPACTNESS INTO PROBABILISTIC LOGICS? 338 ALEKSANDAR
PEROVIC, ZORAN OGNJANOVIC, MIODRAG RASKOVIC, AND ZORAN MARKOVIC
COMBINING MODES OF REASONING: AN APPLICATION OF ABSTRACT ARGUMENTATION
349 HENRY PRAKKEN CHEAP BOOLEAN ROLE CONSTRUCTORS FOR DESCRIPTION LOGICS
362 SEBASTIAN RUDOLPH, MARKUS KROETZSCH, AND PASCAL HITZLER IMPROVED
SECOND-ORDER QUANTIFIER ELIMINATION IN MODAL LOGIC 375 RENATE A. SCHMIDT
LITERAL PROJECTION FOR FIRST-ORDER LOGIC 389 CHRISTOPH WERNHARD META
LEVEL REASONING AND DEFAULT REASONING 403 YI ZHOU AND YAN ZHANG RULE
CALCULUS: SEMANTICS, AXIOMS AND APPLICATIONS 416 YI ZHOU AND YAN ZHANG
AUTHOR INDEX |
| adam_txt |
* * * * * BIBLIOGRAFISCHE INFORMATIONEN HTTP://D-NB.INFO/990502600
DIGITALISIERT DURCH * * * * * * * * * 429 TABLE OF CONTENTS XI EXTENDING
CARIN TO THE DESCRIPTION LOGICS OF THE STI FAMILY 324 MAGDALENA ORTIZ
HOW TO RESTORE COMPACTNESS INTO PROBABILISTIC LOGICS? 338 ALEKSANDAR
PEROVIC, ZORAN OGNJANOVIC, MIODRAG RASKOVIC, AND ZORAN MARKOVIC
COMBINING MODES OF REASONING: AN APPLICATION OF ABSTRACT ARGUMENTATION
349 HENRY PRAKKEN CHEAP BOOLEAN ROLE CONSTRUCTORS FOR DESCRIPTION LOGICS
362 SEBASTIAN RUDOLPH, MARKUS KROETZSCH, AND PASCAL HITZLER IMPROVED
SECOND-ORDER QUANTIFIER ELIMINATION IN MODAL LOGIC 375 RENATE A. SCHMIDT
LITERAL PROJECTION FOR FIRST-ORDER LOGIC 389 CHRISTOPH WERNHARD META
LEVEL REASONING AND DEFAULT REASONING 403 YI ZHOU AND YAN ZHANG RULE
CALCULUS: SEMANTICS, AXIOMS AND APPLICATIONS 416 YI ZHOU AND YAN ZHANG
AUTHOR INDEX |
| any_adam_object | 1 |
| any_adam_object_boolean | 1 |
| author_GND | (DE-588)140349375 |
| building | Verbundindex |
| bvnumber | BV035093607 |
| callnumber-first | Q - Science |
| callnumber-label | Q334 |
| callnumber-raw | Q334 QA75 |
| callnumber-search | Q334 QA75 |
| callnumber-sort | Q 3334 |
| callnumber-subject | Q - General Science |
| classification_rvk | SS 4800 |
| classification_tum | DAT 700f DAT 540f |
| ctrlnum | (OCoLC)259253737 (DE-599)DNB990502600 |
| 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 |
| 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">BV035093607</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20081118</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">081010s2008 xx d||| |||| 10||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">08,A42,0058</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">990502600</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783540878025</subfield><subfield code="c">kart. : EUR 60.94 (freier Pr.), sfr 95.00 (freier Pr.)</subfield><subfield code="9">978-3-540-87802-5</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783540878025</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">12530502</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)259253737</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB990502600</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-706</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">Q334</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA75</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">006.3</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">006.3</subfield><subfield code="2">22</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 700f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">004</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 540f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Logics in artificial intelligence</subfield><subfield code="b">11th European conference, JELIA 2008, Dresden, Germany, September 28 - October 1, 2008 ; proceedings</subfield><subfield code="c">Steffen Hölldobler ... (ed.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2008</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XI, 428 S.</subfield><subfield code="b">graph. Darst.</subfield><subfield code="c">24 cm</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">5293 : Lecture notes in artificial intelligence</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturangaben</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Künstliche Intelligenz - Logik - Kongress - Dresden <2008></subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logische Programmierung - Kongress - Dresden <2008></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><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Künstliche Intelligenz</subfield><subfield code="0">(DE-588)4033447-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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">Logik</subfield><subfield code="0">(DE-588)4036202-4</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">2008</subfield><subfield code="z">Dresden</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Künstliche Intelligenz</subfield><subfield code="0">(DE-588)4033447-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</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">Logische Programmierung</subfield><subfield code="0">(DE-588)4195096-3</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">Hölldobler, Steffen</subfield><subfield code="d">1957-2023</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)140349375</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">JELIA</subfield><subfield code="n">11</subfield><subfield code="d">2008</subfield><subfield code="c">Dresden</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)10358094-3</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">5293 : Lecture notes in artificial intelligence</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">5293</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=016761685&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-016761685</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2008 Dresden gnd-content |
| genre_facet | Konferenzschrift 2008 Dresden |
| id | DE-604.BV035093607 |
| illustrated | Illustrated |
| index_date | 2024-07-02T22:11:30Z |
| indexdate | 2025-01-10T15:09:55Z |
| institution | BVB |
| institution_GND | (DE-588)10358094-3 |
| isbn | 9783540878025 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-016761685 |
| oclc_num | 259253737 |
| open_access_boolean | |
| owner | DE-706 DE-91G DE-BY-TUM DE-83 DE-11 |
| owner_facet | DE-706 DE-91G DE-BY-TUM DE-83 DE-11 |
| physical | XI, 428 S. graph. Darst. 24 cm |
| publishDate | 2008 |
| publishDateSearch | 2008 |
| publishDateSort | 2008 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Logics in artificial intelligence 11th European conference, JELIA 2008, Dresden, Germany, September 28 - October 1, 2008 ; proceedings Steffen Hölldobler ... (ed.) Berlin [u.a.] Springer 2008 XI, 428 S. graph. Darst. 24 cm txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 5293 : Lecture notes in artificial intelligence Literaturangaben Künstliche Intelligenz - Logik - Kongress - Dresden <2008> Logische Programmierung - Kongress - Dresden <2008> Künstliche Intelligenz Artificial intelligence Congresses Logic, Symbolic and mathematical Congresses Künstliche Intelligenz (DE-588)4033447-8 gnd rswk-swf Logische Programmierung (DE-588)4195096-3 gnd rswk-swf Logik (DE-588)4036202-4 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2008 Dresden gnd-content Künstliche Intelligenz (DE-588)4033447-8 s Logik (DE-588)4036202-4 s DE-604 Logische Programmierung (DE-588)4195096-3 s Hölldobler, Steffen 1957-2023 Sonstige (DE-588)140349375 oth JELIA 11 2008 Dresden Sonstige (DE-588)10358094-3 oth Lecture notes in computer science 5293 : Lecture notes in artificial intelligence (DE-604)BV000000607 5293 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=016761685&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Logics in artificial intelligence 11th European conference, JELIA 2008, Dresden, Germany, September 28 - October 1, 2008 ; proceedings Lecture notes in computer science Künstliche Intelligenz - Logik - Kongress - Dresden <2008> Logische Programmierung - Kongress - Dresden <2008> Künstliche Intelligenz Artificial intelligence Congresses Logic, Symbolic and mathematical Congresses Künstliche Intelligenz (DE-588)4033447-8 gnd Logische Programmierung (DE-588)4195096-3 gnd Logik (DE-588)4036202-4 gnd |
| subject_GND | (DE-588)4033447-8 (DE-588)4195096-3 (DE-588)4036202-4 (DE-588)1071861417 |
| title | Logics in artificial intelligence 11th European conference, JELIA 2008, Dresden, Germany, September 28 - October 1, 2008 ; proceedings |
| title_auth | Logics in artificial intelligence 11th European conference, JELIA 2008, Dresden, Germany, September 28 - October 1, 2008 ; proceedings |
| title_exact_search | Logics in artificial intelligence 11th European conference, JELIA 2008, Dresden, Germany, September 28 - October 1, 2008 ; proceedings |
| title_exact_search_txtP | Logics in artificial intelligence 11th European conference, JELIA 2008, Dresden, Germany, September 28 - October 1, 2008 ; proceedings |
| title_full | Logics in artificial intelligence 11th European conference, JELIA 2008, Dresden, Germany, September 28 - October 1, 2008 ; proceedings Steffen Hölldobler ... (ed.) |
| title_fullStr | Logics in artificial intelligence 11th European conference, JELIA 2008, Dresden, Germany, September 28 - October 1, 2008 ; proceedings Steffen Hölldobler ... (ed.) |
| title_full_unstemmed | Logics in artificial intelligence 11th European conference, JELIA 2008, Dresden, Germany, September 28 - October 1, 2008 ; proceedings Steffen Hölldobler ... (ed.) |
| title_short | Logics in artificial intelligence |
| title_sort | logics in artificial intelligence 11th european conference jelia 2008 dresden germany september 28 october 1 2008 proceedings |
| title_sub | 11th European conference, JELIA 2008, Dresden, Germany, September 28 - October 1, 2008 ; proceedings |
| topic | Künstliche Intelligenz - Logik - Kongress - Dresden <2008> Logische Programmierung - Kongress - Dresden <2008> Künstliche Intelligenz Artificial intelligence Congresses Logic, Symbolic and mathematical Congresses Künstliche Intelligenz (DE-588)4033447-8 gnd Logische Programmierung (DE-588)4195096-3 gnd Logik (DE-588)4036202-4 gnd |
| topic_facet | Künstliche Intelligenz - Logik - Kongress - Dresden <2008> Logische Programmierung - Kongress - Dresden <2008> Künstliche Intelligenz Artificial intelligence Congresses Logic, Symbolic and mathematical Congresses Logische Programmierung Logik Konferenzschrift 2008 Dresden |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=016761685&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT holldoblersteffen logicsinartificialintelligence11theuropeanconferencejelia2008dresdengermanyseptember28october12008proceedings AT jeliadresden logicsinartificialintelligence11theuropeanconferencejelia2008dresdengermanyseptember28october12008proceedings |