| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISA996710861903316 |
|
|
Autore |
Hogeweg Lotte |
|
|
Titolo |
Logic, Language, and Computation : 14th International Tbilisi Symposium, TbiLLC 2023, Telavi, Georgia, September 18–22, 2023, Revised Selected Papers / / edited by Lotte Hogeweg, Raheleh Jalali, Igor Sedlár, Lena Schwarz |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2026 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2026.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (468 pages) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Computer Science, , 1611-3349 ; ; 15661 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Machine theory |
Computer science |
Software engineering |
Logic programming |
Natural language processing (Computer science) |
Formal Languages and Automata Theory |
Computer Science Logic and Foundations of Programming |
Software Engineering |
Logic in AI |
Natural Language Processing (NLP) |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di contenuto |
|
-- 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. |
|
|
|
|
|
|
Sommario/riassunto |
|
This 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. |
|
|
|
|
|
|
|
| |