Vai al contenuto principale della pagina

Logic and Engineering of Natural Language Semantics : 20th International Conference, LENLS20, Osaka, Japan, November 18–20, 2023, Revised Selected Papers / / edited by Daisuke Bekki, Koji Mineshima, Elin McCready



(Visualizza in formato marc)    (Visualizza in BIBFRAME)

Autore: Bekki Daisuke Visualizza persona
Titolo: Logic and Engineering of Natural Language Semantics : 20th International Conference, LENLS20, Osaka, Japan, November 18–20, 2023, Revised Selected Papers / / edited by Daisuke Bekki, Koji Mineshima, Elin McCready Visualizza cluster
Pubblicazione: Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024
Edizione: 1st ed. 2024.
Descrizione fisica: 1 online resource (363 pages)
Disciplina: 40,151
Soggetto topico: Computer science
Computer Science Logic and Foundations of Programming
Altri autori: MineshimaKoji  
McCreadyElin  
Nota di contenuto: Putting the argumentative perspective under discussion - QUD vs argumentative goals -- Perspective and the Self in Experiential Attitude Reports -- Negation and information structure in Tree-Wrapping Grammar -- Towards a Theory of Anaphoric Binding in Event Semantics -- Matrix and Relative Weak Crossover on the Level of the Individual: An Experimental Investigation -- Additivity in Attention Semantics -- Extending Abstract Categorial Grammars with Feature Structures: Theory and Practice -- An Overt Operator Associating with Covert Focus: An Even-Like Semantics for Mandarin Geng -- Internal Reading and Reciprocity -- Dot-to-dot semantic representation -- Intonational meaning at the limits of grammar -- Comparing Degree-Based and Argumentative Analyses of Even -- Appositive Projection as Implicit Context Extension in Dependent Type Semantics -- On the semantics of dependencies: relative clauses and open clausal complements -- Semantics of Propositional Attitudes in Type-Theory of Algorithms -- A structured witness approach to pair-list answers of wh-questions with plural definites -- Two Places where We Need Plug-negation in Update Semantics: Symmetrical Presupposition Filtering and Exclusive Disjunction -- Topology and Justified True Belief: A Baseless, Evidence-Free (and Pointless) Approach -- Semantic-Pragmatic Account of Syntactic Structures.
Sommario/riassunto: This book constitutes the refereed post-conference proceedings of the 20th International Conference, LENLS20, held in Osaka, Japan, during November 18-20, 2023. The 19 full papers presented were carefully reviewed and selected from 46 submissions. The conference aims to cover the topics at the Intersection of Language and logic, and so Centers Around Linguistics, both Theoretical and Computational; Logic; Philosophy; and other sorts of Formal Approaches to these topics such as Game Theory.
Titolo autorizzato: Logic and Engineering of Natural Language Semantics  Visualizza cluster
ISBN: 9783031608780
303160878X
Formato: Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione: Inglese
Record Nr.: 9910865290503321
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Serie: Lecture Notes in Computer Science, . 1611-3349 ; ; 14569
Tools and Algorithms for the Construction and Analysis of Systems : 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part III / / edited by Bernd Finkbeiner, Laura Kovács
Finkbeiner Bernd
Foundations of Software Science and Computation Structures : 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part I / / edited by Naoki Kobayashi, James Worrell
Tools and Algorithms for the Construction and Analysis of Systems : 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part II / / edited by Bernd Finkbeiner, Laura Kovács
Finkbeiner Bernd
Foundations of Software Science and Computation Structures : 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part II / / edited by Naoki Kobayashi, James Worrell
Kobayashi Naoki
Metaheuristics : 15th International Conference, MIC 2024, Lorient, France, June 4–7, 2024, Proceedings, Part II / / edited by Marc Sevaux, Alexandru-Liviu Olteanu, Eduardo G. Pardo, Angelo Sifaleras, Salma Makboul
Sevaux Marc