1. 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) ↗
2. Introduction to annotated logics : foundations for paracomplete and paraconsistent reasoning /: foundations for paracomplete and paraconsistent reasoning. (2015) Authors: Abe, Jair Minoro; Akama, Seiki; Nakamatsu, Kazumi Record Type: Book Extent: 1 online resource (x, 190 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Logic programming and nonmonotonic reasoning : 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings /: 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings. (2015) Editors: Calimeri, Francesco; Ianni, Giovambattista; Truszczyński, Mirosław Other Names: LPNMR (Conference), 13th Record Type: Book Extent: 1 online resource (xiv, 574 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. Logic-based program synthesis and transformation : 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised selected papers /: 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised selected papers. (2015) Editors: Proietti, Maurizio, 1959-; Seki, Hirohisa Other Names: LOPSTR (Symposium), 24th Record Type: Book Extent: 1 online resource (xii, 333 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. 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) ↗
6. Paraconsistent intelligent-based systems : new trends in the applications of paraconsistency /: new trends in the applications of paraconsistency. ([2015]) Editors: Abe, Jair Minoro Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
7. 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) ↗