1. A Theory of Frame Transformations for Belief Combination

   • Sergio A. Alvarez

   OriginalPaper Pages: 187 - 213

2. Approximation Algorithms for the Class Cover Problem

   • Adam H. Cannon
   • Lenore J. Cowen

   OriginalPaper Pages: 215 - 223

3. Locally Determined Logic Programs and Recursive Stable Models

   • Douglas Cenzer
   • Jeffrey B. Remmel
   • Amy Vanderbilt

   OriginalPaper Pages: 225 - 262

4. Identifying Terminal Distinguishable Languages

   • H. Fernau

   OriginalPaper Pages: 263 - 281

5. Solving Hierarchical Constraints over Finite Domains with Local Search

   • Martin Henz
   • Roland H.C. Yap
   • Xiao Ping Shi

   OriginalPaper Pages: 283 - 301

6. Upper and Lower Bounds on the Complexity of Generalised Resolution and Generalised Constraint Satisfaction Problems

   • Oliver Kullmann

   OriginalPaper Pages: 303 - 352

7. Satisfiability-Based Algorithms for Boolean Optimization

   • Vasco M. Manquinho
   • João P. Marques-Silva

   OriginalPaper Pages: 353 - 372

8. Persistent and Quasi-Persistent Lemmas in Propositional Model Elimination

   • Fumiaki Okushi
   • Allen Van Gelder

   OriginalPaper Pages: 373 - 401

9. Reasoning with BKBs – Algorithms and Complexity

   • Tzachi Rosen
   • Solomon Eyal Shimony
   • Eugene Santos Jr.

   OriginalPaper Pages: 403 - 425

10. Volume Index

    OriginalPaper Pages: 427 - 430