Search Results for Mathematical logic. - Narrowed by: Data mining. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dMathematical$002blogic.$0026qf$003dSUBJECT$002509Subject$002509Data$002bmining.$002509Data$002bmining.$0026ic$003dtrue$0026ps$003d300?dt=list 2024-11-24T12:44:10Z Reasoning Web. Explainable Artificial Intelligence 15th International Summer School 2019, Bolzano, Italy, September 20&ndash;24, 2019, Tutorial Lectures ent://SD_ILS/0/SD_ILS:485354 2024-11-24T12:44:10Z 2024-11-24T12:44:10Z Author&#160;Kr&ouml;tzsch, Markus. editor. (orcid)0000-0002-9172-2601&#160;Stepanova, Daria. editor. (orcid)0000-0001-8654-5121&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-31423-1">https://doi.org/10.1007/978-3-030-31423-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial Intelligence Applications and Innovations 15th IFIP WG 12.5 International Conference, AIAI 2019, Hersonissos, Crete, Greece, May 24&ndash;26, 2019, Proceedings ent://SD_ILS/0/SD_ILS:486866 2024-11-24T12:44:10Z 2024-11-24T12:44:10Z Author&#160;MacIntyre, John. editor.&#160;Maglogiannis, Ilias. editor. (orcid)0000-0003-2860-399X&#160;Iliadis, Lazaros. editor.&#160;Pimenidis, Elias. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-19823-7">https://doi.org/10.1007/978-3-030-19823-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Fuzzy Logic and Applications 12th International Workshop, WILF 2018, Genoa, Italy, September 6&ndash;7, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:486889 2024-11-24T12:44:10Z 2024-11-24T12:44:10Z Author&#160;Full&eacute;r, Robert. editor.&#160;Giove, Silvio. editor.&#160;Masulli, Francesco. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-12544-8">https://doi.org/10.1007/978-3-030-12544-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Modeling Decisions for Artificial Intelligence 16th International Conference, MDAI 2019, Milan, Italy, September 4&ndash;6, 2019, Proceedings ent://SD_ILS/0/SD_ILS:482857 2024-11-24T12:44:10Z 2024-11-24T12:44:10Z Author&#160;Torra, Vicen&ccedil;. editor. (orcid)0000-0002-0368-8037&#160;Narukawa, Yasuo. editor.&#160;Pasi, Gabriella. editor. (orcid)0000-0002-6080-8170&#160;Viviani, Marco. editor. (orcid)0000-0002-2274-9050&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-26773-5">https://doi.org/10.1007/978-3-030-26773-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> New Trends in Databases and Information Systems ADBIS 2019 Short Papers, Workshops BBIGAP, QAUCA, SemBDM, SIMPDA, M2P, MADEISD, and Doctoral Consortium, Bled, Slovenia, September 8&ndash;11, 2019, Proceedings ent://SD_ILS/0/SD_ILS:486827 2024-11-24T12:44:10Z 2024-11-24T12:44:10Z Author&#160;Welzer, Tatjana. editor. (orcid)0000-0002-6865-4946&#160;Eder, Johann. editor. (orcid)0000-0001-6050-468X&#160;Podgorelec, Vili. editor. (orcid)0000-0001-6955-7868&#160;Wrembel, Robert. editor. (orcid)0000-0001-6037-5718&#160;Ivanovi&#263;, Mirjana. editor. (orcid)0000-0003-1946-0384<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-30278-8">https://doi.org/10.1007/978-3-030-30278-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial Adaptive Systems Using Auto Contractive Maps Theory, Applications and Extensions ent://SD_ILS/0/SD_ILS:402514 2024-11-24T12:44:10Z 2024-11-24T12:44:10Z Author&#160;Buscema, Paolo Massimo. author.&#160;Massini, Giulia. author.&#160;Breda, Marco. author.&#160;Lodwick, Weldon A. author.&#160;Newman, Francis. author.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-75049-1">https://doi.org/10.1007/978-3-319-75049-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Rough Sets and Intelligent Systems Paradigms Second International Conference, RSEISP 2014, Granada and Madrid, Spain, July 9-13, 2014. Proceedings ent://SD_ILS/0/SD_ILS:485605 2024-11-24T12:44:10Z 2024-11-24T12:44:10Z Author&#160;Kryszkiewicz, Marzena. editor.&#160;Cornelis, Chris. editor.&#160;Ciucci, Davide. editor.&#160;Medina-Moreno, Jes&uacute;s. editor.&#160;Motoda, Hiroshi. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-08729-0">https://doi.org/10.1007/978-3-319-08729-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Rough Sets and Current Trends in Computing 9th International Conference, RSCTC 2014, Granada and Madrid, Spain, July 9-13, 2014, Proceedings ent://SD_ILS/0/SD_ILS:485606 2024-11-24T12:44:10Z 2024-11-24T12:44:10Z Author&#160;Cornelis, Chris. editor.&#160;Kryszkiewicz, Marzena. editor.&#160;Slezak, Dominik. editor.&#160;Menasalvas Ruiz, Ernestina. editor.&#160;Bello, Rafael. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-08644-6">https://doi.org/10.1007/978-3-319-08644-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information Processing and Management of Uncertainty 15th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2014, Montpellier, France, July 15-19, 2014. Proceedings, Part III ent://SD_ILS/0/SD_ILS:487786 2024-11-24T12:44:10Z 2024-11-24T12:44:10Z Author&#160;Laurent, Anne. editor.&#160;Strauss, Olivier. editor.&#160;Bouchon-Meunier, Bernadette. editor.&#160;Yager, Ronald R. 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-08852-5">https://doi.org/10.1007/978-3-319-08852-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information Processing and Management of Uncertainty 15th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2014, Montpellier, France, July 15-19, 2014. Proceedings, Part I ent://SD_ILS/0/SD_ILS:485824 2024-11-24T12:44:10Z 2024-11-24T12:44:10Z Author&#160;Laurent, Anne. editor.&#160;Strauss, Olivier. editor.&#160;Bouchon-Meunier, Bernadette. editor.&#160;Yager, Ronald R. 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-08795-5">https://doi.org/10.1007/978-3-319-08795-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Intelligent Information Processing VII 8th IFIP TC 12 International Conference, IIP 2014, Hangzhou, China, October 17-20, 2014, Proceedings ent://SD_ILS/0/SD_ILS:488547 2024-11-24T12:44:10Z 2024-11-24T12:44:10Z Author&#160;Shi, Zhongzhi. editor.&#160;Wu, Zhaohui. editor.&#160;Leake, David. editor.&#160;Sattler, Uli. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-44980-6">https://doi.org/10.1007/978-3-662-44980-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Concept Analysis 12th International Conference, ICFCA 2014, Cluj-Napoca, Romania , June 10-13, 2014. Proceedings ent://SD_ILS/0/SD_ILS:486672 2024-11-24T12:44:10Z 2024-11-24T12:44:10Z Author&#160;Glodeanu, Cynthia Vera. editor.&#160;Kaytoue, Mehdi. editor.&#160;Sacarea, Christian. 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-07248-7">https://doi.org/10.1007/978-3-319-07248-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Natural Language Processing 9th International Conference on NLP, PolTAL 2014, Warsaw, Poland, September 17-19, 2014. Proceedings ent://SD_ILS/0/SD_ILS:488994 2024-11-24T12:44:10Z 2024-11-24T12:44:10Z Author&#160;Przepi&oacute;rkowski, Adam. editor.&#160;Ogrodniczuk, Maciej. 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-10888-9">https://doi.org/10.1007/978-3-319-10888-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information Processing and Management of Uncertainty 15th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2014, Montpellier, France, July 15-19, 2014. Proceedings, Part II ent://SD_ILS/0/SD_ILS:486691 2024-11-24T12:44:10Z 2024-11-24T12:44:10Z Author&#160;Laurent, Anne. editor.&#160;Strauss, Olivier. editor.&#160;Bouchon-Meunier, Bernadette. editor.&#160;Yager, Ronald R. 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-08855-6">https://doi.org/10.1007/978-3-319-08855-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Analysis of Terrorist Groups: Lashkar-e-Taiba Lashkar-e-Taiba ent://SD_ILS/0/SD_ILS:331582 2024-11-24T12:44:10Z 2024-11-24T12:44:10Z Author&#160;Subrahmanian, V.S. author.&#160;Mannes, Aaron. author.&#160;Sliva, Amy. author.&#160;Shakarian, Jana. author.&#160;Dickerson, John P. author.<br/>Preferred Shelf Number&#160;ONLINE(331582.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4614-4769-6">http://dx.doi.org/10.1007/978-1-4614-4769-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> AI*IA 2013: Advances in Artificial Intelligence XIIIth International Conference of the Italian Association for Artificial Intelligence, Turin, Italy, December 4-6, 2013. Proceedings ent://SD_ILS/0/SD_ILS:332979 2024-11-24T12:44:10Z 2024-11-24T12:44:10Z Author&#160;Baldoni, Matteo. editor.&#160;Baroglio, Cristina. editor.&#160;Boella, Guido. editor.&#160;Micalizio, Roberto. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332979.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-03524-6">http://dx.doi.org/10.1007/978-3-319-03524-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> A General Framework for Reasoning On Inconsistency ent://SD_ILS/0/SD_ILS:332107 2024-11-24T12:44:10Z 2024-11-24T12:44:10Z Author&#160;Martinez, Maria Vanina. author.&#160;Molinaro, Cristian. author.&#160;Subrahmanian, V.S. author.&#160;Amgoud, Leila. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332107.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4614-6750-2">http://dx.doi.org/10.1007/978-1-4614-6750-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Uncertainty Reasoning for the Semantic Web II International Workshops URSW 2008-2010 Held at ISWC and UniDL 2010 Held at FLoC, Revised Selected Papers ent://SD_ILS/0/SD_ILS:334092 2024-11-24T12:44:10Z 2024-11-24T12:44:10Z Author&#160;Bobillo, Fernando. editor.&#160;Costa, Paulo C. G. editor.&#160;d&rsquo;Amato, Claudia. editor.&#160;Fanizzi, Nicola. editor.&#160;Laskey, Kathryn B. editor.<br/>Preferred Shelf Number&#160;ONLINE(334092.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35975-0">http://dx.doi.org/10.1007/978-3-642-35975-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Concept Analysis 11th International Conference, ICFCA 2013, Dresden, Germany, May 21-24, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334580 2024-11-24T12:44:10Z 2024-11-24T12:44:10Z Author&#160;Cellier, Peggy. editor.&#160;Distel, Felix. editor.&#160;Ganter, Bernhard. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334580.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38317-5">http://dx.doi.org/10.1007/978-3-642-38317-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> New Frontiers in Artificial Intelligence JSAI-isAI 2012 Workshops, LENLS, JURISIN, MiMI, Miyazaki, Japan, November 30 and December 1, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:334868 2024-11-24T12:44:10Z 2024-11-24T12:44:10Z Author&#160;Motomura, Yoichi. editor.&#160;Butler, Alastair. editor.&#160;Bekki, Daisuke. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334868.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39931-2">http://dx.doi.org/10.1007/978-3-642-39931-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Rough Sets and Knowledge Technology 4th International Conference, RSKT 2009, Gold Coast, Australia, July 14-16, 2009. Proceedings ent://SD_ILS/0/SD_ILS:190473 2024-11-24T12:44:10Z 2024-11-24T12:44:10Z Author&#160;Wen, Peng. editor.&#160;Li, Yuefeng. editor.&#160;Polkowski, Lech. editor.&#160;Yao, Yiyu. editor.&#160;Tsumoto, Shusaku. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-02962-2">http://dx.doi.org/10.1007/978-3-642-02962-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> A Geometry of Approximation Rough Set Theory: Logic, Algebra and Topology of Conceptual Patterns ent://SD_ILS/0/SD_ILS:170250 2024-11-24T12:44:10Z 2024-11-24T12:44:10Z Author&#160;Pagliani, Piero. editor.&#160;Chakraborty, Mihir. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4020-8622-9">http://dx.doi.org/10.1007/978-1-4020-8622-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>