×

zbMATH — the first resource for mathematics

Lloyd, John Wylie

Compute Distance To:
Author ID: lloyd.john-wylie Recent zbMATH articles by "Lloyd, John Wylie"
Published as: Lloyd, J. W.; Lloyd, John; Lloyd, John W.; Lloyd, John Wylie
Documents Indexed: 46 Publications since 1972, including 9 Books

Publications by Year

Citations contained in zbMATH Open

33 Publications have been cited 804 times in 695 Documents Cited by Year
Foundations of logic programming. Zbl 0547.68005
Lloyd, J. W.
324
1984
Foundations of logic programming. 2nd ext. ed. Zbl 0668.68004
Lloyd, John Wylie
241
1987
Partial evaluation in logic programming. Zbl 0741.68030
Lloyd, J. W.; Shepherdson, J. C.
41
1991
Making PROLOG more expressive. Zbl 0584.68022
Lloyd, J. W.; Topor, R. W.
29
1984
Kernels and distances for structured data. Zbl 1079.68086
Gärtner, Thomas; Lloyd, John W.; Flach, Peter A.
15
2004
Declarative error diagnosis. Zbl 0624.68018
Lloyd, J. W.
13
1987
The Gödel programming language. Zbl 0850.68138
Hill, Patricia; Lloyd, John
12
1994
A basis for deductive database systems. II. Zbl 0591.68087
Lloyd, J. W.; Topor, R. W.
11
1986
A completeness theorem for SLDNF resolution. Zbl 0689.68107
Cavedon, L.; Lloyd, J. W.
11
1989
A basis for deductive database systems. Zbl 0583.68056
Lloyd, J. W.; Topor, R. W.
10
1985
A logical reconstruction of Prolog II. Zbl 0594.68033
van Emden, M. H.; Lloyd, J. W.
9
1984
Integrity constraint checking in stratified databases. Zbl 0643.68158
Lloyd, J. W.; Sonenberg, E. A.; Topor, R. W.
9
1987
Smooth partitions of unity on manifolds. Zbl 0259.58005
Lloyd, John
9
1974
Logic for learning. Learning comprehensible theories from structured data. Zbl 1055.68086
Lloyd, John W.
9
2003
Updating knowledge bases. Zbl 0705.68096
Guessoum, A.; Lloyd, J. W.
7
1990
Updating knowledge bases. II. Zbl 0741.68092
Guessoum, A.; Lloyd, J. W.
6
1991
Foundations of logic programming. 1st corr. print. 2nd ext. ed. Zbl 0807.68001
Lloyd, John Wylie
6
1993
Optimal partial-match retrieval. Zbl 0444.68016
Lloyd, J. W.
6
1980
Programming in an integrated functional and logic language. Zbl 0924.68056
Lloyd, John
5
1999
Partial-match retrieval for dynamic files. Zbl 0482.68097
Lloyd, John W.; Ramamohanarao, K.
5
1982
Weakly compactly generated locally convex spaces. Zbl 0356.46004
Hunter, Richard J.; Lloyd, John
5
1977
Higher order derivatives in topological linear spaces. Zbl 0405.58010
Lloyd, J. W.
4
1978
Dynamic hashing schemes. Zbl 0491.68095
Ramamohanaro, K.; Lloyd, John W.
2
1982
Inductive and projective limits of smooth topological vector spaces. Zbl 0229.46013
Lloyd, John W.
2
1972
Learning modal theories. Zbl 1201.68096
Lloyd, John W.; Ng, Kee Siong
2
2007
Probabilistic reasoning in a classical logic. Zbl 1174.03006
Ng, K. S.; Lloyd, J. W.
2
2009
Probabilistic modelling, inference and learning using logical theories. Zbl 1178.68589
Ng, K. S.; Lloyd, J. W.; Uther, W. T. B.
2
2008
Partial-match retrieval using hashing and descriptors. Zbl 0531.68058
Ramamohanarao, K.; Lloyd, John W.; Thom, James A.
2
1983
Differentiable mappings on topological vector spaces. Zbl 0219.46020
Lloyd, J. W.
1
1973
On classes of null sets. Zbl 0243.28004
Lloyd, John
1
1972
Corrigenda to “Differentiable mappings on topological vector spaces”. Zbl 0274.46033
Lloyd, John
1
1973
Learning comprehensible theories from structured data. Zbl 1019.68091
Lloyd, J. W.
1
2003
Kernels for structured data. Zbl 1017.68519
Gärtner, Thomas; Lloyd, John W.; Flach, Peter A.
1
2003
Probabilistic reasoning in a classical logic. Zbl 1174.03006
Ng, K. S.; Lloyd, J. W.
2
2009
Probabilistic modelling, inference and learning using logical theories. Zbl 1178.68589
Ng, K. S.; Lloyd, J. W.; Uther, W. T. B.
2
2008
Learning modal theories. Zbl 1201.68096
Lloyd, John W.; Ng, Kee Siong
2
2007
Kernels and distances for structured data. Zbl 1079.68086
Gärtner, Thomas; Lloyd, John W.; Flach, Peter A.
15
2004
Logic for learning. Learning comprehensible theories from structured data. Zbl 1055.68086
Lloyd, John W.
9
2003
Learning comprehensible theories from structured data. Zbl 1019.68091
Lloyd, J. W.
1
2003
Kernels for structured data. Zbl 1017.68519
Gärtner, Thomas; Lloyd, John W.; Flach, Peter A.
1
2003
Programming in an integrated functional and logic language. Zbl 0924.68056
Lloyd, John
5
1999
The Gödel programming language. Zbl 0850.68138
Hill, Patricia; Lloyd, John
12
1994
Foundations of logic programming. 1st corr. print. 2nd ext. ed. Zbl 0807.68001
Lloyd, John Wylie
6
1993
Partial evaluation in logic programming. Zbl 0741.68030
Lloyd, J. W.; Shepherdson, J. C.
41
1991
Updating knowledge bases. II. Zbl 0741.68092
Guessoum, A.; Lloyd, J. W.
6
1991
Updating knowledge bases. Zbl 0705.68096
Guessoum, A.; Lloyd, J. W.
7
1990
A completeness theorem for SLDNF resolution. Zbl 0689.68107
Cavedon, L.; Lloyd, J. W.
11
1989
Foundations of logic programming. 2nd ext. ed. Zbl 0668.68004
Lloyd, John Wylie
241
1987
Declarative error diagnosis. Zbl 0624.68018
Lloyd, J. W.
13
1987
Integrity constraint checking in stratified databases. Zbl 0643.68158
Lloyd, J. W.; Sonenberg, E. A.; Topor, R. W.
9
1987
A basis for deductive database systems. II. Zbl 0591.68087
Lloyd, J. W.; Topor, R. W.
11
1986
A basis for deductive database systems. Zbl 0583.68056
Lloyd, J. W.; Topor, R. W.
10
1985
Foundations of logic programming. Zbl 0547.68005
Lloyd, J. W.
324
1984
Making PROLOG more expressive. Zbl 0584.68022
Lloyd, J. W.; Topor, R. W.
29
1984
A logical reconstruction of Prolog II. Zbl 0594.68033
van Emden, M. H.; Lloyd, J. W.
9
1984
Partial-match retrieval using hashing and descriptors. Zbl 0531.68058
Ramamohanarao, K.; Lloyd, John W.; Thom, James A.
2
1983
Partial-match retrieval for dynamic files. Zbl 0482.68097
Lloyd, John W.; Ramamohanarao, K.
5
1982
Dynamic hashing schemes. Zbl 0491.68095
Ramamohanaro, K.; Lloyd, John W.
2
1982
Optimal partial-match retrieval. Zbl 0444.68016
Lloyd, J. W.
6
1980
Higher order derivatives in topological linear spaces. Zbl 0405.58010
Lloyd, J. W.
4
1978
Weakly compactly generated locally convex spaces. Zbl 0356.46004
Hunter, Richard J.; Lloyd, John
5
1977
Smooth partitions of unity on manifolds. Zbl 0259.58005
Lloyd, John
9
1974
Differentiable mappings on topological vector spaces. Zbl 0219.46020
Lloyd, J. W.
1
1973
Corrigenda to “Differentiable mappings on topological vector spaces”. Zbl 0274.46033
Lloyd, John
1
1973
Inductive and projective limits of smooth topological vector spaces. Zbl 0229.46013
Lloyd, John W.
2
1972
On classes of null sets. Zbl 0243.28004
Lloyd, John
1
1972
all top 5

