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
Last update Sat May 25 19:33:30 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
