White, Graham

Interpretation of published papers

Code, Nr	Citation
1	`mailto://graham@dcs.qmw.ac.uk` Graham White Graham White graham@dcs.qmw.ac.uk , Department of Computer Science , Queen Mary and Westfield College , University of London. Tel. (0171) 975 5231 Research Category Theory Applications of category theory to problems in the area of artificial intelligence, particularly those to do with temporal and spatial reasoning; I used to work on Project Dynamo. Linear Logic I use the linear logic programming language Lygon to implement solutions to the Frame Problem. See my technical report on Lygon and the situation calculus: PostScript, and the report on Golog and linear logic: PostScript , dvi , pdf . I am also trying to give a proper philosophical account of the semantics of linear logic reasoning about action; see the section on philosophy. Philosophy I seem to be doing a lot of work on the concept of simulation at the moment: see the paper on mental simulation ( PostScript , pdf , dvi ). This will appear in The Monist special issue on philosophy and computer science (Volume 82, January 1999).
2	`http://www.dcs.qmw.ac.uk/conferences/CS98/` I gave a paper on simulation at Common Sense 98 ; here are the PostScript , pdf and dvi , and the PostScript , pdf and dvi for the slides (which include material not in the paper). See also the continuing on-line discussions of the conference papers.
3	`http://www.ep.liu.se/ea/cis/1998/011` The work on simulation has led to a more elaborate account of the logic, which I have submitted to Electronic Transactions in Artificial Intelligence . Here are the dvi and the PostScript . See also the on-line discussion . This paper relies on a good deal of theoretical work, which I have written up in QMW Technical Report 749; here are the dvi and the PostScript . I have submitted a paper on David Lewis' semantics of counterfactuals to Dialectica. In this paper I argue that Lewis' account runs into unexpected difficulties when we try to apply it to dynamical systems: we cannot define Lewis' semantics if the possible worlds are temporal evolutions of a non-integrable system. Dvi , pdf , PostScript . The historical roots of type-theoretic styles of mathematical reasoning -- in particular, the work of Lesniewski and others; Fourteenth century philosophy. Papers "Simulation and Ramification", submitted to Electronic Transations on Artificial Intelligence : dvi , PostScript , pdf .
4	`ftp://ftp.dcs.qmw.ac.uk/pub/applied_logic/graham/ramMod.dvi` "Actions, Ramification, and Linear Modalities", QMW Technical Report 749: dvi , PostScript , pdf ,
5	`ftp://ftp.dcs.qmw.ac.uk/pub/applied_logic/graham/lewis.dvi` "Lewis, Possible Worlds, and Non-Integrability", February 1998, submitted to Dialectica : dvi , pdf , PostScript .
6	`ftp://ftp.dcs.qmw.ac.uk/applied_logic/graham/simTh.ps` "Simulation, Theory and Cut Elimination", February 1998; submitted to The Monist special issue on the philosophy of computer science. PostScript , pdf , dvi .
7	`ftp://ftp.dcs.qmw.ac.uk/applied_logic/graham/simulation.ps` "Balls and String: Simulation and Theories", November 1977, given at Common Sense 98. PostScript , pdf , dvi . See also the slides ( PostScript , pdf , dvi ) for the talk; these describe stuff on ramification and Girard's fixpoint theorem which isn't in the submitted paper.
8	`ftp://ftp.dcs.qmw.ac.uk/applied_logic/graham/golog.ps` "Golog and Linear Logic", QMW Department of Computer Science Technical Report, December 1997. PostScript , pdf , dvi .
9	`ftp://ftp.dcs.qmw.ac.uk/applied_logic/graham/linmet.ps` "A Linear Meta-Interpreter for the Situation Calculus", September 1997; submitted to the Journal of Logic and Computation. PostScript , dvi .
10	`ftp://ftp.dcs.qmw.ac.uk/applied_logic/graham/metadesign.ps` "The Design of a Situation-Based Lygon Metainterpreter: I. Simple Changes and Persistence", QMW Department of Computer Science Technical Report no. 729, 1996. PostScript . Joint Papers (with John Bell and Wilfrid Hodges) "Building Models of Prediction Theories", December 1977. PostScript , dvi .
11	`http://www.kr.org/kr/kr98/` (with John Bell and Wilfrid Hodges) "Building Models of Prediction Theories" December 1977; Extended Abstract accepted for KR98 . PostScript , dvi . Non-Academic Stuff I like all sorts of music; classical, jazz, blues, that sort of thing. I also cook a great deal (French and Indian, by choice), and I go to a lot of films (surprisingly many, in fact, when I think of how many I go to). Acknowledgements Pdfs of my papers were done with Tom Kiffe's Mac port of Han The Tanh's pdftex .
12	`http://uk.nedstat.net/viewstat.asp?name=GrahamWhiteVisitors`