Sciweavers

TIME
1999
IEEE
14 years 3 months ago
Symbolic Representation of User-Defined Time Granularities
In the recent literature on time representation, an effort has been made to characterize the notion of time granularity and the relationships between granularities, in order to ha...
Claudio Bettini, Roberto De Sibi
TIME
1999
IEEE
14 years 3 months ago
TALplanner: An Empirical Investigation of a Temporal Logic-Based Forward Chaining Planner
We present a new forward chaining planner, TALplanner, based on ideas developed by Bacchus [5] and Kabanza [11], where domain-dependent search control knowledge represented as tem...
Patrick Doherty, Jonas Kvarnström
TIME
1999
IEEE
14 years 3 months ago
Introducing Temporal Description Logics
Alessandro Artale, Enrico Franconi