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

Volume 22, Numbers 3-4, 1998

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