Artificial Intelligence, Volume 112

Volume 112, Numbers 1-2, August 1999

• Michael T. Cox, Ashwin Ram:
  Introspective Multistrategy Learning: On the Construction of Learning Strategies. 1-55
  
• Francesco Buccafurri, Thomas Eiter, Georg Gottlob, Nicola Leone:
  Enhancing Model Checking in Verification by AI Techniques. 57-104
  
• Pawel Cholewinski, V. Wiktor Marek, Miroslaw Truszczynski, Artur Mikitiuk:
  Computing with Default Logic. 105-146
  
• Tzachi Dar, Leo Joskowicz, Ehud Rivlin:
  Understanding Mechanical Motion: From Images to Behaviors. 147-179
  
• Richard S. Sutton, Doina Precup, Satinder P. Singh:
  Between MDPs and Semi-MDPs: A Framework for Temporal Abstraction in Reinforcement Learning. 181-211
  
• Holger H. Hoos, Thomas Stützle:
  Towards a Characterisation of the Behaviour of Stochastic Local Search Algorithms for SAT. 213-232
  
• Stefan Brass, Jürgen Dix, Teodor C. Przymusinski:
  Computation of the Semantics of Autoepistemic Belief Theories. 233-250