Verfügbarkeit: Logic, language, and computation | Technische Universität München

Logic, language, and computation: 9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011, Kutaisi, Georgia, September 26 - 30, 2011 ; revised selected papers

Gespeichert in:

Bibliographische Detailangaben
Weitere beteiligte Personen:	Bezhanishvili, Guram (HerausgeberIn)
Format:	Tagungsbericht Buch
Sprache:	Englisch
Veröffentlicht:	Berlin [u.a.] Springer 2013
Schriftenreihe:	Lecture notes in computer science 7758
Schlagwörter:	Formale Methode Berechnungstheorie Logik Natürliche Sprache Formale Semantik Computerlinguistik Konferenzschrift > 2011 > Kutaissi
Links:	http://deposit.dnb.de/cgi-bin/dokserv?id=4252353&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=025920885&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
Umfang:	XII, 276 S. Ill., graph. Darst.
ISBN:	9783642369759

Internformat

MARC


LEADER	00000nam a2200000 cb4500
001	BV040942150
003	DE-604
005	20140509
007	t\|
008	130412s2013 xx ad\|\| \|\|\|\| 10\|\|\| eng d
016	7		\|a 1031151168 \|2 DE-101
020			\|a 9783642369759 \|9 978-3-642-36975-9
035			\|a (OCoLC)839357402
035			\|a (DE-599)DNB1031151168
040			\|a DE-604 \|b ger \|e aacr
041	0		\|a eng
049			\|a DE-11 \|a DE-91G
082	0		\|a 004.015113 \|2 22/ger
082	0		\|a 006.35 \|2 22/ger
084			\|a DAT 710f \|2 stub
084			\|a LIN 080f \|2 stub
084			\|a DAT 540f \|2 stub
245	1	0	\|a Logic, language, and computation \|b 9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011, Kutaisi, Georgia, September 26 - 30, 2011 ; revised selected papers \|c Guram Bezhanishvili ... (eds.)
264		1	\|a Berlin [u.a.] \|b Springer \|c 2013
300			\|a XII, 276 S. \|b Ill., graph. Darst.
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
490	1		\|a Lecture notes in computer science \|v 7758
650	0	7	\|a Formale Methode \|0 (DE-588)4333722-3 \|2 gnd \|9 rswk-swf
650	0	7	\|a Berechnungstheorie \|0 (DE-588)4005581-4 \|2 gnd \|9 rswk-swf
650	0	7	\|a Logik \|0 (DE-588)4036202-4 \|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 Formale Semantik \|0 (DE-588)4122144-8 \|2 gnd \|9 rswk-swf
650	0	7	\|a Computerlinguistik \|0 (DE-588)4035843-4 \|2 gnd \|9 rswk-swf
655		7	\|0 (DE-588)1071861417 \|a Konferenzschrift \|y 2011 \|z Kutaissi \|2 gnd-content
689	0	0	\|a Berechnungstheorie \|0 (DE-588)4005581-4 \|D s
689	0	1	\|a Logik \|0 (DE-588)4036202-4 \|D s
689	0		\|5 DE-604
689	1	0	\|a Natürliche Sprache \|0 (DE-588)4041354-8 \|D s
689	1	1	\|a Formale Semantik \|0 (DE-588)4122144-8 \|D s
689	1	2	\|a Logik \|0 (DE-588)4036202-4 \|D s
689	1		\|5 DE-604
689	2	0	\|a Computerlinguistik \|0 (DE-588)4035843-4 \|D s
689	2	1	\|a Formale Methode \|0 (DE-588)4333722-3 \|D s
689	2		\|8 1\p \|5 DE-604
700	1		\|a Bezhanishvili, Guram \|4 edt
711	2		\|a International Tbilisi Symposium on Logic, Language, and Computation \|n 9 \|d 2011 \|c Kutaissi \|j Sonstige \|0 (DE-588)1033519138 \|4 oth
776	0	8	\|i Erscheint auch als \|n Online-Ausgabe \|z 978-3-642-36976-6
830		0	\|a Lecture notes in computer science \|v 7758 \|w (DE-604)BV000000607 \|9 7758
856	4		\|q text/html \|u http://deposit.dnb.de/cgi-bin/dokserv?id=4252353&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=025920885&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
883	1		\|8 1\p \|a cgwrk \|d 20201028 \|q DE-101 \|u https://d-nb.info/provenance/plan#cgwrk
943	1		\|a oai:aleph.bib-bvb.de:BVB01-025920885

Datensatz im Suchindex

