Author: Peter W. Eklund

Publications

Publication period start: 2008
Number of co-authors: 1

Co-authors

Number of publications with favourite co-authors
Frithjof Dau
2

Productive Colleagues

Most productive colleagues in number of publications
Frithjof Dau
4

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. https://dx.doi.org/10.1016/j.jvlc.2007.12.003

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. https://ceur-ws.org/Vol-274/paper5.pdf