1.

Record Nr.

UNISA996465771903316

Titolo

Logic, Language, and Computation [[electronic resource] ] : 8th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2009, Bakuriani, Georgia, September 21-25, 2009. Revised Selected Papers / / edited by Nick Bezhanishvili, Sebastian Löbner, Kerstin Schwabe, Luca Spada

Pubbl/distr/stampa

Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011

ISBN

3-642-22303-6

Edizione

[1st ed. 2011.]

Descrizione fisica

1 online resource (XIV, 360 p.)

Collana

Lecture Notes in Artificial Intelligence ; ; 6618

Disciplina

006.3

Soggetti

Artificial intelligence

Mathematical logic

Natural language processing (Computer science)

Artificial Intelligence

Mathematical Logic and Formal Languages

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 author index.

Nota di contenuto

Natural language syntax, semantics, and pragmatics -- Constructive, modal and algebraic logic -- Linguistic typology and semantic universals -- Logics for artificial intelligence -- Information retrieval, query answer systems -- Logic, games, and formal pragmatics -- Language evolution and learnability -- Computational social choice -- Historical linguistics, history of logic.

Sommario/riassunto

Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the refereed proceedings of the 8th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2009, held in Bakuriani, Georgia, in September 2009. The 20 revised full papers included in the book were carefully reviewed and selected from numerous presentations given at the symposium. The focus of the papers is on the following topics: natural language syntax, semantics, and pragmatics; constructive, modal and



algebraic logic; linguistic typology and semantic universals; logics for artificial intelligence; information retrieval, query answer systems; logic, games, and formal pragmatics; language evolution and learnability; computational social choice; historical linguistics, history of logic.