Borrow it
Coverart for item
The Resource Logic, language, and computation : 7th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2007, Tbilisi, Georgia, October 1-5, 2007 : revised selected papers, Peter Bosch, David Gabelaia, Jérôme Lang (eds.)

Logic, language, and computation : 7th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2007, Tbilisi, Georgia, October 1-5, 2007 : revised selected papers, Peter Bosch, David Gabelaia, Jérôme Lang (eds.)

Creator
Contributor
Summary
Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the refereed proceedings of the 7th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2007, held in Tbilisi, Georgia, in October 2007. The 22 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: conceptual modeling of spatial relations, pragmatics and game theory, atypical valency phenomena, lexical typology, formal semantics and experimental evidence, exceptional quantifier scope, Georgian focussing particles, polarity and pragmatics, dynamics of belief, learning theory, inquisitive semantics, modal logic, coalgebras, computational linguistics of Georgian, type-logical grammar and cross-serial dependencies, non-monotonic logic, Japanese quantifiers, intuitionistic logic, semantics of negated nominals, word sense disambiguation, semantics of question-embedding predicates, and reciprocals and computational complexity
Language
eng
Work
Publication
Extent
1 online resource.
Contents
  • A Computational Grammar for Georgian
  • The Structure of Rigid Frames of Depth 3 Only
  • Three Kinds of Event Nominal Negation in Russian
  • A Dynamic Conceptual Model for the Linguistic Structuring of Space: Georgian Preverbs
  • even in Horn Space
  • On -c and?i Particles in Georgian
  • Dealing with Polysemy in Russian National Corpus: The Case of Adjectives
  • Inquisitive Semantics: Two Possibilities for Disjunction
  • Implicatures of Irrelevant Answers and the Principle of Optimal Completion
  • Conceptualization of Pain: A Database for Lexical Typology
  • Expressing Belief Flow in Assertion Networks
  • The Computational Complexity of Quantified Reciprocals
  • Quantifiers in Japanese
  • Exceptional Scope as Discourse Reference to Quantificational Dependencies
  • Satisfaction and Friendliness Relations within Classical Logic: Proof-Theoretic Approach
  • Identification through Inductive Verification
  • Enlarging the Diversity of Valency Instantiation Patterns and Its Implications
  • The Modal Formula (Is Not First-Order Definable
  • Semantic Characterizations of German Question-Embedding Predicates
  • Processing Definite Determiners: Formal Semantics Meets Experimental Results
  • Terminal Sequence Induction via Games
  • Dutch Grammar and Processing: A Case Study in TLG
Isbn
9783642006647
Instance
Label
Logic, language, and computation : 7th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2007, Tbilisi, Georgia, October 1-5, 2007 : revised selected papers
Title
Logic, language, and computation
Title remainder
7th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2007, Tbilisi, Georgia, October 1-5, 2007 : revised selected papers
Statement of responsibility
Peter Bosch, David Gabelaia, Jérôme Lang (eds.)
Creator
Contributor
Subject
Genre
Language
eng
Summary
Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the refereed proceedings of the 7th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2007, held in Tbilisi, Georgia, in October 2007. The 22 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: conceptual modeling of spatial relations, pragmatics and game theory, atypical valency phenomena, lexical typology, formal semantics and experimental evidence, exceptional quantifier scope, Georgian focussing particles, polarity and pragmatics, dynamics of belief, learning theory, inquisitive semantics, modal logic, coalgebras, computational linguistics of Georgian, type-logical grammar and cross-serial dependencies, non-monotonic logic, Japanese quantifiers, intuitionistic logic, semantics of negated nominals, word sense disambiguation, semantics of question-embedding predicates, and reciprocals and computational complexity
Member of
Cataloging source
GW5XE
Dewey number
005.1
Index
index present
LC call number
QA76.9.L63
LC item number
I58 2009
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
2007
http://bibfra.me/vocab/lite/meetingName
International Tbilisi Symposium on Logic, Language, and Computation
Nature of contents
  • dictionaries
  • bibliography
http://library.link/vocab/relatedWorkOrContributorDate
1949 August 25-
http://library.link/vocab/relatedWorkOrContributorName
  • Bosch, Peter
  • Gabelaia, David
  • Lang, Jérôme
Series statement
Lecture notes in artificial intelligence, subseries of Lecture notes in computer science
Series volume
5422
http://library.link/vocab/subjectName
  • Computer logic
  • Programming languages (Electronic computers)
  • Programming languages (Electronic computers)
  • Computer logic
  • Informatique
  • Computer logic
  • Programming languages (Electronic computers)
  • Berechnungstheorie
  • Formale Grammatik
  • Formale Methode
  • Formale Syntax
  • Logik
  • Natürliche Sprache
  • Programmierlogik
Label
Logic, language, and computation : 7th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2007, Tbilisi, Georgia, October 1-5, 2007 : revised selected papers, Peter Bosch, David Gabelaia, Jérôme Lang (eds.)
Instantiates
Publication
Bibliography note
Includes bibliographical references and index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
A Computational Grammar for Georgian -- The Structure of Rigid Frames of Depth 3 Only -- Three Kinds of Event Nominal Negation in Russian -- A Dynamic Conceptual Model for the Linguistic Structuring of Space: Georgian Preverbs -- even in Horn Space -- On -c and?i Particles in Georgian -- Dealing with Polysemy in Russian National Corpus: The Case of Adjectives -- Inquisitive Semantics: Two Possibilities for Disjunction -- Implicatures of Irrelevant Answers and the Principle of Optimal Completion -- Conceptualization of Pain: A Database for Lexical Typology -- Expressing Belief Flow in Assertion Networks -- The Computational Complexity of Quantified Reciprocals -- Quantifiers in Japanese -- Exceptional Scope as Discourse Reference to Quantificational Dependencies -- Satisfaction and Friendliness Relations within Classical Logic: Proof-Theoretic Approach -- Identification through Inductive Verification -- Enlarging the Diversity of Valency Instantiation Patterns and Its Implications -- The Modal Formula (Is Not First-Order Definable -- Semantic Characterizations of German Question-Embedding Predicates -- Processing Definite Determiners: Formal Semantics Meets Experimental Results -- Terminal Sequence Induction via Games -- Dutch Grammar and Processing: A Case Study in TLG
Control code
341650629
Dimensions
unknown
Extent
1 online resource.
Form of item
online
Isbn
9783642006647
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
  • 10.1007/978-3-642-00665-4
  • 9783642006647
http://library.link/vocab/ext/overdrive/overdriveId
978-3-642-00664-7
Publisher number
12614431
Specific material designation
remote
System control number
(OCoLC)341650629
Label
Logic, language, and computation : 7th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2007, Tbilisi, Georgia, October 1-5, 2007 : revised selected papers, Peter Bosch, David Gabelaia, Jérôme Lang (eds.)
Publication
Bibliography note
Includes bibliographical references and index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
A Computational Grammar for Georgian -- The Structure of Rigid Frames of Depth 3 Only -- Three Kinds of Event Nominal Negation in Russian -- A Dynamic Conceptual Model for the Linguistic Structuring of Space: Georgian Preverbs -- even in Horn Space -- On -c and?i Particles in Georgian -- Dealing with Polysemy in Russian National Corpus: The Case of Adjectives -- Inquisitive Semantics: Two Possibilities for Disjunction -- Implicatures of Irrelevant Answers and the Principle of Optimal Completion -- Conceptualization of Pain: A Database for Lexical Typology -- Expressing Belief Flow in Assertion Networks -- The Computational Complexity of Quantified Reciprocals -- Quantifiers in Japanese -- Exceptional Scope as Discourse Reference to Quantificational Dependencies -- Satisfaction and Friendliness Relations within Classical Logic: Proof-Theoretic Approach -- Identification through Inductive Verification -- Enlarging the Diversity of Valency Instantiation Patterns and Its Implications -- The Modal Formula (Is Not First-Order Definable -- Semantic Characterizations of German Question-Embedding Predicates -- Processing Definite Determiners: Formal Semantics Meets Experimental Results -- Terminal Sequence Induction via Games -- Dutch Grammar and Processing: A Case Study in TLG
Control code
341650629
Dimensions
unknown
Extent
1 online resource.
Form of item
online
Isbn
9783642006647
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
  • 10.1007/978-3-642-00665-4
  • 9783642006647
http://library.link/vocab/ext/overdrive/overdriveId
978-3-642-00664-7
Publisher number
12614431
Specific material designation
remote
System control number
(OCoLC)341650629

Subject

Genre

Member of

Library Locations

    • Ellis LibraryBorrow it
      1020 Lowry Street, Columbia, MO, 65201, US
      38.944491 -92.326012
    • Engineering Library & Technology CommonsBorrow it
      W2001 Lafferre Hall, Columbia, MO, 65211, US
      38.946102 -92.330125

Library Links

Structured data from the Bibframe namespace is licensed under the Creative Commons Attribution 4.0 International License by University of Missouri Libraries. Additional terms may apply to data associated with third party namespaces.
Processing Feedback ...