Raymond Turner

Publication Activity (10 Years)

Years Active: 1975-2021
Publications (10 Years): 2

Top Topics

Cost Based Abduction

Causal Explanation

Counter Intuitive

Top Venues

Publications

Raymond Turner
Computational Abstraction. Entropy 23 (2) (2021)
Raymond Turner
Correctness, Explanation and Intention. CiE (2019)
Raymond Turner
Specification. Minds Mach. 21 (2) (2011)
Raymond Turner, Amnon H. Eden
The Philosophy of Computer Science. J. Appl. Log. 6 (4) (2008)
Raymond Turner
Computable Models. J. Log. Comput. 18 (2) (2008)
Raymond Turner
Understanding Programming Languages. Minds Mach. 17 (2) (2007)
Raymond Turner, Amnon H. Eden
The Philosophy of Computer Science: Introduction to the Special Issue. Minds Mach. 17 (2) (2007)
Amnon H. Eden, Raymond Turner
Problems in the ontology of computer programs. Appl. Ontology 2 (1) (2007)
Raymond Turner
Computability in Specification. J. Log. Comput. 16 (6) (2006)
Raymond Turner
The Foundations of Specification. J. Log. Comput. 15 (5) (2005)
Raymond Turner
Semantics and Stratification. J. Log. Comput. 15 (2) (2005)
Raymond Turner
Type inference for set theory. Theor. Comput. Sci. 266 (1-2) (2001)
Udo Kruschwitz, Anne N. De Roeck, Paul Scott, Sam Steel, Raymond Turner, Nick Webb
Extracting Semistructured Data - Lessons Learnt. Natural Language Processing (2000)
Anne N. De Roeck, Udo Kruschwitz, Paul Scott, Sam Steel, Raymond Turner, Nick Webb
The YPA - An Assistant for Classified Directory Enquiries. Intelligent Systems and Soft Computing (2000)
Udo Kruschwitz, Anne N. De Roeck, Paul Scott, Sam Steel, Raymond Turner, Nick Webb
Natural language access to Yellow Pages. KES (1999)
Raymond Turner
Sets, Types and Type-checking. J. Log. Comput. 9 (6) (1999)
Seyed-Hassan Mirian-Hosseinabadi, Raymond Turner
Constructive Z. J. Log. Comput. 8 (1) (1998)
Raymond Turner
Reading Between the Lines in Constructive Type Theory. J. Log. Comput. 7 (2) (1997)
Raymond Turner
Weak Theories of Operations and Types. J. Log. Comput. 6 (1) (1996)
Raymond Turner
Lazy Theories of Operations and Types. J. Log. Comput. 3 (1) (1993)
Anne N. De Roeck, Richard Ball, Keith Brown, Chris Fox, Marjolein Groefsema, Nadim Obeid, Raymond Turner
Helpful Answers To Modal And Hypothetical Questions. EACL (1991)
Barry G. T. Lowden, B. Walls, Anne N. De Roeck, Chris Fox, Raymond Turner
A Formal Approach to Translating English into SQL. BNCOD (1991)
Nadim Obeid, Raymond Turner
Logical foundations of nonmonotonic reasoning. Artif. Intell. Rev. 5 (1-2) (1991)
Raymond Turner
Logics of Truth. Notre Dame J. Formal Log. 31 (2) (1990)
Martin C. Henson, Raymond Turner
A Constructive Set Theory for Program Development. FSTTCS (1988)
Raymond Turner, Barry G. T. Lowden
An Introduction to the Formal Specification of Relational Query Languages. Comput. J. 28 (2) (1985)
Raymond Turner
Nominalization and Scott's domains. II. Notre Dame J. Formal Log. 26 (4) (1985)
Raymond Turner
Three theories of nominalized predicates. Stud Logica 44 (2) (1985)
Martin C. Henson, Raymond Turner
Completion Semantics, Interpreter Generation. POPL (1982)
Raymond Turner
Counterfactuals without possible worlds. J. Philos. Log. 10 (4) (1981)
Martin R. Raskovsky, Raymond Turner
Compiler generation and denotational semantics. FCT (1979)
Raymond Turner
An Algebraic Theory of Formal Languages. MFCS (1975)