• Publications
  • Influence
Specification
  • R. Turner
  • Computer Science
  • Minds and Machines
  • 2011
TLDR
The specification and implementation of computational artefacts occurs throughout the discipline of computer science. Expand
Semantics and property theory
TLDR
We develop a theory of properties, relations and propositions which will support, in a strong sense, the semantics of natural language. Expand
The Philosophy of Computer Science
TLDR
The Philosophy of Computer Science is concerned with those philo-sophical issues that surround and underpin the academic discipline of computer science. Expand
Problems in the ontology of computer programs
TLDR
We take inventory of programs and related objects and conclude that the notions of abstraction and concretization take a central role in this investigation. Expand
Truth and Modality for Knowledge Representation
Over the past decade there has been a spurt of activity in the logic community around the development of logics of truth and modality. At the same time the literature in artificial intelligence hasExpand
Computable Models
  • R. Turner
  • Computer Science
  • J. Log. Comput.
  • 10 March 2009
TLDR
We investigate mathematical modelling with theories of data types and use it to introduce the notion of a computational model. Expand
Logics in Artificial Intelligence
TLDR
When I received a copy of this book for review I was delighted. Expand
Properties, types and meaning
Type-Shifting Rules and the Semantics of Interrogatives.- On the Semantic Content of the Notion of `Thematic Role'.- Structured Meanings, Thematic Roles and Control.- On the Semantic Composition ofExpand
...
1
2
3
4
5
...