Annals of Mathematics and Artificial Intelligence, Volume 30

Volume 30, Numbers 1-4, 2000

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