Annals of Mathematics and Artificial Intelligence, Volume 22

Volume 22, Numbers 1-2, 1998

• Luca Chittaro, Angelo Montanari: Editorial: Temporal Representation and Reasoning. 1-4
• Fahiem Bacchus, Froduald Kabanza: Planning for Temporally Extended Goals. 5-27
• Claudio Bettini, Xiaoyang Sean Wang, Sushil Jajodia: A General Framework for Time Granularity and Its Application to Temporal Reasoning. 29-58
• Giorgio Brajnik, Daniel J. Clancy: Focusing Qualitative Simulation Using Temporal Logic: Theoretical Foundations. 59-86
• Clare Dixon: Temporal Resolution Using a Breadth-First Search Algorithm. 87-115
• Daniel Kayser, Aïcha Mokhtari: Time in a Causal Theory. 117-138
• Evelina Lamma, Michela Milano, Paola Mello: Extending Constraint Logic Programming for Temporal Reasoning. 139-158
• Yuval Shahar: Dynamic Temporal Interpretation Contexts for Temporal Abstraction. 159-192

Volume 22, Numbers 3-4, 1998

• Lenore Cowen, Joan Feigenbaum, Sampath Kannan: A Formal Framework for Evaluating Heuristic Programs. 193-206
• Claudette Cayrol, Marie-Christine Lagasquie-Schiex, Thomas Schiex: Nonmonotonic Reasoning: From Complexity to Algorithms. 207-236
• Andreas Birkendorf, Hans-Ulrich Simon: Using Computational Learning Strategies as a Tool for Combinatorial Optimization. 237-257
• Alessandro Armando, Jason Gallagher, Alan Smaill, Alan Bundy: Automating the Synthesis of Decision Procedures in a Constructive Metatheory. 259-279
• Peter Jonsson, Christer Bäckström: Tractable Plan Existence Does Not Imply Tractable Plan Generation. 281-296
• Mukesh Dalal: Anytime Clausal Reasoning. 297-318
• Bertrand Mazure, Lakhdar Sais, Éric Grégoire: Boosting Complete Techniques Thanks to Local Search Methods. 319-331
• Carolina Ruiz, Jack Minker: Logic Knowledge Bases With Two Default Rules. 333-361