Amazon cover image
Image from Amazon.com

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 [and others] (eds.).

By: Contributor(s): Material type: TextTextSeries: Lecture notes in computer science ; 7758. | Lecture notes in computer science. Lecture notes in artificial intelligence. FoLLI publications on logic, language and information. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.Publication details: Berlin ; New York : Springer, ©2013.Description: 1 online resourceContent type:
  • text
Media type:
  • computer
Carrier type:
  • online resource
ISBN:
  • 9783642369766
  • 3642369766
Other title:
  • TbiLLC 2011
Subject(s): Genre/Form: Additional physical formats: Printed edition:: No titleDDC classification:
  • 005.101/5113 23
LOC classification:
  • QA76.9.L63 .I58 2011
NLM classification:
  • QA 76.9.L63
Online resources:
Contents:
Summaries of Tutorials. Computational Social Choice (with a Special Emphasis on the Use of Logic) / Ulle Endriss -- Binding -- Data, Theory, Typology / Daniel Hole -- Łukasiewicz Logic: An Introduction / Vincenzo Marra -- Contributions in Language. The Information Structure and Typological Peculiarities of the Georgian Passive Constructions / Rusudan Asatiani -- Discourse Structuring Questions and Scalar Implicatures / Anton Benz, Fabienne Salfner -- Towards a Logic of Information Exchange / Ivano Ciardelli, Jeroen Groenendijk, Floris Roelofsen -- Sitting, Standing, and Lying in Frames: A Frame-Based Approach to Posture Verbs / Thomas Gamerschlag, Wiebke Petersen, Liane Ströbel -- Alleged Assassins: Realist and Constructivist Semantics for Modal Modification / Bjørn Jespersen, Giuseppe Primiero -- An Outline of a Dynamic Theory of Frames / Ralf Naumann -- What Does It Mean for an Indefinite to Be Presuppositional? / Umut Özge -- Contributions in Logic and Computation. Dynamics of Defeasible and Tentative Inference / Patrick Allo -- Decidability for Justification Logics Revisited / Samuel Bucheli, Roman Kuznets, Thomas Studer -- Interpreted Systems Semantics for Process Algebra with Identity Annotations / Francien Dechesne, Mohammad Reza Mousavi -- The Duality of State and Observation in Probabilistic Transition Systems / Monica Dinculescu [and others] -- Model Checking for Modal Intuitionistic Dependence Logic / Johannes Ebbing, Peter Lohmann, Fan Yang -- Coalgebraic Predicate Logic: Equipollence Results and Proof Theory / Tadeusz Litak, Dirk Pattinson, Katsuhiko Sano.
Summary: This book constitutes the refereed proceedings of the 9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011, held in Kutaisi, Georgia, in September 2011. The book consists of summaries of 3 tutorials presented at the symposium together with 13 full papers that were carefully reviewed and selected from the submissions. The papers are organized in two sections, one on Language and one on Logic and Computation. The range of topics covered in the Language section includes natural language syntax, semantics, and pragmatics, frames in natural language semantics, linguistic typology, and discourse phenomena. The papers in the Logic and Computation section cover such topics as constructive, modal, algebraic, and philosophical logic, as well as logics for computer science applications.
Holdings
Item type Current library Collection Call number Status Date due Barcode Item holds
eBook eBook e-Library eBook LNCS Available
Total holds: 0

Summaries of Tutorials. Computational Social Choice (with a Special Emphasis on the Use of Logic) / Ulle Endriss -- Binding -- Data, Theory, Typology / Daniel Hole -- Łukasiewicz Logic: An Introduction / Vincenzo Marra -- Contributions in Language. The Information Structure and Typological Peculiarities of the Georgian Passive Constructions / Rusudan Asatiani -- Discourse Structuring Questions and Scalar Implicatures / Anton Benz, Fabienne Salfner -- Towards a Logic of Information Exchange / Ivano Ciardelli, Jeroen Groenendijk, Floris Roelofsen -- Sitting, Standing, and Lying in Frames: A Frame-Based Approach to Posture Verbs / Thomas Gamerschlag, Wiebke Petersen, Liane Ströbel -- Alleged Assassins: Realist and Constructivist Semantics for Modal Modification / Bjørn Jespersen, Giuseppe Primiero -- An Outline of a Dynamic Theory of Frames / Ralf Naumann -- What Does It Mean for an Indefinite to Be Presuppositional? / Umut Özge -- Contributions in Logic and Computation. Dynamics of Defeasible and Tentative Inference / Patrick Allo -- Decidability for Justification Logics Revisited / Samuel Bucheli, Roman Kuznets, Thomas Studer -- Interpreted Systems Semantics for Process Algebra with Identity Annotations / Francien Dechesne, Mohammad Reza Mousavi -- The Duality of State and Observation in Probabilistic Transition Systems / Monica Dinculescu [and others] -- Model Checking for Modal Intuitionistic Dependence Logic / Johannes Ebbing, Peter Lohmann, Fan Yang -- Coalgebraic Predicate Logic: Equipollence Results and Proof Theory / Tadeusz Litak, Dirk Pattinson, Katsuhiko Sano.

Includes author index.

This book constitutes the refereed proceedings of the 9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011, held in Kutaisi, Georgia, in September 2011. The book consists of summaries of 3 tutorials presented at the symposium together with 13 full papers that were carefully reviewed and selected from the submissions. The papers are organized in two sections, one on Language and one on Logic and Computation. The range of topics covered in the Language section includes natural language syntax, semantics, and pragmatics, frames in natural language semantics, linguistic typology, and discourse phenomena. The papers in the Logic and Computation section cover such topics as constructive, modal, algebraic, and philosophical logic, as well as logics for computer science applications.

English.

Powered by Koha