Natural language and logic: international scientific symposium, Hamburg, FRG, May 9 - 11, 1989, proceedings
Saved in:
| Format: | Book |
|---|---|
| Language: | English |
| Published: |
Berlin u.a.
Springer
1990
|
| Series: | Lecture notes in computer science
459 : Lecture notes in artificial intelligence |
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | 252 S. |
| ISBN: | 3540530827 0387530827 |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV004165318 | ||
| 003 | DE-604 | ||
| 005 | 20150109 | ||
| 007 | t| | ||
| 008 | 901205s1990 xx |||| 10||| engod | ||
| 020 | |a 3540530827 |9 3-540-53082-7 | ||
| 020 | |a 0387530827 |9 0-387-53082-7 | ||
| 035 | |a (OCoLC)214280118 | ||
| 035 | |a (DE-599)BVBBV004165318 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-12 |a DE-91G |a DE-384 |a DE-19 |a DE-703 |a DE-739 |a DE-355 |a DE-20 |a DE-29 |a DE-29T |a DE-706 |a DE-634 |a DE-83 |a DE-11 |a DE-188 | ||
| 082 | 0 | |a 006.3/5 | |
| 084 | |a CC 4800 |0 (DE-625)17631: |2 rvk | ||
| 084 | |a ER 300 |0 (DE-625)27716: |2 rvk | ||
| 084 | |a DAT 710f |2 stub | ||
| 084 | |a DAT 540f |2 stub | ||
| 245 | 1 | 0 | |a Natural language and logic |b international scientific symposium, Hamburg, FRG, May 9 - 11, 1989, proceedings |c R. Studer (ed.) |
| 264 | 1 | |a Berlin u.a. |b Springer |c 1990 | |
| 300 | |a 252 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 459 : Lecture notes in artificial intelligence | |
| 650 | 4 | |a Logic, Symbolic and mathematical |x Congresses | |
| 650 | 4 | |a Natural language processing (Computer science) |x Congresses | |
| 650 | 0 | 7 | |a Sprachlogik |0 (DE-588)4182527-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Mathematische Logik |0 (DE-588)4037951-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Natürliche Sprache |0 (DE-588)4041354-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Prädikatenlogik |0 (DE-588)4046974-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Wissensrepräsentation |0 (DE-588)4049534-6 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 1989 |z Hamburg |2 gnd-content | |
| 689 | 0 | 0 | |a Natürliche Sprache |0 (DE-588)4041354-8 |D s |
| 689 | 0 | 1 | |a Wissensrepräsentation |0 (DE-588)4049534-6 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Sprachlogik |0 (DE-588)4182527-5 |D s |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 2 | 1 | |a Natürliche Sprache |0 (DE-588)4041354-8 |D s |
| 689 | 2 | |5 DE-604 | |
| 689 | 3 | 0 | |a Natürliche Sprache |0 (DE-588)4041354-8 |D s |
| 689 | 3 | 1 | |a Prädikatenlogik |0 (DE-588)4046974-8 |D s |
| 689 | 3 | |5 DE-188 | |
| 700 | 1 | |a Studer, Rudi |d 1951- |e Sonstige |0 (DE-588)174090315 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 459 : Lecture notes in artificial intelligence |w (DE-604)BV000000607 |9 459 : Lecture | |
| 856 | 4 | 2 | |m KOBV Fremddatenuebernahme |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=002597390&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-002597390 | |
Record in the Search Index
| _version_ | 1820874838297804800 |
|---|---|
| adam_text |
Table of Contents
Treatment of Anaphoric Problems in Referentially Opaque Contexts
A. Bernth. 1
Knowledge Processing in the LILOG Project - From the First to the Second
Prototype
T. Bollinger, K.-H. Blasius, U. Hcdtstiick. 26
Indexicality and Representation
P. Bosch. 50
Contextualization and De-Contextualization
O. Dahl.62
Computational Semantics: Steps towards "Intelligent" Text Processing
J.E. Fenstad, J.T. Lønning. 70
Propositional and Depictorial Representation of Spatial Knowledge:
The Case of Part-Concepts
Ch. Habel. 94
Slot Grammar: A System for Simpler Construction of Practical Natural Language
Grammars
M.C. McCord. 118
On the Logical Structure of Comparatives
M. Pinkal. 146
Aspects of Consistency of Sophisticated Knowledge Representation Languages
U. Pletat. 168
Unification Based Machine Translation
Ch. Rohrer. 191
Perspectives in Multiple-Valued Logic
P. H. Schmitt. 206
Properties and Actions
W. Schcinfeld.221
Rationale and Methods for Abductive Reasoning in Natural Language Interpretation
M.E. Stickel. 233 |
| any_adam_object | 1 |
| author_GND | (DE-588)174090315 |
| building | Verbundindex |
| bvnumber | BV004165318 |
| classification_rvk | CC 4800 ER 300 |
| classification_tum | DAT 710f DAT 540f |
| ctrlnum | (OCoLC)214280118 (DE-599)BVBBV004165318 |
| dewey-full | 006.3/5 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 006 - Special computer methods |
| dewey-raw | 006.3/5 |
| dewey-search | 006.3/5 |
| dewey-sort | 16.3 15 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik Sprachwissenschaft Philosophie Literaturwissenschaft |
| format | 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">BV004165318</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20150109</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">901205s1990 xx |||| 10||| engod</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540530827</subfield><subfield code="9">3-540-53082-7</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0387530827</subfield><subfield code="9">0-387-53082-7</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)214280118</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV004165318</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-12</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-29</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-11</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">006.3/5</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 4800</subfield><subfield code="0">(DE-625)17631:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ER 300</subfield><subfield code="0">(DE-625)27716:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 710f</subfield><subfield code="2">stub</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">Natural language and logic</subfield><subfield code="b">international scientific symposium, Hamburg, FRG, May 9 - 11, 1989, proceedings</subfield><subfield code="c">R. Studer (ed.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin u.a.</subfield><subfield code="b">Springer</subfield><subfield code="c">1990</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">252 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">459 : Lecture notes in artificial intelligence</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical</subfield><subfield code="x">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Natural language processing (Computer science)</subfield><subfield code="x">Congresses</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Sprachlogik</subfield><subfield code="0">(DE-588)4182527-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Natürliche Sprache</subfield><subfield code="0">(DE-588)4041354-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Prädikatenlogik</subfield><subfield code="0">(DE-588)4046974-8</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="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">1989</subfield><subfield code="z">Hamburg</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Natürliche Sprache</subfield><subfield code="0">(DE-588)4041354-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><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=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Sprachlogik</subfield><subfield code="0">(DE-588)4182527-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="1"><subfield code="a">Natürliche Sprache</subfield><subfield code="0">(DE-588)4041354-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="3" ind2="0"><subfield code="a">Natürliche Sprache</subfield><subfield code="0">(DE-588)4041354-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2="1"><subfield code="a">Prädikatenlogik</subfield><subfield code="0">(DE-588)4046974-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2=" "><subfield code="5">DE-188</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Studer, Rudi</subfield><subfield code="d">1951-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)174090315</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">459 : Lecture notes in artificial intelligence</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">459 : Lecture</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">KOBV Fremddatenuebernahme</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=002597390&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-002597390</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1989 Hamburg gnd-content |
| genre_facet | Konferenzschrift 1989 Hamburg |
| id | DE-604.BV004165318 |
| illustrated | Not Illustrated |
| indexdate | 2025-01-10T15:06:06Z |
| institution | BVB |
| isbn | 3540530827 0387530827 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-002597390 |
| oclc_num | 214280118 |
| open_access_boolean | |
| owner | DE-12 DE-91G DE-BY-TUM DE-384 DE-19 DE-BY-UBM DE-703 DE-739 DE-355 DE-BY-UBR DE-20 DE-29 DE-29T DE-706 DE-634 DE-83 DE-11 DE-188 |
| owner_facet | DE-12 DE-91G DE-BY-TUM DE-384 DE-19 DE-BY-UBM DE-703 DE-739 DE-355 DE-BY-UBR DE-20 DE-29 DE-29T DE-706 DE-634 DE-83 DE-11 DE-188 |
| physical | 252 S. |
| publishDate | 1990 |
| publishDateSearch | 1990 |
| publishDateSort | 1990 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Natural language and logic international scientific symposium, Hamburg, FRG, May 9 - 11, 1989, proceedings R. Studer (ed.) Berlin u.a. Springer 1990 252 S. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 459 : Lecture notes in artificial intelligence Logic, Symbolic and mathematical Congresses Natural language processing (Computer science) Congresses Sprachlogik (DE-588)4182527-5 gnd rswk-swf Mathematische Logik (DE-588)4037951-6 gnd rswk-swf Natürliche Sprache (DE-588)4041354-8 gnd rswk-swf Prädikatenlogik (DE-588)4046974-8 gnd rswk-swf Wissensrepräsentation (DE-588)4049534-6 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1989 Hamburg gnd-content Natürliche Sprache (DE-588)4041354-8 s Wissensrepräsentation (DE-588)4049534-6 s DE-604 Sprachlogik (DE-588)4182527-5 s Mathematische Logik (DE-588)4037951-6 s Prädikatenlogik (DE-588)4046974-8 s DE-188 Studer, Rudi 1951- Sonstige (DE-588)174090315 oth Lecture notes in computer science 459 : Lecture notes in artificial intelligence (DE-604)BV000000607 459 : Lecture KOBV Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=002597390&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Natural language and logic international scientific symposium, Hamburg, FRG, May 9 - 11, 1989, proceedings Lecture notes in computer science Logic, Symbolic and mathematical Congresses Natural language processing (Computer science) Congresses Sprachlogik (DE-588)4182527-5 gnd Mathematische Logik (DE-588)4037951-6 gnd Natürliche Sprache (DE-588)4041354-8 gnd Prädikatenlogik (DE-588)4046974-8 gnd Wissensrepräsentation (DE-588)4049534-6 gnd |
| subject_GND | (DE-588)4182527-5 (DE-588)4037951-6 (DE-588)4041354-8 (DE-588)4046974-8 (DE-588)4049534-6 (DE-588)1071861417 |
| title | Natural language and logic international scientific symposium, Hamburg, FRG, May 9 - 11, 1989, proceedings |
| title_auth | Natural language and logic international scientific symposium, Hamburg, FRG, May 9 - 11, 1989, proceedings |
| title_exact_search | Natural language and logic international scientific symposium, Hamburg, FRG, May 9 - 11, 1989, proceedings |
| title_full | Natural language and logic international scientific symposium, Hamburg, FRG, May 9 - 11, 1989, proceedings R. Studer (ed.) |
| title_fullStr | Natural language and logic international scientific symposium, Hamburg, FRG, May 9 - 11, 1989, proceedings R. Studer (ed.) |
| title_full_unstemmed | Natural language and logic international scientific symposium, Hamburg, FRG, May 9 - 11, 1989, proceedings R. Studer (ed.) |
| title_short | Natural language and logic |
| title_sort | natural language and logic international scientific symposium hamburg frg may 9 11 1989 proceedings |
| title_sub | international scientific symposium, Hamburg, FRG, May 9 - 11, 1989, proceedings |
| topic | Logic, Symbolic and mathematical Congresses Natural language processing (Computer science) Congresses Sprachlogik (DE-588)4182527-5 gnd Mathematische Logik (DE-588)4037951-6 gnd Natürliche Sprache (DE-588)4041354-8 gnd Prädikatenlogik (DE-588)4046974-8 gnd Wissensrepräsentation (DE-588)4049534-6 gnd |
| topic_facet | Logic, Symbolic and mathematical Congresses Natural language processing (Computer science) Congresses Sprachlogik Mathematische Logik Natürliche Sprache Prädikatenlogik Wissensrepräsentation Konferenzschrift 1989 Hamburg |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=002597390&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT studerrudi naturallanguageandlogicinternationalscientificsymposiumhamburgfrgmay9111989proceedings |