A Theory of Frame Transformations for Belief Combination Sergio A. Alvarez OriginalPaper Pages: 187 - 213
Approximation Algorithms for the Class Cover Problem Adam H. CannonLenore J. Cowen OriginalPaper Pages: 215 - 223
Locally Determined Logic Programs and Recursive Stable Models Douglas CenzerJeffrey B. RemmelAmy Vanderbilt OriginalPaper Pages: 225 - 262
Solving Hierarchical Constraints over Finite Domains with Local Search Martin HenzRoland H.C. YapXiao Ping Shi OriginalPaper Pages: 283 - 301
Upper and Lower Bounds on the Complexity of Generalised Resolution and Generalised Constraint Satisfaction Problems Oliver Kullmann OriginalPaper Pages: 303 - 352
Satisfiability-Based Algorithms for Boolean Optimization Vasco M. ManquinhoJoão P. Marques-Silva OriginalPaper Pages: 353 - 372
Persistent and Quasi-Persistent Lemmas in Propositional Model Elimination Fumiaki OkushiAllen Van Gelder OriginalPaper Pages: 373 - 401
Reasoning with BKBs – Algorithms and Complexity Tzachi RosenSolomon Eyal ShimonyEugene Santos Jr. OriginalPaper Pages: 403 - 425