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. 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) ↗
3. 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) ↗
4. 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) ↗