user- 5th International Workshop on Scalable Semantic Web Knowledge Base Systems SSWS2009, (October 2009)
- 8th International Semantic Web Conference ISWC2009, Poster, (October 2009)
- Logic Journal of the IGPL (1999)
- M4M Methods for Modalities, Workshop Proceedings, University of Amsterdam, (1999)
- Proceedings of the International Workshop on Description Logics DL'2000, RWTH Aachen, (August 2000)
- London, UK, (2000)
- Automated Reasoning Workshop ARW2000, King's College London, (July 2000)
- Labelled Deduction, volume 17 of Applied Logic Series, Kluwer Academic Publishers, (2000)
- Workshop on Applications of Description Logics ADL-2001, Wien, (2001)
- University of London, (2002)
- Proceedings of the eighteenth International Joint Conference on Artificial Intelligence, IJCAI'03, Morgan Kaufmann, (2003)
- Proceedings of the Description Logics Workshop, (2003)
- Proceedings of the 15th Belgium-Netherlands Conference on Artificial Intelligence, (2003)
- Methods for Modalities 3, (2003)
- TREC 2003 Conference Notebook, (2003)
- Proceedings TREC 2003, (2004)
- Proceedings of the 16th European Conference on Artificial Intelligence ECAI '04, (2004)
- Proceedings of MedInfo 2004, 107, (2004)
- Proceedings of the 9th European Conference on Logics in Artificial Intelligence JELIA '04, Springer, (2004)
- Proceedings BNAIC 2004, (2004)
