External Links

    Journal: Meth. of Logic in CS

    Volume 1, Issue 4

    379 -- 412James F. Peters III. Real-time linear logic
    413 -- 436Gerald E. Peterson. Constrained term-rewriting induction with applications
    437 -- 461Frank Teusink. A characterization of stable models using a non-monotonic operator
    463 -- 480Jianhua Chen. A refined semantics for disjunctive logic programs

    Volume 1, Issue 3

    261 -- 277Arnon Avron, Yoram Hirshfeld. Queries evaluation, relative safety, and domain independence in first-order database languages with functions
    279 -- 298John N. Crossley, Gerald L. Mathai, Robert A. G. Seely. A logical calculus for polynomial-time realizability
    299 -- 314Erich Grädel. Definability on finite structures and the existence of one-way functions
    315 -- 338Marek A. Suchenek. Preservation properties in deductive databases
    339 -- 354Jianhua Chen. On the relationship between circumscription and well-founded semantics of logic programs
    355 -- 377Khaled Bsaïes, Francis Alexandre, Alain Quéré. Transformation of generate and test logic programs

    Volume 1, Issue 2

    141 -- 181Sara Porat, Nissim Francez. Fairness in term rewriting systems
    183 -- 215John N. Crossley, Jeffrey B. Remmel. Proofs, programs, and run times
    217 -- 240Shie-Jue Lee, David A. Plaisted. Use of replace rules in theorem proving
    241 -- 260Harrie C. M. de Swart, W. M. J. Ophelders. Tableaux, resolution, and complexity of formulas

    Volume 1, Issue 1

    1 -- 3Anil Nerode, Victor W. Marek, V. S. Subrahmanian. Introduction
    3 -- 19Liz Sonenberg, Rodney W. Topor. A Preferred Model Semantics for Inheritance Networks
    19 -- 50L. Thorne McCarty, William W. Cohen. The Case for Explicit Exceptions
    51 -- 60François Fages. Consistency of Clark's completion and existence of stable models
    61 -- 76Fosca Giannotti, Dino Pedreschi, Carlo Zaniolo. Declarative Semantics for Pruning Operators in Logic Programming
    77 -- 110V. S. Lakshmanan. On Three-Valued Autoepistemic Reasoning and the Semantics of Logic Programs
    111 -- 0Stefania Costantini, Gaetano Aurelio Lanzarone. Metalevel Negation and Non-Monotonic Reasoning
    runs on