Menu
 
Research menu
Jump to menu

Publications:  Dr George White

White G (2017) . Dynamic Syntax and Proof Theory.Theoretical Linguistics vol. 43, (1-2) 135-140.
10.1515/tl-2017-0011
White G (2015) . Hardware, Software, Humans: Truth, Fiction and Abstraction.HISTORY AND PHILOSOPHY OF LOGIC vol. 36, (3) 278-301.
10.1080/01445340.2015.1059992
http://qmro.qmul.ac.uk/xmlui/handle/123456789/11717
Narasimhan KP, White G (2014) . Agent clusters: The usual vs. the unusual. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). vol. 8473 LNAI, 244-255.
10.1007/978-3-319-07551-8_21
Narasimhan KP, White G (2014) . Look, who's talking: Simulations of agent clusters. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). vol. 8473 LNAI, 375-378.
10.1007/978-3-319-07551-8_42
White G (2014) . Observer relativity, physical properties and computation. AISB 2014 - 50th Annual Convention of the AISB.
White GG (2014) . Pluralism ignored: The Church-Turing thesis and philosophical practice. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). vol. 8493 LNCS, 373-382.
10.1007/978-3-319-08019-2_39
White G (2014) . The elusive low level. AISB 2014 - 50th Annual Convention of the AISB.
Preethi Narasimhan K, White G (2013) . An agent-based analyses of f-formations.Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) vol. 7879 LNAI, 239-250.
10.1007/978-3-642-38073-0-21
White G (2013) . Notions of information: Remarks on Fresco's paper.Philosophy and Technology vol. 26, (1) 61-65.
10.1007/s13347-012-0073-8
White G (2011) . Bootstrapping Normativity.Philosophy and Technology vol. 24, (1) 35-53.
10.1007/s13347-010-0005-4
White GG (2011) . Descartes among the Robots: Computer Science and the Inner/Outer Distinction.Minds and Machines vol. 21, (2) 179-202.
10.1007/s11023-011-9232-4
Kempson R, Gregoromichelaki E, Meyer-Viol W et al. (2011) . Natural-language Syntax as Procedures for Interpretation: the Dynamics of Ellipsis Construal. Editors: Lecomte, A, Tron c con, S, 114-133.
10.1007/978-3-642-19211-1_7
White GG (2009) . On Scholarship: A Response to Stefik, Foster, and D’Iorio and Berbera.Switching Codes, Editors: Bartscherer, T, Chicago University Press
White GG (2008) . Causality, Modality and Explanation.Notre Dame Journal of Formal Logic vol. 49, Article 3, 313-343.
10.1215/00294527-2008-015
White GG (2008) . Contexts for Human Action. Editors: Gelenbe, E, Abramsky, S, Sassone, V, Conference: BCS International Aca demic Conference 2008 – Visions of Computer Science51-59.
White GG (2008) . Davidson and Reiter on Actions.Fundamenta Informaticae vol. 84, Article 2, 259-289.
White G (2008) . Davidson and Reiter on actions. FUNDAMENTA INFORMATICAE. vol. 84, 259-289.
HEALEY PGT, White G, Eshghi A et al. (2007) . Communication Spaces.Computer Supported Cooperative Work (CSCW) vol. 17, (2-3) 169-193.
10.1007/s10606-007-9061-4
White GG (2005) . Reasoning about Action: Ray Reiter meets Fibred Categories. report no. RR-05-12,
White GG (2004) . Essay Review of D.M. Gabbay and F. Guenther (eds), Handbook of Philosophical Logic, 2nd edn, vol 9, Dordrecht, Boston, London: Kluwer 2002.History and Philosophy of Logic vol. 25, (2) 147-152.
10.1080/01445340310001636964
WHITE GG (2004) . The Philosophy of Programming Languages.Blackwell Guide to the Philosophy of Computing and Information, ?
WHITE GG (2003) . A Generalisation of Parsons and Jennings' Theory of Argument". Conference: Computational Models of Natural-Language Argument (CMNA'03), 2003
White GG (2003) . Interpolation for McCain-Turner Causal Theories. Proceedings of NRAC’03.
WHITE GG (2003) . Interpolation for McCain-Turner, Causal Theories Reasoning. Conference: Proceedings of Workshop on Nonmonotonic Reasoning, Action, and Change (NRAC'03), 2003
White G (2002) . A modal formulation of McCain and Turner's theory of causal reasoning. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). vol. 2424 LNAI, 211-222.
10.1007/3-540-45757-7-18
White G (2002) . A modal formulation of McCain and Turner's theory of causal reasoning. LOGICS IN ARTIFICIAL INTELLIGENCE 8TH. Editors: Flesca, S, Greco, S, Leone, N, Ianni, G et al., vol. 2424, 211-222.
10.1007/3-540-45757-7_18
White G (2002) . Handbook of logic in computer science, vol. 5, Logic and algebraic methods.HIST PHILOS LOGIC vol. 23, (2) 135-137.
WHITE GG (2002) . Intentionality and Circumscription. Conference: Proceedings of the 9th International Conference on Non-Monotonic Reasoning (NMR2002)
WHITE GG (2002) . Medival Theories of Causality. Notes: The Stanford Encyclopaedia of Philosophy,
WHITE GG (2001) . A Linear Meta-Interpreter for Reasoning about States and Actions.Logic Journal of the IGPL vol. 9, (5) 669-715.
White GG (2000) . Lewis, Causality, and Possible Worlds.Dialectica vol. 54, Article 2, 133–137-133–137.
10.1111/j.1746-8361.2000.tb00197.x
White GG (1999) . Simulation, Theory, and Cut Elimination.The Monist vol. 82, Article 1, 165–184-165–184.
White GG (1998) . Lewis, Possible Worlds, and Non-Integrability. Notes: Submitted to the American Philosophical Association Eastern Division meeting, December 1998 note1: Available from ftp://ftp.dcs.qmw.ac.uk/pub/applied_logic/graham/lewis.ps,
White GG (1998) . Actions, Ramification and Linear Modalities.Linköping Electronic Articles in Computer and Information Science vol. 3, Article 11,
White GG (1998) . Balls and String. Notes: Slides for the talk at Common Sense 98: available from ftp://ftp.dcs.qmw.ac.uk/pub/applied_logic/graham/simSlides.ps,
White GG, Bell J, Hodges W (1998) . Building Models of Prediction Theories. Notes: Extended Abstract submitted to KR98 note1: Available from ftp://ftp.dcs.qmw.ac.uk/pub/applied_logic/graham/buimpt.ps,
White GG (1998) . Golog and Linear Logic Programming. report no. 741,
White GG (1998) . Simulation, Ramification, and Linear Logic.Linköping Electronic Articles in Computer and Information Science vol. 3, Article 12,
White GG (1997) . A Linear Meta-Interpreter for the Situation Calculus. Notes: available from ftp://ftp.dcs.qmw.ac.uk/pub/applied_logic/graham/linmet.ps,
White GG (1997) . Balls and String: Simulations and Theories. Notes: Paper presented at Common Sense 98; available from ftp://ftp.dcs.qmw.ac.uk/pub/applied_logic/graham/simulation.ps,
White GG, Bell J, Hodges W (1997) . Building Models of Prediction Theories. Notes: Working paper note1: Available from ftp://ftp.dcs.qmw.ac.uk/pub/applied_logic/graham/bmpt.ps,
White GG (1996) . Duns Scotus.The Penguin Dictionary of Philosophy, Editors: Mautner, T, Penguin (Harmondsworth),
White GG (1996) . Henry of Ghent.The Penguin Dictionary of Philosophy, Editors: Mautner, T, Penguin (Harmondsworth),
White GG (1996) . John Buridan.The Penguin Dictionary of Philosophy, Editors: Mautner, T, Penguin (Harmondsworth),
White GG (1996) . Nicholas of Autrecourt.The Penguin Dictionary of Philosophy, Editors: Mautner, T, Penguin (Harmondsworth),
White GG (1996) . The Design of a Situation-Based Lygon Metainterpreter: I. Simple Changes and Persistence. report no. 729,
White GG (1995) . Le´sniewski on Definitions.Kontroversen vol. 7, 17–27-17–27.
White GG (1994) . The Bounds of Axiomatisation. Topological Foundations of Cognitive Science: Papers from the Workshop at the First International Summer Institute in Cognitive Science. Editors: Eschenbach, C, Habel, C, Smith, B,
White GG (1994) . Category Theory and the Representation of Geometrical Information.Spatial and Temporal Reasoning, Editors: Anger, FD, Rodriguez, RV, AAAI
White GG (1994) . Computer Science and the Ideology of Artificial Intelligence.Tendencies and Problems in Contemporary Philosophy, Editors: Bronk, A,
White GG (1994) . Heidegger.Modern European Philosophy, Editors: Teichman, J, White, G,
White GG (1994) . Husserl.Modern European Philosophy, Editors: Teichman, J, White, G,
White GG (1994) . Luther as Nominalist.Luther Agricola Society (Helsinki),
White GG (1994) . Reflections on the Present Conflict.Modern European Philosophy, Editors: Teichman, J, White, G,
White GG (1993) . Are We Finite?.Notre Dame Journal of Formal Logic vol. 34, 311–333-311–333.
White GG (1993) . Category Theory versus Foundations. Philosophy and the Cognitive Sciences. 583–588-583–588.
White GG (1990) . Ockham and Wittgenstein.Die Gegenwart Ockhams, Editors: Vossenkuhl, W, Schönberger, R,
White GG (1989) . Luther’s Views on Language.Journal of Literature and Theology vol. 3, 188–218-188–218.
White GG (1989) . Pelagianisms.Viator vol. 20, 188–218-188–218.
White GG (1987) . Ockham and Hume’s Question. Knowledge and the Sciences in Medieval Philosophy.
White GG (1987) . Theology and Logic: The Case of Ebeling.Modern Theology vol. 3, 211–225-211–225.
White GG (1984) . Karl Barth’s Theological Realism.Neue Zeitschrift für systematicsche Theologie und Religionsphilosophie vol. 26, 54–70-54–70.
White GG (1984) . Luther on the Limits of Human Activity: Dinner-Parties and Suicide.Neue Zeitschrift für systematicsche Theologie und Religionsphilosophie vol. 26, 54–70-54–70.
White GG (1984) . Ockham’s Real Distinction between Form and Matter.Franciscan Studies vol. 44,
White GG. Davidson and Reiter: I. Equational Reasoning. Notes: To appear as a technical report.,
White GG. Davidson and Reiter: II. Category Theory. Notes: To appear as a technical report.,
White GG. Does the Situation Calculus Have a Semantics?. Notes: Available at ftp://ftp.dcs.qmw.ac.uk/pub/applied_logic/graham/NoSitSemJAIR.pdf,
WHITE GG. Semantics, Hermeneutics, Statistics: Some Reflections on the Semantic Web. Proceedings of the 25th BCS Conference on Human-Computer Interaction. Conference: HCI2011 25th BCS Conference on Human-Computer Interaction (Newcastle upon Tyne, UK) from: 04/07/2011 to: 08/07/2011, 24-28.
WHITE GG. The Frame Problem and the Semantics of Classical Proofs. EPiC volume 10. Conference: The Turing Centenary Conference (Manchester) from: 22/06/2012 to: 25/06/2012, 415-429.
Return to top