1.

Record Nr.

UNINA9910482960803321

Titolo

Logic, Language, and Computation : 6th International Tbilisi Symposium on Logic, Language, and Computation. Batumi, Georgia, September 12-16, 2005, Revised Selected Papers / / edited by Balder D. ten Cate, Henk W. Zeevat

Pubbl/distr/stampa

Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007

ISBN

3-540-75144-0

Edizione

[1st ed. 2007.]

Descrizione fisica

1 online resource (XII, 282 p.)

Collana

Lecture Notes in Artificial Intelligence, , 2945-9141 ; ; 4363

Disciplina

410.285

Soggetti

Logic

Artificial intelligence

Machine theory

Natural language processing (Computer science)

Artificial Intelligence

Formal Languages and Automata Theory

Natural Language Processing (NLP)

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia

Note generali

Bibliographic Level Mode of Issuance: Monograph

Nota di bibliografia

Includes bibliographical references and index.

Nota di contenuto

Expressing Ignorance or Indifference -- The Main Devices of Foregrounding in the Information Structure of Georgian Sentences -- Focus and ‘Only’ in Hungarian -- Duals of Simple and Subdirectly Irreducible Distributive Modal Algebras -- Productivity, Polysemy, and Predicate Indexicality -- Argument Dependencies in Tukang Besi -- The Marking of Verb-Actant Relations in Georgian -- Uniform Interpolation, Bisimulation Quantifiers, and Fixed Points -- The Problem of Learning the Semantics of Quantifiers -- Towards a Cross-Linguistic Production Data Archive: Structure and Exploration -- Case Attraction in Ancient Greek -- Real World Multi-agent Systems: Information Sharing, Coordination and Planning -- Pros and Cons of a Type-Shifting Approach to Russian Genitive of Negation -- A Whether Forecast -- Participants in Action: The Interplay of Aspectual Meanings and Thematic Relations in the Semantics of Semitic Morphology --



Natural Logic for Natural Language -- Georgian as the Testing-Ground for Theories of Tense and Aspect -- Some Criteria of Decidability for Axiomatic Systems in Three-Valued Logic -- Doubling: The Semantic Driving Force Behind Functional Categories.

Sommario/riassunto

Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the second volume of the FoLLI LNAI subline. It represents the thoroughly refereed post-proceedings of the 6th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2005, held in Batumi, Georgia, in September 2005. The 19 revised full papers presented were carefully reviewed and selected from numerous presentations at the symposium. The papers present current research in all aspects of linguistics, logic and computation and address the following topics in detail: modal logic, linguistics and typology, formal pragmatics, linguistics and formal pragmatics, semantics and pragmatics, linguistic, typology, semantics and pragmatics, linguistics, semantics and learnability, information and artificial intelligence, formal pragmatics and typology, linguistics, semantics and typology, as well as logic and linguistics.