Logic, Language, and Computation
Logic, Language, and Computation
14th International Tbilisi Symposium, TbiLLC 2023, Telavi, Georgia, September 18-22, 2023, Revised Selected Papers
Hogeweg, Lotte; Schwarz, Lena; Sedlar, Igor; Jalali, Raheleh
Springer Nature Switzerland AG
02/2026
285
Mole
Inglês
9783032143389
15 a 20 dias
Descrição não disponível.
.- 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.
.- 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.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
Algorithmic game theory;Logic;artificial intelligence;linguistics;computational linguistics;semantics;Constructive, intuitionistic;pragmatics;computation;modal and other non-classical logics;Logics for knowledge;modal logic;belief;language;inference;information dynamics;decision making;Logics for artificial intelligence and computer science;mathematics;Natural language syntax
.- 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.
.- 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.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
Algorithmic game theory;Logic;artificial intelligence;linguistics;computational linguistics;semantics;Constructive, intuitionistic;pragmatics;computation;modal and other non-classical logics;Logics for knowledge;modal logic;belief;language;inference;information dynamics;decision making;Logics for artificial intelligence and computer science;mathematics;Natural language syntax