TY  - BOOK
AU  - Bezhanishvili,Guram
AU  - Löbner,Sebastian
AU  - Marra,Vincenzo
AU  - Richter,Frank
TI  - Logic, Language, and Computation: 9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011, Kutaisi, Georgia, September 26-30, 2011, Revised Selected Papers 
SN  - 9783642369766
PY  - 2013///
CY  - Berlin, Heidelberg
PB  - Springer Berlin Heidelberg
KW  - Computer science
KW  - Mathematical logic
KW  - Artificial intelligence
KW  - Computer graphics
N1  - Part 1: Summaries of Tutorials. -Computational Social Choice (with a Special Emphasis on the Use of Logic) -- Binding - Data, Theory, Typology -- Lukasiewicz Logic: An Introduction -- Part 2: Contributions in Language The Information Structure and Typological Peculiarities of the Georgian Passive Constructions -- Discourse Structuring Questions and Scalar Implicatures -- Towards a Logic of Information Exchange: An Inquisitive Witness Semantics -- Sitting, Standing, and Lying in Frames: A Frame-Based Approach to Posture Verbs -- Alleged Assassins: Realist and Constructivist Semantics for Modal Modification -- An Outline of a Dynamic Theory of Frames -- What Does It Mean for an Indefinite to Be Presuppositional? -- Part 3: Contributions in Logic and Computation Dynamics of Defeasible and Tentative Inference  -- Decidability for Justification Logics Revisited -- Interpreted Systems Semantics for Process Algebra with Identity Annotations -- The Duality of State and Observation in Probabilistic Transition Systems -- Model Checking for Modal Intuitionistic Dependence Logic -- Coalgebraic Predicate Logic: Equipollence Results and Proof Theory
UR  - http://dx.doi.org/10.1007/978-3-642-36976-6
ER  -