Logic for artificial intelligence RW Turner Prentice Hall PTR, 1984 | 490 | 1984 |
Semantics and property theory G Chierchia, R Turner Linguistics and philosophy, 261-302, 1988 | 424 | 1988 |
Philosophy of computer science R Turner, AH Eden Stanford University, 2008 | 220* | 2008 |
A theory of properties R Turner The Journal of Symbolic Logic 52 (2), 455-472, 1987 | 147 | 1987 |
Truth and modality for knowledge representation R Turner Pitman, 1990 | 145 | 1990 |
Properties, Types and Meaning: Volume II: Semantic Issues G Chierchia, BBH Partee, R Turner Springer Science & Business Media, 2012 | 132 | 2012 |
Turner, R. R Turner Minds and Machines 21 (2), 135-152, 2011 | 71* | 2011 |
Constructive foundations for functional languages R Turner McGraw-Hill, 1991 | 69 | 1991 |
Problems in the ontology of computer programs AH Eden, R Turner Applied Ontology 2 (1), 13-36, 2007 | 61 | 2007 |
Computational linguistics and formal semantics M Rosner, R Johnson Cambridge University Press, 1992 | 56 | 1992 |
Properties, propositions and semantic theory R Turner Computational Linguistics and Formal Semantics, Studies in Natural Language …, 1992 | 56 | 1992 |
Montague semantics, nominalization and Scott's domains R Turner Linguistics and Philosophy, 259-288, 1983 | 49 | 1983 |
Programming languages as technical artifacts R Turner Philosophy & technology 27, 377-397, 2014 | 45 | 2014 |
YPA—an intelligent directory enquiry assistant A De Roeck, U Kruschwitz, P Neal, P Scott, S Steel, R Turner, N Webb BT Technology Journal 16 (3), 145-154, 1998 | 37 | 1998 |
The foundations of specification R Turner J. Log. Comput. 15 (5), 623-662, 2005 | 34 | 2005 |
Computable models R Turner Springer, 2009 | 31 | 2009 |
Understanding programming languages R Turner Minds and Machines 17, 203-216, 2007 | 30 | 2007 |
Types R Turner Handbook of logic and language, 535-586, 1997 | 29 | 1997 |
Towards a programming language ontology R Turner, AH Eden na, 2007 | 24 | 2007 |
Counterfactuals without possible worlds R Turner Journal of Philosophical Logic, 453-493, 1981 | 24 | 1981 |