Artificial Intelligence, Volume 57

Volume 57, Number 1, 1992

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

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

Volume 57, Numbers 2-3, 1992

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