37 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.  79
    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  
  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.  32
    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  
  5.  12
    Ockham's Real Distinction Between Form and Matter.G. Graham White - 1984 - Franciscan Studies 44 (1):211-225.
  6.  11
    Theology and Logic: The Case of Ebeling.G. Graham White - 1987 - Modern Theology 3 (1):211--225.
    We examine Gerhard Ebeling's arguments against the use of logic in theology and find them unconvincing, mainly because Ebeling knows very little about logic as practiced.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  7.  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  
  8.  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  
  9.  12
    Modern European Philosophy.Jenny Teichman & G. Graham White (eds.) - 1994 - Macmillan.
    Direct download  
     
    Export citation  
     
    Bookmark  
  10. A Linear Meta-Interpreter for the Situation Calculus.G. Graham White - manuscript
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  11. Actions, Ramification and Linear Modalities.G. Graham White - 1998 - Linköping Electronic Articles in Computer and Information Science 3 (11).
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  12. Balls and String.G. Graham White - manuscript
    Translate
     
     
    Export citation  
     
    Bookmark  
  13. Building Models of Prediction Theories.G. Graham White, John Bell & Wilfrid Hodges - manuscript
    Translate
     
     
    Export citation  
     
    Bookmark  
  14. Causality Before Hume.G. Graham White (ed.) - 1996
    Translate
     
     
    Export citation  
     
    Bookmark  
  15. 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  
  16. Computer Science and the Ideology of Artificial Intelligence.G. Graham White - 1994 - In Andrzey Bronk (ed.), Tendencies and Problems in Contemporary Philosophy.
  17. 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  
  18. Davidson and Reiter: I. Equational Reasoning.G. Graham White - manuscript
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  19. Davidson and Reiter: II. Category Theory.G. Graham White - manuscript
    Translate
     
     
    Export citation  
     
    Bookmark  
  20. Davidson and Reiter on Actions.G. Graham White - 2008 - Fundamenta Informaticae 84 (2):259--289.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  21. Duns Scotus.G. Graham White - 1996 - In T. Mautner (ed.), The Penguin Dictionary of Philosophy. Penguin Books.
    Translate
     
     
    Export citation  
     
    Bookmark  
  22. Does the Situation Calculus Have a Semantics?G. Graham White - manuscript
    Translate
     
     
    Export citation  
     
    Bookmark  
  23. Husserl.G. Graham White - 1994 - In Jenny Teichman & G. Graham White (eds.), Modern European Philosophy. Macmillan.
    Translate
     
     
    Export citation  
     
    Bookmark  
  24. Henry of Ghent.G. Graham White - 1996 - In T. Mautner (ed.), The Penguin Dictionary of Philosophy. Penguin Books.
    Translate
     
     
    Export citation  
     
    Bookmark  
  25. John Buridan.G. Graham White - 1996 - In T. Mautner (ed.), The Penguin Dictionary of Philosophy. Penguin Books.
    Translate
     
     
    Export citation  
     
    Bookmark  
  26. Luther as Nominalist.G. Graham White - 1994 - Luther Agricola Society.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  27. Leśniewski on Definitions.G. Graham White - 1995 - Kontroversen 7:17--27.
    Translate
     
     
    Export citation  
     
    Bookmark  
  28. 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  
  29. Lewis, Possible Worlds, and Non-Integrability.G. Graham White - manuscript
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  30. Luther's Views on Language.G. Graham White - 1989 - Journal of Literature and Theology 3:188--218.
    Translate
     
     
    Export citation  
     
    Bookmark  
  31. Medieval Theories of Causality.G. Graham White - 2009 - In The Stanford Encyclopaedia of Philosophy. Stanford.
    Translate
     
     
    Export citation  
     
    Bookmark  
  32. Nicholas of Autrecourt.G. Graham White - 1996 - In T. Mautner (ed.), The Penguin Dictionary of Philosophy. Penguin Books.
    Translate
     
     
    Export citation  
     
    Bookmark  
  33. Ockham and Wittgenstein.G. Graham White - 1990 - In W. Vossenkuhl & R. Schönberger (eds.), Die Gegenwart Ockhams. pp. 165--188.
    Translate
     
     
    Export citation  
     
    Bookmark  
  34. Pelagianisms.G. Graham White - 1989 - Viator 20:188--218.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  35. Reflections on the Present Conflict.G. Graham White - 1994 - In Jenny Teichman & G. Graham White (eds.), Modern European Philosophy. Macmillan.
    Translate
     
     
    Export citation  
     
    Bookmark  
  36. Simulation, Ramification, and Linear Logic.G. Graham White - 1998 - Linköping Electronic Articles in Computer and Information Science 3 (12).
    Translate
     
     
    Export citation  
     
    Bookmark  
  37. The Stanford Encyclopaedia of Philosophy.G. Graham White - 2009 - Stanford.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark