A peirce-style calculus for ALC

conference contribution

posted on 2007-12-01, 00:00 authored by F Dau, Peter Eklund

History

274

55-70

Coeur d'Aléne, Idaho, USA

2007-09-23

2007-09-23

1613-0073

EN.1 Other conference paper

Proceedings of the VLL 2007 workshop on Visual Languages and Logic

IEEE Symposium on Visual Languages and Human Centric Computing VL/HCC 07

M. Jeusfeld c/o Redaktion Sun SITE, Informatik V, RWTH Aachen.