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.
Subjects: 3.6 Temporal Reasoning; 15.2 Constraint Satisfaction
Submitted: May 4, 2008