Introspective multistrategy learning: On the construction of learning strategies
Enhancing model checking in verification by AI techniques
Computing with default logic
Understanding mechanical motion: From images to behaviors
Between MDPs and semi-MDPs: A framework for temporal abstraction in reinforcement learning
Towards a characterisation of the behaviour of stochastic local search algorithms for SAT
Computation of the semantics of autoepistemic belief theories
Three new publication categories for the Artificial Intelligence Journal
Index