G. Flouris, D. Plexousakis, and G. Antoniou. In Proceedings of the 7th International Symposium on Logical Formalizations of Commonsense Reasoning, Corfu, Greece, (May 2005)
G. Flouris, D. Plexousakis, and G. Antoniou. In Proc. of the 10th International Workshop on Non-Monotonic Reasoning 2004 (NMR-04), page 171-179. Westin Whistler Resort and Spa, Whistler BC, Canada, (June 2004)
V. Haarslev, R. Möller, and A. Turhan. IJCAR '01: Proceedings of the First International Joint Conference on Automated Reasoning, page 61--75. London, UK, Springer-Verlag, (2001)
B. Parsia, E. Sirin, and A. Kalyanpur. WWW '05: Proceedings of the 14th international conference on World Wide Web, page 633--640. New York, NY, USA, ACM Press, (2005)