Logic, Language, and Computation [[electronic resource] ] : 9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011, Kutaisi, Georgia, September 26-30, 2011, Revised Selected Papers / / edited by Guram Bezhanishvili, Sebastian Löbner, Vincenzo Marra, Frank Richter |
Edizione | [1st ed. 2013.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
Descrizione fisica | 1 online resource (XII, 277 p. 56 illus.) |
Disciplina | 004.015113 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Image processing—Digital techniques
Computer vision Artificial intelligence Machine theory Computer Imaging, Vision, Pattern Recognition and Graphics Artificial Intelligence Formal Languages and Automata Theory |
ISBN | 3-642-36976-6 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | 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. |
Record Nr. | UNISA-996465599403316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Logic, Language, and Computation : 9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011, Kutaisi, Georgia, September 26-30, 2011, Revised Selected Papers / / edited by Guram Bezhanishvili, Sebastian Löbner, Vincenzo Marra, Frank Richter |
Edizione | [1st ed. 2013.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
Descrizione fisica | 1 online resource (XII, 277 p. 56 illus.) |
Disciplina | 004.015113 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Image processing—Digital techniques
Computer vision Artificial intelligence Machine theory Computer Imaging, Vision, Pattern Recognition and Graphics Artificial Intelligence Formal Languages and Automata Theory |
ISBN | 3-642-36976-6 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | 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. |
Record Nr. | UNINA-9910484270603321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|