Logic, language, and computation : 9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011, Kutaisi, Georgia, September 26-30, 2011, Revised selected papers /
Logic, language, and computation : 9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011, Kutaisi, Georgia, September 26-30, 2011, Revised selected papers /
TbiLLC 2011
Guram Bezhanishvili [and others] (eds.).
- Berlin ; New York : Springer, ©2013.
- 1 online resource
- Lecture notes in computer science, 7758 0302-9743 ; FoLLI publications on logic, language and information LNCS sublibrary. SL 1, Theoretical computer science and general issues .
- 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. .
Includes author index.
Summaries of Tutorials. Computational Social Choice (with a Special Emphasis on the Use of Logic) / Binding -- Data, Theory, Typology / Łukasiewicz Logic: An Introduction / 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 / 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? / 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 / Ulle Endriss -- Daniel Hole -- Vincenzo Marra -- Rusudan Asatiani -- Anton Benz, Fabienne Salfner -- Ivano Ciardelli, Jeroen Groenendijk, Floris Roelofsen -- Thomas Gamerschlag, Wiebke Petersen, Liane Ströbel -- Bjørn Jespersen, Giuseppe Primiero -- Ralf Naumann -- Umut Özge -- Patrick Allo -- Samuel Bucheli, Roman Kuznets, Thomas Studer -- Francien Dechesne, Mohammad Reza Mousavi -- Monica Dinculescu [and others] -- Johannes Ebbing, Peter Lohmann, Fan Yang -- Tadeusz Litak, Dirk Pattinson, Katsuhiko Sano.
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.
9783642369766 3642369766
10.1007/978-3-642-36976-6 doi
Computer logic--Congresses.
Programming languages (Electronic computers)--Semantics--Congresses.
Computational linguistics--Congresses.
Linguistics.
Logic.
Programming languages (Electronic computers)
Linguistics
Logic
Programming Languages
Logique informatique--Congrès.
Langages de programmation--Sémantique--Congrès.
Linguistique informatique--Congrès.
Linguistique.
Logique.
Langages de programmation.
linguistics.
logic.
Programming languages (Electronic computers)
Logic
Linguistics
Computational linguistics
Computer logic
Programming languages (Electronic computers)--Semantics
Computer science. Artificial intelligence. Computer vision. Computer Imaging, Vision, Pattern Recognition and Graphics. Mathematical Logic and Formal Languages.
Congress
proceedings (reports)
Conference papers and proceedings
Conference papers and proceedings.
Actes de congrès.
QA76.9.L63 / .I58 2011
005.101/5113
QA 76.9.L63
Includes author index.
Summaries of Tutorials. Computational Social Choice (with a Special Emphasis on the Use of Logic) / Binding -- Data, Theory, Typology / Łukasiewicz Logic: An Introduction / 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 / 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? / 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 / Ulle Endriss -- Daniel Hole -- Vincenzo Marra -- Rusudan Asatiani -- Anton Benz, Fabienne Salfner -- Ivano Ciardelli, Jeroen Groenendijk, Floris Roelofsen -- Thomas Gamerschlag, Wiebke Petersen, Liane Ströbel -- Bjørn Jespersen, Giuseppe Primiero -- Ralf Naumann -- Umut Özge -- Patrick Allo -- Samuel Bucheli, Roman Kuznets, Thomas Studer -- Francien Dechesne, Mohammad Reza Mousavi -- Monica Dinculescu [and others] -- Johannes Ebbing, Peter Lohmann, Fan Yang -- Tadeusz Litak, Dirk Pattinson, Katsuhiko Sano.
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.
9783642369766 3642369766
10.1007/978-3-642-36976-6 doi
Computer logic--Congresses.
Programming languages (Electronic computers)--Semantics--Congresses.
Computational linguistics--Congresses.
Linguistics.
Logic.
Programming languages (Electronic computers)
Linguistics
Logic
Programming Languages
Logique informatique--Congrès.
Langages de programmation--Sémantique--Congrès.
Linguistique informatique--Congrès.
Linguistique.
Logique.
Langages de programmation.
linguistics.
logic.
Programming languages (Electronic computers)
Logic
Linguistics
Computational linguistics
Computer logic
Programming languages (Electronic computers)--Semantics
Computer science. Artificial intelligence. Computer vision. Computer Imaging, Vision, Pattern Recognition and Graphics. Mathematical Logic and Formal Languages.
Congress
proceedings (reports)
Conference papers and proceedings
Conference papers and proceedings.
Actes de congrès.
QA76.9.L63 / .I58 2011
005.101/5113
QA 76.9.L63