Formal Aspects of Context:
Gespeichert in:
| Weitere Verfasser: | , , |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Dordrecht
Springer Netherlands
2000
|
| Schriftenreihe: | Applied Logic Series
20 |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Beschreibung: | We welcome Volume 20, Formal Aspects of Context. Context has always been recognised as strongly relevant to models in language, philosophy, logic and artificial intelligence. In recent years theoretical advances in these areas and especially in logic have accelerated the study of context in the international community. An annual conference is held and many researchers have come to realise that many of the old puzzles should be reconsidered with proper attention to context. The volume editors and contributors are from among the most active front-line researchers in the area and the contents shows how wide and vigorous this area is. There are strong scientific connections with earlier volumes in the series. I am confident that the appearance of this book in our series will help secure the study of context as an important area of applied logic. D.M.Gabbay INTRODUCTION This book is a result of the First International and Interdisciplinary Conference on Modelling and Using Context, which was organised in Rio de Janeiro in January 1997, and contains a selection of the papers presented there, refereed and revised through a process of anonymous peer review. The treatment of contexts as bona-fide objects of logical formalisation has gained wide acceptance in recent years, following the seminal impetus by McCarthy in his Turing award address |
| Beschreibung: | 1 Online-Ressource (X, 216 p) |
| ISBN: | 9789401593977 9789048154722 |
| ISSN: | 1386-2790 |
| DOI: | 10.1007/978-94-015-9397-7 |
Internformat
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV042424136 | ||
| 003 | DE-604 | ||
| 005 | 20171108 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 150317s2000 |||| o||u| ||||||eng d | ||
| 020 | |a 9789401593977 |c Online |9 978-94-015-9397-7 | ||
| 020 | |a 9789048154722 |c Print |9 978-90-481-5472-2 | ||
| 024 | 7 | |a 10.1007/978-94-015-9397-7 |2 doi | |
| 035 | |a (OCoLC)905393219 | ||
| 035 | |a (DE-599)BVBBV042424136 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-384 |a DE-703 |a DE-91 |a DE-634 | ||
| 082 | 0 | |a 160 |2 23 | |
| 084 | |a MAT 000 |2 stub | ||
| 245 | 1 | 0 | |a Formal Aspects of Context |c edited by Pierre Bonzon, Marcos Cavalcanti, Rolf Nossum |
| 264 | 1 | |a Dordrecht |b Springer Netherlands |c 2000 | |
| 300 | |a 1 Online-Ressource (X, 216 p) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 1 | |a Applied Logic Series |v 20 |x 1386-2790 | |
| 500 | |a We welcome Volume 20, Formal Aspects of Context. Context has always been recognised as strongly relevant to models in language, philosophy, logic and artificial intelligence. In recent years theoretical advances in these areas and especially in logic have accelerated the study of context in the international community. An annual conference is held and many researchers have come to realise that many of the old puzzles should be reconsidered with proper attention to context. The volume editors and contributors are from among the most active front-line researchers in the area and the contents shows how wide and vigorous this area is. There are strong scientific connections with earlier volumes in the series. I am confident that the appearance of this book in our series will help secure the study of context as an important area of applied logic. D.M.Gabbay INTRODUCTION This book is a result of the First International and Interdisciplinary Conference on Modelling and Using Context, which was organised in Rio de Janeiro in January 1997, and contains a selection of the papers presented there, refereed and revised through a process of anonymous peer review. The treatment of contexts as bona-fide objects of logical formalisation has gained wide acceptance in recent years, following the seminal impetus by McCarthy in his Turing award address | ||
| 650 | 4 | |a Philosophy (General) | |
| 650 | 4 | |a Logic | |
| 650 | 4 | |a Artificial intelligence | |
| 650 | 4 | |a Logic, Symbolic and mathematical | |
| 650 | 4 | |a Philosophy | |
| 650 | 4 | |a Artificial Intelligence (incl. Robotics) | |
| 650 | 4 | |a Mathematical Logic and Foundations | |
| 650 | 4 | |a Künstliche Intelligenz | |
| 650 | 4 | |a Philosophie | |
| 650 | 0 | 7 | |a Kontext |0 (DE-588)4165149-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Linguistik |0 (DE-588)4074250-7 |2 gnd |9 rswk-swf |
| 655 | 7 | |8 1\p |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 | |8 2\p |5 DE-604 | |
| 700 | 1 | |a Bonzon, Pierre |4 edt | |
| 700 | 1 | |a Cavalcanti, Marcos |4 edt | |
| 700 | 1 | |a Nossum, Rolf |4 edt | |
| 830 | 0 | |a Applied Logic Series |v 20 |w (DE-604)BV011076498 |9 20 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-94-015-9397-7 |x Verlag |3 Volltext |
| 912 | |a ZDB-2-SMA |a ZDB-2-BAE | ||
| 940 | 1 | |q ZDB-2-SMA_Archive | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-027859553 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 2\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
Datensatz im Suchindex
| _version_ | 1804153100726960128 |
|---|---|
| any_adam_object | |
| author2 | Bonzon, Pierre Cavalcanti, Marcos Nossum, Rolf |
| author2_role | edt edt edt |
| author2_variant | p b pb m c mc r n rn |
| author_facet | Bonzon, Pierre Cavalcanti, Marcos Nossum, Rolf |
| building | Verbundindex |
| bvnumber | BV042424136 |
| classification_tum | MAT 000 |
| collection | ZDB-2-SMA ZDB-2-BAE |
| ctrlnum | (OCoLC)905393219 (DE-599)BVBBV042424136 |
| dewey-full | 160 |
| dewey-hundreds | 100 - Philosophy & psychology |
| dewey-ones | 160 - Philosophical logic |
| dewey-raw | 160 |
| dewey-search | 160 |
| dewey-sort | 3160 |
| dewey-tens | 160 - Philosophical logic |
| discipline | Mathematik Philosophie |
| doi_str_mv | 10.1007/978-94-015-9397-7 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03510nmm a2200601zcb4500</leader><controlfield tag="001">BV042424136</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20171108 </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">150317s2000 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9789401593977</subfield><subfield code="c">Online</subfield><subfield code="9">978-94-015-9397-7</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9789048154722</subfield><subfield code="c">Print</subfield><subfield code="9">978-90-481-5472-2</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-94-015-9397-7</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)905393219</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042424136</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-384</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-634</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">160</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">MAT 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Formal Aspects of Context</subfield><subfield code="c">edited by Pierre Bonzon, Marcos Cavalcanti, Rolf Nossum</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Dordrecht</subfield><subfield code="b">Springer Netherlands</subfield><subfield code="c">2000</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (X, 216 p)</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">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</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><subfield code="x">1386-2790</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">We welcome Volume 20, Formal Aspects of Context. Context has always been recognised as strongly relevant to models in language, philosophy, logic and artificial intelligence. In recent years theoretical advances in these areas and especially in logic have accelerated the study of context in the international community. An annual conference is held and many researchers have come to realise that many of the old puzzles should be reconsidered with proper attention to context. The volume editors and contributors are from among the most active front-line researchers in the area and the contents shows how wide and vigorous this area is. There are strong scientific connections with earlier volumes in the series. I am confident that the appearance of this book in our series will help secure the study of context as an important area of applied logic. D.M.Gabbay INTRODUCTION This book is a result of the First International and Interdisciplinary Conference on Modelling and Using Context, which was organised in Rio de Janeiro in January 1997, and contains a selection of the papers presented there, refereed and revised through a process of anonymous peer review. The treatment of contexts as bona-fide objects of logical formalisation has gained wide acceptance in recent years, following the seminal impetus by McCarthy in his Turing award address</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Philosophy (General)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Artificial intelligence</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Philosophy</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Artificial Intelligence (incl. Robotics)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical Logic and Foundations</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">Philosophie</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="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="655" ind1=" " ind2="7"><subfield code="8">1\p</subfield><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="8">2\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Bonzon, Pierre</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Cavalcanti, Marcos</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Nossum, Rolf</subfield><subfield code="4">edt</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="0"><subfield code="u">https://doi.org/10.1007/978-94-015-9397-7</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SMA</subfield><subfield code="a">ZDB-2-BAE</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-SMA_Archive</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027859553</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">2\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield></record></collection> |
| genre | 1\p (DE-588)1071861417 Konferenzschrift 1997 Rio de Janeiro gnd-content |
| genre_facet | Konferenzschrift 1997 Rio de Janeiro |
| id | DE-604.BV042424136 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T01:21:14Z |
| institution | BVB |
| isbn | 9789401593977 9789048154722 |
| issn | 1386-2790 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027859553 |
| oclc_num | 905393219 |
| open_access_boolean | |
| owner | DE-384 DE-703 DE-91 DE-BY-TUM DE-634 |
| owner_facet | DE-384 DE-703 DE-91 DE-BY-TUM DE-634 |
| physical | 1 Online-Ressource (X, 216 p) |
| psigel | ZDB-2-SMA ZDB-2-BAE ZDB-2-SMA_Archive |
| publishDate | 2000 |
| publishDateSearch | 2000 |
| publishDateSort | 2000 |
| publisher | Springer Netherlands |
| record_format | marc |
| series | Applied Logic Series |
| series2 | Applied Logic Series |
| spelling | Formal Aspects of Context edited by Pierre Bonzon, Marcos Cavalcanti, Rolf Nossum Dordrecht Springer Netherlands 2000 1 Online-Ressource (X, 216 p) txt rdacontent c rdamedia cr rdacarrier Applied Logic Series 20 1386-2790 We welcome Volume 20, Formal Aspects of Context. Context has always been recognised as strongly relevant to models in language, philosophy, logic and artificial intelligence. In recent years theoretical advances in these areas and especially in logic have accelerated the study of context in the international community. An annual conference is held and many researchers have come to realise that many of the old puzzles should be reconsidered with proper attention to context. The volume editors and contributors are from among the most active front-line researchers in the area and the contents shows how wide and vigorous this area is. There are strong scientific connections with earlier volumes in the series. I am confident that the appearance of this book in our series will help secure the study of context as an important area of applied logic. D.M.Gabbay INTRODUCTION This book is a result of the First International and Interdisciplinary Conference on Modelling and Using Context, which was organised in Rio de Janeiro in January 1997, and contains a selection of the papers presented there, refereed and revised through a process of anonymous peer review. The treatment of contexts as bona-fide objects of logical formalisation has gained wide acceptance in recent years, following the seminal impetus by McCarthy in his Turing award address Philosophy (General) Logic Artificial intelligence Logic, Symbolic and mathematical Philosophy Artificial Intelligence (incl. Robotics) Mathematical Logic and Foundations Künstliche Intelligenz Philosophie Kontext (DE-588)4165149-2 gnd rswk-swf Linguistik (DE-588)4074250-7 gnd rswk-swf 1\p (DE-588)1071861417 Konferenzschrift 1997 Rio de Janeiro gnd-content Kontext (DE-588)4165149-2 s Linguistik (DE-588)4074250-7 s 2\p DE-604 Bonzon, Pierre edt Cavalcanti, Marcos edt Nossum, Rolf edt Applied Logic Series 20 (DE-604)BV011076498 20 https://doi.org/10.1007/978-94-015-9397-7 Verlag Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 2\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Formal Aspects of Context Applied Logic Series Philosophy (General) Logic Artificial intelligence Logic, Symbolic and mathematical Philosophy Artificial Intelligence (incl. Robotics) Mathematical Logic and Foundations Künstliche Intelligenz Philosophie Kontext (DE-588)4165149-2 gnd Linguistik (DE-588)4074250-7 gnd |
| subject_GND | (DE-588)4165149-2 (DE-588)4074250-7 (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 edited by Pierre Bonzon, Marcos Cavalcanti, Rolf Nossum |
| title_fullStr | Formal Aspects of Context edited by Pierre Bonzon, Marcos Cavalcanti, Rolf Nossum |
| title_full_unstemmed | Formal Aspects of Context edited by Pierre Bonzon, Marcos Cavalcanti, Rolf Nossum |
| title_short | Formal Aspects of Context |
| title_sort | formal aspects of context |
| topic | Philosophy (General) Logic Artificial intelligence Logic, Symbolic and mathematical Philosophy Artificial Intelligence (incl. Robotics) Mathematical Logic and Foundations Künstliche Intelligenz Philosophie Kontext (DE-588)4165149-2 gnd Linguistik (DE-588)4074250-7 gnd |
| topic_facet | Philosophy (General) Logic Artificial intelligence Logic, Symbolic and mathematical Philosophy Artificial Intelligence (incl. Robotics) Mathematical Logic and Foundations Künstliche Intelligenz Philosophie Kontext Linguistik Konferenzschrift 1997 Rio de Janeiro |
| url | https://doi.org/10.1007/978-94-015-9397-7 |
| volume_link | (DE-604)BV011076498 |
| work_keys_str_mv | AT bonzonpierre formalaspectsofcontext AT cavalcantimarcos formalaspectsofcontext AT nossumrolf formalaspectsofcontext |