@MISC\{IMM2010-06462, author = "M. Lun{\o}e", title = "A Logical Approach to Comparison of Music", year = "2010", publisher = "Technical University of Denmark, {DTU} Informatics, {E-}mail: reception@imm.dtu.dk", address = "Asmussens Alle, Building 305, {DK-}2800 Kgs. Lyngby, Denmark", note = "{DTU} supervisor: J{\o}rgen Villadsen, jv@imm.dtu.dk, {DTU} Informatics", url = "http://www.imm.dtu.dk/English.aspx", abstract = "The thesis establishes the theory of Constraint Programming (CP) and playlists. It applies techniques of {CP,} logic and functional programming with a similarity function between music pieces to build an Automatic Playlist Generator. The product of the thesis is a program in {SML} that generates playlists from a users query of suggestions and banning of songs. The similarity function is build solely on measures in tempo and key, which results in playlists that are somewhat useless. The program lack of measures in timbre, rhythm and melody, but is left open for the implementation of these. The thesis fianlly concludes that the techniques of {CP} and local search proves efficient for solving the problem." }