Volume 6: January - December 1996

Issue 2: April 1996

Table of Contents


  • Hyperresolution and automated model building
  • C. Fermuller and A. Leitsch

    Pages: 173 - 203


  • A proof theoretical approach to default reasoning I: tableaux for default logic
  • G. Amati

    Pages: 205 - 231


  • Linear deductive planning
  • G. Grosse

    Pages: 233 - 262


  • On negation rationality
  • M. Freund

    Pages: 263 - 269


  • An investigation of 'non-intermingling' principles in temporal logic
  • A. Galton

    Pages: 271 - 294


  • Nonmonotonic reasoning is sometimes simpler!
  • G. Schwarz

    Pages: 295 - 308


    Part of the OUP Journal of Logic and Computation WWW service


    General Information

    Click here to register with OUP.

    This page is maintained by OUP admin

    Last updated 15 Jul 96

    Part of the OUP Journals World Wide Web service.


    Copyright Oxford University Press, 1996