External Links

    Journal: Journal of Logic and Computation

    Volume 11, Issue 4

    499 -- 525Wolfgang May, Paul-Thomas Kandzia. Nonmonotonic Inheritance in Object-Oriented Deductive Database Languages
    527 -- 544Thomas Studer. A Semantics for [lambda]: a Calculus with Overloading and Late-binding
    545 -- 557Twan Laan, Michael Franssen. Embedding First-order Logic in a Pure Type System with Parameters
    559 -- 578Sofia Guerra. Composition of Default Specifications
    579 -- 607Sylvie Coste-Marquis, Pierre Marquis. Knowledge Compilation for Closed World Reasoning and Circumscription
    623 -- 653George Tourlakis. On the Soundness and Completeness of Equational Predicate Logics
    runs on