A Peirce Style Calculus for ALC

Frithjof Dau, Peter W. Eklund. A Peirce Style Calculus for ALC. In Philip T. Cox, Andrew Fish, John Howse, editors, Proceedings of the VLL 2007 workshop on Visual Languages and Logic in Coeur d Aléne, Idaho, USA, 23rd September 2007 as part of the 2007 IEEE Symposium on Visual Languages and Human Centric Computing VL/HCC 07. Volume 274 of CEUR Workshop Proceedings, pages 55-71, CEUR-WS.org, 2007. [doi]


Abstract is missing.