Search Results for Logic - Narrowed by: Natural Language Processing (NLP).
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dLogic$0026qf$003dSUBJECT$002509Subject$002509Natural$002bLanguage$002bProcessing$002b$002528NLP$002529.$002509Natural$002bLanguage$002bProcessing$002b$002528NLP$002529.$0026ps$003d300?dt=list
2026-03-21T01:27:19Z
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
ent://SD_ILS/0/SD_ILS:608062
2026-03-21T01:27:19Z
2026-03-21T01:27:19Z
Author Yan, Jialiang. editor. (orcid)0009-0005-2163-2300 Liu, Mingming. editor. Westerståhl, Dag. editor. (orcid)0000-0002-9925-3811 Yang, Xiaolu. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-86054-6">https://doi.org/10.1007/978-3-031-86054-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Selected Reflections in Language, Logic, and Information ESSLLI 2019, ESSLLI 2020 and ESSLLI 2021 Student Sessions, Selected Papers
ent://SD_ILS/0/SD_ILS:602203
2026-03-21T01:27:19Z
2026-03-21T01:27:19Z
Author Pavlova, Alexandra. editor. Pedersen, Mina Young. editor. Bernardi, Raffaella. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-50628-4">https://doi.org/10.1007/978-3-031-50628-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic and Algorithms in Computational Linguistics 2021 (LACompLing2021)
ent://SD_ILS/0/SD_ILS:528999
2026-03-21T01:27:19Z
2026-03-21T01:27:19Z
Author Loukanova, Roussanka. editor. Lumsdaine, Peter LeFanu. editor. Muskens, Reinhard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-21780-7">https://doi.org/10.1007/978-3-031-21780-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic, Language, and Computation 11th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2015, Tbilisi, Georgia, September 21-26, 2015, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:616241
2026-03-21T01:27:19Z
2026-03-21T01:27:19Z
Author Hansen, Helle Hvid. editor. Murray, Sarah E. editor. Sadrzadeh, Mehrnoosh. editor. Zeevat, Henk. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-54332-0">https://doi.org/10.1007/978-3-662-54332-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods: Foundations and Applications 27th Brazilian Symposium, SBMF 2024, Vitória, Brazil, December 4-6, 2024, Proceedings
ent://SD_ILS/0/SD_ILS:606244
2026-03-21T01:27:19Z
2026-03-21T01:27:19Z
Author C. Nogueira, Sidney. editor. (orcid)0000-0002-8817-5029 Teodorov, Ciprian. editor. (orcid)0000-0002-0722-5857 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-78116-2">https://doi.org/10.1007/978-3-031-78116-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Human and Artificial Rationalities. Advances in Cognition, Computation, and Consciousness Third International Conference, HAR 2024, Paris, France, September 17-20, 2024, Proceedings
ent://SD_ILS/0/SD_ILS:607767
2026-03-21T01:27:19Z
2026-03-21T01:27:19Z
Author Baratgin, Jean. editor. (orcid)0000-0001-9566-486X Jacquet, Baptiste. editor. (orcid)0000-0001-5310-2789 Brochier, Emmanuel. editor. (orcid)0000-0002-9153-562X Yama, Hiroshi. editor. (orcid)0000-0003-1612-3550 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-84595-6">https://doi.org/10.1007/978-3-031-84595-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Chatbots and Human-Centered AI 8th International Workshop, CONVERSATIONS 2024, Thessaloniki, Greece, December 4-5, 2024, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:607932
2026-03-21T01:27:19Z
2026-03-21T01:27:19Z
Author Følstad, Asbjørn. editor. (orcid)0000-0003-2763-0996 Papadopoulos, Symeon. editor. (orcid)0000-0002-5441-7341 Araujo, Theo. editor. (orcid)0000-0002-4633-9339 Law, Effie L.-C. editor. (orcid)0000-0002-0873-0150 Luger, Ewa. editor. (orcid)0000-0001-7882-9415<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-88045-2">https://doi.org/10.1007/978-3-031-88045-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Engineering Trustworthy Software Systems 6th International School, SETSS 2024, Chongqing, China, April 14-21, 2024, Tutorial Lectures
ent://SD_ILS/0/SD_ILS:607973
2026-03-21T01:27:19Z
2026-03-21T01:27:19Z
Author Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140 Gomes, Cláudio. editor. (orcid)0000-0003-2692-9742 Liu, Zhiming. editor. (orcid)0000-0001-9771-3071 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-96-4656-2">https://doi.org/10.1007/978-981-96-4656-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:605095
2026-03-21T01:27:19Z
2026-03-21T01:27:19Z
Author Platzer, André. editor. (orcid)0000-0001-7238-5710 Rozier, Kristin Yvonne. editor. (orcid)0000-0002-6718-2828 Pradella, Matteo. editor. (orcid)0000-0003-3039-1084 Rossi, Matteo. editor. (orcid)0000-0002-9193-9560 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-71162-6">https://doi.org/10.1007/978-3-031-71162-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Static Analysis 31st International Symposium, SAS 2024, Pasadena, CA, USA, October 20-22, 2024, Proceedings
ent://SD_ILS/0/SD_ILS:606961
2026-03-21T01:27:19Z
2026-03-21T01:27:19Z
Author Giacobazzi, Roberto. editor. (orcid)0000-0002-9582-3960 Gorla, Alessandra. editor. (orcid)0000-0002-6711-3080 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-74776-2">https://doi.org/10.1007/978-3-031-74776-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Machine Translation 20th China Conference, CCMT 2024, Xiamen, China, November 8-10, 2024, Proceedings
ent://SD_ILS/0/SD_ILS:607319
2026-03-21T01:27:19Z
2026-03-21T01:27:19Z
Author He, Zhongjun. editor. Chen, Yidong. editor. (orcid)0000-0002-0243-7228 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-96-2292-4">https://doi.org/10.1007/978-981-96-2292-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Proceedings of Fourth International Conference on Engineering Mathematics and Computing ICEMC 2024
ent://SD_ILS/0/SD_ILS:610085
2026-03-21T01:27:19Z
2026-03-21T01:27:19Z
Author Jana, Dipak Kumar. editor. Gyei-Kark, Park. editor. Panja, Prabir. editor. Dostal, Petr. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-96-4032-4">https://doi.org/10.1007/978-981-96-4032-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:605121
2026-03-21T01:27:19Z
2026-03-21T01:27:19Z
Author Platzer, Andre. editor. (orcid)0000-0001-7238-5710 Rozier, Kristin Yvonne. editor. (orcid)0000-0002-6718-2828 Pradella, Matteo. editor. (orcid)0000-0003-3039-1084 Rossi, Matteo. editor. (orcid)0000-0002-9193-9560 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-71177-0">https://doi.org/10.1007/978-3-031-71177-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods: Foundations and Applications 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4-8, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:602080
2026-03-21T01:27:19Z
2026-03-21T01:27:19Z
Author Barbosa, Haniel. editor. Zohar, Yoni. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-49342-3">https://doi.org/10.1007/978-3-031-49342-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Human and Artificial Rationalities Second International Conference, HAR 2023, Paris, France, September 19-22, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:602881
2026-03-21T01:27:19Z
2026-03-21T01:27:19Z
Author Baratgin, Jean. editor. (orcid)0000-0001-9566-486X Jacquet, Baptiste. editor. (orcid)0000-0001-5310-2789 Yama, Hiroshi. editor. (orcid)0000-0003-1612-3550 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-55245-8">https://doi.org/10.1007/978-3-031-55245-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Explainable Artificial Intelligence Second World Conference, xAI 2024, Valletta, Malta, July 17-19, 2024, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:604250
2026-03-21T01:27:19Z
2026-03-21T01:27:19Z
Author Longo, Luca. editor. Lapuschkin, Sebastian. editor. (orcid)0000-0002-0762-7258 Seifert, Christin. editor. (orcid)0000-0002-6776-3868 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-63787-2">https://doi.org/10.1007/978-3-031-63787-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Explainable Artificial Intelligence Second World Conference, xAI 2024, Valletta, Malta, July 17-19, 2024, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:604251
2026-03-21T01:27:19Z
2026-03-21T01:27:19Z
Author Longo, Luca. editor. Lapuschkin, Sebastian. editor. (orcid)0000-0002-0762-7258 Seifert, Christin. editor. (orcid)0000-0002-6776-3868 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-63797-1">https://doi.org/10.1007/978-3-031-63797-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Explainable Artificial Intelligence Second World Conference, xAI 2024, Valletta, Malta, July 17-19, 2024, Proceedings, Part III
ent://SD_ILS/0/SD_ILS:604252
2026-03-21T01:27:19Z
2026-03-21T01:27:19Z
Author Longo, Luca. editor. Lapuschkin, Sebastian. editor. (orcid)0000-0002-0762-7258 Seifert, Christin. editor. (orcid)0000-0002-6776-3868 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-63800-8">https://doi.org/10.1007/978-3-031-63800-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Explainable Artificial Intelligence Second World Conference, xAI 2024, Valletta, Malta, July 17-19, 2024, Proceedings, Part IV
ent://SD_ILS/0/SD_ILS:604253
2026-03-21T01:27:19Z
2026-03-21T01:27:19Z
Author Longo, Luca. editor. Lapuschkin, Sebastian. editor. (orcid)0000-0002-0762-7258 Seifert, Christin. editor. (orcid)0000-0002-6776-3868 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-63803-9">https://doi.org/10.1007/978-3-031-63803-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Developments in Language Theory 28th International Conference, DLT 2024, Göttingen, Germany, August 12-16, 2024, Proceedings
ent://SD_ILS/0/SD_ILS:604457
2026-03-21T01:27:19Z
2026-03-21T01:27:19Z
Author Day, Joel D. editor. (orcid)0000-0002-3660-7766 Manea, Florin. editor. (orcid)0000-0001-6094-3324 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-66159-4">https://doi.org/10.1007/978-3-031-66159-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Chatbot Research and Design 7th International Workshop, CONVERSATIONS 2023, Oslo, Norway, November 22-23, 2023, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:602851
2026-03-21T01:27:19Z
2026-03-21T01:27:19Z
Author Følstad, Asbjørn. editor. (orcid)0000-0003-2763-0996 Araujo, Theo. editor. Papadopoulos, Symeon. editor. Law, Effie L.-C. editor. Luger, Ewa. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-54975-5">https://doi.org/10.1007/978-3-031-54975-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods Teaching 6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024, Proceedings
ent://SD_ILS/0/SD_ILS:605043
2026-03-21T01:27:19Z
2026-03-21T01:27:19Z
Author Sekerinski, Emil. editor. (orcid)0000-0001-9788-5842 Ribeiro, Leila. editor. (orcid)0000-0001-7039-092X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-71379-8">https://doi.org/10.1007/978-3-031-71379-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Rules and Reasoning 8th International Joint Conference, RuleML+RR 2024, Bucharest, Romania, September 16-18, 2024, Proceedings
ent://SD_ILS/0/SD_ILS:605161
2026-03-21T01:27:19Z
2026-03-21T01:27:19Z
Author Kirrane, Sabrina. editor. (orcid)0000-0002-6955-7718 Šimkus, Mantas. editor. (orcid)0000-0003-0632-0294 Soylu, Ahmet. editor. (orcid)0000-0001-6034-4137 Roman, Dumitru. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-72407-7">https://doi.org/10.1007/978-3-031-72407-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
AI*IA 2017 Advances in Artificial Intelligence XVIth International Conference of the Italian Association for Artificial Intelligence, Bari, Italy, November 14-17, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:613058
2026-03-21T01:27:19Z
2026-03-21T01:27:19Z
Author Esposito, Floriana. editor. Basili, Roberto. editor. (orcid)0000-0001-5140-0694 Ferilli, Stefano. editor. Lisi, Francesca A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-70169-1">https://doi.org/10.1007/978-3-319-70169-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Implementation and Application of Automata 22nd International Conference, CIAA 2017, Marne-la-Vallée, France, June 27-30, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:615965
2026-03-21T01:27:19Z
2026-03-21T01:27:19Z
Author Carayol, Arnaud. editor. Nicaud, Cyril. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-60134-2">https://doi.org/10.1007/978-3-319-60134-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Developments in Language Theory 21st International Conference, DLT 2017, Liège, Belgium, August 7-11, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:618150
2026-03-21T01:27:19Z
2026-03-21T01:27:19Z
Author Charlier, Émilie. editor. Leroy, Julien. editor. Rigo, Michel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-62809-7">https://doi.org/10.1007/978-3-319-62809-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Developments in Language Theory 20th International Conference, DLT 2016, Montréal, Canada, July 25-28, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:616889
2026-03-21T01:27:19Z
2026-03-21T01:27:19Z
Author Brlek, Srečko. editor. Reutenauer, Christophe. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-53132-7">https://doi.org/10.1007/978-3-662-53132-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996-2016) 9th International Conference, LACL 2016, Nancy, France, December 5-7, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:613470
2026-03-21T01:27:19Z
2026-03-21T01:27:19Z
Author Amblard, Maxime. editor. de Groote, Philippe. editor. Pogodalla, Sylvain. editor. Retoré, Christian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-53826-5">https://doi.org/10.1007/978-3-662-53826-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Cognitively Inspired Audiovisual Speech Filtering Towards an Intelligent, Fuzzy Based, Multimodal, Two-Stage Speech Enhancement System
ent://SD_ILS/0/SD_ILS:530652
2026-03-21T01:27:19Z
2026-03-21T01:27:19Z
Author Abel, Andrew. author. Hussain, Amir. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-13509-0">https://doi.org/10.1007/978-3-319-13509-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>