Inductive Logic Programming: 10th International Conference, ILP 2000, London, UK, July 24-27, 2000 Proceedings <Lecture Notes in Artificial Intelligence 1866>
Non-Monotonic Extensions of Logic Programming: Second International Workshop NMELP '96, Bad Honnef, Germany September 5 - 6, 1996, Selected Papers <Lecture Notes in Artificial Intelligence 1216>
Logic for Programming, Artificial Intelligence, and Reasoning: 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings <Lecture Notes in Artificial Intelligence 3452>
Discovery Science: 11th International Conference, DS 2008, Budapest, Hungary, October 13-16, 2008, Proceedings <Lecture Notes in Artificial Intelligence 5255>
Formal Methods for Computational Systems Biology: 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 Advanced Lectures <Lecture Notes in Computer Science 5016>
50 Years of Artificial Intelligence: Essays Dedicated to the 50th Anniversary of Artificial Intelligence <Lecture Notes in Artificial Intelligence 4850>
Computational Methods for SNPs and Haplotype Inference: DIMACS/RECOMB Satellite Workshop Piscataway, NJ, USA, November 21-22, 2002 Revised Papers <Lecture Notes in Bioinformatics 2983>