Statements (63)
| Predicate | Object |
|---|---|
| gptkbp:instance_of |
gptkb:Computer_Scientist
|
| gptkbp:academic_advisor |
gptkb:Robert_Milner
|
| gptkbp:affiliation |
gptkb:INRIA
|
| gptkbp:award |
ACM Fellow
EATCS Fellow |
| gptkbp:birth_year |
gptkb:1956
|
| gptkbp:field |
gptkb:computer_science
|
| https://www.w3.org/2000/01/rdf-schema#label |
Dale Miller
|
| gptkbp:influenced_by |
gptkb:Haskell_Curry
gptkb:Alonzo_Church gptkb:John_W._Mc_Carthy |
| gptkbp:known_for |
contributions to logic programming
|
| gptkbp:nationality |
gptkb:American
|
| gptkbp:notable_work |
gptkb:Lambda_Prolog
|
| gptkbp:publication |
gptkb:The_Lambda_Prolog_System
Logic Programming and Nonmonotonic Reasoning The Role of Logic in Computer Science A Logic Programming Language with Higher-Order Constructs The Relationship between Logic and Software Development A Survey of Logic Programming A Type System for Higher-Order Logic Programming A Type System for Logic Programming Higher-Order Logic Programming Logic Programming and Artificial Intelligence Logic Programming and Knowledge Representation Proof Theory and Logic Programming The Challenges of Logic Programming The Complexity of Logic Programming The Contributions of Logic to Software Engineering The Essence of Logic Programming The Evolution of Logic Programming The Foundations of Logic Programming The Future of Logic Programming The Future of Programming Languages The Future of Software Development The Impact of Logic on Software Engineering The Implementation of Lambda Prolog The Importance of Logic in Computer Programming The Importance of Logic in Software Architecture The Influence of Logic on Programming Paradigms The Influence of Logic on Software Architecture The Interplay between Logic and Computation The Logic Programming Paradigm The Relevance of Logic in Software Architecture The Relevance of Logic in Software Development The Role of Logic in Programming Languages The Role of Logic in Software Design The Role of Logic in Software Development The Role of Logic in Software Engineering The Role of Types in Logic Programming The Semantics of Logic Programming The Significance of Logic in Computer Science The Significance of Logic in Software Design The Use of Types in Logic Programming Type Inference for Logic Programs The Relationship between Logic and Programming Languages The Impact of Logic Programming on Computer Science The Contributions of Logic to Programming Languages |
| gptkbp:research_interest |
gptkb:C_programming_language
gptkb:political_theory formal methods |
| gptkbp:bfsParent |
gptkb:Reggie_Miller
|
| gptkbp:bfsLayer |
4
|