Frithjof Dau

Personal Homepage

Publication Statistics

Publication period start
Publication period end
Number of co-authors

Number of publications with favourite co-authors

Productive Colleagues
Most productive colleagues in number of publications


Dau, Frithjof, Eklund, Peter W. (2008): A diagrammatic reasoning system for the description logic I. In J. Vis. Lang. Comput., 19 (5) pp. 539-573.

Dau, Frithjof, Eklund, Peter W. (2007): A Peirce Style Calculus for ALC. In: Cox, Philip T., Fish, Andrew, Howse, John (eds.) VL-HCC 07 - Proceedings of the VLL 2007 workshop on Visual Languages and Logic - Part of the 2007 IEEE Symposium on Visual Languages and Human Centric Computing 23rd September, 2007, Coeur dAléne, Idaho, USA. pp. 55-71.

Dau, Frithjof (2006): Fixing Shin\'s Reading Algorithm for Peirce\'s Existential Graphs. In: Barker-Plummer, Dave, Cox, Richard, Swoboda, Nik (eds.) Diagrams 2006 - Diagrammatic Representation and Inference - 4th International Conference June 28-30, 2006, Stanford, CA, USA. pp. 88-92.

Dau, Frithjof (2004): Query Graphs with Cuts: Mathematical Foundations. In: Blackwell, Alan, Marriott, Kim, Shimojima, Atsushi (eds.) Diagrams 2004 - Diagrammatic Representation and Inference - Third International Conference March 22-24, 2004, Cambridge, UK. pp. 32-50.