John C. Shepherdson

发表

W. S. Jevons: his Logical Machine and Work Induction and Boolean Algebra

John C. Shepherdson, 1995, Machine Intelligence 15.

Variants of Robinson's essentially undecidable theoryR

John C. Shepherdson, James P. Jones, J. Shepherdson, 1983, Arch. Math. Log..

The Reduction of Two-Way Automata to One-Way Automata

John C. Shepherdson, J. Shepherdson, 1959, IBM J. Res. Dev..

Inner models for set theory—Part II

John C. Shepherdson, J. Shepherdson, 1952, Journal of Symbolic Logic.

Extracting programs from proofs by an extension of the Curry-Howard process

John N. Crossley, John C. Shepherdson, J. Shepherdson, 1993 .

The liar paradox and fuzzy logic

Petr Hájek, Jeff B. Paris, John C. Shepherdson, 2000, Journal of Symbolic Logic.

Inner Models for Set Theory - Part I

John C. Shepherdson, 1951, J. Symb. Log..

The Role of Standardising Apart in Logic Programming

John C. Shepherdson, 1994, Theor. Comput. Sci..

Lloyd J. W.. Foundations of logic programming . Symbolic computation. Artifical intelligence. Springer-Verlag, Berlin, Heidelberg, New York, and Tokyo, 1984, x + 124 pp.

John C. Shepherdson, J. Shepherdson, 1987, The Journal of Symbolic Logic.

Unsolvable Problems for SLDNF Resolution

John C. Shepherdson, 1991, J. Log. Program..

Graph Theoretic Characterization of G-Schemes and TL-Schemes

John C. Shepherdson, J. Shepherdson, 1982, Theor. Comput. Sci..

Some diophantine forms of gödel's theorem

John C. Shepherdson, Verena H. Dyson, James P. Jones, 1980, Arch. Math. Log..

Partial Evaluation in Logic Programming

John W. Lloyd, John C. Shepherdson, J. Lloyd, 1991, J. Log. Program..

Properties of a Pruning Operator

John W. Lloyd, John C. Shepherdson, Patricia M. Hill, 1990, Journal of Logic and Computation.

Negation in Logic Programming

John C. Shepherdson, J. Shepherdson, 1988, Foundations of Deductive Databases and Logic Programming..

Note on a System of Myhill

John C. Shepherdson, 1956, J. Symb. Log..

Unfold/fold transformations of logic programs

John C. Shepherdson, J. Shepherdson, 1992, Mathematical Structures in Computer Science.

Negation as Failure II

John C. Shepherdson, J. Shepherdson, 1985, J. Log. Program..

R70-20 Sequential Boolean Equations

John C. Shepherdson, 1970, IEEE Transactions on Computers.

Partial Deduction of Updateable Definite Logic Programs

John C. Shepherdson, Kerima Benkerimi, J. Shepherdson, 1994, J. Log. Program..

A Sound and Complete Semantics for a Version of Negation as Failure

John C. Shepherdson, J. Shepherdson, 1989, Theor. Comput. Sci..

Godel's Second Incompleteness Theorem for Q

John C. Shepherdson, A. Bezboruah, 1976, J. Symb. Log..

Computability of Recursive Functions

John C. Shepherdson, Howard E. Sturgis, J. Shepherdson, 1963, JACM.

A note on the notion of truth in fuzzy logic

Petr Hájek, John C. Shepherdson, J. Shepherdson, 2001, Ann. Pure Appl. Log..

Inner models for set theory – Part III

John C. Shepherdson, J. Shepherdson, 1951, Journal of Symbolic Logic.

On the Interpretation of Aristotelian Syllogistic

John C. Shepherdson, 1956, J. Symb. Log..

Negation as Failure: A Comparison of Clark's Completed Data Base and Reiter's Closed World Assumption

John C. Shepherdson, J. Shepherdson, 1984, J. Log. Program..

SLDNF-resolution with equality

John C. Shepherdson, 2004, Journal of Automated Reasoning.

Correct Answers to Allowed Programs and Queries are Ground

John C. Shepherdson, J. Shepherdson, 1991, J. Log. Program..

Rational Pavelka predicate logic is a conservative extension of Łukasiewicz predicate logic

Petr Hájek, Jeff B. Paris, John C. Shepherdson, 2000, Journal of Symbolic Logic.

Meeting of the Association for Symbolic Logic

John C. Shepherdson, S. Korner, M. D. Gladstone, 1988, J. Symb. Log..

In Memoriam Calvin C. Elgot

John C. Shepherdson, J. Shepherdson, 1981, Theor. Comput. Sci..

On the Definition of Computable Function of a Real Variable

John C. Shepherdson, J. Shepherdson, 1976, Math. Log. Q..

Mints Type Deductive Calculi for Logic Programming

John C. Shepherdson, 1992, Ann. Pure Appl. Log..

Mechanism for computing over arbitrary structures

John C. Shepherdson, J. Shepherdson, 1988 .

Language and Equality Theory in Logic Programming

John C. Shepherdson, 2001 .

European Meeting of the Association for Symbolic Logic, Bristol, England, 1973

John C. Shepherdson, H. E. Rose, J. Shepherdson, 1974, Journal of Symbolic Logic.

Effective operations on partial recursive functions

John C. Shepherdson, J. Shepherdson, J. Myhill, 1955 .

On the Addition of Elements of a Sequence

John C. Shepherdson, J. Shepherdson, 1947 .