Kapak Resmi

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

This book constitutes the proceedings of the Third International Conference on Human and Artificial Rationalities, HAR 2024, which took place in Paris, France, in September 2024. The 19 full papers and 4 short papers included in this book were carefully reviewed and selected from 52 submissions. The...

Kaydedildi:

Detaylı Bibliyografya
Müşterek Yazar:	SpringerLink (Online service)
Diğer Yazarlar:	Baratgin, Jean (Editör), Jacquet, Baptiste (Editör), Brochier, Emmanuel (Editör), Yama, Hiroshi (Editör)
Materyal Türü:	Elektronik Ekitap
Dil:	İngilizce
Baskı/Yayın Bilgisi:	Cham : Springer Nature Switzerland : Imprint: Springer, 2025.
Edisyon:	1st ed. 2025.
Seri Bilgileri:	Lecture Notes in Computer Science, 15504
Konular:	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).
Online Erişim:	https://doi.org/10.1007/978-3-031-84595-6
Etiketler:	Etiketle Etiket eklenmemiş, İlk siz ekleyin!

Benzer Materyaller

Human and Artificial Rationalities Second International Conference, HAR 2023, Paris, France, September 19–22, 2023, Proceedings /
Baskı/Yayın Bilgisi: (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 /
Baskı/Yayın Bilgisi: (2024)

Limits of Mathematics A Journey Through the Key Areas of Mathematical Logic /
Yazar:: Hoffmann, Dirk W.
Baskı/Yayın Bilgisi: (2025)

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

Institution-independent Model Theory
Yazar:: Diaconescu, Răzvan
Baskı/Yayın Bilgisi: (2025)

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 /
Baskı/Yayın Bilgisi: (2025)

Logic, Rationality, and Interaction 9th International Workshop, LORI 2023, Jinan, China, October 26–29, 2023, Proceedings /
Baskı/Yayın Bilgisi: (2023)

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 /
Baskı/Yayın Bilgisi: (2023)

Developments in Language Theory 27th International Conference, DLT 2023, Umeå, Sweden, June 12–16, 2023, Proceedings /
Baskı/Yayın Bilgisi: (2023)

R-Calculus, IV: Propositional Logic
Yazar:: Li, Wei, ve diğerleri
Baskı/Yayın Bilgisi: (2023)

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

R-Calculus, V: Description Logics
Yazar:: Li, Wei, ve diğerleri
Baskı/Yayın Bilgisi: (2024)

Logic and Its Applications 10th Indian Conference, ICLA 2023, Indore, India, March 3–5, 2023, Proceedings /
Baskı/Yayın Bilgisi: (2023)

Logic and Its Applications 11th Indian Conference, ICLA 2025, Kolkata, India, February 3–5, 2025, Proceedings /
Baskı/Yayın Bilgisi: (2025)

Reachability Problems 18th International Conference, RP 2024, Vienna, Austria, September 25–27, 2024, Proceedings /
Baskı/Yayın Bilgisi: (2024)

Formal Methods Teaching 6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024, Proceedings /
Baskı/Yayın Bilgisi: (2024)

Reachability Problems 17th International Conference, RP 2023, Nice, France, October 11–13, 2023, Proceedings /
Baskı/Yayın Bilgisi: (2023)

Foundations of Information and Knowledge Systems 13th International Symposium, FoIKS 2024, Sheffield, UK, April 8–11, 2024, Proceedings /
Baskı/Yayın Bilgisi: (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 /
Baskı/Yayın Bilgisi: (2025)

Formal Methods Teaching 5th International Workshop, FMTea 2023, Lübeck, Germany, March 6, 2023, Proceedings /
Baskı/Yayın Bilgisi: (2023)

Static Analysis 31st International Symposium, SAS 2024, Pasadena, CA, USA, October 20–22, 2024, Proceedings /
Baskı/Yayın Bilgisi: (2025)

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

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

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

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

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

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

Static Analysis 30th International Symposium, SAS 2023, Cascais, Portugal, October 22–24, 2023, Proceedings /
Baskı/Yayın Bilgisi: (2023)

Deep Learning and Visual Artificial Intelligence Proceedings of ICDLAI 2024 /
Baskı/Yayın Bilgisi: (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 /
Baskı/Yayın Bilgisi: (2023)

Advances in Brain Inspired Cognitive Systems 14th International Conference, BICS 2024, Hefei, China, December 6–8, 2024, Proceedings, Part II /
Baskı/Yayın Bilgisi: (2025)

Elements of the theory of computation /
Yazar:: Lewis, Harry R
Baskı/Yayın Bilgisi: (1981)

Elements of the theory of computation /
Yazar:: Lewis, Harry R.
Baskı/Yayın Bilgisi: (1989)

Elements of the theory of computation /
Yazar:: Lewis, Harry R.
Baskı/Yayın Bilgisi: (1989)

Elements of the theory of computation /
Yazar:: Lewis, Harry R
Baskı/Yayın Bilgisi: (1981)

Elements of the theory of computation /
Yazar:: Lewis, Harry R.
Baskı/Yayın Bilgisi: (1989)

Elements of the theory of computation /
Yazar:: Lewis, Harry R
Baskı/Yayın Bilgisi: (1981)

Formal Analysis for Natural Language Processing: A Handbook
Yazar:: Feng, Zhiwei
Baskı/Yayın Bilgisi: (2023)

Dynamic Logic. New Trends and Applications 4th International Workshop, DaLí 2022, Haifa, Israel, July 31–August 1, 2022, Revised Selected Papers /
Baskı/Yayın Bilgisi: (2023)

Runtime Verification 24th International Conference, RV 2024, Istanbul, Turkey, October 15–17, 2024, Proceedings /
Baskı/Yayın Bilgisi: (2025)