본 논문은 기존의 반실증적 설명 방법들이 시간적 제약을 고려하지 않아, 프로세스 마이닝과 같이 시간적 배경지식을 준수해야 하는 시계열 데이터에 적용하기 어려운 문제를 해결하는 새로운 방법을 제시한다. 특히, 기존 방법으로 생성된 반실증적 설명은 시간적 배경지식을 위반하여 일관성 없는 설명을 초래할 수 있다. 이를 해결하기 위해, 선형 시간 논리(LTLp)로 표현된 시간적 배경지식을 준수하는 반실증적 설명을 생성하는 새로운 접근법을 제안한다. 이는 유전 알고리즘에 LTLp를 위한 오토마타 이론적 기법을 통합하여 구현되었다. 실험 결과, 생성된 반실증적 설명은 시간적으로 의미 있고, 시간적 의존성을 포함하는 애플리케이션에 대해 더 해석 가능함을 보여준다.