What is he best known for?
The fields of study he is best known for:
- Programming language
- First-order logic
- Mathematical logic
His scientific interests lie mostly in Horn clause, Programming language, Logic programming, Prolog and Functional logic programming.
His Horn clause research includes elements of Proof theory, Unification and Linear logic.
Particularly relevant to λProlog is his body of work in Logic programming.
He works mostly in the field of Prolog, limiting it down to topics relating to Predicate and, in certain cases, Negation, Unit propagation, Arithmetic, SLD resolution and Horn-satisfiability.
His work deals with themes such as Fifth-generation programming language and Theoretical computer science, which intersect with Functional logic programming.
His biological study spans a wide range of topics, including Operational semantics and Type erasure.
His most cited work include:
- Uniform proofs as a foundation for logic programming (554 citations)
- Logic programming in a fragment of intuitionistic linear logic (379 citations)
- A Logic Programming Language with Lambda-Abstraction, Function Variables, and Simple Unification (325 citations)
What are the main themes of his work throughout his whole career to date?
Dale Miller spends much of his time researching Programming language, Logic programming, Mathematical proof, Proof theory and Theoretical computer science.
His Programming language study frequently involves adjacent topics like Linear logic.
His research in Logic programming intersects with topics in Inductive programming, Functional logic programming and Prolog.
His study in Mathematical proof is interdisciplinary in nature, drawing from both Structure, Automated theorem proving and Rule of inference.
His Proof theory research is multidisciplinary, incorporating elements of Proof complexity, Algorithm, Sequent calculus and Calculus.
As a part of the same scientific family, Dale Miller mostly works in the field of Horn clause, focusing on Unification and, on occasion, Quantifier.
He most often published in these fields:
- Programming language (51.10%)
- Logic programming (29.96%)
- Mathematical proof (28.63%)
What were the highlights of his more recent work (between 2012-2021)?
- Mathematical proof (28.63%)
- Programming language (51.10%)
- Proof theory (22.47%)
In recent papers he was focusing on the following fields of study:
Mathematical proof, Programming language, Proof theory, Structural proof theory and Proof assistant are his primary areas of study.
The concepts of his Mathematical proof study are interwoven with issues in Theoretical computer science, Rule of inference and Metatheory.
His study in Syntax, Data structure, Automated theorem proving, Logic programming and Functional programming is done as part of Programming language.
In his research on the topic of Logic programming, Horn clause and Prolog is strongly related with Inductive programming.
He has researched Proof theory in several fields, including Bisimulation, Mathematical logic and Linear logic.
His studies in Structural proof theory integrate themes in fields like Discrete mathematics and Calculus.
Between 2012 and 2021, his most popular works were:
- Automation of Higher-Order Logic (45 citations)
- Abella: A System for Reasoning about Relational Specifications (36 citations)
- A formal framework for specifying sequent calculus proof systems (34 citations)
In his most recent research, the most cited papers focused on:
- Programming language
- First-order logic
- Algorithm
Dale Miller mainly investigates Mathematical proof, Discrete mathematics, Structural proof theory, Proof theory and Calculus.
The study incorporates disciplines such as Certificate and Programming language, Metatheory in addition to Mathematical proof.
His studies deal with areas such as Natural number and Automaton as well as Programming language.
In his study, which falls under the umbrella issue of Discrete mathematics, Proof by contradiction and Analytic proof is strongly linked to Proof complexity.
His research investigates the connection with Calculus and areas like Algorithm which intersect with concerns in Method of analytic tableaux, Multimodal logic, Normal modal logic and Modal logic.
He studied Higher-order logic and Linear logic that intersect with Intuitionistic logic.
This overview was generated by a machine learning system which analysed the scientist’s
body of work. If you have any feedback, you can
contact us
here.
