Knowledge-Based Sequence Mining with ASP