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?
2025-12-12T13:49:39Z
Inductive Logic Programming 24th International Conference, ILP 2014, Nancy, France, September 14-16, 2014, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:519102
2025-12-12T13:49:39Z
2025-12-12T13:49:39Z
Author Davis, Jesse. editor. Ramon, Jan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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
2025-12-12T13:49:39Z
2025-12-12T13:49:39Z
Author Davis, Martin. editor. Fehnker, Ansgar. editor. McIver, Annabelle. editor. Voronkov, Andrei. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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
2025-12-12T13:49:39Z
2025-12-12T13:49:39Z
Author Eiter, Thomas. editor. Strass, Hannes. editor. Truszczyński, Mirosław. editor. Woltran, Stefan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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
2025-12-12T13:49:39Z
2025-12-12T13:49:39Z
Author Calimeri, Francesco. editor. Ianni, Giovambattista. editor. Truszczynski, Miroslaw. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Proceedings of Fourth International Conference on Soft Computing for Problem Solving SocProS 2014, Volume 1
ent://SD_ILS/0/SD_ILS:529201
2025-12-12T13:49:39Z
2025-12-12T13:49:39Z
Author Das, Kedar Nath. editor. Deep, Kusum. editor. Pant, Millie. editor. Bansal, Jagdish Chand. editor. Nagar, Atulya. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-81-322-2217-0">https://doi.org/10.1007/978-81-322-2217-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
ARM Assembly Language with Hardware Experiments
ent://SD_ILS/0/SD_ILS:529279
2025-12-12T13:49:39Z
2025-12-12T13:49:39Z
Author Elahi, Ata. author. Arjeski, Trevor. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-11704-1">https://doi.org/10.1007/978-3-319-11704-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Fifty Years of Fuzzy Logic and its Applications
ent://SD_ILS/0/SD_ILS:529661
2025-12-12T13:49:39Z
2025-12-12T13:49:39Z
Author Tamir, Dan E. editor. Rishe, Naphtali D. editor. Kandel, Abraham. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-19683-1">https://doi.org/10.1007/978-3-319-19683-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Uncertainty Theory
ent://SD_ILS/0/SD_ILS:530406
2025-12-12T13:49:39Z
2025-12-12T13:49:39Z
Author Liu, Baoding. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-44354-5">https://doi.org/10.1007/978-3-662-44354-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
LogiQL : a query language for smart databases
ent://SD_ILS/0/SD_ILS:544139
2025-12-12T13:49:39Z
2025-12-12T13:49:39Z
Author Halpin, T. A., author. Rugaber, Spencer, author.<br/>Preferred Shelf Number QA76.73 .L62 H35 2015<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781482244946">Click here to view.</a><br/>Format: Books<br/>Availability 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
2025-12-12T13:49:39Z
2025-12-12T13:49:39Z
Author Pereira, Francisco. editor. Machado, Penousal. editor. Costa, Ernesto. editor. Cardoso, Amílcar. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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
2025-12-12T13:49:39Z
2025-12-12T13:49:39Z
Author Falaschi, Moreno. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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
2025-12-12T13:49:39Z
2025-12-12T13:49:39Z
Author de Paiva, Valeria. editor. de Queiroz, Ruy. editor. Moss, Lawrence S. editor. Leivant, Daniel. editor. de Oliveira, Anjolina G. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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
2025-12-12T13:49:39Z
2025-12-12T13:49:39Z
Author Pontelli, Enrico. editor. Son, Tran Cao. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Scalable Uncertainty Management 9th International Conference, SUM 2015, Québec City, QC, Canada, September 16-18, 2015. Proceedings
ent://SD_ILS/0/SD_ILS:519087
2025-12-12T13:49:39Z
2025-12-12T13:49:39Z
Author Beierle, Christoph. editor. Dekhtyar, Alex. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Diffusion in Social Networks
ent://SD_ILS/0/SD_ILS:518499
2025-12-12T13:49:39Z
2025-12-12T13:49:39Z
Author Shakarian, Paulo. author. Bhatnagar, Abhivav. author. Aleali, Ashkan. author. Shaabani, Elham. author. Guo, Ruocheng. author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
A Construction Manual for Robots' Ethical Systems Requirements, Methods, Implementations
ent://SD_ILS/0/SD_ILS:518563
2025-12-12T13:49:39Z
2025-12-12T13:49:39Z
Author Trappl, Robert. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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
2025-12-12T13:49:39Z
2025-12-12T13:49:39Z
Author Proietti, Maurizio. editor. Seki, Hirohisa. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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
2025-12-12T13:49:39Z
2025-12-12T13:49:39Z
Author Bieger, Jordi. editor. Goertzel, Ben. editor. Potapov, Alexey. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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
2025-12-12T13:49:39Z
2025-12-12T13:49:39Z
Author Codescu, Mihai. editor. Diaconescu, Răzvan. editor. Țuțu, Ionuț. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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
2025-12-12T13:49:39Z
2025-12-12T13:49:39Z
Author Voronkov, Andrei. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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
2025-12-12T13:49:39Z
2025-12-12T13:49:39Z
Author Pitts, Andrew. editor. (orcid) SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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
2025-12-12T13:49:39Z
2025-12-12T13:49:39Z
Author Holvoet, Tom. editor. Viroli, Mirko. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>