Dr. Frithjof Dau

Contact:

Dr. Frithjof Dau Email: dau at dr-dau dot net Phone: Fax:

School of Information Systems and Technology The University of Wollongong NorthFields Avenue NSW 2522 Australia

Information:

Frithjof was a PhD graduate of Prof. Wille at TU Darmstadt and is completing his "habilitation" at TU Dresden. He is currently on a research contract for 1 year at the University of Wollongong.

Publications:

Conference papers:

• Constants and Functions in Peirce's Existential Graphs (2007)
• Implications of Properties Concerning Complementation in Finite Lattices (1999)

Technical reports:

• Towards a Diagrammatic Reasoning System for Description Logic (2006)