Strasheela is a highly expressive constraint-based music composition system.2 The Strasheela user declaratively states a music theory and the computer generates music which complies with this theory. A theory is formulated as a constraint satisfaction problem (CSP) by a set of rules (constraints) applied to a music representation in which some aspects are expressed by variables (unknowns). Music constraint programming is style-independent and is well-suited for highly complex theories (e.g. a fully-fledged theory of harmony). User-interface is the programming language Oz. The results can be output into various formats including MIDI, Csound, and Lilypond.
B. O’Callaghan, B. O’Sullivan, and E. Freuder. Principles and Practice of Constraint Programming - CP 2005, volume 3709 of Lecture Notes in Computer Science, Springer, Berlin / Heidelberg, (2005)
D. Sleeman, and S. Chalmers. 15th International Conference on Knowledge Engineering and Knowledge
Management, 4248, page 19-26. Podebrady, Czech Republic, Springer Berlin / Heidelberg, (October 2006)
A. Preece, S. Chalmers, C. McKenzie, J. Pan, and P. Gray. ICEC '06: Proceedings of the 8th international conference on Electronic
commerce, 156, page 151-161. Delta Fredericton, Fredericton, New Brunswick, Canada, ACM Press, (August 2006)
A. Preece, S. Chalmers, and C. McKenzie. Twenty-sixth SGAI International Conference on Innovative Techniques
and Applications of Artificial Intelligence, Cambridge, UK, (December 2006)In top 6 best refereed papers of the AI 2006 technical stream.
S. Chalmers, P. Gray, and A. Preece. Proceedings of the 6th International Workshop on Cooperative Information
Agents (CIA 2002), 2446, page 226--240. Madrid, Spain, Springer Verlag, (September 2002)
S. Chalmers. Proceedings of the AISB'01 Symposium on Information Agents for Electronic
Commerce, page 61--69. University of York, The Society for the Study of Artificial Intelligence and the Simulation
of Behaviour, (March 2001)