This directory contains papers written or co-written by Simon Dixon.
They are all gzip'ed PostScript, some are a bit old and may not conform
to PostScript commenting conventions.  Let me know if you have trouble
printing them. The software you need to decompress and view the files is
available for free:
	gzip/gunzip is available from http://www.gzip.org
	Ghostscript is available from http://www.cs.wisc.edu/~ghost/

URL:      http://www.ai.univie.ac.at/~simon
email:    simon@ai.univie.ac.at

pricai2000.ps.gz
	Dixon, S E 2000,
	A Lightweight Multi-agent Musical Beat Tracking System,
	PRICAI 2000: Proceedings of the Pacific Rim International Conference on AI,
	Melbourne, Australia, 2000, pp 778-788.

	( An earlier version of this paper appeared in:
		AAAI Workshop on Artificial Intelligence and Music:
			Towards Formal Models for Compostion,  Performance and Analysis,
		Austin, Texas, 2000, pp 29-34.
	)

ecai2000.ps.gz
	Dixon, S E and Cambouropoulos, E 2000,
	Beat Tracking with Musical Knowledge,
	ECAI 2000: Proceedings of the 14th European Conference
		on Artificial Intelligence,
	ed. W.Horn, IOS Press, Amsterdam, 2000, pp 626-630.

ieeepcm2000.ps.gz
	Dixon, S E 2000,
	Extraction of Musical Performance Parameters from Audio Data,
	IEEE Pacific-Rim Conference on Multimedia,
	Sydney, Australia, December 2000, pp 42-45.

acmc2000.ps.gz
	Dixon, S E 2000,
	On the Computer Recognition of Solo Piano Music,
	Interfaces: Australasian Computer Music Conference,
	Brisbane, Australia, 2000, pp 31-37.

diderot99.ps.gz
	Dixon, S E 1999,
	A Beat Tracking System for Audio Signals,
	Proceedings of the Conference on Mathematical and Computational Methods
		in Music,
	Vienna, Austria, December 1999, pp 101-110.

ai97.ps.gz
	Dixon, S E 1997,
	Beat Induction and Rhythm Recognition,
	Proceedings of the Australian Joint Conference on Artificial Intelligence,
	Perth, December 1997, pp 311-320.

acsc96.ps.gz
	Dixon, S E 1996,
	Multiphonic Note Identification,
	Australian Computer Science Communications, 18, 1,
	Proceedings of the 19th Australasian Computer Science Conference,
	Melbourne, 1996, pp 318-323.

icmc96.ps.gz
	Dixon, S E 1996,
	A Dynamic Modelling Approach to Music Recognition,
	Proceedings of the 1996 International Computer Music Conference,
	Hong Kong, 1996, pp 83-86.

acsc95.ps.gz
	Dixon, S E and Wobcke, W R 1995,
	A Nonmonotonic Reasoning Belief Revision System,
	Australian Computer Science Communications, 17, 1,
	Proceedings of the 18th Australasian Computer Science Conference,
	Adelaide, 1995, pp 151-160.

thesis.ps.gz
	Dixon, S E 1994,
	Belief Revision: A Computational Approach,
	Unpublished PhD Thesis,
	Basser Department of Computer Science,
	University of Sydney, Australia.

acsc93.ps.gz
	Dixon, S E 1993, A Finite Base Belief Revision System,
	Proceedings of the 16th Australian Computer Science Conference,
	Brisbane, 1993, Ed. G Gupta, G Mohay and R Topor,
	Queensland University of Technology, Australia,
	pp 445-451.

ijcai93.ps.gz
	Dixon, S E and Foo, N Y 1993,
	Connections Between the ATMS and AGM Belief Revision,
	Proceedings of the 13th International Joint Conference on Artificial
	Intelligence,
	Chambery, 1993, pp 534-539.

ai92.ps.gz
	Dixon, S E and Foo, N Y 1992, Beyond Foundational Reasoning,
	Proceedings of the 5th Australian Joint Conference
		on Artificial Intelligence,
	Hobart, 1992, Ed. A Adams and L Sterling, World Scientific Press, Singapore,
	pp 247-252.

tr441.ps.gz
	Dixon, S E and Foo, N Y 1992, Encoding the ATMS in AGM Logic (Revised),
	Technical Report TR441,
	Basser Department of Computer Science,
	University of Sydney, Australia.



The following papers are available (hardcopy)   (email me)

Dixon, S E and Powers, D M W 1996,
The Characterisation, Separation and Transcription of Complex Acoustic Signals,
Proceedings of the Sixth Australian International Conference on
	Speech Science and Technology,
Adelaide, December 1996, pp 73-78.
 
Powers, D M W, Clark, C R, Dixon, S E and Weber, D L 1996,
Cocktails and Brainwaves: Experiments with Complex and Subliminal
	Auditory Stimuli,
Proceedings of the Australian and New Zealand Conference on Intelligent
	Information Systems,
Adelaide, November 1996, pp 68-71.

Dixon, S E and Wobcke, W R 1993,
The Implementation of a First-Order Logic AGM Belief Revision System,
Proceedings of the 5th IEEE International Conference on Tools with Artificial
	Intelligence,
Boston, 1993, pp 40-47.

Foo, N Y, Dixon, S E and Kuo, D 1990,
Systems Dynamics via Theory Revision,
Open Distributed Processing Workshop Proceedings,
Sydney University.

Colomb, R and Dixon, S E 1990,
Database Implementation of an Artificial Intelligence Programming Paradigm,
Proceedings of the 4th Australian Joint Conference on Artificial Intelligence,
Perth, 1990, Ed. C P Tsang, World Scientific Press, Singapore, pp 462-473.