Search Results for Logic programming. - Narrowed by: 2015 SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dLogic$002bprogramming.$0026qf$003dPUBDATE$002509Publication$002bDate$0025092015$0025092015$0026ic$003dtrue$0026ps$003d300$0026isd$003dtrue? 2024-10-31T02:18:53Z Inductive Logic Programming 24th International Conference, ILP 2014, Nancy, France, September 14-16, 2014, Revised Selected Papers ent://SD_ILS/0/SD_ILS:519102 2024-10-31T02:18:53Z 2024-10-31T02:18:53Z Author&#160;Davis, Jesse. editor.&#160;Ramon, Jan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519102.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-23708-4">https://doi.org/10.1007/978-3-319-23708-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday ent://SD_ILS/0/SD_ILS:519276 2024-10-31T02:18:53Z 2024-10-31T02:18:53Z Author&#160;Eiter, Thomas. editor.&#160;Strass, Hannes. editor.&#160;Truszczy&#324;ski, Miros&#322;aw. editor.&#160;Woltran, Stefan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519276.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-14726-0">https://doi.org/10.1007/978-3-319-14726-0</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-10-31T02:18:53Z 2024-10-31T02:18:53Z 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/> Logic for Programming, Artificial Intelligence, and Reasoning 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings ent://SD_ILS/0/SD_ILS:519103 2024-10-31T02:18:53Z 2024-10-31T02:18:53Z Author&#160;Davis, Martin. editor.&#160;Fehnker, Ansgar. editor.&#160;McIver, Annabelle. editor.&#160;Voronkov, Andrei. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519103.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-48899-7">https://doi.org/10.1007/978-3-662-48899-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> A Construction Manual for Robots' Ethical Systems Requirements, Methods, Implementations ent://SD_ILS/0/SD_ILS:518563 2024-10-31T02:18:53Z 2024-10-31T02:18:53Z Author&#160;Trappl, Robert. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(518563.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-21548-8">https://doi.org/10.1007/978-3-319-21548-8</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-10-31T02:18:53Z 2024-10-31T02:18:53Z 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/> Recent Trends in Algebraic Development Techniques 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers ent://SD_ILS/0/SD_ILS:519139 2024-10-31T02:18:53Z 2024-10-31T02:18:53Z Author&#160;Codescu, Mihai. editor.&#160;Diaconescu, R&#259;zvan. editor.&#160;&#538;u&#539;u, Ionu&#539;. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519139.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-28114-8">https://doi.org/10.1007/978-3-319-28114-8</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-10-31T02:18:53Z 2024-10-31T02:18:53Z 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/> Foundations of Software Science and Computation Structures 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings ent://SD_ILS/0/SD_ILS:519161 2024-10-31T02:18:53Z 2024-10-31T02:18:53Z Author&#160;Pitts, Andrew. editor. (orcid)&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519161.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-46678-0">https://doi.org/10.1007/978-3-662-46678-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Progress in Artificial Intelligence 17th Portuguese Conference on Artificial Intelligence, EPIA 2015, Coimbra, Portugal, September 8-11, 2015. Proceedings ent://SD_ILS/0/SD_ILS:518763 2024-10-31T02:18:53Z 2024-10-31T02:18:53Z Author&#160;Pereira, Francisco. editor.&#160;Machado, Penousal. editor.&#160;Costa, Ernesto. editor.&#160;Cardoso, Am&iacute;lcar. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(518763.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-23485-4">https://doi.org/10.1007/978-3-319-23485-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic-Based Program Synthesis and Transformation 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers ent://SD_ILS/0/SD_ILS:518775 2024-10-31T02:18:53Z 2024-10-31T02:18:53Z Author&#160;Proietti, Maurizio. editor.&#160;Seki, Hirohisa. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(518775.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-17822-6">https://doi.org/10.1007/978-3-319-17822-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic-Based Program Synthesis and Transformation 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers ent://SD_ILS/0/SD_ILS:518861 2024-10-31T02:18:53Z 2024-10-31T02:18:53Z Author&#160;Falaschi, Moreno. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(518861.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-27436-2">https://doi.org/10.1007/978-3-319-27436-2</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-10-31T02:18:53Z 2024-10-31T02:18:53Z 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/> Logic, Language, Information, and Computation 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings ent://SD_ILS/0/SD_ILS:518949 2024-10-31T02:18:53Z 2024-10-31T02:18:53Z Author&#160;de Paiva, Valeria. editor.&#160;de Queiroz, Ruy. editor.&#160;Moss, Lawrence S. editor.&#160;Leivant, Daniel. editor.&#160;de Oliveira, Anjolina G. editor.<br/>Preferred Shelf Number&#160;XX(518949.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-47709-0">https://doi.org/10.1007/978-3-662-47709-0</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-10-31T02:18:53Z 2024-10-31T02:18:53Z 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/> Scalable Uncertainty Management 9th International Conference, SUM 2015, Qu&eacute;bec City, QC, Canada, September 16-18, 2015. Proceedings ent://SD_ILS/0/SD_ILS:519087 2024-10-31T02:18:53Z 2024-10-31T02:18:53Z Author&#160;Beierle, Christoph. editor.&#160;Dekhtyar, Alex. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519087.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-23540-0">https://doi.org/10.1007/978-3-319-23540-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Diffusion in Social Networks ent://SD_ILS/0/SD_ILS:518499 2024-10-31T02:18:53Z 2024-10-31T02:18:53Z Author&#160;Shakarian, Paulo. author.&#160;Bhatnagar, Abhivav. author.&#160;Aleali, Ashkan. author.&#160;Shaabani, Elham. author.&#160;Guo, Ruocheng. author.<br/>Preferred Shelf Number&#160;XX(518499.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-23105-1">https://doi.org/10.1007/978-3-319-23105-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>