Search Results for Information Systems - Narrowed by: Mathematical logic.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dInformation$002bSystems$0026qf$003dSUBJECT$002509Subject$002509Mathematical$002blogic.$002509Mathematical$002blogic.$0026ic$003dtrue$0026ps$003d300?2025-12-21T20:38:20ZFoundations of Information and Knowledge Systems 8th International Symposium, FoIKS 2014, Bordeaux, France, March 3-7, 2014. Proceedingsent://SD_ILS/0/SD_ILS:4876552025-12-21T20:38:20Z2025-12-21T20:38:20ZAuthor Beierle, Christoph. editor. Meghini, Carlo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-04939-7">https://doi.org/10.1007/978-3-319-04939-7</a><br/>Format: Electronic Resources<br/>Availability 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–11, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4868272025-12-21T20:38:20Z2025-12-21T20:38:20ZAuthor Welzer, Tatjana. editor. (orcid)0000-0002-6865-4946 Eder, Johann. editor. (orcid)0000-0001-6050-468X Podgorelec, Vili. editor. (orcid)0000-0001-6955-7868 Wrembel, Robert. editor. (orcid)0000-0001-6037-5718 Ivanović, Mirjana. editor. (orcid)0000-0003-1946-0384<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Ient://SD_ILS/0/SD_ILS:4858242025-12-21T20:38:20Z2025-12-21T20:38:20ZAuthor Laurent, Anne. editor. Strauss, Olivier. editor. Bouchon-Meunier, Bernadette. editor. Yager, Ronald R. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 IIent://SD_ILS/0/SD_ILS:4866912025-12-21T20:38:20Z2025-12-21T20:38:20ZAuthor Laurent, Anne. editor. Strauss, Olivier. editor. Bouchon-Meunier, Bernadette. editor. Yager, Ronald R. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 IIIent://SD_ILS/0/SD_ILS:4877862025-12-21T20:38:20Z2025-12-21T20:38:20ZAuthor Laurent, Anne. editor. Strauss, Olivier. editor. Bouchon-Meunier, Bernadette. editor. Yager, Ronald R. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>The Semantic Web 16th International Conference, ESWC 2019, Portorož, Slovenia, June 2–6, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4826772025-12-21T20:38:20Z2025-12-21T20:38:20ZAuthor Hitzler, Pascal. editor. (orcid)0000-0001-6192-3472 Fernández, Miriam. editor. (orcid)0000-0001-5939-4321 Janowicz, Krzysztof. editor. Zaveri, Amrapali. editor. Gray, Alasdair J.G. editor. (orcid)0000-0002-5711-4872<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-21348-0">https://doi.org/10.1007/978-3-030-21348-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Reasoning Web. Explainable Artificial Intelligence 15th International Summer School 2019, Bolzano, Italy, September 20–24, 2019, Tutorial Lecturesent://SD_ILS/0/SD_ILS:4853542025-12-21T20:38:20Z2025-12-21T20:38:20ZAuthor Krötzsch, Markus. editor. (orcid)0000-0002-9172-2601 Stepanova, Daria. editor. (orcid)0000-0001-8654-5121 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Reasoning Web. Reasoning and the Web in the Big Data Era 10th International Summer School 2014, Athens, Greece, September 8-13, 2014. Proceedingsent://SD_ILS/0/SD_ILS:4856752025-12-21T20:38:20Z2025-12-21T20:38:20ZAuthor Koubarakis, Manolis. editor. Stamou, Giorgos. editor. Stoilos, Giorgos. editor. Horrocks, Ian. editor. Kolaitis, Phokion. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-10587-1">https://doi.org/10.1007/978-3-319-10587-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Engineering and Methodology for Emerging Domains 16th National Conference, NASAC 2017, Harbin, China, November 4–5, 2017, and 17th National Conference, NASAC 2018, Shenzhen, China, November 23–25, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:4860172025-12-21T20:38:20Z2025-12-21T20:38:20ZAuthor Li, Zheng. editor. (orcid)0000-0002-3938-7033 Jiang, He. editor. (orcid)0000-0001-8674-4948 Li, Ge. editor. Zhou, Minghui. editor. Li, Ming. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-15-0310-8">https://doi.org/10.1007/978-981-15-0310-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Language Engineering 7th International Conference, SLE 2014, Västerås, Sweden, September 15-16, 2014. Proceedingsent://SD_ILS/0/SD_ILS:4868222025-12-21T20:38:20Z2025-12-21T20:38:20ZAuthor Combemale, Benoit. editor. Pearce, David. editor. Barais, Olivier. editor. Vinju, Jurgen. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-11245-9">https://doi.org/10.1007/978-3-319-11245-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Aspects of Component Software 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papersent://SD_ILS/0/SD_ILS:4868542025-12-21T20:38:20Z2025-12-21T20:38:20ZAuthor Fiadeiro, José Luiz. editor. Liu, Zhiming. editor. Xue, Jinyun. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-07602-7">https://doi.org/10.1007/978-3-319-07602-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>