1. Inductive logic programming : 26th International Conference, ILP 2016, London, UK, September 4-6, 2016, Revised selected papers /: 26th International Conference, ILP 2016, London, UK, September 4-6, 2016, Revised selected papers. (2017) Editors: Cussens, James; Russo, Alessandra Other Names: ILP (Conference), 26th Record Type: Book Extent: 1 online resource (xvii, 133 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Web reasoning and rule systems : 9th International Conference, RR 2015, Berlin, Germany, August 4-5, 2015, Proceedings /: 9th International Conference, RR 2015, Berlin, Germany, August 4-5, 2015, Proceedings. (2015) Editors: Cate, Balder David ten; Mileo, Alessandra Other Names: RR (Conference), 9th Record Type: Book Extent: 1 online resource (xvii, 131 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Functional and logic programming : 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016. Proceedings /: 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016. Proceedings. (2016) Editors: Kiselyov, Oleg; King, Andrew Malcolm Other Names: Fuji International Symposium on Functional and Logic Programming, 13th Record Type: Book Extent: 1 online resource (xii, 253 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. Logic-based program synthesis and transformation : 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised selected papers /: 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised selected papers. (2015) Editors: Falaschi, Moreno Other Names: LOPSTR (Symposium), 25th Record Type: Book Extent: 1 online resource (xvii, 385 pages), color illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. Web reasoning and rule systems : 10th International Conference, RR 2016, Aberdeen, UK, September 9-11, 2016, Proceedings /: 10th International Conference, RR 2016, Aberdeen, UK, September 9-11, 2016, Proceedings. (2016) Editors: Ortiz, Magdalena; Schlobach, Stefan Other Names: RR (Conference), 10th Record Type: Book Extent: 1 online resource (xii, 195 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
6. Inductive logic programming : 27th International Conference, ILP 2017, Orléans, France, September 4-6, 2017, Revised selected papers /: 27th International Conference, ILP 2017, Orléans, France, September 4-6, 2017, Revised selected papers. (2018) Editors: Lachiche, Nicolas; Vrain, Christel Other Names: ILP (Conference), 27th Record Type: Book Extent: 1 online resource (x, 185 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
7. Inductive logic programming : 24th International Conference, ILP 2014, Nancy, France, September 14-16, 2014 : revised selected papers /: 24th International Conference, ILP 2014, Nancy, France, September 14-16, 2014 : revised selected papers. (2015) Editors: Davis, Jesse; Ramon, Jan Other Names: ILP (Conference), 24th Record Type: Book Extent: 1 online resource, illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
8. Quantitative Logic and Soft Computing 2016 : Proceedings of the 4th International Conference on Quantitative Logic and Soft Computing (QLSC2016) held at Hangzhou, China, 14-17 October, 2016 /: Proceedings of the 4th International Conference on Quantitative Logic and Soft Computing (QLSC2016) held at Hangzhou, China, 14-17 October, 2016. (2017) Editors: Fan, Tai-He; Chen, Shui-Li; Wang, San-Min; Li, Yongming Other Names: École nationale supérieure des beaux-arts (France); International Conference on Quantitative Logic and Soft Computing, 4th Record Type: Book Extent: 1 online resource (XV, 679 pages 47 illustrations) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
9. Logic-based program synthesis and transformation : 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised selected papers /: 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised selected papers. (2017) Editors: Hermenegildo, Manuel; Lopez-Garcia, Pedro Other Names: LOPSTR (Symposium), 26th Record Type: Book Extent: 1 online resource (xvi, 361 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
10. Logic programming and nonmonotonic reasoning : 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings /: 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings. (2017) Editors: Balduccini, Marcello; Janhunen, Tomi Other Names: LPNMR (Conference), 14th Record Type: Book Extent: 1 online resource (xiii, 359 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