Volume 15, Number 1, February 2006 Special Issue on Empirically Successful First Order Reasoning
: Milestones for Automated Reasoning with Otter.
: Momm - Fast Interreduction and Retrieval in Large Libraries of Formalized Mathematics.
Volume 15, Number 2, April 2006
Volume 15, Number 3, June 2006 Special Issue on Intelligent Tools for Problem Solving in Bioinformatics and Medicine
, Taco Ekkel
: Analyzing Infant Cries Using a Committee of Neural Networks in Order to Detect Hypoxia Related Disorder.
Volume 15, Number 4, August 2006 Special Issue on Artificial Intelligence in Music and Art
: Genetic Learning for Biologically Inspired Aesthetic Processes.
Judy A. Franklin
: Jazz Melody Generation Using Recurrent Networks and Reinforcement Learning.
: Evolution of Fractal Shapes for Artists and Designers.
, Amaury Hazan
: A Tool for Generating and Explaining Expressive Music Performances of Monophonic Jazz Melodies.
Volume 15, Number 5, October 2006
Volume 15, Number 6, December 2006 Special Issue on FLAIRS 2005:
Knowledge Acquisition and Representation
: Semantic Derivation Verification: Techniques and Implementation.