1. Optimal Sequencing of Contract Algorithms

   • Shlomo Zilberstein
   • François Charpillet
   • Philippe Chassaing

   OriginalPaper Pages: 1 - 18

2. KBFS: K-Best-First Search

   • Ariel Felner
   • Sarit Kraus
   • Richard E. Korf

   OriginalPaper Pages: 19 - 39

3. Modelling and Solving Employee Timetabling Problems

   • Amnon Meisels
   • Andrea Schaerf

   OriginalPaper Pages: 41 - 59

4. Declarative Formalization of Reasoning Strategies: A Case Study on Heuristic Nonlinear Planning

   • Josefina Sierra-Santibáñez

   OriginalPaper Pages: 61 - 100

5. Brave Nonmonotonic Inference and Its Kinds

   • Alexander Bochman

   OriginalPaper Pages: 101 - 121

6. Extending the Maximum Entropy Approach to Variable Strength Defaults

   • Rachel A. Bourne
   • Simon Parsons

   OriginalPaper Pages: 123 - 146

7. Decision Planning Knowledge Representation Framework: A Case-Study

   • Michal Pěchouček

   OriginalPaper Pages: 147 - 174

8. FlexiMine – A Flexible Platform for KDD Research and Application Development

   • R. Ben-Eliyahu-Zohary
   • C. Domshlak
   • S.E. Shimony

   OriginalPaper Pages: 175 - 204