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
  

Last update Mon Feb 13 04:43:56 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page