Ray Turner | Academic Influence

Ray Turner 's AcademicInfluence.com Rankings

Ray Turner

Computer Science

#2099

World Rank

#2181

Historical Rank

Computational Linguistics

#3039

World Rank

#3075

Historical Rank

Artificial Intelligence

#5517

World Rank

#5594

Historical Rank

Machine Learning

#5539

World Rank

#5613

Historical Rank

computer-science Degrees

Download Badge

Computer Science

Ray Turner 's Degrees

Bachelors Computer Science University of Oxford

Similar Degrees You Can Earn

Why Is Ray Turner Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Professor Raymond Turner is an English logician, philosopher, and theoretical computer scientist based at the University of Essex. He is best known for his work on logic in computer science and for his pioneering work in the philosophy of computer science. He is on the editorial boards for the Journal of Logic and Computation and the Stanford Encyclopedia of Philosophy, for Logic, Computation, and Agency.

(See a Problem?)

Ray Turner '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

Specification (2011) (429)
Semantics and property theory (1988) (228)
Properties, types and meaning (1988) (107)
The Philosophy of Computer Science (2008) (104)
Logics in Artificial Intelligence (1994) (75)
Logics for Artificial Intelligence (1986) (42)
Problems in the ontology of computer programs (2007) (39)
Computational Artifacts: Towards a Philosophy of Computer Science (2018) (35)
Properties, propositions and semantic theory (1992) (34)
Truth and Modality for Knowledge Representation (1990) (28)
Computable Models (2009) (26)
Logics in Artificial Intelligence (2000) (25)
Montague semantics, nominalization and Scott's domains (1983) (23)
Computational Artifacts (2018) (22)
Understanding Programming Languages (2007) (21)
The Foundations of Specification (2005) (20)
YPA — an Intelligent Directory Enquiry Assistant (1998) (20)
Programming Languages as Technical Artifacts (2014) (16)
Extracting Semistructured Data - Lessons Learnt (2000) (16)
Logic for Artificial Intelligence (1984) (15)
Helpful Answers to Modal and Hypothetical Questions (1991) (14)
A Constructive Set Theory for Program Development (1988) (13)
Counterfactuals without possible worlds (1981) (13)
Logics of Truth (1990) (11)
Two Issues in the Foundations of Semantic Theory (1989) (11)
Three theories of nominalized predicates (1985) (11)
Constructive Z (1997) (10)
Type inference for set theory (2001) (10)
A Formal Approach to Translating English into SQL (1991) (10)
The YPA - An Assistant for Classified Directory Enquiries (2000) (10)
An Introduction to the Formal Specification of Relational Query Languages (1985) (9)
Semantics and Stratification (2005) (8)
Nominalization and Scott's domains. II (1985) (8)
TOWARDS A PROGRAMMING LANGUAGE ONTOLOGY (2005) (8)
Natural language access to Yellow Pages (1999) (7)
The Philosophy of Computer Science: Introduction to the Special Issue (2007) (7)
TOWARDS AN ONTOLOGY OF SOFTWARE DESIGN : THE INTENSION /L OCALITY HYPOTHESIS (2005) (7)
Evaluating a Natural Language Dialogue System: Results and Experiences (2000) (6)
Natural Language Engineering: Slot-Filling in the YPA (1999) (6)
Compiler generation and denotational semantics (1979) (6)
Lazy Theories of Operations and Types (1993) (5)
Weak Theories of Operations and Types (1996) (4)
Completion semantics and interpreter generation (1982) (4)
Properties, Types, and Meaning, Volume 1 (1989) (4)
Chapter 9 – Types (1997) (3)
In Defence of Axiomatic Semantics (2012) (3)
Software System Methodology (2018) (3)
An Algebraic Theory of Formal Languages (1975) (3)
Towards a Philosophy of Computer Science (2018) (3)
Reading Between the Lines in Constructive Type Theory (1997) (3)
Computational Abstraction (2021) (2)
Programming Languages as Mathematical Theories (2010) (2)
Sets, Types and Type-checking (1999) (2)
Logical foundations of nonmonotonic reasoning (1991) (1)
CSM-419 Towards an ontology of software design: the Intension / Locality Hypothesis (2005) (1)
Correctness, Explanation and Intention (2019) (1)
Computational Intention (2020) (1)
Computability in Specification (2006) (1)
Computational Artifacts: the Things of Computer Science (2020) (1)
Classes of Functions (2009) (1)
Programming Language Specification (2009) (1)
A BRIEF INTRODUCTION TO TYPED PREDICATE LOGIC (2010) (0)
A semantic method (2011) (0)
The Ontology of Programs (2018) (0)
From Grammar to Meaning: Logic and Linguistics: A Marriage of Inconvenience (2013) (0)
CSM-396 - The Foundations of Specification I (2004) (0)
Typed Set Theory (2009) (0)
Semantics and Implementation (2018) (0)
The Simple Mapping Account (2018) (0)
A Type of Types (2009) (0)
Montague's Intensional Logic and the Theory of Types (1982) (0)
T OWARDS AN ONTOLOGY OF SOFTWARE DESIGN : T (2007) (0)
Rule Following and Correctness (2018) (0)
SPECIFICATION and THEORY CONSTRUCTION in COMPUTER SCIENCE (2009) (0)
The Design of Programming Languages (2018) (0)
Varieties of Correctness (2018) (0)
Logic Machines as Technical Artifacts (2018) (0)
Types and Correctness (2018) (0)
Computational Artifacts: the Things of Computer Science (2019) (0)
Semantics and Design (2018) (0)
Typed Predicate Logic (2009) (0)
A constructive theory of counterfactuality and other modalities (1981) (0)
Hob, Nob, Bob, Cob and Situation Semantics (2020) (0)
The Languages of Computer Science (2018) (0)
What is a Computable Model (2009) (0)
Programming Languages as Technical Artifacts (2013) (0)
Intention and Correctness (2018) (0)
Software Systems as Technical Artifacts (2018) (0)
The Philosophy of Design (2018) (0)
CSM-397 - The Foundations of Specification II (2004) (0)

This paper list is powered by the following services:

Other Resources About Ray Turner

en.wikipedia.org

What Schools Are Affiliated With Ray Turner ?

Ray Turner is affiliated with the following schools: