Formalizing the dynamics of information:
Gespeichert in:
| Format: | Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Stanford, Calif.
CSLI Publ.
2000
|
| Schriftenreihe: | Center for the Study of Language and Information <Stanford, Calif.>: CSLI lecture notes
91 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | X, 221 S. graph. Darst. |
| ISBN: | 1575862395 1575862409 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV013226811 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 000703s2000 d||| |||| 00||| eng d | ||
| 020 | |a 1575862395 |9 1-57586-239-5 | ||
| 020 | |a 1575862409 |9 1-57586-240-9 | ||
| 035 | |a (OCoLC)237372754 | ||
| 035 | |a (DE-599)BVBBV013226811 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-12 |a DE-11 | ||
| 050 | 0 | |a Q360 | |
| 084 | |a ES 900 |0 (DE-625)27926: |2 rvk | ||
| 245 | 1 | 0 | |a Formalizing the dynamics of information |c Martina Faller ..., eds. |
| 264 | 1 | |a Stanford, Calif. |b CSLI Publ. |c 2000 | |
| 300 | |a X, 221 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Center for the Study of Language and Information <Stanford, Calif.>: CSLI lecture notes |v 91 | |
| 650 | 0 | 7 | |a Informationstheorie |0 (DE-588)4026927-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Systemtheorie |0 (DE-588)4058812-9 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4143413-4 |a Aufsatzsammlung |2 gnd-content | |
| 689 | 0 | 0 | |a Informationstheorie |0 (DE-588)4026927-9 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Informationstheorie |0 (DE-588)4026927-9 |D s |
| 689 | 1 | 1 | |a Systemtheorie |0 (DE-588)4058812-9 |D s |
| 689 | 1 | |5 DE-604 | |
| 700 | 1 | |a Faller, Martina |e Sonstige |4 oth | |
| 830 | 0 | |a Center for the Study of Language and Information <Stanford, Calif.>: CSLI lecture notes |v 91 |w (DE-604)BV001900711 |9 91 | |
| 856 | 4 | 2 | |m HEBIS Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009013956&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-009013956 | ||
Datensatz im Suchindex
| _version_ | 1804127986412158976 |
|---|---|
| adam_text | FORMALIZING
THE DYNAMICS
OF INFORMATION
MARTINA FALLER
STEFAN KAUFMANN
MARC PAULY
editors
CSLI PUBLICATIONS
CENTER FOR THE STUDY OF LANGUAGE AND INFORMATION
• STANFORD,CAL1FORNIA
Contents
Preface vii
List of Contributors x
I Agents, Games, and
Reasoning with Incomplete Information 1
Commonsense as Motion
ARESKI NAIT ABDALLAH 3
Intersubjective Consistency of Knowledge and Belief
GlACOMO BONANNO AND KLAUS NEHRING 27
Formalizing Potential of Agents
W VAN DER HOEK, J -J CH MEYER, AND J W VAN SCHAGEN 51
An Introduction to Game Logic
MARC PAULY 69
II Reasoning Formalized: Logical Frameworks,
Resolution, and Proof Theory 85
Logical Frameworks
ILIANO CERVESATO 87
Logical Frameworks
GRIGORI MINTS 105
An Overview of Resolution Decision Procedures
HANS DE NIVELLE 115
vi / CONTENTS
From Propositional to Linear Logic: An Introduction
HAROLD SCHELLINX 131
III Compositions that Make Sense 149
Dimensional Adjectives and Measure Phrases in
Vector Space Semantics
MARTINA FALLER 151
Dynamic Context Management
STEFAN KAUFMANN 171
Resolving Temporal Relations Using
Tense Meaning and Discourse Interpretation
ANDREW KEHLER 189
Semantic Compositionality
FRANCIS JEFFRY PELLETIER 207
|
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV013226811 |
| callnumber-first | Q - Science |
| callnumber-label | Q360 |
| callnumber-raw | Q360 |
| callnumber-search | Q360 |
| callnumber-sort | Q 3360 |
| callnumber-subject | Q - General Science |
| classification_rvk | ES 900 |
| ctrlnum | (OCoLC)237372754 (DE-599)BVBBV013226811 |
| discipline | Sprachwissenschaft Literaturwissenschaft |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01735nam a2200421 cb4500</leader><controlfield tag="001">BV013226811</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">000703s2000 d||| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1575862395</subfield><subfield code="9">1-57586-239-5</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1575862409</subfield><subfield code="9">1-57586-240-9</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)237372754</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV013226811</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</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-11</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">Q360</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ES 900</subfield><subfield code="0">(DE-625)27926:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Formalizing the dynamics of information</subfield><subfield code="c">Martina Faller ..., eds.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Stanford, Calif.</subfield><subfield code="b">CSLI Publ.</subfield><subfield code="c">2000</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">X, 221 S.</subfield><subfield code="b">graph. Darst.</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">Center for the Study of Language and Information <Stanford, Calif.>: CSLI lecture notes</subfield><subfield code="v">91</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Informationstheorie</subfield><subfield code="0">(DE-588)4026927-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Systemtheorie</subfield><subfield code="0">(DE-588)4058812-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)4143413-4</subfield><subfield code="a">Aufsatzsammlung</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Informationstheorie</subfield><subfield code="0">(DE-588)4026927-9</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">Informationstheorie</subfield><subfield code="0">(DE-588)4026927-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Systemtheorie</subfield><subfield code="0">(DE-588)4058812-9</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">Faller, Martina</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Center for the Study of Language and Information <Stanford, Calif.>: CSLI lecture notes</subfield><subfield code="v">91</subfield><subfield code="w">(DE-604)BV001900711</subfield><subfield code="9">91</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HEBIS 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=009013956&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-009013956</subfield></datafield></record></collection> |
| genre | (DE-588)4143413-4 Aufsatzsammlung gnd-content |
| genre_facet | Aufsatzsammlung |
| id | DE-604.BV013226811 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T18:42:04Z |
| institution | BVB |
| isbn | 1575862395 1575862409 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-009013956 |
| oclc_num | 237372754 |
| open_access_boolean | |
| owner | DE-12 DE-11 |
| owner_facet | DE-12 DE-11 |
| physical | X, 221 S. graph. Darst. |
| publishDate | 2000 |
| publishDateSearch | 2000 |
| publishDateSort | 2000 |
| publisher | CSLI Publ. |
| record_format | marc |
| series | Center for the Study of Language and Information <Stanford, Calif.>: CSLI lecture notes |
| series2 | Center for the Study of Language and Information <Stanford, Calif.>: CSLI lecture notes |
| spelling | Formalizing the dynamics of information Martina Faller ..., eds. Stanford, Calif. CSLI Publ. 2000 X, 221 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Center for the Study of Language and Information <Stanford, Calif.>: CSLI lecture notes 91 Informationstheorie (DE-588)4026927-9 gnd rswk-swf Systemtheorie (DE-588)4058812-9 gnd rswk-swf (DE-588)4143413-4 Aufsatzsammlung gnd-content Informationstheorie (DE-588)4026927-9 s DE-604 Systemtheorie (DE-588)4058812-9 s Faller, Martina Sonstige oth Center for the Study of Language and Information <Stanford, Calif.>: CSLI lecture notes 91 (DE-604)BV001900711 91 HEBIS Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009013956&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Formalizing the dynamics of information Center for the Study of Language and Information <Stanford, Calif.>: CSLI lecture notes Informationstheorie (DE-588)4026927-9 gnd Systemtheorie (DE-588)4058812-9 gnd |
| subject_GND | (DE-588)4026927-9 (DE-588)4058812-9 (DE-588)4143413-4 |
| title | Formalizing the dynamics of information |
| title_auth | Formalizing the dynamics of information |
| title_exact_search | Formalizing the dynamics of information |
| title_full | Formalizing the dynamics of information Martina Faller ..., eds. |
| title_fullStr | Formalizing the dynamics of information Martina Faller ..., eds. |
| title_full_unstemmed | Formalizing the dynamics of information Martina Faller ..., eds. |
| title_short | Formalizing the dynamics of information |
| title_sort | formalizing the dynamics of information |
| topic | Informationstheorie (DE-588)4026927-9 gnd Systemtheorie (DE-588)4058812-9 gnd |
| topic_facet | Informationstheorie Systemtheorie Aufsatzsammlung |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009013956&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV001900711 |
| work_keys_str_mv | AT fallermartina formalizingthedynamicsofinformation |