Search Results for Reasoning. - Narrowed by: Computer Communication Networks. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dReasoning.$0026qf$003dSUBJECT$002509Konu$002509Computer$002bCommunication$002bNetworks.$002509Computer$002bCommunication$002bNetworks.$0026ps$003d300?dt=list 2026-03-25T06:39:18Z Decentralized Reasoning in Ambient Intelligence ent://SD_ILS/0/SD_ILS:173543 2026-03-25T06:39:18Z 2026-03-25T06:39:18Z Author&#160;Viterbo, Jos&eacute;. author.&#160;Endler, Markus. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4471-4168-6">http://dx.doi.org/10.1007/978-1-4471-4168-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Graph Structures for Knowledge Representation and Reasoning 5th International Workshop, GKR 2017, Melbourne, VIC, Australia, August 21, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:400874 2026-03-25T06:39:18Z 2026-03-25T06:39:18Z Author&#160;Croitoru, Madalina. editor.&#160;Marquis, Pierre. editor.&#160;Rudolph, Sebastian. editor. (orcid)0000-0002-1609-2080&#160;Stapleton, Gem. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-78102-0">https://doi.org/10.1007/978-3-319-78102-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Symbolic and Quantitative Approaches to Reasoning with Uncertainty 14th European Conference, ECSQARU 2017, Lugano, Switzerland, July 10-14, 2017, Proceedings ent://SD_ILS/0/SD_ILS:618348 2026-03-25T06:39:18Z 2026-03-25T06:39:18Z Author&#160;Antonucci, Alessandro. editor.&#160;Cholvy, Laurence. editor.&#160;Papini, Odile. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-61581-3">https://doi.org/10.1007/978-3-319-61581-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Case-Based Reasoning Research and Development 24th International Conference, ICCBR 2016, Atlanta, GA, USA, October 31 - November 2, 2016, Proceedings ent://SD_ILS/0/SD_ILS:612473 2026-03-25T06:39:18Z 2026-03-25T06:39:18Z Author&#160;Goel, Ashok. editor.&#160;D&iacute;az-Agudo, M Bel&eacute;n. editor.&#160;Roth-Berghofer, Thomas. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-47096-2">https://doi.org/10.1007/978-3-319-47096-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Symbolic and Quantitative Approaches to Reasoning with Uncertainty 12th European Conference, ECSQARU 2013, Utrecht, The Netherlands, July 8-10, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334728 2026-03-25T06:39:18Z 2026-03-25T06:39:18Z Author&#160;Gaag, Linda C. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334728.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39091-3">http://dx.doi.org/10.1007/978-3-642-39091-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Case-Based Reasoning Research and Development 19th International Conference on Case-Based Reasoning, ICCBR 2011, London, UK, September 12-15, 2011. Proceedings ent://SD_ILS/0/SD_ILS:195299 2026-03-25T06:39:18Z 2026-03-25T06:39:18Z Author&#160;Ram, Ashwin. editor.&#160;Wiratunga, Nirmalie. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-23291-6">http://dx.doi.org/10.1007/978-3-642-23291-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Symbolic and Quantitative Approaches to Reasoning with Uncertainty 11th European Conference, ECSQARU 2011, Belfast, UK, June 29&ndash;July 1, 2011. Proceedings ent://SD_ILS/0/SD_ILS:194930 2026-03-25T06:39:18Z 2026-03-25T06:39:18Z Author&#160;Liu, Weiru. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-22152-1">http://dx.doi.org/10.1007/978-3-642-22152-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus,March 27-28, 2010. Revised Selected Papers ent://SD_ILS/0/SD_ILS:193176 2026-03-25T06:39:18Z 2026-03-25T06:39:18Z Author&#160;Armando, Alessandro. editor.&#160;Lowe, Gavin. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-16074-5">http://dx.doi.org/10.1007/978-3-642-16074-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Rule-Based Reasoning, Programming, and Applications 5th International Symposium, RuleML 2011 &ndash; Europe, Barcelona, Spain, July 19-21, 2011. Proceedings ent://SD_ILS/0/SD_ILS:195060 2026-03-25T06:39:18Z 2026-03-25T06:39:18Z Author&#160;Bassiliades, Nick. editor.&#160;Governatori, Guido. editor.&#160;Paschke, Adrian. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-22546-8">http://dx.doi.org/10.1007/978-3-642-22546-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> A Hybrid Deliberative Layer for Robotic Agents Fusing DL Reasoning with HTN Planning in Autonomous Robots ent://SD_ILS/0/SD_ILS:195071 2026-03-25T06:39:18Z 2026-03-25T06:39:18Z Author&#160;Hartanto, Ronny. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-22580-2">http://dx.doi.org/10.1007/978-3-642-22580-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Reasoning Web. Semantic Technologies for the Web of Data 7th International Summer School 2011, Galway, Ireland, August 23-27, 2011, Tutorial Lectures ent://SD_ILS/0/SD_ILS:195217 2026-03-25T06:39:18Z 2026-03-25T06:39:18Z Author&#160;Polleres, Axel. editor.&#160;d&rsquo;Amato, Claudia. editor.&#160;Arenas, Marcelo. editor.&#160;Handschuh, Siegfried. editor.&#160;Kroner, Paula. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-23032-5">http://dx.doi.org/10.1007/978-3-642-23032-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Reasoning Web. Semantic Technologies for Software Engineering 6th International Summer School 2010, Dresden, Germany, August 30 - September 3, 2010. Tutorial Lectures ent://SD_ILS/0/SD_ILS:193003 2026-03-25T06:39:18Z 2026-03-25T06:39:18Z Author&#160;A&szlig;mann, Uwe. editor.&#160;Bartho, Andreas. editor.&#160;Wende, Christian. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-15543-7">http://dx.doi.org/10.1007/978-3-642-15543-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Case-Based Reasoning. Research and Development 18th International Conference on Case-Based Reasoning, ICCBR 2010, Alessandria, Italy, July 19-22, 2010. Proceedings ent://SD_ILS/0/SD_ILS:192600 2026-03-25T06:39:18Z 2026-03-25T06:39:18Z Author&#160;Bichindaritz, Isabelle. editor.&#160;Montani, Stefania. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-14274-1">http://dx.doi.org/10.1007/978-3-642-14274-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Foundations and Applications of Security Analysis Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, York, UK, March 28-29, 2009, Revised Selected Papers ent://SD_ILS/0/SD_ILS:190634 2026-03-25T06:39:18Z 2026-03-25T06:39:18Z Author&#160;Degano, Pierpaolo. editor.&#160;Vigan&ograve;, Luca. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-03459-6">http://dx.doi.org/10.1007/978-3-642-03459-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Reasoning Web 4th International Summer School 2008, Venice, Italy, September 7-11, 2008, Tutorial Lectures ent://SD_ILS/0/SD_ILS:188747 2026-03-25T06:39:18Z 2026-03-25T06:39:18Z Author&#160;Baroglio, Cristina. editor.&#160;Bonatti, Piero A. editor.&#160;Ma&#322;uszy&#324;ski, Jan. editor.&#160;Marchiori, Massimo. editor.&#160;Polleres, Axel. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-85658-0">http://dx.doi.org/10.1007/978-3-540-85658-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Reasoning Web Third International Summer School 2007, Dresden, Germany, September 3-7, 2007, Tutorial Lectures ent://SD_ILS/0/SD_ILS:187214 2026-03-25T06:39:18Z 2026-03-25T06:39:18Z Author&#160;Antoniou, Grigoris. editor.&#160;A&szlig;mann, Uwe. editor.&#160;Baroglio, Cristina. editor.&#160;Decker, Stefan. editor.&#160;Henze, Nicola. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-74615-7">http://dx.doi.org/10.1007/978-3-540-74615-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Reasoning Web Second International Summer School 2006, Lisbon, Portugal, September 4-8, 2006, Tutorial Lectures ent://SD_ILS/0/SD_ILS:184679 2026-03-25T06:39:18Z 2026-03-25T06:39:18Z Author&#160;Barahona, Pedro. editor.&#160;Bry, Fran&ccedil;ois. editor.&#160;Franconi, Enrico. editor.&#160;Henze, Nicola. editor.&#160;Sattler, Ulrike. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11837787">http://dx.doi.org/10.1007/11837787</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Reasoning Web First International Summer School 2005, Msida, Malta, July 25-29, 2005, Revised Lectures ent://SD_ILS/0/SD_ILS:182822 2026-03-25T06:39:18Z 2026-03-25T06:39:18Z Author&#160;Eisinger, Norbert. editor.&#160;Ma&#322;uszy&#324;ski, Jan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11526988">http://dx.doi.org/10.1007/11526988</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Artificial Intelligence - IBERAMIA 2024 18th Ibero-American Conference on AI, Montevideo, Uruguay, November 13-15, 2024, Proceedings ent://SD_ILS/0/SD_ILS:607371 2026-03-25T06:39:18Z 2026-03-25T06:39:18Z Author&#160;Correia, Lu&iacute;s. editor. (orcid)0000-0003-2439-1168&#160;Ros&aacute;, Aiala. editor.&#160;Garijo, Francisco. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-80366-6">https://doi.org/10.1007/978-3-031-80366-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Electronic Voting 9th International Joint Conference, E-Vote-ID 2024, Tarragona, Spain, October 2-4, 2024, Proceedings ent://SD_ILS/0/SD_ILS:605279 2026-03-25T06:39:18Z 2026-03-25T06:39:18Z Author&#160;Duenas-Cid, David. editor. (orcid)0000-0002-0451-4514&#160;Roenne, Peter. editor. (orcid)0000-0002-2785-8301&#160;Volkamer, Melanie. editor. (orcid)0000-0003-2674-4043&#160;Budurushi, Jurlind. editor. (orcid)0000-0002-6732-4400&#160;Blom, Michelle. editor. (orcid)0000-0002-0459-9917<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-72244-8">https://doi.org/10.1007/978-3-031-72244-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Pattern Recognition and Computer Vision 6th Chinese Conference, PRCV 2023, Xiamen, China, October 13-15, 2023, Proceedings, Part I ent://SD_ILS/0/SD_ILS:602187 2026-03-25T06:39:18Z 2026-03-25T06:39:18Z Author&#160;Liu, Qingshan. editor. (orcid)0000-0002-8161-1780&#160;Wang, Hanzi. editor.&#160;Ma, Zhanyu. editor.&#160;Zheng, Weishi. editor. (orcid)0000-0001-8327-0003&#160;Zha, Hongbin. editor. (orcid)0000-0001-5860-4673<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-99-8429-9">https://doi.org/10.1007/978-981-99-8429-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Pattern Recognition and Computer Vision 6th Chinese Conference, PRCV 2023, Xiamen, China, October 13-15, 2023, Proceedings, Part II ent://SD_ILS/0/SD_ILS:602188 2026-03-25T06:39:18Z 2026-03-25T06:39:18Z Author&#160;Liu, Qingshan. editor. (orcid)0000-0002-8161-1780&#160;Wang, Hanzi. editor.&#160;Ma, Zhanyu. editor.&#160;Zheng, Weishi. editor. (orcid)0000-0001-8327-0003&#160;Zha, Hongbin. editor. (orcid)0000-0001-5860-4673<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-99-8432-9">https://doi.org/10.1007/978-981-99-8432-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Pattern Recognition and Computer Vision 6th Chinese Conference, PRCV 2023, Xiamen, China, October 13-15, 2023, Proceedings, Part VII ent://SD_ILS/0/SD_ILS:602189 2026-03-25T06:39:18Z 2026-03-25T06:39:18Z Author&#160;Liu, Qingshan. editor. (orcid)0000-0002-8161-1780&#160;Wang, Hanzi. editor.&#160;Ma, Zhanyu. editor.&#160;Zheng, Weishi. editor. (orcid)0000-0001-8327-0003&#160;Zha, Hongbin. editor. (orcid)0000-0001-5860-4673<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-99-8540-1">https://doi.org/10.1007/978-981-99-8540-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Pattern Recognition and Computer Vision 6th Chinese Conference, PRCV 2023, Xiamen, China, October 13-15, 2023, Proceedings, Part X ent://SD_ILS/0/SD_ILS:602190 2026-03-25T06:39:18Z 2026-03-25T06:39:18Z Author&#160;Liu, Qingshan. editor. (orcid)0000-0002-8161-1780&#160;Wang, Hanzi. editor.&#160;Ma, Zhanyu. editor.&#160;Zheng, Weishi. editor. (orcid)0000-0001-8327-0003&#160;Zha, Hongbin. editor. (orcid)0000-0001-5860-4673<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-99-8549-4">https://doi.org/10.1007/978-981-99-8549-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Pattern Recognition and Computer Vision 6th Chinese Conference, PRCV 2023, Xiamen, China, October 13-15, 2023, Proceedings, Part IV ent://SD_ILS/0/SD_ILS:602193 2026-03-25T06:39:18Z 2026-03-25T06:39:18Z Author&#160;Liu, Qingshan. editor. (orcid)0000-0002-8161-1780&#160;Wang, Hanzi. editor.&#160;Ma, Zhanyu. editor.&#160;Zheng, Weishi. editor. (orcid)0000-0001-8327-0003&#160;Zha, Hongbin. editor. (orcid)0000-0001-5860-4673<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-99-8462-6">https://doi.org/10.1007/978-981-99-8462-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Pattern Recognition and Computer Vision 6th Chinese Conference, PRCV 2023, Xiamen, China, October 13-15, 2023, Proceedings, Part VI ent://SD_ILS/0/SD_ILS:602194 2026-03-25T06:39:18Z 2026-03-25T06:39:18Z Author&#160;Liu, Qingshan. editor. (orcid)0000-0002-8161-1780&#160;Wang, Hanzi. editor.&#160;Ma, Zhanyu. editor.&#160;Zheng, Weishi. editor. (orcid)0000-0001-8327-0003&#160;Zha, Hongbin. editor. (orcid)0000-0001-5860-4673<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-99-8537-1">https://doi.org/10.1007/978-981-99-8537-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Pattern Recognition and Computer Vision 6th Chinese Conference, PRCV 2023, Xiamen, China, October 13-15, 2023, Proceedings, Part IX ent://SD_ILS/0/SD_ILS:602195 2026-03-25T06:39:18Z 2026-03-25T06:39:18Z Author&#160;Liu, Qingshan. editor. (orcid)0000-0002-8161-1780&#160;Wang, Hanzi. editor.&#160;Ma, Zhanyu. editor.&#160;Zheng, Weishi. editor. (orcid)0000-0001-8327-0003&#160;Zha, Hongbin. editor. (orcid)0000-0001-5860-4673<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-99-8546-3">https://doi.org/10.1007/978-981-99-8546-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Pattern Recognition and Computer Vision 6th Chinese Conference, PRCV 2023, Xiamen, China, October 13-15, 2023, Proceedings, Part XIII ent://SD_ILS/0/SD_ILS:602196 2026-03-25T06:39:18Z 2026-03-25T06:39:18Z Author&#160;Liu, Qingshan. editor. (orcid)0000-0002-8161-1780&#160;Wang, Hanzi. editor.&#160;Ma, Zhanyu. editor.&#160;Zheng, Weishi. editor. (orcid)0000-0001-8327-0003&#160;Zha, Hongbin. editor. (orcid)0000-0001-5860-4673<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-99-8558-6">https://doi.org/10.1007/978-981-99-8558-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Pattern Recognition and Computer Vision 6th Chinese Conference, PRCV 2023, Xiamen, China, October 13-15, 2023, Proceedings, Part XI ent://SD_ILS/0/SD_ILS:602204 2026-03-25T06:39:18Z 2026-03-25T06:39:18Z Author&#160;Liu, Qingshan. editor. (orcid)0000-0002-8161-1780&#160;Wang, Hanzi. editor.&#160;Ma, Zhanyu. editor.&#160;Zheng, Weishi. editor. (orcid)0000-0001-8327-0003&#160;Zha, Hongbin. editor. (orcid)0000-0001-5860-4673<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-99-8552-4">https://doi.org/10.1007/978-981-99-8552-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Pattern Recognition and Computer Vision 6th Chinese Conference, PRCV 2023, Xiamen, China, October 13-15, 2023, Proceedings, Part XII ent://SD_ILS/0/SD_ILS:602205 2026-03-25T06:39:18Z 2026-03-25T06:39:18Z Author&#160;Liu, Qingshan. editor. (orcid)0000-0002-8161-1780&#160;Wang, Hanzi. editor.&#160;Ma, Zhanyu. editor.&#160;Zheng, Weishi. editor. (orcid)0000-0001-8327-0003&#160;Zha, Hongbin. editor. (orcid)0000-0001-5860-4673<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-99-8555-5">https://doi.org/10.1007/978-981-99-8555-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Pattern Recognition and Computer Vision 6th Chinese Conference, PRCV 2023, Xiamen, China, October 13-15, 2023, Proceedings, Part VIII ent://SD_ILS/0/SD_ILS:602211 2026-03-25T06:39:18Z 2026-03-25T06:39:18Z Author&#160;Liu, Qingshan. editor. (orcid)0000-0002-8161-1780&#160;Wang, Hanzi. editor.&#160;Ma, Zhanyu. editor.&#160;Zheng, Weishi. editor. (orcid)0000-0001-8327-0003&#160;Zha, Hongbin. editor. (orcid)0000-0001-5860-4673<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-99-8543-2">https://doi.org/10.1007/978-981-99-8543-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;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-25T06:39:18Z 2026-03-25T06:39:18Z Author&#160;Longo, Luca. editor.&#160;Lapuschkin, Sebastian. editor. (orcid)0000-0002-0762-7258&#160;Seifert, Christin. editor. (orcid)0000-0002-6776-3868&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;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-25T06:39:18Z 2026-03-25T06:39:18Z Author&#160;Longo, Luca. editor.&#160;Lapuschkin, Sebastian. editor. (orcid)0000-0002-0762-7258&#160;Seifert, Christin. editor. (orcid)0000-0002-6776-3868&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;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-25T06:39:18Z 2026-03-25T06:39:18Z Author&#160;Longo, Luca. editor.&#160;Lapuschkin, Sebastian. editor. (orcid)0000-0002-0762-7258&#160;Seifert, Christin. editor. (orcid)0000-0002-6776-3868&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;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-25T06:39:18Z 2026-03-25T06:39:18Z Author&#160;Longo, Luca. editor.&#160;Lapuschkin, Sebastian. editor. (orcid)0000-0002-0762-7258&#160;Seifert, Christin. editor. (orcid)0000-0002-6776-3868&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Pattern Recognition and Computer Vision 6th Chinese Conference, PRCV 2023, Xiamen, China, October 13-15, 2023, Proceedings, Part III ent://SD_ILS/0/SD_ILS:607723 2026-03-25T06:39:18Z 2026-03-25T06:39:18Z Author&#160;Liu, Qingshan. editor. (orcid)0000-0002-8161-1780&#160;Wang, Hanzi. editor.&#160;Ma, Zhanyu. editor.&#160;Zheng, Weishi. editor. (orcid)0000-0001-8327-0003&#160;Zha, Hongbin. editor. (orcid)0000-0001-5860-4673<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-99-8435-0">https://doi.org/10.1007/978-981-99-8435-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Pattern Recognition and Computer Vision 6th Chinese Conference, PRCV 2023, Xiamen, China, October 13-15, 2023, Proceedings, Part V ent://SD_ILS/0/SD_ILS:607724 2026-03-25T06:39:18Z 2026-03-25T06:39:18Z Author&#160;Liu, Qingshan. editor. (orcid)0000-0002-8161-1780&#160;Wang, Hanzi. editor.&#160;Ma, Zhanyu. editor.&#160;Zheng, Weishi. editor. (orcid)0000-0001-8327-0003&#160;Zha, Hongbin. editor. (orcid)0000-0001-5860-4673<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-99-8469-5">https://doi.org/10.1007/978-981-99-8469-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Artificial Intelligence 20th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2024, A Coru&ntilde;a, Spain, June 19-21, 2024, Proceedings ent://SD_ILS/0/SD_ILS:603913 2026-03-25T06:39:18Z 2026-03-25T06:39:18Z Author&#160;Alonso-Betanzos, Amparo. editor. (orcid)0000-0003-0950-0012&#160;Guijarro-Berdi&ntilde;as, Bertha. editor. (orcid)0000-0001-8901-5441&#160;Bol&oacute;n-Canedo, Ver&oacute;nica. editor. (orcid)0000-0002-0524-6427&#160;Hern&aacute;ndez-Pereira, Elena. editor. (orcid)0000-0001-8666-4075&#160;Fontenla-Romero, Oscar. editor. (orcid)0000-0003-4203-8720<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-62799-6">https://doi.org/10.1007/978-3-031-62799-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information Management and Big Data Second Annual International Symposium, SIMBig 2015, Cusco, Peru, September 2-4, 2015, and Third Annual International Symposium, SIMBig 2016, Cusco, Peru, September 1-3, 2016, Revised Selected Papers ent://SD_ILS/0/SD_ILS:614458 2026-03-25T06:39:18Z 2026-03-25T06:39:18Z Author&#160;Lossio-Ventura, Juan Antonio. editor.&#160;Alatrista-Salas, Hugo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-55209-5">https://doi.org/10.1007/978-3-319-55209-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Artificial Intelligence: From Theory to Practice 30th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2017, Arras, France, June 27-30, 2017, Proceedings, Part I ent://SD_ILS/0/SD_ILS:611629 2026-03-25T06:39:18Z 2026-03-25T06:39:18Z Author&#160;Benferhat, Salem. editor. (orcid)0000-0002-4853-3637&#160;Tabia, Karim. editor.&#160;Ali, Moonis. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-60042-0">https://doi.org/10.1007/978-3-319-60042-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Ontology-Based Data Access Leveraging Subjective Reports ent://SD_ILS/0/SD_ILS:613642 2026-03-25T06:39:18Z 2026-03-25T06:39:18Z Author&#160;Simari, Gerardo I. author.&#160;Molinaro, Cristian. author.&#160;Vanina Martinez, Maria. author.&#160;Lukasiewicz, Thomas. author.&#160;Predoiu, Livia. author.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-65229-0">https://doi.org/10.1007/978-3-319-65229-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Progress in Artificial Intelligence 18th EPIA Conference on Artificial Intelligence, EPIA 2017, Porto, Portugal, September 5-8, 2017, Proceedings ent://SD_ILS/0/SD_ILS:616155 2026-03-25T06:39:18Z 2026-03-25T06:39:18Z Author&#160;Oliveira, Eug&eacute;nio. editor.&#160;Gama, Jo&atilde;o. editor.&#160;Vale, Zita. editor.&#160;Lopes Cardoso, Henrique. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-65340-2">https://doi.org/10.1007/978-3-319-65340-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Multi-disciplinary Trends in Artificial Intelligence 11th International Workshop, MIWAI 2017, Gadong, Brunei, November 20-22, 2017, Proceedings ent://SD_ILS/0/SD_ILS:612245 2026-03-25T06:39:18Z 2026-03-25T06:39:18Z Author&#160;Phon-Amnuaisuk, Somnuk. editor.&#160;Ang, Swee-Peng. editor.&#160;Lee, Soo-Young. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-69456-6">https://doi.org/10.1007/978-3-319-69456-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Artificial Intelligence: From Theory to Practice 30th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2017, Arras, France, June 27-30, 2017, Proceedings, Part II ent://SD_ILS/0/SD_ILS:618308 2026-03-25T06:39:18Z 2026-03-25T06:39:18Z Author&#160;Benferhat, Salem. editor. (orcid)0000-0002-4853-3637&#160;Tabia, Karim. editor.&#160;Ali, Moonis. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-60045-1">https://doi.org/10.1007/978-3-319-60045-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Numerical Software Verification 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers ent://SD_ILS/0/SD_ILS:613619 2026-03-25T06:39:18Z 2026-03-25T06:39:18Z Author&#160;Bogomolov, Sergiy. editor.&#160;Martel, Matthieu. editor.&#160;Prabhakar, Pavithra. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-54292-8">https://doi.org/10.1007/978-3-319-54292-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> KI 2017: Advances in Artificial Intelligence 40th Annual German Conference on AI, Dortmund, Germany, September 25-29, 2017, Proceedings. ent://SD_ILS/0/SD_ILS:616022 2026-03-25T06:39:18Z 2026-03-25T06:39:18Z Author&#160;Kern-Isberner, Gabriele. editor.&#160;F&uuml;rnkranz, Johannes. editor. (orcid)0000-0002-1207-0159&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-67190-1">https://doi.org/10.1007/978-3-319-67190-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Designing Reliable Distributed Systems A Formal Methods Approach Based on Executable Modeling in Maude ent://SD_ILS/0/SD_ILS:617461 2026-03-25T06:39:18Z 2026-03-25T06:39:18Z Author&#160;&Ouml;lveczky, Peter Csaba. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-1-4471-6687-0">https://doi.org/10.1007/978-1-4471-6687-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Knowledge Science, Engineering and Management 10th International Conference, KSEM 2017, Melbourne, VIC, Australia, August 19-20, 2017, Proceedings ent://SD_ILS/0/SD_ILS:617618 2026-03-25T06:39:18Z 2026-03-25T06:39:18Z Author&#160;Li, Gang. editor. (orcid)0000-0003-1583-641X&#160;Ge, Yong. editor.&#160;Zhang, Zili. editor.&#160;Jin, Zhi. editor.&#160;Blumenstein, Michael. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-63558-3">https://doi.org/10.1007/978-3-319-63558-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Social, Cultural, and Behavioral Modeling 9th International Conference, SBP-BRiMS 2016, Washington, DC, USA, June 28 - July 1, 2016, Proceedings ent://SD_ILS/0/SD_ILS:611107 2026-03-25T06:39:18Z 2026-03-25T06:39:18Z Author&#160;Xu, Kevin S. editor.&#160;Reitter, David. editor.&#160;Lee, Dongwon. editor.&#160;Osgood, Nathaniel. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-39931-7">https://doi.org/10.1007/978-3-319-39931-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering for Resilient Systems 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings ent://SD_ILS/0/SD_ILS:612727 2026-03-25T06:39:18Z 2026-03-25T06:39:18Z Author&#160;Crnkovic, Ivica. editor.&#160;Troubitsyna, Elena. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-45892-2">https://doi.org/10.1007/978-3-319-45892-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The Semantic Web. Latest Advances and New Domains 13th International Conference, ESWC 2016, Heraklion, Crete, Greece, May 29 -- June 2, 2016, Proceedings ent://SD_ILS/0/SD_ILS:618347 2026-03-25T06:39:18Z 2026-03-25T06:39:18Z Author&#160;Sack, Harald. editor.&#160;Blomqvist, Eva. editor. (orcid)0000-0003-0036-6662&#160;d'Aquin, Mathieu. editor.&#160;Ghidini, Chiara. editor.&#160;Ponzetto, Simone Paolo. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-34129-3">https://doi.org/10.1007/978-3-319-34129-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Parallel and Distributed Computing and Ubiquitous Services UCAWSN &amp; PDCAT 2015 ent://SD_ILS/0/SD_ILS:618395 2026-03-25T06:39:18Z 2026-03-25T06:39:18Z Author&#160;Park, James J. (Jong Hyuk). editor.&#160;Yi, Gangman. editor.&#160;Jeong, Young-Sik. editor.&#160;Shen, Hong. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-10-0068-3">https://doi.org/10.1007/978-981-10-0068-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Intelligence and Intelligent Systems 7th International Symposium, ISICA 2015, Guangzhou, China, November 21-22, 2015, Revised Selected Papers ent://SD_ILS/0/SD_ILS:617070 2026-03-25T06:39:18Z 2026-03-25T06:39:18Z Author&#160;Li, Kangshun. editor.&#160;Li, Jin. editor.&#160;Liu, Yong. editor. (orcid)0000-0002-4663-6739&#160;Castiglione, Aniello. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-10-0356-1">https://doi.org/10.1007/978-981-10-0356-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Map Framework A Formal Model of Maps as a Fundamental Data Type in Information Systems ent://SD_ILS/0/SD_ILS:615905 2026-03-25T06:39:18Z 2026-03-25T06:39:18Z Author&#160;McKenney, Mark. author.&#160;Schneider, Markus. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-46766-5">https://doi.org/10.1007/978-3-319-46766-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Proceedings of the 4th International Conference on Computer Engineering and Networks CENet2014 ent://SD_ILS/0/SD_ILS:530244 2026-03-25T06:39:18Z 2026-03-25T06:39:18Z Author&#160;Wong, W. Eric. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-11104-9">https://doi.org/10.1007/978-3-319-11104-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>