Search Results for Inference (Logic) SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dInference$002b$002528Logic$002529$0026te$003dILS$0026ps$003d300? 2024-08-26T22:00:22Z Logic : the theory of formal inference ent://SD_ILS/0/SD_ILS:740 2024-08-26T22:00:22Z 2024-08-26T22:00:22Z Author&#160;Ambrose, Alice, 1906-&#160;Lazerowitz, Morris, ort. yaz.<br/>Preferred Shelf Number&#160;BC 108 A55 1972<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Formal logic, or, The calculus of inference, necessary and probable ent://SD_ILS/0/SD_ILS:363957 2024-08-26T22:00:22Z 2024-08-26T22:00:22Z Author&#160;De Morgan, Augustus, 1806-1871, author.<br/>Preferred Shelf Number&#160;BC135 D4 2014<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Between Logic and Reality Modeling Inference, Action and Understanding ent://SD_ILS/0/SD_ILS:206351 2024-08-26T22:00:22Z 2024-08-26T22:00:22Z Author&#160;Trobok, Majda. editor.&#160;Mi&scaron;&#269;evi&#263;, Nenad. editor.&#160;&#381;arni&#263;, Berislav. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-94-007-2390-0">http://dx.doi.org/10.1007/978-94-007-2390-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Probabilistic Logic Networks A Comprehensive Framework for Uncertain Inference ent://SD_ILS/0/SD_ILS:167414 2024-08-26T22:00:22Z 2024-08-26T22:00:22Z Author&#160;Goertzel, Ben. author.&#160;Ikl&eacute;, Matthew. author.&#160;Goertzel, Izabela Freire. author.&#160;Heljakka, Ari. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-0-387-76872-4">http://dx.doi.org/10.1007/978-0-387-76872-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Handbook of the logic of argument and inference the turn towards the practical ent://SD_ILS/0/SD_ILS:256606 2024-08-26T22:00:22Z 2024-08-26T22:00:22Z Author&#160;Gabbay, Dov M., 1945-<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444506504">http://www.sciencedirect.com/science/book/9780444506504</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Methods of inference from animal to human behaviour ent://SD_ILS/0/SD_ILS:25907 2024-08-26T22:00:22Z 2024-08-26T22:00:22Z Author&#160;Conference on the logic of I'nference from animal to human behavior : (1973 : Murten, Switzerland)&#160;Cranach, Mario von, ed.<br/>Preferred Shelf Number&#160;BF 671 C63 1976<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Future Data and Security Engineering. Big Data, Security and Privacy, Smart City and Industry 4.0 Applications 10th International Conference, FDSE 2023, Da Nang, Vietnam, November 22-24, 2023, Proceedings ent://SD_ILS/0/SD_ILS:520735 2024-08-26T22:00:22Z 2024-08-26T22:00:22Z Author&#160;Dang, Tran Khanh. editor.&#160;K&uuml;ng, Josef. editor.&#160;Chung, Tai M. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(520735.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-99-8296-7">https://doi.org/10.1007/978-981-99-8296-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Information Retrieval 45th European Conference on Information Retrieval, ECIR 2023, Dublin, Ireland, April 2-6, 2023, Proceedings, Part I ent://SD_ILS/0/SD_ILS:521289 2024-08-26T22:00:22Z 2024-08-26T22:00:22Z Author&#160;Kamps, Jaap. editor.&#160;Goeuriot, Lorraine. editor.&#160;Crestani, Fabio. editor.&#160;Maistro, Maria. editor.&#160;Joho, Hideo. editor. (orcid)<br/>Preferred Shelf Number&#160;XX(521289.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-28244-7">https://doi.org/10.1007/978-3-031-28244-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods and Software Engineering 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21-24, 2023, Proceedings ent://SD_ILS/0/SD_ILS:521324 2024-08-26T22:00:22Z 2024-08-26T22:00:22Z Author&#160;Li, Yi. editor.&#160;Tahar, Sofi&egrave;ne. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(521324.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-99-7584-6">https://doi.org/10.1007/978-981-99-7584-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advanced Network Technologies and Intelligent Computing Second International Conference, ANTIC 2022, Varanasi, India, December 22-24, 2022, Proceedings, Part I ent://SD_ILS/0/SD_ILS:520368 2024-08-26T22:00:22Z 2024-08-26T22:00:22Z Author&#160;Woungang, Isaac. editor.&#160;Dhurandher, Sanjay Kumar. editor.&#160;Pattanaik, Kiran Kumar. editor.&#160;Verma, Anshul. editor.&#160;Verma, Pradeepika. editor.<br/>Preferred Shelf Number&#160;XX(520368.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-28180-8">https://doi.org/10.1007/978-3-031-28180-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> AIxIA 2022 - Advances in Artificial Intelligence XXIst International Conference of the Italian Association for Artificial Intelligence, AIxIA 2022, Udine, Italy, November 28 - December 2, 2022, Proceedings ent://SD_ILS/0/SD_ILS:520898 2024-08-26T22:00:22Z 2024-08-26T22:00:22Z Author&#160;Dovier, Agostino. editor.&#160;Montanari, Angelo. editor.&#160;Orlandini, Andrea. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(520898.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-27181-6">https://doi.org/10.1007/978-3-031-27181-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Pattern Recognition and Image Analysis 11th Iberian Conference, IbPRIA 2023, Alicante, Spain, June 27-30, 2023, Proceedings ent://SD_ILS/0/SD_ILS:521002 2024-08-26T22:00:22Z 2024-08-26T22:00:22Z Author&#160;Pertusa, Antonio. editor.&#160;Gallego, Antonio Javier. editor.&#160;S&aacute;nchez, Joan Andreu. editor.&#160;Domingues, In&ecirc;s. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(521002.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-36616-1">https://doi.org/10.1007/978-3-031-36616-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial Neural Networks and Machine Learning - ICANN 2023 32nd International Conference on Artificial Neural Networks, Heraklion, Crete, Greece, September 26-29, 2023, Proceedings, Part IV ent://SD_ILS/0/SD_ILS:521170 2024-08-26T22:00:22Z 2024-08-26T22:00:22Z Author&#160;Iliadis, Lazaros. editor. (orcid)&#160;Papaleonidas, Antonios. editor. (orcid)&#160;Angelov, Plamen. editor.&#160;Jayne, Chrisina. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(521170.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-44216-2">https://doi.org/10.1007/978-3-031-44216-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering and Formal Methods 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings ent://SD_ILS/0/SD_ILS:521275 2024-08-26T22:00:22Z 2024-08-26T22:00:22Z Author&#160;Ferreira, Carla. editor.&#160;Willemse, Tim A. C. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(521275.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-47115-5">https://doi.org/10.1007/978-3-031-47115-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial General Intelligence 8th International Conference, AGI 2015, AGI 2015, Berlin, Germany, July 22-25, 2015, Proceedings ent://SD_ILS/0/SD_ILS:518878 2024-08-26T22:00:22Z 2024-08-26T22:00:22Z Author&#160;Bieger, Jordi. editor.&#160;Goertzel, Ben. editor.&#160;Potapov, Alexey. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(518878.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-21365-1">https://doi.org/10.1007/978-3-319-21365-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Practical Aspects of Declarative Languages 17th International Symposium, PADL 2015, Portland, OR, USA, June 18-19, 2015. Proceedings ent://SD_ILS/0/SD_ILS:518922 2024-08-26T22:00:22Z 2024-08-26T22:00:22Z Author&#160;Pontelli, Enrico. editor.&#160;Son, Tran Cao. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(518922.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-19686-2">https://doi.org/10.1007/978-3-319-19686-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Linguistics and Intelligent Text Processing 16th International Conference, CICLing 2015, Cairo, Egypt, April 14-20, 2015, Proceedings, Part I ent://SD_ILS/0/SD_ILS:519079 2024-08-26T22:00:22Z 2024-08-26T22:00:22Z Author&#160;Gelbukh, Alexander. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519079.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-18111-0">https://doi.org/10.1007/978-3-319-18111-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Language and Automata Theory and Applications 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings ent://SD_ILS/0/SD_ILS:519014 2024-08-26T22:00:22Z 2024-08-26T22:00:22Z Author&#160;Dediu, Adrian-Horia. editor.&#160;Formenti, Enrico. editor.&#160;Mart&iacute;n-Vide, Carlos. editor.&#160;Truthe, Bianca. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519014.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-15579-1">https://doi.org/10.1007/978-3-319-15579-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Coordination Models and Languages 17th IFIP WG 6.1 International Conference, COORDINATION 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings ent://SD_ILS/0/SD_ILS:518980 2024-08-26T22:00:22Z 2024-08-26T22:00:22Z Author&#160;Holvoet, Tom. editor.&#160;Viroli, Mirko. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(518980.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-19282-6">https://doi.org/10.1007/978-3-319-19282-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Perspectives of System Informatics 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers. ent://SD_ILS/0/SD_ILS:519146 2024-08-26T22:00:22Z 2024-08-26T22:00:22Z Author&#160;Voronkov, Andrei. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519146.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-46823-4">https://doi.org/10.1007/978-3-662-46823-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic Programming and Nonmonotonic Reasoning 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings ent://SD_ILS/0/SD_ILS:519293 2024-08-26T22:00:22Z 2024-08-26T22:00:22Z Author&#160;Calimeri, Francesco. editor.&#160;Ianni, Giovambattista. editor.&#160;Truszczynski, Miroslaw. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519293.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-23264-5">https://doi.org/10.1007/978-3-319-23264-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Fuzzy logic and hydrological modeling ent://SD_ILS/0/SD_ILS:287898 2024-08-26T22:00:22Z 2024-08-26T22:00:22Z Author&#160;?en, Zek&iacute;.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://marc.crcnetbase.com/isbn/9781439809402">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Induction : processes of inference, learning, and discovery ent://SD_ILS/0/SD_ILS:90506 2024-08-26T22:00:22Z 2024-08-26T22:00:22Z Author&#160;Holland, John Henry, 1929-<br/>Preferred Shelf Number&#160;BF 441 I53 1986<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/>