DE-BY-TUM_call_number	0102 DAT 001z 2001 A 999-7758
DE-BY-TUM_katkey	1988004
DE-BY-TUM_location	01
DE-BY-TUM_media_number	040007872299
_version_	1821933727796690944
adam_text	IMAGE 1 TABLE OF CONTENTS PART 1: SUMMARIES OF TUTORIALS COMPUTATIONAL SOCIAL CHOICE (WITH A SPECIAL EMPHASIS ON THE USE OF LOGIC) 1 ULLE ENDRISS BINDING - DATA, THEORY, TYPOLOGY 4 DANIEL HOLE LUKASIEWICZ LOGIC: AN INTRODUCTION 12 VINCENZO MARRA PART 2: CONTRIBUTIONS IN LANGUAGE THE INFORMATION STRUCTURE AND TYPOLOGICAL PECULIARITIES OF THE GEORGIAN PASSIVE CONSTRUCTIONS 17 RUSUDAN ASATIANI DISCOURSE STRUCTURING QUESTIONS AND SCALAR IMPLICATURES 35 ANTON BENZ AND FABIENNE SALFNER TOWARDS A LOGIC OF INFORMATION EXCHANGE: AN INQUISITIVE WITNESS SEMANTICS 51 IVANO CIARDELLI, JEROEN GROENENDIJK, AND FLORIS ROELOFSEN SITTING, STANDING, AND LYING IN FRAMES: A FRAME-BASED APPROACH TO POSTURE VERBS 73 THOMAS GAMERSEHLAG, WIEBKE PETERSEN, AND LIANE STRDBEL ALLEGED ASSASSINS: REALIST AND CONSTRUCTIVIST SEMANTICS FOR MODAL MODIFICATION 94 BJ0RN JESPERSEN AND GIUSEPPE PRIMIERO AN OUTLINE OF A DYNAMIC THEORY OF FRAMES 115 RALF NAUMANN WHAT DOES IT MEAN FOR AN INDEFINITE TO BE PRESUPPOSITIONAL? 138 UMUT OZGE PART 3: CONTRIBUTIONS IN LOGIC AND COMPUTATION DYNAMICS OF DEFEASIBLE AND TENTATIVE INFERENCE 155 PATRICK ALIO HTTP://D-NB.INFO/1031151168 IMAGE 2 XII TABLE OF CONTENTS DECIDABILITY FOR JUSTIFICATION LOGICS REVISITED 166 SAMUEL BUCHELI, ROMAN KUZNETS, AND THOMAS STUDER INTERPRETED SYSTEMS SEMANTICS FOR PROCESS ALGEBRA WITH IDENTITY ANNOTATIONS 182 FRANCIEN DECHESNE AND MOHAMMAD REZA MOUSAVI THE DUALITY OF STATE AND OBSERVATION IN PROBABILISTIC TRANSITION SYSTEMS 206 MONICA DINCULESCU, CHRISTOPHER HUNDT, PRAKASH PANANGADEN, JOELLE PINEAU, AND DOINA PRECUP MODEL CHECKING FOR MODAL INTUITIONISTIC DEPENDENCE LOGIC 231 JOHANNES EBBING, PETER LOHRNANN, AND FAN YANG COALGEBRAIC PREDICATE LOGIC: EQUIPOLLENCE RESULTS AND PROOF THEORY . . . 257 TADEUSZ LITAK, DIRK PATTINSON, AND KATSUHIKO SANO AUTHOR INDEX 277
any_adam_object	1
author2	Bezhanishvili, Guram
author2_role	edt
author2_variant	g b gb
author_facet	Bezhanishvili, Guram
building	Verbundindex
bvnumber	BV040942150
classification_rvk	SS 4800
classification_tum	DAT 710f LIN 080f DAT 540f
ctrlnum	(OCoLC)839357402 (DE-599)DNB1031151168
dewey-full	004.015113 006.35
dewey-hundreds	000 - Computer science, information, general works
dewey-ones	004 - Computer science 006 - Special computer methods
dewey-raw	004.015113 006.35
dewey-search	004.015113 006.35
dewey-sort	14.015113
dewey-tens	000 - Computer science, information, general works
discipline	Informatik Sprachwissenschaft
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">BV040942150</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20140509</controlfield><controlfield tag="007">t\|</controlfield><controlfield tag="008">130412s2013 xx ad\|\| \|\|\|\| 10\|\|\| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1031151168</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642369759</subfield><subfield code="9">978-3-642-36975-9</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)839357402</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1031151168</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-11</subfield><subfield code="a">DE-91G</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.015113</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">006.35</subfield><subfield code="2">22/ger</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">LIN 080f</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">Logic, language, and computation</subfield><subfield code="b">9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011, Kutaisi, Georgia, September 26 - 30, 2011 ; revised selected papers</subfield><subfield code="c">Guram Bezhanishvili ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2013</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XII, 276 S.</subfield><subfield code="b">Ill., 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">Lecture notes in computer science</subfield><subfield code="v">7758</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Berechnungstheorie</subfield><subfield code="0">(DE-588)4005581-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</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">Formale Semantik</subfield><subfield code="0">(DE-588)4122144-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Computerlinguistik</subfield><subfield code="0">(DE-588)4035843-4</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">2011</subfield><subfield code="z">Kutaissi</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Berechnungstheorie</subfield><subfield code="0">(DE-588)4005581-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</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">Natürliche Sprache</subfield><subfield code="0">(DE-588)4041354-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Formale Semantik</subfield><subfield code="0">(DE-588)4122144-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="2"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</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">Computerlinguistik</subfield><subfield code="0">(DE-588)4035843-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="1"><subfield code="a">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Bezhanishvili, Guram</subfield><subfield code="4">edt</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">International Tbilisi Symposium on Logic, Language, and Computation</subfield><subfield code="n">9</subfield><subfield code="d">2011</subfield><subfield code="c">Kutaissi</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)1033519138</subfield><subfield code="4">oth</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Online-Ausgabe</subfield><subfield code="z">978-3-642-36976-6</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">7758</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">7758</subfield></datafield><datafield tag="856" ind1="4" ind2=" "><subfield code="q">text/html</subfield><subfield code="u">http://deposit.dnb.de/cgi-bin/dokserv?id=4252353&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=025920885&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</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="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-025920885</subfield></datafield></record></collection>
genre	(DE-588)1071861417 Konferenzschrift 2011 Kutaissi gnd-content
genre_facet	Konferenzschrift 2011 Kutaissi
id	DE-604.BV040942150
illustrated	Illustrated
indexdate	2025-01-11T19:05:23Z
institution	BVB
institution_GND	(DE-588)1033519138
isbn	9783642369759
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-025920885
oclc_num	839357402
open_access_boolean
owner	DE-11 DE-91G DE-BY-TUM
owner_facet	DE-11 DE-91G DE-BY-TUM
physical	XII, 276 S. Ill., graph. Darst.
publishDate	2013
publishDateSearch	2013
publishDateSort	2013
publisher	Springer
record_format	marc
series	Lecture notes in computer science
series2	Lecture notes in computer science
spellingShingle	Logic, language, and computation 9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011, Kutaisi, Georgia, September 26 - 30, 2011 ; revised selected papers Lecture notes in computer science Formale Methode (DE-588)4333722-3 gnd Berechnungstheorie (DE-588)4005581-4 gnd Logik (DE-588)4036202-4 gnd Natürliche Sprache (DE-588)4041354-8 gnd Formale Semantik (DE-588)4122144-8 gnd Computerlinguistik (DE-588)4035843-4 gnd
subject_GND	(DE-588)4333722-3 (DE-588)4005581-4 (DE-588)4036202-4 (DE-588)4041354-8 (DE-588)4122144-8 (DE-588)4035843-4 (DE-588)1071861417
title	Logic, language, and computation 9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011, Kutaisi, Georgia, September 26 - 30, 2011 ; revised selected papers
title_auth	Logic, language, and computation 9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011, Kutaisi, Georgia, September 26 - 30, 2011 ; revised selected papers
title_exact_search	Logic, language, and computation 9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011, Kutaisi, Georgia, September 26 - 30, 2011 ; revised selected papers
title_full	Logic, language, and computation 9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011, Kutaisi, Georgia, September 26 - 30, 2011 ; revised selected papers Guram Bezhanishvili ... (eds.)
title_fullStr	Logic, language, and computation 9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011, Kutaisi, Georgia, September 26 - 30, 2011 ; revised selected papers Guram Bezhanishvili ... (eds.)
title_full_unstemmed	Logic, language, and computation 9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011, Kutaisi, Georgia, September 26 - 30, 2011 ; revised selected papers Guram Bezhanishvili ... (eds.)
title_short	Logic, language, and computation
title_sort	logic language and computation 9th international tbilisi symposium on logic language and computation tbillc 2011 kutaisi georgia september 26 30 2011 revised selected papers
title_sub	9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011, Kutaisi, Georgia, September 26 - 30, 2011 ; revised selected papers
topic	Formale Methode (DE-588)4333722-3 gnd Berechnungstheorie (DE-588)4005581-4 gnd Logik (DE-588)4036202-4 gnd Natürliche Sprache (DE-588)4041354-8 gnd Formale Semantik (DE-588)4122144-8 gnd Computerlinguistik (DE-588)4035843-4 gnd
topic_facet	Formale Methode Berechnungstheorie Logik Natürliche Sprache Formale Semantik Computerlinguistik Konferenzschrift 2011 Kutaissi
url	http://deposit.dnb.de/cgi-bin/dokserv?id=4252353&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=025920885&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
volume_link	(DE-604)BV000000607
work_keys_str_mv	AT bezhanishviliguram logiclanguageandcomputation9thinternationaltbilisisymposiumonlogiclanguageandcomputationtbillc2011kutaisigeorgiaseptember26302011revisedselectedpapers AT internationaltbilisisymposiumonlogiclanguageandcomputationkutaissi logiclanguageandcomputation9thinternationaltbilisisymposiumonlogiclanguageandcomputationtbillc2011kutaisigeorgiaseptember26302011revisedselectedpapers

Verfügbarkeit

Bestellen (Login erforderlich)

Inhaltsverzeichnis
Paper/Kapitel scannen lassen

Teilbibliothek Mathematik & Informatik

Bestandsangaben von Teilbibliothek Mathematik & Informatik
Signatur:	0102 DAT 001z 2001 A 999-7758 Lageplan
Exemplar 1	Ausleihbar Am Standort