External Links

    Journal: Journal of Automated Reasoning

    Volume 27, Issue 4

    323 -- 351Ruben Gamboa, Matt Kaufmann. Nonstandard Analysis in ACL2
    353 -- 389Guilherme Bittencourt, Isabel Tonin. An Algorithm for Dual Transformation in First-Order Logic
    391 -- 421Piero A. Bonatti. Resolution for Skeptical Stable Model Semantics

    Volume 27, Issue 3

    227 -- 250Geoff Sutcliffe. The CADE-17 ATP System Competition
    251 -- 296Michael L. Littman, Stephen M. Majercik, Toniann Pitassi. Stochastic Boolean Satisfiability
    297 -- 311Guido Fiorino. An O(nlog n)-SPACE Decision Procedure for the Propositional Dummett Logic
    313 -- 322Lifeng He. I-SATCHMO: An Improvement of SATCHMO

    Volume 27, Issue 2

    89 -- 95Larry Wos. A Milestone Reached and a Secret Revealed
    97 -- 122Dolph Ulrich. A Legacy Recalled and a Tradition Continued
    123 -- 139Robert Veroff. Finding Shortest Proofs: An Application of Linked Inference Rules
    141 -- 156Kenneth Harris, Branden Fitelson. Distributivity in [Lstrok][aleph]0 and Other Sentential Logics
    157 -- 174Robert Veroff. Solving Open Questions and Other Challenge Problems Using Proof Sketches
    175 -- 199Larry Wos. Conquering the Meredith Single Axiom
    201 -- 225Branden Fitelson, Larry Wos. Missing Proofs Found

    Volume 27, Issue 1

    1 -- 2David A. Basin, Amy P. Felty. Current Trends in Logical Frameworks and Metalanguages
    3 -- 27Paul Callaghan, Zhaohui Luo. An Implementation of LF with Coercive Subtyping & Universes
    29 -- 59Mirna Bognar, Roel C. de Vrijer. A Calculus of Lambda Calculus Contexts
    61 -- 87Paula Severi, Nora Szasz. Studies of a Theory of Specifications with Built-in Program Extraction
    runs on