Artificial Intelligence, Volume 57

Volume 57, Number 1, 1992

• John L. Pollock: How to Reason Defeasibly. 1-42
• Martha E. Pollack: The Uses of Plans. 43-68
• Nico Roos: A Logic for Reasoning with Inconsistent Knowledge. 69-103

• Peter B. Ladkin, Alexander Reinefeld: Effective Solution of Qualitative Interval Constraint Problems. 105-124
• Philip C. Jackson Jr.: Proving Unsatisfiability for Problems with Constant Cubic Sparsity. 125-137

Volume 57, Numbers 2-3, 1992

• David E. Foulser, Ming Li, Qiang Yang: Theory and Algorithms for Plan Merging. 143-181
• Nigel Ward: A Parallel Approach to Syntax for Generation. 183-225
• Thomas Eiter, Georg Gottlob: On the Complexity of Propositional Knowledge Base Revision, Updates, and Counterfactuals. 227-270
• Fangzhen Lin, Yoav Shoham: A Logic of Knowledge and Justified Assumptions. 271-289
• Pascal Van Hentenryck, Yves Deville, Choh-Man Teng: A Generic Arc-Consistency Algorithm and its Specializations. 291-321
• Fausto Giunchiglia, Toby Walsh: A Theory of Abstraction. 323-389