Cited by 947 Authors

18 Subrahmanian, V. S.
12 De Schreye, Danny
11 Vidal, Germán
10 De Raedt, Luc
10 Levi, Giorgio
10 Moreno, Ginés
9 Pettorossi, Alberto
9 Proietti, Maurizio
9 Rondogiannis, Panos
8 Komendantskaya, Ekaterina
7 Thielscher, Michael
6 Bonatti, Piero Andrea
6 Bruynooghe, Maurice
6 Caballero, Rafael E.
6 Falaschi, Moreno
6 Khardon, Roni
6 Lloyd, John Wylie
6 Marek, V. Wiktor
6 Palamidessi, Catuscia
6 Pontelli, Enrico
6 Puebla, Germán
6 Vychodil, Vilém
5 Albert, Elvira
5 Costantini, Stefania
5 Eiter, Thomas
5 Gabbay, Dov M.
5 Gottlob, Georg
5 Hölldobler, Steffen
5 Lobo, Jorge
5 Muggleton, Stephen H.
5 Saccà, Domenico
5 Sato, Taisuke
5 Seda, Anthony Karel
5 Seki, Hirohisa
5 Simari, Gerardo I.
5 Yan, Songyuan
4 Alpuente, María
4 Baral, Chitta R.
4 Comini, Marco
4 d’Avila Garcez, Artur S.
4 Drabent, Włodzimierz
4 Gabbrielli, Maurizio
4 Gergatsoulis, Manolis
4 Gori, Roberta
4 Hermenegildo, Manuel V.
4 Hitzler, Pascal
4 Iranzo, Pascual Julián
4 Lipton, James B.
4 Marriott, Kim
4 Martelli, Maurizio
4 Meo, Maria Chiara
4 Minker, Jack
4 Montanari, Ugo G.
4 Naish, Lee
4 Orejas, Fernando
4 Penabad, Jaime
4 Phan Minh Dung
4 Ramamohanarao, Kotagiri
4 Rossi, Francesca
4 Sanin, Cesar
4 Shepherdson, John C.
4 Stuckey, Peter James
4 Swift, Terrance
4 Symeonidou, Ioanna
4 Szczerbicki, Edward
4 Voets, Dean
4 You, Jia-Huai
3 Amato, Gianluca
3 Analyti, Anastasia
3 Antoniou, Grigoris
3 Apt, Krzysztof Rafal
3 Aravindan, Chandrabose
3 Arias, Marta
3 Baselice, Sabrina
3 Bidoit, Nicole
3 Blair, Howard A.
3 Bossi, Annalisa
3 Brown, Allen L. jun.
3 Charalambidis, Angelos
3 Chen, Yangjun
3 Christiansen, Henning
3 Codish, Michael
3 Confalonieri, Roberto
3 Corradini, Andrea
3 Santos Costa, Vítor
3 Decker, Hendrik
3 Diaconescu, Răzvan
3 Dix, Jurgen
3 Fioravanti, Fabio
3 Gallagher, John P.
3 Gelfond, Michael
3 Gerla, Giangiacomo
3 Guo, Haifeng
3 Inoue, Katsumi
3 Jayaraman, Bharat
3 Julián, Pascual
3 Leuschel, Michael
3 Lifschitz, Vladimir
3 Martens, Bern
3 Martí-Oliet, Narciso
...and 847 more Authors
all top 5

