Search Results for Logic - Narrowed by: User interfaces (Computer systems).
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dLogic$0026qf$003dSUBJECT$002509Subject$002509User$002binterfaces$002b$002528Computer$002bsystems$002529.$002509User$002binterfaces$002b$002528Computer$002bsystems$002529.$0026ps$003d300?dt=list
2026-03-20T19:13:53Z
Neuro-Symbolic Artificial Intelligence Bridging Logic and Learning
ent://SD_ILS/0/SD_ILS:606647
2026-03-20T19:13:53Z
2026-03-20T19:13:53Z
Author Bhuyan, Bikram Pratim. author. (orcid)0000-0001-5373-8912 Ramdane-Cherif, Amar. author. Singh, Thipendra P. author. (orcid)0000-0002-9991-6494 Tomar, Ravi. author. (orcid)0000-0002-8957-6756 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-97-8171-3">https://doi.org/10.1007/978-981-97-8171-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Topos of Music I: Theory Geometric Logic, Classification, Harmony, Counterpoint, Motives, Rhythm
ent://SD_ILS/0/SD_ILS:612058
2026-03-20T19:13:53Z
2026-03-20T19:13:53Z
Author Mazzola, Guerino. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-64364-9">https://doi.org/10.1007/978-3-319-64364-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Knowledge Representation for Health Care 6th International Workshop, KR4HC 2014, held as part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 21, 2014. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:488951
2026-03-20T19:13:53Z
2026-03-20T19:13:53Z
Author Miksch, Silvia. editor. Riaño, David. editor. (orcid)0000-0002-1608-0215 ten Teije, Annette. editor. (orcid)0000-0002-9771-8822 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-13281-5">https://doi.org/10.1007/978-3-319-13281-5</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-20T19:13:53Z
2026-03-20T19:13:53Z
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/>
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-20T19:13:53Z
2026-03-20T19:13:53Z
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/>
Diagrammatic Representation and Inference 14th International Conference, Diagrams 2024, Münster, Germany, September 27 - October 1, 2024, Proceedings
ent://SD_ILS/0/SD_ILS:605084
2026-03-20T19:13:53Z
2026-03-20T19:13:53Z
Author Lemanski, Jens. editor. (orcid)0000-0003-3661-4752 Johansen, Mikkel Willum. editor. (orcid)0000-0003-0454-2678 Manalo, Emmanuel. editor. (orcid)0000-0001-6470-4021 Viana, Petrucio. editor. (orcid)0000-0002-3517-6706 Bhattacharjee, Reetu. editor. (orcid)0000-0003-0720-4973<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-71291-3">https://doi.org/10.1007/978-3-031-71291-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Embracing Machines and Humanity Through Cognitive Computing and IoT
ent://SD_ILS/0/SD_ILS:527331
2026-03-20T19:13:53Z
2026-03-20T19:13:53Z
Author Usman, Mohammed. editor. Gao, Xiao-Zhi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-19-4522-9">https://doi.org/10.1007/978-981-19-4522-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Biomimetic and Biohybrid Systems 8th International Conference, Living Machines 2019, Nara, Japan, July 9–12, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483433
2026-03-20T19:13:53Z
2026-03-20T19:13:53Z
Author Martinez-Hernandez, Uriel. editor. (orcid)0000-0002-9922-7912 Vouloutsi, Vasiliki. editor. (orcid)0000-0001-6425-1026 Mura, Anna. editor. Mangan, Michael. editor. (orcid)0000-0002-0293-8874 Asada, Minoru. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-24741-6">https://doi.org/10.1007/978-3-030-24741-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Brain-Inspired Computing Second International Workshop, BrainComp 2015, Cetraro, Italy, July 6-10, 2015, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:613488
2026-03-20T19:13:53Z
2026-03-20T19:13:53Z
Author Amunts, Katrin. editor. Grandinetti, Lucio. editor. Lippert, Thomas. editor. Petkov, Nicolai. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-50862-7">https://doi.org/10.1007/978-3-319-50862-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Diagrammatic Representation and Inference 9th International Conference, Diagrams 2016, Philadelphia, PA, USA, August 7-10, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:616350
2026-03-20T19:13:53Z
2026-03-20T19:13:53Z
Author Jamnik, Mateja. editor. Uesaka, Yuri. editor. Elzer Schwartz, Stephanie. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-42333-3">https://doi.org/10.1007/978-3-319-42333-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Usability- and Accessibility-Focused Requirements Engineering First International Workshop, UsARE 2012, Held in Conjunction with ICSE 2012, Zurich, Switzerland, June 4, 2012 and Second International Workshop, UsARE 2014, Held in Conjunction with RE 2014, Karlskrona, Sweden, August 25, 2014, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:611831
2026-03-20T19:13:53Z
2026-03-20T19:13:53Z
Author Ebert, Achim. editor. Humayoun, Shah Rukh. editor. Seyff, Norbert. editor. Perini, Anna. editor. (orcid)0000-0001-8818-6476 Barbosa, Simone D.J. editor. (orcid)0000-0002-0044-503X<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-45916-5">https://doi.org/10.1007/978-3-319-45916-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Coordination, Organizations, Institutions, and Norms in Agent Systems XI COIN 2015 International Workshops, COIN@AAMAS, Istanbul, Turkey, May 4, 2015, COIN@IJCAI, Buenos Aires, Argentina, July 26, 2015, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:612983
2026-03-20T19:13:53Z
2026-03-20T19:13:53Z
Author Dignum, Virginia. editor. (orcid)0000-0001-7409-5813 Noriega, Pablo. editor. Sensoy, Murat. editor. Sichman, Jaime Simão. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-42691-4">https://doi.org/10.1007/978-3-319-42691-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Autism
ent://SD_ILS/0/SD_ILS:617312
2026-03-20T19:13:53Z
2026-03-20T19:13:53Z
Author Galitsky, Boris. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-39972-0">https://doi.org/10.1007/978-3-319-39972-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Web Services and Formal Methods 10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:489400
2026-03-20T19:13:53Z
2026-03-20T19:13:53Z
Author Tuosto, Emilio. editor. (orcid)0000-0002-7032-3281 Ouyang, Chun. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-08260-8">https://doi.org/10.1007/978-3-319-08260-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>