Search Results for Artificial intelligence. - Narrowed by: Mathematical Logic and Foundations.SirsiDynix Enterprisehttps://catalog.tedu.edu.tr/client/tr_TR/defaulttr/defaulttr/qu$003dArtificial$002bintelligence.$0026qf$003dSUBJECT$002509Konu$002509Mathematical$002bLogic$002band$002bFoundations.$002509Mathematical$002bLogic$002band$002bFoundations.$0026ps$003d300?2024-06-16T22:43:35ZLogics for Computer Science Classical and Non-Classicalent://SD_ILS/0/SD_ILS:2218232024-06-16T22:43:35Z2024-06-16T22:43:35ZYazar Wasilewska, Anita. author.<br/><a href="https://doi.org/10.1007/978-3-319-92591-2">https://doi.org/10.1007/978-3-319-92591-2</a><br/>Format: Electronic Resources<br/>Intuitionistic Fuzzy Logicsent://SD_ILS/0/SD_ILS:2260962024-06-16T22:43:35Z2024-06-16T22:43:35ZYazar T. Atanassov, Krassimir. author.<br/><a href="https://doi.org/10.1007/978-3-319-48953-7">https://doi.org/10.1007/978-3-319-48953-7</a><br/>Format: Electronic Resources<br/>On the Logos: A Naïve View on Ordinary Reasoning and Fuzzy Logicent://SD_ILS/0/SD_ILS:2216672024-06-16T22:43:35Z2024-06-16T22:43:35ZYazar Trillas, Enric. author.<br/><a href="https://doi.org/10.1007/978-3-319-56053-3">https://doi.org/10.1007/978-3-319-56053-3</a><br/>Format: Electronic Resources<br/>Towards Paraconsistent Engineeringent://SD_ILS/0/SD_ILS:180942024-06-16T22:43:35Z2024-06-16T22:43:35ZYazar Akama, Seiki. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-40418-9">http://dx.doi.org/10.1007/978-3-319-40418-9</a><br/>Format: Electronic Resources<br/>Artificial Adaptive Systems Using Auto Contractive Maps Theory, Applications and Extensionsent://SD_ILS/0/SD_ILS:2264462024-06-16T22:43:35Z2024-06-16T22:43:35ZYazar Buscema, Paolo Massimo. author.<br/><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: Electronic Resources<br/>Formal Methods for Nonmonotonic and Related Logics Vol I: Preference and Sizeent://SD_ILS/0/SD_ILS:2218032024-06-16T22:43:35Z2024-06-16T22:43:35ZYazar Schlechta, Karl. author.<br/><a href="https://doi.org/10.1007/978-3-319-89653-3">https://doi.org/10.1007/978-3-319-89653-3</a><br/>Format: Electronic Resources<br/>Formal Methods for Nonmonotonic and Related Logics Vol II: Theory Revision, Inheritance, and Various Abstract Propertiesent://SD_ILS/0/SD_ILS:2218022024-06-16T22:43:35Z2024-06-16T22:43:35ZYazar Schlechta, Karl. author.<br/><a href="https://doi.org/10.1007/978-3-319-89650-2">https://doi.org/10.1007/978-3-319-89650-2</a><br/>Format: Electronic Resources<br/>Logical Foundations of Cyber-Physical Systemsent://SD_ILS/0/SD_ILS:2217412024-06-16T22:43:35Z2024-06-16T22:43:35ZYazar Platzer, André. author.<br/><a href="https://doi.org/10.1007/978-3-319-63588-0">https://doi.org/10.1007/978-3-319-63588-0</a><br/>Format: Electronic Resources<br/>Springer Handbook of Model-Based Scienceent://SD_ILS/0/SD_ILS:2217222024-06-16T22:43:35Z2024-06-16T22:43:35ZYazar Magnani, Lorenzo. editor.<br/><a href="https://doi.org/10.1007/978-3-319-30526-4">https://doi.org/10.1007/978-3-319-30526-4</a><br/>Format: Electronic Resources<br/>Correct System Design Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedingsent://SD_ILS/0/SD_ILS:232952024-06-16T22:43:35Z2024-06-16T22:43:35ZYazar Meyer, Roland. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-23506-6">http://dx.doi.org/10.1007/978-3-319-23506-6</a><br/>Format: Electronic Resources<br/>Logic, Rationality, and Interaction 7th International Workshop, LORI 2019, Chongqing, China, October 18–21, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4289252024-06-16T22:43:35Z2024-06-16T22:43:35ZYazar Blackburn, Patrick. editor.<br/><a href="https://doi.org/10.1007/978-3-662-60292-8">https://doi.org/10.1007/978-3-662-60292-8</a><br/>Format: Electronic Resources<br/>Pristine Perspectives on Logic, Language, and Computation ESSLLI 2012 and ESSLLI 2013 Student Sessions. Selected Papersent://SD_ILS/0/SD_ILS:244622024-06-16T22:43:35Z2024-06-16T22:43:35ZYazar Colinet, Margot. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-44116-9">http://dx.doi.org/10.1007/978-3-662-44116-9</a><br/>Format: Electronic Resources<br/>Parameterized Complexity in the Polynomial Hierarchy Extending Parameterized Complexity Theory to Higher Levels of the Hierarchyent://SD_ILS/0/SD_ILS:4281272024-06-16T22:43:35Z2024-06-16T22:43:35ZYazar de Haan, Ronald. author.<br/><a href="https://doi.org/10.1007/978-3-662-60670-4">https://doi.org/10.1007/978-3-662-60670-4</a><br/>Format: Electronic Resources<br/>Logic Functions and Equations Binary Models for Computer Scienceent://SD_ILS/0/SD_ILS:4280682024-06-16T22:43:35Z2024-06-16T22:43:35ZYazar Posthoff, Christian. author.<br/><a href="https://doi.org/10.1007/978-3-030-02420-8">https://doi.org/10.1007/978-3-030-02420-8</a><br/>Format: Electronic Resources<br/>Logic, Rationality, and Interaction 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedingsent://SD_ILS/0/SD_ILS:248762024-06-16T22:43:35Z2024-06-16T22:43:35ZYazar van der Hoek, Wiebe. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-48561-3">http://dx.doi.org/10.1007/978-3-662-48561-3</a><br/>Format: Electronic Resources<br/>