Formal aspects of context:
Gespeichert in:
Format: | Buch |
---|---|
Sprache: | English |
Veröffentlicht: |
Dordrecht [u.a.]
Kluwer
2000
|
Schriftenreihe: | Applied logic series
20 |
Schlagworte: | |
Online-Zugang: | Inhaltsverzeichnis |
Beschreibung: | X, 214 S. graph. Darst. |
ISBN: | 0792363507 |
Internformat
MARC
LEADER | 00000nam a2200000 cb4500 | ||
---|---|---|---|
001 | BV013410446 | ||
003 | DE-604 | ||
005 | 20021009 | ||
007 | t | ||
008 | 001031s2000 d||| |||| 10||| eng d | ||
020 | |a 0792363507 |9 0-7923-6350-7 | ||
035 | |a (OCoLC)44045527 | ||
035 | |a (DE-599)BVBBV013410446 | ||
040 | |a DE-604 |b ger |e rakwb | ||
041 | 0 | |a eng | |
049 | |a DE-739 |a DE-12 |a DE-473 | ||
050 | 0 | |a QA76.9.C65 | |
082 | 0 | |a 006.3 |2 21 | |
084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
245 | 1 | 0 | |a Formal aspects of context |c ed. by Pierre Bonzon ... |
264 | 1 | |a Dordrecht [u.a.] |b Kluwer |c 2000 | |
300 | |a X, 214 S. |b graph. Darst. | ||
336 | |b txt |2 rdacontent | ||
337 | |b n |2 rdamedia | ||
338 | |b nc |2 rdacarrier | ||
490 | 1 | |a Applied logic series |v 20 | |
650 | 4 | |a Computer simulation |v Congresses | |
650 | 4 | |a Context (Linguistics) |v Congresses | |
650 | 0 | 7 | |a Linguistik |0 (DE-588)4074250-7 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Kontext |0 (DE-588)4165149-2 |2 gnd |9 rswk-swf |
655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 1997 |z Rio de Janeiro |2 gnd-content | |
689 | 0 | 0 | |a Kontext |0 (DE-588)4165149-2 |D s |
689 | 0 | 1 | |a Linguistik |0 (DE-588)4074250-7 |D s |
689 | 0 | |5 DE-604 | |
700 | 1 | |a Bonzon, Pierre |e Sonstige |4 oth | |
830 | 0 | |a Applied logic series |v 20 |w (DE-604)BV011076498 |9 20 | |
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=009151318&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
999 | |a oai:aleph.bib-bvb.de:BVB01-009151318 |
Datensatz im Suchindex
_version_ | 1804128197269258240 |
---|---|
adam_text | Formal Aspects
of Context
edited by
PIERRE BONZON
Universite de Lausanne, Switzerland
MARCOS CAVALCANTI
Universidade Federal do Rio de Janeiro
and
ROLF NOSSUM
Agder College, Kristiansand, Denmark
KLUWER ACADEMIC PUBLISHERS
DORDRECHT / BOSTON / LONDON
CONTENTS
Editorial Preface vii
Dov M Gabbay
Introduction ix
The Editors
Formal and Computational Models of Context for Natural 1
Language Generation
K van Deemter and J Odijk
Requirements for Dialogue Context Modelling 23
H Bunt
Contextual Constraints on Thematization in Written 37
Discourse: An Empirical Study
J Lavid
Context and Implicitness: Consequences for Traditional and 49
Computer-assisted Text Analysis
M Galliker and D Weimer
A Context-based Mechanization of Multi-agent Reasoning 65
A Cimatti and L Serafini
Presuppositions in Context: Constructing Bridges 85
P Piwek and E Krahmer
Reasoning with Multilevel Contexts in Semantic 107
Metanetworks
V Y Terziyan and S Puuronen
Contextual Learning: Towards using Contexts to Achieve 127
Generality
P Bonzon
VI
Contextual Deontic Logic: Violation Contexts and Factual 143
Defeasibility
LWN van der Torre and Y -H Tan
A Local Models Semantics for Prepositional Attitudes 161
F Giunchiglia and C Ghidini
Context-based Semantics for Information Integration 175
L Serafini and C Ghidini
Structured Contexts with Fibred Semantics 193
D M Gabbay and R T Nossum
Index 211
|
any_adam_object | 1 |
building | Verbundindex |
bvnumber | BV013410446 |
callnumber-first | Q - Science |
callnumber-label | QA76 |
callnumber-raw | QA76.9.C65 |
callnumber-search | QA76.9.C65 |
callnumber-sort | QA 276.9 C65 |
callnumber-subject | QA - Mathematics |
classification_rvk | SK 130 |
ctrlnum | (OCoLC)44045527 (DE-599)BVBBV013410446 |
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 Mathematik |
format | Book |
fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01592nam a2200421 cb4500</leader><controlfield tag="001">BV013410446</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20021009 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">001031s2000 d||| |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0792363507</subfield><subfield code="9">0-7923-6350-7</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)44045527</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV013410446</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-739</subfield><subfield code="a">DE-12</subfield><subfield code="a">DE-473</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.9.C65</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">006.3</subfield><subfield code="2">21</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 130</subfield><subfield code="0">(DE-625)143216:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Formal aspects of context</subfield><subfield code="c">ed. by Pierre Bonzon ...</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Dordrecht [u.a.]</subfield><subfield code="b">Kluwer</subfield><subfield code="c">2000</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">X, 214 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">Applied logic series</subfield><subfield code="v">20</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer simulation</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Context (Linguistics)</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Linguistik</subfield><subfield code="0">(DE-588)4074250-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Kontext</subfield><subfield code="0">(DE-588)4165149-2</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">1997</subfield><subfield code="z">Rio de Janeiro</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Kontext</subfield><subfield code="0">(DE-588)4165149-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Linguistik</subfield><subfield code="0">(DE-588)4074250-7</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">Bonzon, Pierre</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Applied logic series</subfield><subfield code="v">20</subfield><subfield code="w">(DE-604)BV011076498</subfield><subfield code="9">20</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=009151318&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-009151318</subfield></datafield></record></collection> |
genre | (DE-588)1071861417 Konferenzschrift 1997 Rio de Janeiro gnd-content |
genre_facet | Konferenzschrift 1997 Rio de Janeiro |
id | DE-604.BV013410446 |
illustrated | Illustrated |
indexdate | 2024-07-09T18:45:25Z |
institution | BVB |
isbn | 0792363507 |
language | English |
oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-009151318 |
oclc_num | 44045527 |
open_access_boolean | |
owner | DE-739 DE-12 DE-473 DE-BY-UBG |
owner_facet | DE-739 DE-12 DE-473 DE-BY-UBG |
physical | X, 214 S. graph. Darst. |
publishDate | 2000 |
publishDateSearch | 2000 |
publishDateSort | 2000 |
publisher | Kluwer |
record_format | marc |
series | Applied logic series |
series2 | Applied logic series |
spelling | Formal aspects of context ed. by Pierre Bonzon ... Dordrecht [u.a.] Kluwer 2000 X, 214 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Applied logic series 20 Computer simulation Congresses Context (Linguistics) Congresses Linguistik (DE-588)4074250-7 gnd rswk-swf Kontext (DE-588)4165149-2 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1997 Rio de Janeiro gnd-content Kontext (DE-588)4165149-2 s Linguistik (DE-588)4074250-7 s DE-604 Bonzon, Pierre Sonstige oth Applied logic series 20 (DE-604)BV011076498 20 HEBIS Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009151318&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
spellingShingle | Formal aspects of context Applied logic series Computer simulation Congresses Context (Linguistics) Congresses Linguistik (DE-588)4074250-7 gnd Kontext (DE-588)4165149-2 gnd |
subject_GND | (DE-588)4074250-7 (DE-588)4165149-2 (DE-588)1071861417 |
title | Formal aspects of context |
title_auth | Formal aspects of context |
title_exact_search | Formal aspects of context |
title_full | Formal aspects of context ed. by Pierre Bonzon ... |
title_fullStr | Formal aspects of context ed. by Pierre Bonzon ... |
title_full_unstemmed | Formal aspects of context ed. by Pierre Bonzon ... |
title_short | Formal aspects of context |
title_sort | formal aspects of context |
topic | Computer simulation Congresses Context (Linguistics) Congresses Linguistik (DE-588)4074250-7 gnd Kontext (DE-588)4165149-2 gnd |
topic_facet | Computer simulation Congresses Context (Linguistics) Congresses Linguistik Kontext Konferenzschrift 1997 Rio de Janeiro |
url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009151318&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
volume_link | (DE-604)BV011076498 |
work_keys_str_mv | AT bonzonpierre formalaspectsofcontext |