Description |
1 online resource |
Series |
Lecture notes in computer science, 0302-9743 ; 7758 |
|
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.
|
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 |
Analysis |
Computer science |
|
Artificial intelligence |
|
Computer vision |
|
Computer Imaging, Vision, Pattern Recognition and Graphics |
|
Mathematical Logic and Formal Languages |
Notes |
Includes author index |
|
English |
Subject |
Computer logic -- Congresses
|
|
Programming languages (Electronic computers) -- Semantics -- Congresses
|
|
Computational linguistics -- Congresses
|
|
Linguistics.
|
|
Logic.
|
|
Programming languages (Electronic computers)
|
|
Linguistics
|
|
Logic
|
|
Programming Languages
|
|
linguistics.
|
|
logic.
|
|
Programming languages (Electronic computers)
|
|
Logic
|
|
Linguistics
|
|
Computational linguistics
|
|
Computer logic
|
|
Programming languages (Electronic computers) -- Semantics
|
Genre/Form |
proceedings (reports)
|
|
Conference papers and proceedings
|
|
Conference papers and proceedings.
|
|
Actes de congrès.
|
Form |
Electronic book
|
Author |
Bezhanishvili, Guram
|
ISBN |
9783642369766 |
|
3642369766 |
|