Knowledge-based Sequence Mining with ASP