| Algebraic tableau reasoning for the description logic SHOQ J Faddoul, V Haarslev Journal of Applied Logic 8 (4), 334-355, 2010 | 29 | 2010 |
| A Hybrid Tableau Algorithm for [Ascr][Lscr][Cscr][Qscr] J Faddoul, N Farsinia, V Haarslev, R Möller ECAI 2008, 725-726, 2008 | 28 | 2008 |
| Reasoning algebraically with description logics J Faddoul Concordia University, 2011 | 20 | 2011 |
| Optimizing algebraic tableau reasoning for SHOQ: First experimental results J Faddoul, V Haarslev 23rd International Workshop on Description Logics DL2010, 161, 2010 | 11 | 2010 |
| Handling non-determinism with description logics using a fork/join approach J Faddoul, W MacCaull International Journal of Networking and Computing 5 (1), 61-85, 2015 | 6 | 2015 |
| Hybrid reasoning for description logics with nominals and qualified number restrictions J Faddoul, V Haarslev, R Möller Tech. rep., Institute for Software Systems (STS), Hamburg University of …, 2008 | 6 | 2008 |
| Algebraic Tableau Algorithm for ALCOQ. J Faddoul, V Haarslev, R Möller Description Logics, 2009 | 5 | 2009 |
| Parallelizing Algebraic Reasoning for the Description Logic SHOQ. J Faddoul, W MacCaull CSWS, 20-23, 2013 | 4 | 2013 |
| A parallel framework for handling non-determinism with expressive description logics J Faddoul, W MacCaull 2014 IEEE International Parallel & Distributed Processing Symposium …, 2014 | 1 | 2014 |
| Hybrid Reasoning in Description Logics J Faddoul | | 2008 |
| A Hybrid Tableau Algorithm for ACCΟ J Faddoul, N Farsinia, V Haarslev, R Möller | | |
