Azala

The Connectives in Logic and Language 4th Tsinghua Interdisciplinary Workshop on Logic, Language, and Meaning, TLLM 2024, Beijing, China, March 29–31, 2024, Revised Selected Papers /

Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the refereed proceedings of the 4th Tsinghua Interdisciplinary Workshop on Logic, Language, and Meaning, TLLM 2024, held in Beijing, China during in March 29-31, 2024. The 8 full papers were...

Deskribapen osoa

Gorde:
Xehetasun bibliografikoak
Erakunde egilea: SpringerLink (Online service)
Beste egile batzuk: Yan, Jialiang (Argitaratzailea), Liu, Mingming (Argitaratzailea), Westerståhl, Dag (Argitaratzailea), Yang, Xiaolu (Argitaratzailea)
Formatua: Baliabide elektronikoa eBook
Hizkuntza:ingelesa
Argitaratua: Cham : Springer Nature Switzerland : Imprint: Springer, 2025.
Edizioa:1st ed. 2025.
Saila:Lecture Notes in Computer Science, 15410
Gaiak:
Natural language processing (Computer science).
Mathematical logic.
Logic programming.
Computer programming.
Computer systems.
Natural Language Processing (NLP).
Mathematical Logic and Foundations.
Logic in AI.
Programming Techniques.
Computer System Implementation.
Sarrera elektronikoa:https://doi.org/10.1007/978-3-031-86054-6
Etiketak: Etiketa erantsi
Etiketarik gabe, Izan zaitez lehena erregistro honi etiketa jartzen!
Deskribapena
Gaia:Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the refereed proceedings of the 4th Tsinghua Interdisciplinary Workshop on Logic, Language, and Meaning, TLLM 2024, held in Beijing, China during in March 29-31, 2024. The 8 full papers were carefully reviewed and selected from 49 submissions. This workshop also focused on the apparently simpler connectives expressing (various versions of) conjunction, disjunction, and negation.
Deskribapen fisikoa:IX, 189 p. 3 illus., 1 illus. in color. online resource.
ISBN:9783031860546
ISSN:1611-3349 ;
DOI:10.1007/978-3-031-86054-6

Antzeko izenburuak