John Wylie Lloyd
#120,945
Most Influential Person Now
John Wylie Lloyd's AcademicInfluence.com Rankings
John Wylie Lloydcomputer-science Degrees
Computer Science
#4885
World Rank
#5157
Historical Rank
Programming
#62
World Rank
#65
Historical Rank
Database
#2060
World Rank
#2165
Historical Rank
Download Badge
Computer Science
John Wylie Lloyd's Degrees
- PhD Computer Science Stanford University
- Masters Computer Science Stanford University
- Bachelors Computer Science Stanford University
Similar Degrees You Can Earn
Why Is John Wylie Lloyd Influential?
(Suggest an Edit or Addition)John Wylie Lloyd's Published Works
Number of citations in a given year to any of this author's works
Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author
Published Works
- Foundations of Logic Programming (1984) (3569)
- Foundations of Logic Programming (1987) (2391)
- Foundations of logic programming; (2nd extended ed.) (1987) (1536)
- Partial Evaluation in Logic Programming (1991) (507)
- Making Prolog more Expressive (1984) (386)
- Foundations of Logic Programming, 1st Edition (1984) (207)
- Computational Logic — CL 2000 (2000) (188)
- A Basis for Deductive Database Systems II (1986) (161)
- Integrity Constraint Checking in Stratified Databases (1987) (159)
- Kernels and Distances for Structured Data (2004) (158)
- A Basis for Deductive Database Systems (1985) (128)
- Programming in an Integrated Functional and Logic Language (1999) (114)
- Declarative Programming in Escher (1995) (104)
- Completeness of the Negation as Failure Rule (1983) (100)
- Logic for Learning (2003) (86)
- A Completeness Theorem for SLDNF Resolution (1989) (81)
- Foundation of logic programming (1983) (77)
- Logic for learning - learning comprehensible theories from structured data (2010) (64)
- Strongly Typed Inductive Concept Learning (1998) (64)
- A Partial Evaluation Procedure for Logic Programs (1990) (62)
- Combining Functional and Logic Programming Languages (1994) (54)
- Partial-match retrieval for dynamic files (1982) (51)
- Declarative error diagnosis (1987) (49)
- A Logical Reconstruction of Prolog II (1984) (48)
- Practical Advtanages of Declarative Programming (1994) (43)
- Classification of Individuals with Complex Structure (2000) (40)
- Logic and Learning (2003) (38)
- Optimal partial-match retrieval (1980) (36)
- Partial-match retrieval using hashing and descriptors (1983) (35)
- Dynamic Hashing Schemes (1982) (33)
- An Introduction to Deductive Database Systems (1983) (33)
- Aristotle: a system for development of program analysis based tools (1995) (28)
- Probabilities on Sentences in an Expressive Logic (2012) (26)
- Logic Programming without Negation as Failure (1995) (26)
- Beyond the Glass Box: Constraints as Objects (1995) (24)
- Personalisation for user agents (2005) (24)
- Updating knowledge bases (1990) (23)
- Probabilistic modelling, inference and learning using logical theories (2008) (23)
- Learning Comprehensible Theories from Structured Data (2002) (19)
- Knowledge Representation, Computation, and Learning in Higher-order Logic (2002) (19)
- Practical Model-Based Static Analysis for Definite Logic Programs (1995) (19)
- Probabilistic reasoning in a classical logic (2009) (16)
- Symbolic Learning for Adaptive Agents (2003) (15)
- Predicate Construction in Higher-order Logic (2000) (13)
- Relationlog: A Typed Extension to Datalog with Sets and Tuples (Extended Abstract) (1995) (12)
- A Framework for Higher-Order Inductive Machine Learning (1997) (12)
- Directions for Meta-Programming (1988) (12)
- Learning Modal Theories (2007) (11)
- Updating knowledge bases II (1991) (11)
- A Declarative Semantics for Behavioral Inheritance and Conflict Resolution (1995) (9)
- An Architecture for Rational Agents (2005) (9)
- Higher-Order Computational Logic (2002) (9)
- Logic Programming, Proceedings of the 1995 International Symposium, Portland, Oregon, USA, December 4-7, 1995 (1995) (6)
- Objects and Logic (1995) (6)
- A Formal Approach to Deductive Synthesis of Constraint Logic Programs (1995) (5)
- Programming with Multisets (1998) (5)
- Proving Termination of Logic Programs with Delay Declarations (1995) (4)
- Proceedings of the First International Conference on Computational Logic (2000) (4)
- Modal Higher-order Logic for Agents (2004) (4)
- Debugging for a Declarative Programming Language (1995) (4)
- Functional Logic Languages: Combine Search and Efficient Evaluation (1995) (4)
- Declarative programming for agent applications (2011) (4)
- Efficient Analysis of Logic Programs with Dynamic Scheduling (1995) (4)
- Probabilistic and Logical Beliefs (2008) (4)
- Unifying probability and logic for learning (2013) (3)
- Top-Down beats Bottom-Up for Constraint Extensions of Datalog (1995) (3)
- Logic as a Foundation for Deductive Database Systems (1989) (3)
- Bridging the gap between logic and functional programming (1995) (3)
- A Unifying View of Knowledge Representation for Inductive Learning (2000) (3)
- A Blueprint for an Abstract Machine for Abstract Interpretation of (Constraint) Logic Programs (1995) (3)
- Abstraction of Conditional Term Rewriting Systems (1995) (3)
- The Challenge of Declarative Programming (1995) (2)
- Reflections on Agent Beliefs (2007) (2)
- A Call-by-Need Strategy for Higher-Order Functional-Logic Programming (1995) (2)
- Partial Deduction of the Ground Representation and its Application to Integrity Checking (1995) (2)
- Declarative programming for artificial intelligence applications (2007) (2)
- Predicate Selection for Structural Decision Trees (2005) (2)
- Implementing the Linear Logic Programming Language Lygon (1995) (2)
- Modal Functional Logic Programming (2007) (2)
- Computational logic - CL 2000 : first International Conference, London, UK, July 24-28, 2000 : proceedings (2000) (2)
- Non-Ground Stable and Well-Founded Semantics (1994) (2)
- Temporal Logic Programming in Dense Time (1995) (2)
- Declarative and Fixpoint Characterizations of Disjunctive Stable Models (1995) (1)
- A Game-Based Architecture for Developing Interactive Components in Computational Logic (2000) (1)
- A Compositional Proof Method of Partial Correctness for Normal Logic Programs (1995) (1)
- Declarative Agent Languages and Technologies VII, 7th International Workshop, DALT 2009, Budapest, Hungary, May 11, 2009. Revised Selected and Invited Papers (2010) (1)
- Semantical Properties of Encodings in Logic Programming (1995) (1)
- Backtracable State with Linear Assumptions, Continuations and Hidden Accumulator Grammars (1995) (1)
- Relaxation in Constraint Logic Languages (1995) (1)
- Meta-Programming for Knowledge Base Systems (Extended Abstract) (1989) (1)
- Compositionality in SLD-derivations and their abstractions (1995) (1)
- Combining Rules and Description Logics: An Overview of CARIN (1995) (1)
- Regular Signed Resolution Applied to Annotated Logic Programs (1995) (1)
- Correctness of Logic Program Transformations Based on Existential Termination (1995) (1)
- Programming with Sets and Multisets (1999) (1)
- Optimizing Clause Resolution: Beyond Unification Factoring (1995) (1)
- Synchronisation in Scc (1995) (0)
- Programming in Lygon: A Brief Overview (1995) (0)
- Agents that Reason and Learn (2003) (0)
- I 0 = (ffx 0 A; Y 0 Bg =: 0 G; ;) (1988) (0)
- Control Flow Analysis of Prolog (1995) (0)
- Declarative Annotations for Logic Programs (1995) (0)
- Declarative Diagnosis Revisited (1995) (0)
- Draft – Do not distribute Modal Functional Logic Programming (2007) (0)
- The Journal of Functional and Logic Programming the Journal of Functional and Logic Programming a Declarative Debugging Scheme (1997) (0)
- Bach: Probabilistic Declarative Programming (2008) (0)
- Clause-based proofs for hereditary Harrop formulas (1995) (0)
- An Algorithm of Generalization in Positive Supercompilation (1995) (0)
- A Simple Approach to Supporting Untagged Objects in Dynamically Typed Languages (1995) (0)
- Goal Solving as Operational Semantics (1995) (0)
- Proc. of International Workshop Declarative Agent Languages and Technologies, DALT 2009 (2004) (0)
- The Journal of Functional and Logic Programming the Journal of Functional and Logic Programming Compile-time Pointer Reversal (1996) (0)
- Tutorial on Program Specialisation (1995) (0)
- Type Correct programs A semantic approach (1995) (0)
- A Paralogical Semantics for the Prolog Cut (1995) (0)
- Integration of Functional and Logic Programming Languages (Panel Abstract) (1995) (0)
- Designing Logic Programming Languages (1992) (0)
- Monadic Constructs for Logic Programming (1995) (0)
- Functional Logic Programming (1995) (0)
- Computational logic : symposium proceedings, Brussels, November 13/14, 1990 (1990) (0)
- Integration of Functional and Logic Programming Languages (1995) (0)
- An Introspective Framework for Paraconsistent Logic Programs (1995) (0)
- Logic Programming and Object Modelling: A Case Study (1995) (0)
- ghghghfghfghfgr5gvbbvT CHECKING IN STRATIFIED DATABASES (2001) (0)
- Integration of Functional and Logic Languages (Dagstuhl Seminar 9621) (2021) (0)
- Modelling Real-Time in Concurrent Constraint Programming (1995) (0)
- The implementation of AKL(FD) (1995) (0)
- Tradeoffs explicit and implicit parallelism (1995) (0)
- Implementation Issues for Functional Logic Programming (1995) (0)
- Deterministic-Probabilistic Models For Partially Observable Reinforcement Learning Problems (2010) (0)
- PξP: A Combined Parlog and Prolog Concurrent Object-Oriented Logic programming Language (1995) (0)
- An Approach to Verification in Contextual Logic Programming (1995) (0)
This paper list is powered by the following services:
