1. Inductive logic programming : 29th International Conference, ILP 2019, Plovdiv, Bulgaria, September 3-5, 2019, Proceedings /: 29th International Conference, ILP 2019, Plovdiv, Bulgaria, September 3-5, 2019, Proceedings. (2020) Editors: Kazakov, Dimitar; Erten, Can Other Names: ILP (Conference), 29th Record Type: Book Extent: 1 online resource (ix, 145 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Logic-based program synthesis and transformation : 29th International Symposium, LOPSTR 2019, Porto, Portugal, October 8-10, 2019, Revised selected papers /: 29th International Symposium, LOPSTR 2019, Porto, Portugal, October 8-10, 2019, Revised selected papers. (2020) Editors: Gabbrielli, Maurizio Other Names: LOPSTR (Symposium), 29th Record Type: Book Extent: 1 online resource (xvi, 261 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Rules and reasoning : 4th International Joint Conference, RuleML+RR 2020, Oslo, Norway, June 29 - July 1, 2020, Proceedings /: 4th International Joint Conference, RuleML+RR 2020, Oslo, Norway, June 29 - July 1, 2020, Proceedings. ([2020]) Editors: Gutiérrez-Basulto, Víctor; Kliegr, Tomáš; Soylu, Ahmet; Giese, Martin; Roman, Dumitru Other Names: RuleML+RR (Joint Conference), 4th Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