Okładka

Human and Artificial Rationalities Second International Conference, HAR 2023, Paris, France, September 19–22, 2023, Proceedings /

Chapter 21 is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

Zapisane w:

Opis bibliograficzny
Korporacja:	SpringerLink (Online service)
Kolejni autorzy:	Baratgin, Jean (Redaktor), Jacquet, Baptiste (Redaktor), Yama, Hiroshi (Redaktor)
Format:	Elektroniczne E-book
Język:	angielski
Wydane:	Cham : Springer Nature Switzerland : Imprint: Springer, 2024.
Wydanie:	1st ed. 2024.
Seria:	Lecture Notes in Computer Science, 14522
Hasła przedmiotowe:	Artificial intelligence. Computer science. Machine theory. Mathematical logic. Logic programming. Natural language processing (Computer science). Artificial Intelligence. Theory of Computation. Formal Languages and Automata Theory. Mathematical Logic and Foundations. Logic in AI. Natural Language Processing (NLP).
Dostęp online:	https://doi.org/10.1007/978-3-031-55245-8
Etykiety:	Dodaj etykietę Nie ma etykietki, Dołącz pierwszą etykiete!

Podobne zapisy

Human and Artificial Rationalities. Advances in Cognition, Computation, and Consciousness Third International Conference, HAR 2024, Paris, France, September 17–20, 2024, Proceedings /
Wydane: (2025)

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 /
Wydane: (2024)

Limits of Mathematics A Journey Through the Key Areas of Mathematical Logic /
od: Hoffmann, Dirk W.
Wydane: (2025)

Developments in Language Theory 27th International Conference, DLT 2023, Umeå, Sweden, June 12–16, 2023, Proceedings /
Wydane: (2023)

Logic, Rationality, and Interaction 9th International Workshop, LORI 2023, Jinan, China, October 26–29, 2023, Proceedings /
Wydane: (2023)

Developments in Language Theory 28th International Conference, DLT 2024, Göttingen, Germany, August 12–16, 2024, Proceedings /
Wydane: (2024)

Institution-independent Model Theory
od: Diaconescu, Răzvan
Wydane: (2025)

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 /
Wydane: (2023)

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 /
Wydane: (2025)

R-Calculus, IV: Propositional Logic
od: Li, Wei, i wsp.
Wydane: (2023)

Practical Aspects of Declarative Languages 25th International Symposium, PADL 2023, Boston, MA, USA, January 16–17, 2023, Proceedings /
Wydane: (2023)

Reachability Problems 17th International Conference, RP 2023, Nice, France, October 11–13, 2023, Proceedings /
Wydane: (2023)

R-Calculus, V: Description Logics
od: Li, Wei, i wsp.
Wydane: (2024)

Logic and Its Applications 10th Indian Conference, ICLA 2023, Indore, India, March 3–5, 2023, Proceedings /
Wydane: (2023)

Formal Methods Teaching 5th International Workshop, FMTea 2023, Lübeck, Germany, March 6, 2023, Proceedings /
Wydane: (2023)

Static Analysis 30th International Symposium, SAS 2023, Cascais, Portugal, October 22–24, 2023, Proceedings /
Wydane: (2023)

Reachability Problems 18th International Conference, RP 2024, Vienna, Austria, September 25–27, 2024, Proceedings /
Wydane: (2024)

Logic and Its Applications 11th Indian Conference, ICLA 2025, Kolkata, India, February 3–5, 2025, Proceedings /
Wydane: (2025)

Formal Methods Teaching 6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024, Proceedings /
Wydane: (2024)

Crossroads of Computability and Logic: Insights, Inspirations, and Innovations 21st Conference on Computability in Europe, CiE 2025, Lisbon, Portugal, July 14–18, 2025, Proceedings /
Wydane: (2025)

Static Analysis 31st International Symposium, SAS 2024, Pasadena, CA, USA, October 20–22, 2024, Proceedings /
Wydane: (2025)

Foundations of Information and Knowledge Systems 13th International Symposium, FoIKS 2024, Sheffield, UK, April 8–11, 2024, Proceedings /
Wydane: (2024)

Deep Learning and Visual Artificial Intelligence Proceedings of ICDLAI 2024 /
Wydane: (2024)

Recent Trends in Algebraic Development Techniques 26th IFIP WG 1.3 International Workshop, WADT 2022, Aveiro, Portugal, June 28–30, 2022, Revised Selected Papers /
Wydane: (2023)

Recent Trends in Algebraic Development Techniques 27th IFIP WG 1.3 International Workshop, WADT 2024, Enschede, The Netherlands, July 8, 2024, Revised Selected Papers /
Wydane: (2025)

Natural Language Processing and Chinese Computing 13th National CCF Conference, NLPCC 2024, Hangzhou, China, November 1–3, 2024, Proceedings, Part III /
Wydane: (2025)

Natural Language Processing and Chinese Computing 13th National CCF Conference, NLPCC 2024, Hangzhou, China, November 1–3, 2024, Proceedings, Part IV /
Wydane: (2025)

Natural Language Processing and Chinese Computing 13th National CCF Conference, NLPCC 2024, Hangzhou, China, November 1–3, 2024, Proceedings, Part II /
Wydane: (2025)

Natural Language Processing and Chinese Computing 13th National CCF Conference, NLPCC 2024, Hangzhou, China, November 1–3, 2024, Proceedings, Part V /
Wydane: (2025)

Natural Language Processing and Chinese Computing 13th National CCF Conference, NLPCC 2024, Hangzhou, China, November 1–3, 2024, Proceedings, Part I /
Wydane: (2025)

Formal Analysis for Natural Language Processing: A Handbook
od: Feng, Zhiwei
Wydane: (2023)

Dynamic Logic. New Trends and Applications 5th International Workshop, DaLí 2023, Tbilisi, Georgia, September 15–16, 2023, Revised Selected Papers /
Wydane: (2024)

Runtime Verification 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3–6, 2023, Proceedings /
Wydane: (2023)

Formal Modeling and Analysis of Timed Systems 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19–21, 2023, Proceedings /
Wydane: (2023)

Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas /
od: Farmer, William M.
Wydane: (2023)

Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas /
od: Farmer, William M.
Wydane: (2025)

Inductive Logic Programming 32nd International Conference, ILP 2023, Bari, Italy, November 13–15, 2023, Proceedings /
Wydane: (2023)

Elements of the theory of computation /
od: Lewis, Harry R
Wydane: (1981)

Elements of the theory of computation /
od: Lewis, Harry R.
Wydane: (1989)

Elements of the theory of computation /
od: Lewis, Harry R.
Wydane: (1989)