The music information retrieval problem for sheet music stored as MusicXML files is considered. MusicXML is a widespread format for music scores; it is supported by various music composition and notation software. Most of the systems take a composer name and/or a name of composition as a query, and we are interested in content based retrieval, having a sequence of notes as their input data. We propose to adapt the automated reasoning method rippling for the task of music information retrieval.
Keywords:
music information retrieval, automated reasoning, rippling
