본 논문은 Answer Set Programming (ASP)와 같은 논리 기반 접근 방식을 이용하여 미세한 시간적 및 수치적 해상도를 가진 동적 시스템에 대한 추론의 어려움을 해결하기 위해, 제약 조건을 포함하는 새로운 시간적 논리인 Here-and-There 논리의 비단조적 확장을 제시한다. 이는 기존 ASP 확장인 선형 시간 논리 Here-and-There와 제약 조건을 포함하는 Here-and-There 논리를 결합하여, 비단조적 시간적 추론과 수치적 제약 조건의 직접적인 통합 및 조작을 가능하게 한다. 본 논문에서 제시된 체계는 ASP 패러다임 내에서 고해상도의 복잡한 동적 시스템을 다루기 위한 기초적인 논리적 프레임워크를 구축한다.
