36 found
Order:
See also
Graham White
Queen Mary University of London
  1. The Philosophy of Programming Languages.G. Graham White - 2004 - In L. Floridi (ed.), The Blackwell Guide to the Philosophy of Computing and Information. Blackwell. pp. 237--247.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark   4 citations  
  2.  36
    Book Reviews. [REVIEW]Jack S. Boozer, Gerhard Böwering, Stephen N. Dunning, Richard E. Palmer, Haim Gordon, J. Kellenberger, Jerald Wallulis, G. Graham White, Thomas O. Buford, C. Stephan Evans & M. Jamie Ferreira - 1988 - International Journal for Philosophy of Religion 23 (1):43-63.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  3. Communication Spaces.Patrick G. T. Healey, G. Graham White, Arash Eshgi, Ahmad J. Reeves & Ann Light - 2008 - Computer Supported Cooperative Work 17:169--193.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  4.  12
    Modern European Philosophy.Jenny Teichman & G. Graham White (eds.) - 1994 - Macmillan.
    Direct download  
     
    Export citation  
     
    Bookmark  
  5. A Linear Meta-Interpreter for the Situation Calculus.G. Graham White - 1997
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  6.  6
    A Linear Meta-Interpreter for Reasoning About States and Actions.G. Graham White - 2001 - Logic Journal of the IGPL 9 (5):669--715.
    This paper describes an application of linear logic programming to the frame problem. This treatment has both practical and conceptual advantages over standard treatments: it is computationally efficient, and this efficiency arises because linear logic respects the identity, or otherwise, of situations.
    Direct download  
     
    Export citation  
     
    Bookmark  
  7. Actions, Ramification and Linear Modalities.G. Graham White - 1998 - Linköping Electronic Articles in Computer and Information Science 3 (11).
    Translate
     
     
    Export citation  
     
    Bookmark  
  8. Balls and String.G. Graham White - 1998
    Translate
     
     
    Export citation  
     
    Bookmark  
  9. Building Models of Prediction Theories.G. Graham White, John Bell & Wilfrid Hodges - 1997
    Translate
     
     
    Export citation  
     
    Bookmark  
  10. Causality Before Hume.G. Graham White (ed.) - 1996
    Translate
     
     
    Export citation  
     
    Bookmark  
  11. Contexts for Human Action.G. Graham White - 2008 - In Erol Gelenbe, Samson Abramsky & Vladimiro Sassone (eds.), Visions of Computer Science. British Computer Society. pp. 51--60.
    Translate
     
     
    Export citation  
     
    Bookmark  
  12. Computer Science and the Ideology of Artificial Intelligence.G. Graham White - 1994 - In Andrzey Bronk (ed.), Tendencies and Problems in Contemporary Philosophy.
  13. Category Theory and the Representation of Geometrical Information.G. Graham White - 1994 - In F. D. Anger & R. V. Rodriguez (eds.), Spatial and Temporal Reasoning. Aaai.
    Translate
     
     
    Export citation  
     
    Bookmark  
  14. Davidson and Reiter: I. Equational Reasoning.G. Graham White - unknown
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  15. Davidson and Reiter: II. Category Theory.G. Graham White - unknown
    Translate
     
     
    Export citation  
     
    Bookmark  
  16. Davidson and Reiter on Actions.G. Graham White - 2008 - Fundamenta Informaticae 84 (2):259--289.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  17. Duns Scotus.G. Graham White - 1996 - In T. Mautner (ed.), The Penguin Dictionary of Philosophy. Penguin Books.
    Translate
     
     
    Export citation  
     
    Bookmark  
  18. Does the Situation Calculus Have a Semantics?G. Graham White - unknown
    Translate
     
     
    Export citation  
     
    Bookmark  
  19. Husserl.G. Graham White - 1994 - In Jenny Teichman & G. Graham White (eds.), Modern European Philosophy. Macmillan.
    Translate
     
     
    Export citation  
     
    Bookmark  
  20. Henry of Ghent.G. Graham White - 1996 - In T. Mautner (ed.), The Penguin Dictionary of Philosophy. Penguin Books.
    Translate
     
     
    Export citation  
     
    Bookmark  
  21. John Buridan.G. Graham White - 1996 - In T. Mautner (ed.), The Penguin Dictionary of Philosophy. Penguin Books.
    Translate
     
     
    Export citation  
     
    Bookmark  
  22. Luther as Nominalist.G. Graham White - 1994 - Luther Agricola Society.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  23. Leśniewski on Definitions.G. Graham White - 1995 - Kontroversen 7:17--27.
    Translate
     
     
    Export citation  
     
    Bookmark  
  24. Luther on the Limits of Human Activity: Dinner-Parties and Suicide.G. Graham White - 1984 - Neue Zeitschrift für Systematicsche Theologie Und Religionsphilosophie 26:54--70.
    Translate
     
     
    Export citation  
     
    Bookmark  
  25. Lewis, Possible Worlds, and Non-Integrability.G. Graham White - 1998
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  26. Luther's Views on Language.G. Graham White - 1989 - Journal of Literature and Theology 3:188--218.
    Translate
     
     
    Export citation  
     
    Bookmark  
  27. Medieval Theories of Causality.G. Graham White - 2009 - In The Stanford Encyclopaedia of Philosophy. Stanford.
    Translate
     
     
    Export citation  
     
    Bookmark  
  28. Nicholas of Autrecourt.G. Graham White - 1996 - In T. Mautner (ed.), The Penguin Dictionary of Philosophy. Penguin Books.
    Translate
     
     
    Export citation  
     
    Bookmark  
  29. Ockham and Wittgenstein.G. Graham White - 1990 - In W. Vossenkuhl & R. Schönberger (eds.), Die Gegenwart Ockhams. pp. 165--188.
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  30.  13
    Ockham's Real Distinction Between Form and Matter.G. Graham White - 1984 - Franciscan Studies 44 (1):211-225.
  31.  5
    On Scholarship: A Response to Stefik, Foster, and D'Iorio and Berbera.G. Graham White - 2011 - In Thomas Bartscherer (ed.), Switching Codes. Chicago University Press. pp. 95.
    Direct download  
     
    Export citation  
     
    Bookmark  
  32. Pelagianisms.G. Graham White - 1989 - Viator 20:188--218.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  33. Reflections on the Present Conflict.G. Graham White - 1994 - In Jenny Teichman & G. Graham White (eds.), Modern European Philosophy. Macmillan.
    Translate
     
     
    Export citation  
     
    Bookmark  
  34. Simulation, Ramification, and Linear Logic.G. Graham White - 1998 - Linköping Electronic Articles in Computer and Information Science 3 (12).
    Translate
     
     
    Export citation  
     
    Bookmark  
  35.  82
    Simulation, Theory, and Cut Elimination.G. Graham White - 1999 - The Monist 82 (1):165--184.
    This paper is concerned. with the contrast between simulation- and deduction-based approaches to reasoning about physical objects. We show that linear logic can give a unified account of both simulation and deduction concerning physical objects; it also allows us to draw a principled distinction between simulation and deduction, since simulations correspond to cut-free proofs, whereas deductions correspond to proofs in general.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  36. The Stanford Encyclopaedia of Philosophy.G. Graham White - 2009 - Stanford.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark