Author: Frithjof Dau
Publication Overview
Publication period start: 2008
Number of co-authors: 1
Co-Authors
Number of publications with favourite co-authors
Productive Colleagues
Most productive colleagues in number of publications
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
(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.
https://link.springer.de/link/service/series/0558/bibs/2980/29800032.htm
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.
https://dx.doi.org/10.1007/11783183_10
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