Logic and its applications: 4th Indian conference, ICLA 2011, Delhi, India, January 5 - 11, 2011 ; proceedings
Gespeichert in:
Weitere Verfasser: | |
---|---|
Format: | Tagungsbericht Buch |
Sprache: | English |
Veröffentlicht: |
Berlin [u.a.]
Springer
2011
|
Schriftenreihe: | Lecture notes in computer science
6521 : Lecture notes in artificial intelligence |
Schlagworte: | |
Online-Zugang: | Inhaltstext Inhaltsverzeichnis |
Beschreibung: | Literaturangaben |
Beschreibung: | X, 218 S. graph. Darst. 24 cm |
ISBN: | 9783642180255 3642180256 |
Internformat
MARC
LEADER | 00000nam a2200000 cb4500 | ||
---|---|---|---|
001 | BV036963090 | ||
003 | DE-604 | ||
005 | 20150108 | ||
007 | t | ||
008 | 110118s2011 d||| |||| 10||| eng d | ||
016 | 7 | |a 1008556254 |2 DE-101 | |
020 | |a 9783642180255 |9 978-3-642-18025-5 | ||
020 | |a 3642180256 |9 3-642-18025-6 | ||
035 | |a (OCoLC)698662248 | ||
035 | |a (DE-599)DNB1008556254 | ||
040 | |a DE-604 |b ger |e rakddb | ||
041 | 0 | |a eng | |
049 | |a DE-706 |a DE-11 |a DE-91G |a DE-83 | ||
082 | 0 | |a 511.3 |2 22/ger | |
084 | |a SS 4800 |0 (DE-625)143528: |2 rvk | ||
084 | |a 004 |2 sdnb | ||
084 | |a DAT 540f |2 stub | ||
084 | |a 510 |2 sdnb | ||
245 | 1 | 0 | |a Logic and its applications |b 4th Indian conference, ICLA 2011, Delhi, India, January 5 - 11, 2011 ; proceedings |c Mohua Banerjee ... (eds.) |
264 | 1 | |a Berlin [u.a.] |b Springer |c 2011 | |
300 | |a X, 218 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 6521 : Lecture notes in artificial intelligence | |
500 | |a Literaturangaben | ||
650 | 0 | 7 | |a Mathematische Logik |0 (DE-588)4037951-6 |2 gnd |9 rswk-swf |
655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2010 |z Delhi |2 gnd-content | |
689 | 0 | 0 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
689 | 0 | |5 DE-604 | |
700 | 1 | |a Banerjee, Mohua |0 (DE-588)1064714935 |4 edt | |
710 | 2 | |a Association of Logic, Language and Information |e Sonstige |0 (DE-588)10102504-X |4 oth | |
711 | 2 | |a ICLA |n 4 |d 2011 |c Delhi |j Sonstige |0 (DE-588)16095387-X |4 oth | |
830 | 0 | |a Lecture notes in computer science |v 6521 : Lecture notes in artificial intelligence |w (DE-604)BV000000607 |9 6521 | |
856 | 4 | 2 | |m X:MVB |q text/html |u http://deposit.dnb.de/cgi-bin/dokserv?id=3616441&prov=M&dok_var=1&dok_ext=htm |3 Inhaltstext |
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=020877955&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-020877955 |
Datensatz im Suchindex
_version_ | 1805095218706382848 |
---|---|
adam_text |
IMAGE 1
TABLE OF CONTENTS
SEMANTICS BASED ON CONCEPTUAL SPACES (INVITED TALK) 1
PETER GAERDENFORS
FOUR CORNERS-EAST AND WEST (INVITED TALK) 12
GRAHAM PRIEST
INFINITE GAMES AND UNIFORMIZATION (INVITED TALK) 19
WOLFGANG THOMAS
ON FUZZY SETS AND ROUGH SETS FROM THE PERSPECTIVE OF INDISCERNIBILITY 22
MIHIR K. CHAKRABORTY
THE LOGIC OF CAMPAIGNING 38
WALTER DEAN AND ROHIT PARIKH
A STOCHASTIC INTERPRETATION OF PROPOSITIONAL DYNAMIC LOGIC: EXPRESSIVITY
50
ERNST-ERICH DOBERKAT
CONTEXTUAL COALITIONAL GAMES ." 65
PATRICK DOHERTY, TOMASZ MICHALAK, JACEK SROKA, AND ANDRZEJ SZALAS
SENSIBLE SEMANTICS OF IMPERFECT INFORMATION: ON A FORMAL FEATURE OF
MEANINGS 79
PIETRO GALLIANI
A QUALITATIVE APPROACH TO UNCERTAINTY 90
SUJATA GHOSH AND FERNANDO R. VELAZQUEZ-QUESADA
THE COMPLETION OF THE EMERGENCE OF MODERN LOGIC FROM BOOLE'S THE
MATHEMATICAL ANALYSIS OJ LOGIC TO FREGE'S BEGRIFFSSCHRIFT 105
PRIYEDARSHI JETLI
A MODAL LOGIC FOR MULTIPLE-SOURCE TOLERANCE APPROXIMATION SPACES . .
124 MD. AQUIL KHAN AND MINGHUI MA
A NOTE ON NATHANIAL'S INVARIANCE PRINCIPLE IN POLYADIC INDUCTIVE LOGIC
137
JEFF B. PARIS AND ALENA VENCOVSKA
FIRST-ORDER INQUISITIVE PAIR LOGIC 147
KATSUHIKO SANO
BIBLIOGRAFISCHE INFORMATIONEN HTTP://D-NB.INFO/1008556254
DIGITALISIERT DURCH
IMAGE 2
X TABLE OF CONTENTS
ULTRAFILTER EXTENSIONS OF MODELS 162
DENIS I. SAVELIEV
LOGIC IN THE COMMUNITY 178
JEREMY SELIGMAN, FENRONG LIU, AND PATRICK GIRARD
REASONING ABOUT PROTOCOL CHANGE AND KNOWLEDGE 189
YANJING WANG
BECOMING AWARE OF PROPOSITIONAL VARIABLES 204
HANS VAN DITMARSCH AND TIM FRENCH
AUTHOR INDEX 219 |
any_adam_object | 1 |
author2 | Banerjee, Mohua |
author2_role | edt |
author2_variant | m b mb |
author_GND | (DE-588)1064714935 |
author_facet | Banerjee, Mohua |
building | Verbundindex |
bvnumber | BV036963090 |
classification_rvk | SS 4800 |
classification_tum | DAT 540f |
ctrlnum | (OCoLC)698662248 (DE-599)DNB1008556254 |
dewey-full | 511.3 |
dewey-hundreds | 500 - Natural sciences and mathematics |
dewey-ones | 511 - General principles of mathematics |
dewey-raw | 511.3 |
dewey-search | 511.3 |
dewey-sort | 3511.3 |
dewey-tens | 510 - Mathematics |
discipline | Informatik Mathematik |
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">BV036963090</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20150108</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">110118s2011 d||| |||| 10||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1008556254</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642180255</subfield><subfield code="9">978-3-642-18025-5</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3642180256</subfield><subfield code="9">3-642-18025-6</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)698662248</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1008556254</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-11</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-83</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SS 4800</subfield><subfield code="0">(DE-625)143528:</subfield><subfield code="2">rvk</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="084" ind1=" " ind2=" "><subfield code="a">510</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Logic and its applications</subfield><subfield code="b">4th Indian conference, ICLA 2011, Delhi, India, January 5 - 11, 2011 ; proceedings</subfield><subfield code="c">Mohua Banerjee ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2011</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">X, 218 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">6521 : Lecture notes in artificial intelligence</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturangaben</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="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2010</subfield><subfield code="z">Delhi</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" 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="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Banerjee, Mohua</subfield><subfield code="0">(DE-588)1064714935</subfield><subfield code="4">edt</subfield></datafield><datafield tag="710" ind1="2" ind2=" "><subfield code="a">Association of Logic, Language and Information</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)10102504-X</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">ICLA</subfield><subfield code="n">4</subfield><subfield code="d">2011</subfield><subfield code="c">Delhi</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)16095387-X</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">6521 : Lecture notes in artificial intelligence</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">6521</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">X:MVB</subfield><subfield code="q">text/html</subfield><subfield code="u">http://deposit.dnb.de/cgi-bin/dokserv?id=3616441&prov=M&dok_var=1&dok_ext=htm</subfield><subfield code="3">Inhaltstext</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=020877955&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-020877955</subfield></datafield></record></collection> |
genre | (DE-588)1071861417 Konferenzschrift 2010 Delhi gnd-content |
genre_facet | Konferenzschrift 2010 Delhi |
id | DE-604.BV036963090 |
illustrated | Illustrated |
indexdate | 2024-07-20T10:55:47Z |
institution | BVB |
institution_GND | (DE-588)10102504-X (DE-588)16095387-X |
isbn | 9783642180255 3642180256 |
language | English |
oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-020877955 |
oclc_num | 698662248 |
open_access_boolean | |
owner | DE-706 DE-11 DE-91G DE-BY-TUM DE-83 |
owner_facet | DE-706 DE-11 DE-91G DE-BY-TUM DE-83 |
physical | X, 218 S. graph. Darst. 24 cm |
publishDate | 2011 |
publishDateSearch | 2011 |
publishDateSort | 2011 |
publisher | Springer |
record_format | marc |
series | Lecture notes in computer science |
series2 | Lecture notes in computer science |
spelling | Logic and its applications 4th Indian conference, ICLA 2011, Delhi, India, January 5 - 11, 2011 ; proceedings Mohua Banerjee ... (eds.) Berlin [u.a.] Springer 2011 X, 218 S. graph. Darst. 24 cm txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 6521 : Lecture notes in artificial intelligence Literaturangaben Mathematische Logik (DE-588)4037951-6 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2010 Delhi gnd-content Mathematische Logik (DE-588)4037951-6 s DE-604 Banerjee, Mohua (DE-588)1064714935 edt Association of Logic, Language and Information Sonstige (DE-588)10102504-X oth ICLA 4 2011 Delhi Sonstige (DE-588)16095387-X oth Lecture notes in computer science 6521 : Lecture notes in artificial intelligence (DE-604)BV000000607 6521 X:MVB text/html http://deposit.dnb.de/cgi-bin/dokserv?id=3616441&prov=M&dok_var=1&dok_ext=htm Inhaltstext DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020877955&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
spellingShingle | Logic and its applications 4th Indian conference, ICLA 2011, Delhi, India, January 5 - 11, 2011 ; proceedings Lecture notes in computer science Mathematische Logik (DE-588)4037951-6 gnd |
subject_GND | (DE-588)4037951-6 (DE-588)1071861417 |
title | Logic and its applications 4th Indian conference, ICLA 2011, Delhi, India, January 5 - 11, 2011 ; proceedings |
title_auth | Logic and its applications 4th Indian conference, ICLA 2011, Delhi, India, January 5 - 11, 2011 ; proceedings |
title_exact_search | Logic and its applications 4th Indian conference, ICLA 2011, Delhi, India, January 5 - 11, 2011 ; proceedings |
title_full | Logic and its applications 4th Indian conference, ICLA 2011, Delhi, India, January 5 - 11, 2011 ; proceedings Mohua Banerjee ... (eds.) |
title_fullStr | Logic and its applications 4th Indian conference, ICLA 2011, Delhi, India, January 5 - 11, 2011 ; proceedings Mohua Banerjee ... (eds.) |
title_full_unstemmed | Logic and its applications 4th Indian conference, ICLA 2011, Delhi, India, January 5 - 11, 2011 ; proceedings Mohua Banerjee ... (eds.) |
title_short | Logic and its applications |
title_sort | logic and its applications 4th indian conference icla 2011 delhi india january 5 11 2011 proceedings |
title_sub | 4th Indian conference, ICLA 2011, Delhi, India, January 5 - 11, 2011 ; proceedings |
topic | Mathematische Logik (DE-588)4037951-6 gnd |
topic_facet | Mathematische Logik Konferenzschrift 2010 Delhi |
url | http://deposit.dnb.de/cgi-bin/dokserv?id=3616441&prov=M&dok_var=1&dok_ext=htm http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020877955&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
volume_link | (DE-604)BV000000607 |
work_keys_str_mv | AT banerjeemohua logicanditsapplications4thindianconferenceicla2011delhiindiajanuary5112011proceedings AT associationoflogiclanguageandinformation logicanditsapplications4thindianconferenceicla2011delhiindiajanuary5112011proceedings AT icladelhi logicanditsapplications4thindianconferenceicla2011delhiindiajanuary5112011proceedings |