Graham Wrightson

Phone: +61 49 21 6034       Fax: +61 49 21 6929

• Education
• Research Interests
• Recent Research Projects
• Publications
• Graduate Students
• Course Information
• Other Links

Education

Research Interests

Money: Formal Representations (with Andreas Furche)

My main interest in the area is formal syntax and semantics of money, including formal representation of risk. The longer term aim is to apply this to negotiations for agents.

Money: Simulations (with Max Scheidt, Univ.Karlsruhe,Germany)

The aim is to implement a monopoly-like simulation of monetary operations and flows in order to better understand various properties of monetary systems.

Money: Negotiations (with Kim Marshall)

Here we want to develop negotiation protocols for agents which want to buy and sell goods and services over the Internet. We want to eistablish clearly defined set of protocols for various situations.

Money: Security (with Andreas Furche, Mirka Miller, Ljiljana Brankovic)

Research into security issues of statistical data bases, especially those concerned with monetary transactions.

Money: Financial, Economic and Legal Impact of Electronic Payment Systems (with Professor Ketterer and Monika Hartmann, Univ. Karlsruhe, Germany)

Optimization: Resource Management (with Rolf Mueller, Daimler-Benz Research, Germany)

Application of Kalman filter techniques (Quantor software) to compute the optimal use of resources, whether money, manpower, or anything else.

Formal Reasoning: Connection Graphs

Investigation of the strong completeness problem for connection graphs.

Formal Reasoning: Approximate Reasoning (with Bruce Davies)

Investigation of ways to perform approximate reasoning on various domains, in particular financial reasoning.

Please contact me if you are interested in these issues.
If you think you would like to become actively involed with us then all the better.

Recent Research Projects

Publications

Books and Book Chapters

1. Andreas Furche and Graham Wrightson. Computer Money: A Systematic Overview of Electronic Payment Systems, DPunkt Verlag, ISBN 3-920993-54-3 1996.

2. Andreas Furche and Graham Wrightson. Computer Money: Ein systematischer Ueberblick ueber elektronische Zahlungssysteme (in German) DPunkt Verlag, ISBN 3-920993-55-1, 1997.

3. Graham Wrightson. Annotated Bibliography on Analytic Tableaux, in Handbook of Analytic Tableaux., (in press) (D.Gabbay (editor)), Kluwer Ac ademic Press, 1996.

4. B. Fronhoefer and G. Wrightson , editors. Massively Parallel Theorem Proving. Lecture Notes in Computer Science, Subseries in Artificial Intelligence, Springer Verlag, 1992

5. G. Wrightson , editor. Journal of Automated Reasoning. Special Issue on Analytic Tableaux Part I, Vol.13, No.2, 1994

6. G. Wrightson , editor. Journal of Automated Reasoning. Special Issue on Analytic Tableaux Part II, Vol.13, No.3, 1994

   Refereed articles in national or international journals

7. Wallace, J. and Wrightson, G. , Regressive Merging in Model Elimination Tableau-Based Theorem Provers. Journal of the IGPL, Vol.3, Number 6, October 1995, pp. 921-937, 1995.

8. Wrightson, G. and Coldwell, J., A Truncation Technique for Clausal Ana lytic Tableaux, Information Processing Letters 42(1992) pp273-281.

9. Wrightson, G. and Andreas Furche, Beurteilungskriterien fuer Zahlungssy steme auf dem Internet , German Unix Users Group Journal 1996.

   Refereed conference proceedings

10. Wrightson, G. and Furche. A., Characteristics of Internet Payment Syst ems , invited paper for Australian Unix Users Group Conference , Melbourne , September, 1996.

11. Wrightson, G. and Furche. A., How can Central Banks Control Electronic Money?, accepted for 7th Symposium on Money, Finance, Banking, and Insurance , Germany, December 11-15, 1996.

12. Furche, A. and Wrightson, G. , Subscrip - An Efficient Payment Mechani sm for Pay-Per-View Services on the Internet, 5th IEEE International Conference for Computer Communication and Networks, Maryland, USA, October 16-19, 1996.

13. Coldwell, J. and Wrightson, G. , The modified alpha-rule for link inher itance, Eighth Australian Joint Conference on Artificial Intelligence, Xin Yao (ed.) World Scientific Publishers, ISBN 981-02-2484-2, pp 51 - 58, 1995.

14. Coldwell, J. and Wrightson, G. , Lemmas and Links in Analytic Tableaux , Seventh Australian Joint Conference on Artificial Intelligence, World Scientific Publishers, 1994.

15. Wallace, K. and Wrightson, G. , Truncation techniques in First-order C lausal Tableaux, Proceedings 3rd International Conference on Theorem Proving with Analytic Tableaux and Related Methods, Imperial College, London 1994.

16. Wrightson, G. , Clausal Tableaux with Links and Lemmas, Proceedings 2nd International Conference on Theorem Proving with Analytic Tableaux and Related Methods , Max-Planck-Institut fuer Informatik, Ger many, 1993.

17. Wrightson, G. , Research into Analytic Tableaux, Proceedings 1st International Conference on Theorem Proving wit h Analytic Tableaux and Related Methods, University Karlsruhe, Germany, 1992.

    Submited Papers

18. Wrightson, G. and Furche, A., Central Bank Control of Computer Money, submitted to J. Post-Keynesian Economics.

Graduate Students

Course Information

Other Links