Jocelyne Faddoul
Jocelyne Faddoul
Verified email at smu.ca
Title
Cited by
Cited by
Year
A Hybrid Tableau Algorithm for [Ascr][Lscr][Cscr][Qscr]
J Faddoul, N Farsinia, V Haarslev, R Möller
ECAI 2008, 725-726, 2008
282008
Algebraic tableau reasoning for the description logic SHOQ
J Faddoul, V Haarslev
Journal of Applied Logic 8 (4), 334-355, 2010
252010
Reasoning algebraically with description logics
J Faddoul
Concordia University, 2011
162011
Optimizing algebraic tableau reasoning for SHOQ: First experimental results
J Faddoul, V Haarslev
23rd International Workshop on Description Logics DL2010, 161, 2010
102010
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
62015
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
62008
Algebraic Tableau Algorithm for ALCOQ.
J Faddoul, V Haarslev, R Möller
Description Logics, 2009
52009
Parallelizing Algebraic Reasoning for the Description Logic SHOQ.
J Faddoul, W MacCaull
CSWS, 20-23, 2013
42013
A parallel framework for handling non-determinism with expressive description logics
J Faddoul, W MacCaull
2014 IEEE International Parallel & Distributed Processing Symposium …, 2014
12014
Hybrid Reasoning for Description Logics for...
J Faddoul, V Haarslev, R Möller
2008
A Hybrid Tableau Algorithm for ACCΟ
J Faddoul, N Farsinia, V Haarslev, R Möller
The system can't perform the operation now. Try again later.
Articles 1–11