Lincoln Wallen

Lincoln Wallen's AcademicInfluence.com Rankings

Lincoln Wallen

Computer Science

#2518

World Rank

#2630

Historical Rank

Artificial Intelligence

#900

World Rank

#917

Historical Rank

Machine Learning

#5275

World Rank

#5342

Historical Rank

Database

#8866

World Rank

#9316

Historical Rank

computer-science Degrees

Download Badge

Computer Science

Why Is Lincoln Wallen Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Lincoln Wallen is a British computer scientist and the Chief Technology Officer of Improbable. He is the former CTO of DreamWorks Animation. Wallen received a first-class degree in Mathematics and Physics from Durham University in 1982. He also holds a PhD in artificial intelligence from the University of Edinburgh, supervised by Alan Bundy. He was subsequently an academic at the Oxford University Computing Laboratory.

(See a Problem?)

Lincoln Wallen'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

Dynamic Time Warping (1984) (559)
Automated deduction in nonclassical logics (1990) (156)
Automated proof search in non-classical logics - efficient matrix proof methods for modal and intuitionistic logics (1990) (129)
Truth Maintenance System (1984) (111)
A Calculus for the Construction of Modular Prolog Programs (1987) (78)
Depth-First Search (1984) (70)
Matrix Proof Methods for Modal Logics (1987) (67)
On the intuitionistic force of classical search (2000) (32)
Breadth-First Search (1984) (31)
Spatial Frequency Channels (1984) (24)
Tableaux for Intuitionistic Logics (1999) (23)
Meta-Level Inference (1984) (21)
Proof-terms for classical and intuitionistic resolution (2000) (20)
Contrast Sensitivity Function (1984) (19)
Generating connection calculi from tableau and sequent based proof systems (1987) (18)
Investigations into Proof-Search in a System of First-Order Dependent Function Types (1990) (18)
Proof-search in the lII-calculus (1991) (18)
Difference of Gaussians (1984) (17)
Image Data Structures (1984) (16)
Learning and Applying Generalised Solutions using Higher Order Resolution (1988) (16)
Definite Clause Grammars (1984) (12)
Dempster-Shafer Theory (1984) (11)
Logic Programming via Proof-valued Computations (1992) (10)
On the Intuitionistic Force of Classical Search (Extended Abstract) (1996) (7)
Basic proof theory (1993) (7)
Boyer-Moore Theorem Prover (1984) (6)
Linear Predictive Coding (1984) (6)
Proof-Terms for Classical and Intuitionistic Resolution (Extended Abstract) (1996) (6)
Proving properties of logic programs: A Progress Report (1988) (6)
Variable-Valued Logic (1984) (5)
Functional Data Model (1984) (4)
Alpha/Beta Pruning (1984) (3)
Dependency Directed Backtracking (1984) (3)
Portable Standard LISP (1984) (3)
Representing Unification in a Logical Framework (1995) (3)
High-Emphasis Filtering (1984) (3)
Breadth-First Parsing (1984) (3)
Media and the digital continuum (2014) (2)
A computationally efficient proof system for S5 modal logic (1987) (2)
Partitioned Semantic Net (1984) (2)
Fuzzy Relational Products (1984) (2)
Markgraf Karl Refutation Procedure (1984) (2)
Generalised Hough Transform (1984) (2)
Review: Domenico Cantone, Alfredo Ferro, Eugenio Omodeo, Computable Set Theory (1993) (1)
Branch-and-Bound Algorithms (1984) (1)
Forward/Backward Search (1984) (1)
On form, formalism and equivalence (1990) (1)
Remote Procedure Calls (1984) (1)
Logic Machine Architecture (1984) (1)
Shape from Shading (1984) (1)
Analogical Problem Solving (1984) (0)
Finding Common Paths (1984) (0)
Proving properties of logic programs: summary of progress (1986) (0)
Fast Pattern Recognition Techniques (1984) (0)
KAS: Knowledge Acquisition System (1984) (0)
Interactions Between Sub-Goals (1984) (0)
Semantic Binary Relationship Model (1984) (0)
Negation as Failure (1984) (0)
Data-Directed Control (1984) (0)
Bottom-Up Parsing (1984) (0)
Shape from Texture (1984) (0)
Relational Database Query Formulation (1984) (0)
Means/Ends Analysis (1984) (0)
Sensory Feedback And Compliance (1984) (0)
Production Rule System (1984) (0)
Invariant Violation Demons (1984) (0)
NIAL (Nested Interactive Array Language) (1984) (0)
Cascaded Augmented Transition Network (1984) (0)
Multi-Pulse LPC (1984) (0)
Top-Down Parsing (1984) (0)
Inference Engine Toolkit (1984) (0)
Viewer-Centred Co-ordinates (1984) (0)
Improving Animation Technology through Digital Transformation (2016) (0)
ACLS: Analogue Concept Learning System (1984) (0)
Table of Multiple Effects (1984) (0)
2 1/2-D Sketch (1984) (0)
Pattern Directed Retrieval/Invocation (1984) (0)
Representing Uniication in a Logical Framework Representing Uniication in a Logical Framework (2007) (0)
Non-Monotonic Reasoning (1984) (0)
Propositional Constraint Propagation (1984) (0)
Postulating Intrinsic Properties (1984) (0)
Local Grey-Level Operations (1984) (0)
Pyramids/Resolution Cones (1984) (0)
Propagation in Cellular Arrays (1984) (0)
Learning and Apply ing General ised Solut ions using Higher Order Reso lu t ion * (0)
Learning from Solution Paths (1984) (0)
Model Directed Search (1984) (0)
Fuzzy Set Theory (1984) (0)
Augmented Transition Network (1984) (0)
Constructive Solid Geometry (1984) (0)
Optimistic Plan Execution (1984) (0)
Grey-Level Image (1984) (0)
Depth-First Parsing (1984) (0)
Automated Theorem Proving in Non-Classical Logics (1988) (0)
Numerically-Controlled Machine Tools (1984) (0)
Multi-Actor System (1984) (0)
Non-Linear Planning (1984) (0)
Constraint Satisfaction And Propagation (1984) (0)
Time Complexity of Recognition (1984) (0)
Distributed Problem Solving (1984) (0)
Modulation Transfer Function (1984) (0)
Object-Centred Co-Ordinates (1984) (0)
The UT Theorem Prover (1984) (0)

This paper list is powered by the following services:

Other Resources About Lincoln Wallen

en.wikipedia.org

What Schools Are Affiliated With Lincoln Wallen?

Lincoln Wallen is affiliated with the following schools:

University of Edinburgh

Lincoln Wallen's Academic­Influence.com Rankings

Why Is Lincoln Wallen Influential?

Lincoln Wallen's Published Works

Published Works

Other Resources About Lincoln Wallen

What Schools Are Affiliated With Lincoln Wallen?

Lincoln Wallen's AcademicInfluence.com Rankings