LEADER 03853nam  22006735  450 
001 996710861903316
005 20260217120400.0
010   $a3-032-14339-X
024 7 $a10.1007/978-3-032-14339-6
035   $a(MiAaPQ)EBC32552714
035   $a(Au-PeEL)EBL32552714
035   $a(CKB)45344880900041
035   $a(DE-He213)978-3-032-14339-6
035   $a(OCoLC)1574119455
035   $a(EXLCZ)9945344880900041
100   $a20260217d2026      u|         0
101 0 $aeng
135   $aurcnu||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aLogic, Language, and Computation $e14th International Tbilisi Symposium, TbiLLC 2023, Telavi, Georgia, September 18?22, 2023, Revised Selected Papers /$fedited by Lotte Hogeweg, Raheleh Jalali, Igor Sedlár, Lena Schwarz
205   $a1st ed. 2026.
210  1$aCham :$cSpringer Nature Switzerland :$cImprint: Springer,$d2026.
215   $a1 online resource (468 pages)
225 1 $aLecture Notes in Computer Science,$x1611-3349 ;$v15661
311 08$a3-032-14338-1 
327   $a -- Language and Logic .  -- How aggressive are oh-prefaced responses? An experimental investigation.  -- Modification strategies for discriminating among referents in the presence of distractors: An analysis of large-scale production data.  -- A Dynamic Team Semantics for Marked Indefinites.  -- Automatic Morphological Analysis and Syntactic Parsing for the Georgian Language.  -- Decomposing decomposition in time: a methodological investigation.  -- Syntactic Annotation of Georgian based on the Universal Dependencies Framework.  -- A Model of Uncooperative Interpretation.  -- Between Methods and Theories - Experimental Evidence on Semantics of Russian Number.  -- Explaining Particle Functions in Minimal Bayesian Pragmatics.  -- Logic and Computation.  -- On Splittings in Lattices of Quasivarieties of Heyting Algebras.  -- Correspondence Theory of Modal Logic with Counting.  -- The Modal Logic of Minimal Upper Bounds.  -- Analytic Implication and Equivalence in Truthmaker Semantics for Intuitionistic Logic.  -- Characterisation of Lawvere-Tierney Topologies on Simplicial Sets, Bicolored Graphs, and Fuzzy Sets.
330   $aThis book constitutes the refereed proceedings of the 14th International Tbilisi Symposium on Logic, Language and Computation, TbiLLC 2023, held in Telavi, Georgia, during September 18-22, 2023. The 14 full papers were included in this book were carefully reviewed and selected from 21 submissions. These papers were organized in the following topical sections: Language and Logic; Logic and Computation.
410  0$aLecture Notes in Computer Science,$x1611-3349 ;$v15661
606   $aMachine theory
606   $aComputer science
606   $aSoftware engineering
606   $aLogic programming
606   $aNatural language processing (Computer science)
606   $aFormal Languages and Automata Theory
606   $aComputer Science Logic and Foundations of Programming
606   $aSoftware Engineering
606   $aLogic in AI
606   $aNatural Language Processing (NLP)
615  0$aMachine theory.
615  0$aComputer science.
615  0$aSoftware engineering.
615  0$aLogic programming.
615  0$aNatural language processing (Computer science)
615 14$aFormal Languages and Automata Theory.
615 24$aComputer Science Logic and Foundations of Programming.
615 24$aSoftware Engineering.
615 24$aLogic in AI.
615 24$aNatural Language Processing (NLP).
676   $a005.131
700   $aHogeweg$b Lotte$01817109
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a996710861903316
996   $aLogic, Language, and Computation$94548338
997   $aUNISA