000 -LEADER |
fixed length control field |
03317nam a22005535i 4500 |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
ISBN |
9783642223037 |
-- |
978-3-642-22303-7 |
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER |
Classification number |
006.3 |
245 10 - TITLE STATEMENT |
Title |
Logic, Language, and Computation |
Sub Title |
8th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2009, Bakuriani, Georgia, September 21-25, 2009. Revised Selected Papers / |
Statement of responsibility, etc |
edited by Nick Bezhanishvili, Sebastian Löbner, Kerstin Schwabe, Luca Spada. |
260 #1 - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) |
Place of publication |
Berlin, Heidelberg : |
Name of publisher |
Springer Berlin Heidelberg, |
Year of publication |
2011. |
300 ## - PHYSICAL DESCRIPTION |
Number of Pages |
XIV, 360 p. |
Other physical details |
online resource. |
490 1# - SERIES STATEMENT |
Series statement |
Lecture Notes in Computer Science, |
505 0# - FORMATTED CONTENTS NOTE |
Formatted contents note |
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. |
520 ## - SUMMARY, ETC. |
Summary, etc |
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. |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical Term |
Computer science. |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical Term |
Artificial intelligence. |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical Term |
Translators (Computer programs). |
650 14 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical Term |
Computer Science. |
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical Term |
Artificial Intelligence (incl. Robotics). |
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical Term |
Mathematical Logic and Formal Languages. |
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical Term |
Language Translation and Linguistics. |
700 1# - ADDED ENTRY--PERSONAL NAME |
Personal name |
Bezhanishvili, Nick. |
700 1# - ADDED ENTRY--PERSONAL NAME |
Personal name |
Löbner, Sebastian. |
700 1# - ADDED ENTRY--PERSONAL NAME |
Personal name |
Schwabe, Kerstin. |
700 1# - ADDED ENTRY--PERSONAL NAME |
Personal name |
Spada, Luca. |
856 40 - ELECTRONIC LOCATION AND ACCESS |
Uniform Resource Identifier |
http://dx.doi.org/10.1007/978-3-642-22303-7 |
942 ## - ADDED ENTRY ELEMENTS (KOHA) |
Koha item type |
E-BOOKS |
264 #1 - |
-- |
Berlin, Heidelberg : |
-- |
Springer Berlin Heidelberg, |
-- |
2011. |
336 ## - |
-- |
text |
-- |
txt |
-- |
rdacontent |
337 ## - |
-- |
computer |
-- |
c |
-- |
rdamedia |
338 ## - |
-- |
online resource |
-- |
cr |
-- |
rdacarrier |
347 ## - |
-- |
text file |
-- |
PDF |
-- |
rda |
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE |
-- |
0302-9743 ; |