A constraint-based modeling of calendars

Temporal information in the real world is often presented in an incomplete fashion. In this paper we propose a constraint-based calendar system suitable for inferring implicit calendric information. Our approach views calendars as constraint satisfaction problems, and time points are represented as instantiations of temporal units. We also present a semantic model for the system to justify the imposed design requirements, and describe selected services provided by such systems. Copyright © 2008, Association for the Advancement of Artificial Intelligence.