Dynamics in Logic and Language Third Tsinghua Interdisciplinary Workshop on Logic, Language, and Meaning, TLLM 2022, Virtual Event, April 1–4, 2022, Revised Selected Papers /
Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the refereed proceedings of the Third Tsinghua Interdisciplinary Workshop on Logic, Language, and Meaning, TLLM 2022, which was held virtually in April 2022. The 9 full papers presented in t...
Uloženo v:
| Korporativní autor: | SpringerLink (Online service) |
|---|---|
| Další autoři: | Deng, Dun (Editor), Liu, Mingming (Editor), Westerståhl, Dag (Editor), Xie, Kaibo (Editor) |
| Médium: | Elektronický zdroj E-kniha |
| Jazyk: | angličtina |
| Vydáno: |
Cham :
Springer International Publishing : Imprint: Springer,
2023.
|
| Vydání: | 1st ed. 2023. |
| Edice: | Lecture Notes in Computer Science,
13524 |
| Témata: | |
| On-line přístup: | https://doi.org/10.1007/978-3-031-25894-7 |
| Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
|
Podobné jednotky
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 /
Vydáno: (2025)
Vydáno: (2025)
Developments in Language Theory 28th International Conference, DLT 2024, Göttingen, Germany, August 12–16, 2024, Proceedings /
Vydáno: (2024)
Vydáno: (2024)
Dynamic Logic. New Trends and Applications 4th International Workshop, DaLí 2022, Haifa, Israel, July 31–August 1, 2022, Revised Selected Papers /
Vydáno: (2023)
Vydáno: (2023)
Human and Artificial Rationalities. Advances in Cognition, Computation, and Consciousness Third International Conference, HAR 2024, Paris, France, September 17–20, 2024, Proceedings /
Vydáno: (2025)
Vydáno: (2025)
Dynamic Logic. New Trends and Applications 5th International Workshop, DaLí 2023, Tbilisi, Georgia, September 15–16, 2023, Revised Selected Papers /
Vydáno: (2024)
Vydáno: (2024)
Human and Artificial Rationalities Second International Conference, HAR 2023, Paris, France, September 19–22, 2023, Proceedings /
Vydáno: (2024)
Vydáno: (2024)
Coalgebraic Methods in Computer Science 17th IFIP WG 1.3 International Workshop, CMCS 2024, Colocated with ETAPS 2024, Luxembourg City, Luxembourg, April 6–7, 2024, Proceedings /
Vydáno: (2024)
Vydáno: (2024)
Developments in Language Theory 27th International Conference, DLT 2023, Umeå, Sweden, June 12–16, 2023, Proceedings /
Vydáno: (2023)
Vydáno: (2023)
Logic and Its Applications 10th Indian Conference, ICLA 2023, Indore, India, March 3–5, 2023, Proceedings /
Vydáno: (2023)
Vydáno: (2023)
Logic and Its Applications 11th Indian Conference, ICLA 2025, Kolkata, India, February 3–5, 2025, Proceedings /
Vydáno: (2025)
Vydáno: (2025)
Practical Aspects of Declarative Languages 25th International Symposium, PADL 2023, Boston, MA, USA, January 16–17, 2023, Proceedings /
Vydáno: (2023)
Vydáno: (2023)
Formal Methods Teaching 5th International Workshop, FMTea 2023, Lübeck, Germany, March 6, 2023, Proceedings /
Vydáno: (2023)
Vydáno: (2023)
Formal Methods Teaching 6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024, Proceedings /
Vydáno: (2024)
Vydáno: (2024)
Formal Analysis for Natural Language Processing: A Handbook
Autor: Feng, Zhiwei
Vydáno: (2023)
Autor: Feng, Zhiwei
Vydáno: (2023)
R-Calculus, IV: Propositional Logic
Autor: Li, Wei, a další
Vydáno: (2023)
Autor: Li, Wei, a další
Vydáno: (2023)
R-Calculus, VI: Finite Injury Priority Method
Autor: Li, Wei, a další
Vydáno: (2025)
Autor: Li, Wei, a další
Vydáno: (2025)
Logic and Engineering of Natural Language Semantics 19th International Conference, LENLS19, Tokyo, Japan, November 19–21, 2022, Revised Selected Papers /
Vydáno: (2023)
Vydáno: (2023)
New Directions in Relevant Logic
Vydáno: (2025)
Vydáno: (2025)
The language of logic: a self-instruction text/
Autor: Schagrin, Morton L.
Vydáno: (1979)
Autor: Schagrin, Morton L.
Vydáno: (1979)
Logic in Computer Science
Autor: Zhang, Hantao, a další
Vydáno: (2025)
Autor: Zhang, Hantao, a další
Vydáno: (2025)
R-Calculus, V: Description Logics
Autor: Li, Wei, a další
Vydáno: (2024)
Autor: Li, Wei, a další
Vydáno: (2024)
Chatbot Research and Design 6th International Workshop, CONVERSATIONS 2022, Amsterdam, The Netherlands, November 22–23, 2022, Revised Selected Papers /
Vydáno: (2023)
Vydáno: (2023)
Logic, Rationality, and Interaction 9th International Workshop, LORI 2023, Jinan, China, October 26–29, 2023, Proceedings /
Vydáno: (2023)
Vydáno: (2023)
Logic and Engineering of Natural Language Semantics 20th International Conference, LENLS20, Osaka, Japan, November 18–20, 2023, Revised Selected Papers /
Vydáno: (2024)
Vydáno: (2024)
An Invitation to Mathematical Logic
Autor: Marker, David
Vydáno: (2024)
Autor: Marker, David
Vydáno: (2024)
Reasoning Web. Declarative Artificial Intelligence: Knowledge, Rules, Logic 19th International Summer School 2023 Oslo, Norway, September 21–24, 2023, Tutorial Lectures /
Vydáno: (2025)
Vydáno: (2025)
From Computational Logic to Computational Biology Essays Dedicated to Alfredo Ferro to Celebrate His Scientific Career /
Vydáno: (2024)
Vydáno: (2024)
Verified Software. Theories, Tools and Experiments. 14th International Conference, VSTTE 2022, Trento, Italy, October 17–18, 2022, Revised Selected Papers /
Vydáno: (2023)
Vydáno: (2023)
Logic-Based Program Synthesis and Transformation 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings /
Vydáno: (2023)
Vydáno: (2023)
Logic-Based Program Synthesis and Transformation 34th International Symposium, LOPSTR 2024, Milan, Italy, September 9–10, 2024, Proceedings /
Vydáno: (2024)
Vydáno: (2024)
Chatbot Research and Design 7th International Workshop, CONVERSATIONS 2023, Oslo, Norway, November 22–23, 2023, Revised Selected Papers /
Vydáno: (2024)
Vydáno: (2024)
Chatbots and Human-Centered AI 8th International Workshop, CONVERSATIONS 2024, Thessaloniki, Greece, December 4–5, 2024, Revised Selected Papers /
Vydáno: (2025)
Vydáno: (2025)
Verified Software. Theories, Tools and Experiments 16th International Conference, VSTTE 2024, Prague, Czech Republic, October 14–15, 2024, Revised Selected Papers /
Vydáno: (2025)
Vydáno: (2025)
Verified Software. Theories, Tools and Experiments 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23–24, 2023, Revised Selected Papers /
Vydáno: (2024)
Vydáno: (2024)
Multi-valued Logic for Decision-Making Under Uncertainty
Autor: Kagan, Evgeny, a další
Vydáno: (2025)
Autor: Kagan, Evgeny, a další
Vydáno: (2025)
Formal Methods: Foundations and Applications 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4–8, 2023, Proceedings /
Vydáno: (2024)
Vydáno: (2024)
Formal Methods: Foundations and Applications 27th Brazilian Symposium, SBMF 2024, Vitória, Brazil, December 4–6, 2024, Proceedings /
Vydáno: (2025)
Vydáno: (2025)
The Forcing Method in Set Theory An Introduction via Boolean Valued Logic /
Autor: Viale, Matteo
Vydáno: (2024)
Autor: Viale, Matteo
Vydáno: (2024)
Rules and Reasoning 7th International Joint Conference, RuleML+RR 2023, Oslo, Norway, September 18–20, 2023, Proceedings /
Vydáno: (2023)
Vydáno: (2023)
Rules and Reasoning 8th International Joint Conference, RuleML+RR 2024, Bucharest, Romania, September 16–18, 2024, Proceedings /
Vydáno: (2024)
Vydáno: (2024)
Podobné jednotky
-
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 /
Vydáno: (2025) -
Developments in Language Theory 28th International Conference, DLT 2024, Göttingen, Germany, August 12–16, 2024, Proceedings /
Vydáno: (2024) -
Dynamic Logic. New Trends and Applications 4th International Workshop, DaLí 2022, Haifa, Israel, July 31–August 1, 2022, Revised Selected Papers /
Vydáno: (2023) -
Human and Artificial Rationalities. Advances in Cognition, Computation, and Consciousness Third International Conference, HAR 2024, Paris, France, September 17–20, 2024, Proceedings /
Vydáno: (2025) -
Dynamic Logic. New Trends and Applications 5th International Workshop, DaLí 2023, Tbilisi, Georgia, September 15–16, 2023, Revised Selected Papers /
Vydáno: (2024)