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 Davis, Jesse. editor. Ramon, Jan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519102.1)<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/>
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 Eiter, Thomas. editor. Strass, Hannes. editor. Truszczyński, Mirosław. editor. Woltran, Stefan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519276.1)<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
2024-10-31T02:18:53Z
2024-10-31T02:18:53Z
Author Calimeri, Francesco. editor. Ianni, Giovambattista. editor. Truszczynski, Miroslaw. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519293.1)<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/>
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 Davis, Martin. editor. Fehnker, Ansgar. editor. McIver, Annabelle. editor. Voronkov, Andrei. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519103.1)<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/>
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 Trappl, Robert. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(518563.1)<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/>
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 Pontelli, Enrico. editor. Son, Tran Cao. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(518922.1)<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/>
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 Codescu, Mihai. editor. Diaconescu, Răzvan. editor. Țuțu, Ionuț. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519139.1)<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
2024-10-31T02:18:53Z
2024-10-31T02:18:53Z
Author Voronkov, Andrei. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519146.1)<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
2024-10-31T02:18:53Z
2024-10-31T02:18:53Z
Author Pitts, Andrew. editor. (orcid) SpringerLink (Online service)<br/>Preferred Shelf Number XX(519161.1)<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/>
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 Pereira, Francisco. editor. Machado, Penousal. editor. Costa, Ernesto. editor. Cardoso, Amílcar. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(518763.1)<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 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 Proietti, Maurizio. editor. Seki, Hirohisa. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(518775.1)<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/>
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 Falaschi, Moreno. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(518861.1)<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/>
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 Bieger, Jordi. editor. Goertzel, Ben. editor. Potapov, Alexey. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(518878.1)<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/>
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 de Paiva, Valeria. editor. de Queiroz, Ruy. editor. Moss, Lawrence S. editor. Leivant, Daniel. editor. de Oliveira, Anjolina G. editor.<br/>Preferred Shelf Number XX(518949.1)<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/>
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 Holvoet, Tom. editor. Viroli, Mirko. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(518980.1)<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/>
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
2024-10-31T02:18:53Z
2024-10-31T02:18:53Z
Author Beierle, Christoph. editor. Dekhtyar, Alex. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519087.1)<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
2024-10-31T02:18:53Z
2024-10-31T02:18:53Z
Author Shakarian, Paulo. author. Bhatnagar, Abhivav. author. Aleali, Ashkan. author. Shaabani, Elham. author. Guo, Ruocheng. author.<br/>Preferred Shelf Number XX(518499.1)<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/>