Cited in 86 Serials

145 Theoretical Computer Science
49 Theory and Practice of Logic Programming
45 Annals of Mathematics and Artificial Intelligence
34 Artificial Intelligence
30 New Generation Computing
24 Journal of Automated Reasoning
18 Information Processing Letters
18 Fuzzy Sets and Systems
15 Machine Learning
12 Journal of Computer and System Sciences
11 Formal Aspects of Computing
9 Information Sciences
9 Journal of Symbolic Computation
9 Journal of Computer Science and Technology
9 International Journal of Approximate Reasoning
8 International Journal of Intelligent Systems
8 Journal of Applied Logic
7 Annals of Pure and Applied Logic
7 Information and Computation
7 The Journal of Logic and Algebraic Programming
6 JETAI. Journal of Experimental & Theoretical Artificial Intelligence
6 Journal of Logical and Algebraic Methods in Programming
5 Studia Logica
5 International Journal of Computer Mathematics
5 Journal of Applied Non-Classical Logics
4 Acta Informatica
4 BIT
4 The Journal of Symbolic Logic
4 Cybernetics and Systems
4 RAIRO. Informatique Théorique et Applications
4 Higher-Order and Symbolic Computation
3 Archive for Mathematical Logic
3 Data Mining and Knowledge Discovery
3 Computer Languages, Systems & Structures
3 Logical Methods in Computer Science
2 Transactions of the American Mathematical Society
2 International Journal of Parallel Programming
2 Applied Mathematics Letters
2 Mathematical and Computer Modelling
2 Pattern Recognition
2 Applicable Algebra in Engineering, Communication and Computing
2 Cybernetics and Systems Analysis
2 Applied Categorical Structures
2 Mathematical Logic Quarterly (MLQ)
2 Journal of Functional Programming
2 Science in China. Series E
2 Journal of Machine Learning Research (JMLR)
2 ACM Transactions on Computational Logic
1 Analysis Mathematica
1 Biological Cybernetics
1 Computers & Mathematics with Applications
1 Discrete Applied Mathematics
1 International Journal of General Systems
1 Journal of Mathematical Analysis and Applications
1 Algebra and Logic
1 Archiv der Mathematik
1 Glasgow Mathematical Journal
1 International Journal of Computer & Information Sciences
1 Journal of Differential Equations
1 Journal of Mathematical Psychology
1 Journal of Philosophical Logic
1 Kybernetika
1 Siberian Mathematical Journal
1 Topology and its Applications
1 Zeitschrift für Analysis und ihre Anwendungen
1 American Journal of Mathematical and Management Sciences
1 Algorithmica
1 Neural Networks
1 Neural Computation
1 MSCS. Mathematical Structures in Computer Science
1 Computer Science in Economics and Management
1 Artificial Intelligence Review
1 European Journal of Operational Research
1 Journal of Dynamics and Differential Equations
1 Formal Methods in System Design
1 The Bulletin of Symbolic Logic
1 Constraints
1 Topoi
1 Soft Computing
1 Journal of Discrete Mathematical Sciences & Cryptography
1 Advances in Geometry
1 Mediterranean Journal of Mathematics
1 Journal of Zhejiang University. Science A
1 Complex Analysis and Operator Theory
1 International Journal of Semantic Computing
1 Algorithms

Citations by Year