Concepedia

Richard O’Keefe

RO

16

Publications

707

Citations

12

H-Index

1983

Active since

Affiliations

University of Otago(Current)

University of Edinburgh

Richard O’Keefe is an author at University of Otago specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsAutomated ReasoningInformation RetrievalData ScienceLogic ProgrammingText MiningProgram AnalysisFormal Verification

Publications per year

1983–2015

16

Publications

16

A polymorphic type system for prolog

Alan Mycroft, Richard O’Keefe · Artificial Intelligence · 1984 · 262 citations

Engineering, Automated Reasoning, Polymorphism (Computer Science) +6

Towards an Algebra for Constructing Logic Programs.

Richard O’Keefe · SLP · 1985 · 71 citations

Algebraic Logic, Engineering, Automated Reasoning +4

The Simplest Query Language That Could Possibly Work

Richard O’Keefe, Andrew Trotman · 2004 · 69 citations

Engineering, Information Retrieval, Computational Linguistics +9

Efficient Implementation of a Defensible Semantics for Dynamic PROLOG Code.

Timothy G. Lindholm, Richard O’Keefe · International Conference on Lightning Protection · 1987 · 45 citations

Declarative Programming, Engineering, Operational Semantics +11

Solving symbolic equations with PRESS

Leon Sterling, Alan Bundy, Lawrence Byrd et al. · Journal of Symbolic Computation · 1989 · 36 citations · Full text

Numerical Analysis, Symbolic Manipulation, Symbolic Equations +2

Rows per page

1–5 of 16