Annals of Mathematics and Artificial Intelligence, Volume 30

Volume 30, Numbers 1-4, 2000

• AMAI Special Issue on Temporal Representation and Reasoning. 1-2
• Shubha Chakravarty, Yuval Shahar: CAPSUL: A constraint-based specification of repeating patterns in time-oriented data. 3-22
• Han-Chieh Wei, Ramez Elmasri: Schema versioning and database conversion techniques for bi-temporal databases. 23-52
• Claudio Bettini, Roberto De Sibi: Symbolic representation of user-defined time granularities. 53-92
• Massimo Franceschet, Angelo Montanari: A graph-theoretic approach to efficiently reason about partially ordered events in (Modal) Event Calculus. 93-118
• Jonas Kvarnström, Patrick Doherty: TALplanner: A temporal logic based forward chaining planner. 119-169
• Alessandro Artale, Enrico Franconi: A survey of temporal extensions of description logics. 171-210