dblp.uni-trier.dewww.uni-trier.de

John C. Shepherdson Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2001
30 Petr Hájek, John C. Shepherdson: A note on the notion of truth in fuzzy logic. Ann. Pure Appl. Logic 109(1-2): 65-69 (2001)
2000
29 Petr Hájek, Jeff B. Paris, John C. Shepherdson: The Liar Paradox and Fuzzy Logic. J. Symb. Log. 65(1): 339-346 (2000)
28 Petr Hájek, Jeff B. Paris, John C. Shepherdson: Rational Pavelka Predicate Logic Is A Conservative Extension of Lukasiewicz Predicate Logic. J. Symb. Log. 65(2): 669-682 (2000)
1995
27 John C. Shepherdson: W. S. Jevons: his Logical Machine and Work Induction and Boolean Algebra. Machine Intelligence 15 1995: 489-505
1994
26 Kerima Benkerimi, John C. Shepherdson: Partial Deduction of Updateable Definite Logic Programs. J. Log. Program. 18(1): 1-26 (1994)
25 John C. Shepherdson: The Role of Standardising Apart in Logic Programming. Theor. Comput. Sci. 129(1): 143-142 (1994)
1992
24 John C. Shepherdson: Mints Type Deductive Calculi for Logic Programming. Ann. Pure Appl. Logic 56(1-3): 7-17 (1992)
23 John C. Shepherdson: SLDNF-Resolution with Equality. J. Autom. Reasoning 8(2): 297-306 (1992)
22 John C. Shepherdson: Unfold/Fold Transformations of Logic Programs. Mathematical Structures in Computer Science 2(2): 143-157 (1992)
1991
21 P. A. Gardner, John C. Shepherdson: Unfold/Fold Transformations of Logic Programs. Computational Logic - Essays in Honor of Alan Robinson 1991: 565-583
20 John C. Shepherdson: Unsolvable Problems for SLDNF Resolution. J. Log. Program. 10(1/2/3&4): 19-22 (1991)
19 John W. Lloyd, John C. Shepherdson: Partial Evaluation in Logic Programming. J. Log. Program. 11(3&4): 217-242 (1991)
18 John C. Shepherdson: Correct Answers to Allowed Programs and Queries are Ground. J. Log. Program. 11(3&4): 359-362 (1991)
1990
17 Patricia M. Hill, John W. Lloyd, John C. Shepherdson: Properties of a Pruning Operator. J. Log. Comput. 1(1): 99-143 (1990)
1989
16 John C. Shepherdson: A Sound and Complete Semantics for a Version of Negation as Failure. Theor. Comput. Sci. 65(3): 343-371 (1989)
1988
15 John C. Shepherdson: Negation in Logic Programming. Foundations of Deductive Databases and Logic Programming. 1988: 19-88
1985
14 John C. Shepherdson: Negation as Failure II. J. Log. Program. 2(3): 185-202 (1985)
1984
13 John C. Shepherdson: Negation as Failure: A Comparison of Clark's Completed Data Base and Reiter's Closed World Assumption. J. Log. Program. 1(1): 51-79 (1984)
1982
12 John C. Shepherdson: Graph Theoretic Characterization of G-Schemes and TL-Schemes. Theor. Comput. Sci. 17: 217-228 (1982)
1981
11 John C. Shepherdson: In Memoriam Calvin C. Elgot. Theor. Comput. Sci. 16: 1-4 (1981)
1979
10 Calvin C. Elgot, John C. Shepherdson: A Semantically Meaningful Characterization of Reducible Flowchart Schemes. Theor. Comput. Sci. 8: 325-357 (1979)
1976
9 A. Bezboruah, John C. Shepherdson: Godel's Second Incompleteness Theorem for Q. J. Symb. Log. 41(2): 503-512 (1976)
1974
8 H. E. Rose, John C. Shepherdson: European Meeting of the Association for Symbolic Logic: Bristol, England, 1973. J. Symb. Log. 39(2): 406-432 (1974)
1964
7 John C. Shepherdson, S. Korner, M. D. Gladstone: Meeting of the Association for Symbolic Logic. J. Symb. Log. 29(4): 218-228 (1964)
1963
6EEJohn C. Shepherdson, Howard E. Sturgis: Computability of Recursive Functions. J. ACM 10(2): 217-255 (1963)
1956
5 John C. Shepherdson: On the Interpretation of Aristotelian Syllogistic. J. Symb. Log. 21(2): 137-147 (1956)
4 John C. Shepherdson: Note on a System of Myhill. J. Symb. Log. 21(3): 261-264 (1956)
1953
3 John C. Shepherdson: Inner Models for Set Theory - Part III. J. Symb. Log. 18(2): 145-167 (1953)
1952
2 John C. Shepherdson: Inner Models for Set Theory--Part II. J. Symb. Log. 17(4): 225-237 (1952)
1951
1 John C. Shepherdson: Inner Models for Set Theory - Part I. J. Symb. Log. 16(3): 161-190 (1951)

Coauthor Index

1Kerima Benkerimi [26]
2A. Bezboruah [9]
3Calvin C. Elgot [10]
4P. A. Gardner [21]
5M. D. Gladstone [7]
6Petr Hájek [28] [29] [30]
7Patricia M. Hill [17]
8S. Korner [7]
9John W. Lloyd [17] [19]
10Jeff B. Paris [28] [29]
11H. E. Rose [8]
12Howard E. Sturgis [6]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)