Jocelyne Faddoul
Jocelyne Faddoul
Verifierad e-postadress på smu.ca
Titel
Citeras av
Citeras av
År
A Hybrid Tableau Algorithm for ALCQ.
J Faddoul, N Farsinia, V Haarslev, R Möller
Description Logics 725 (726), 2008, 2008
272008
Algebraic tableau reasoning for the description logic SHOQ
J Faddoul, V Haarslev
Journal of Applied Logic 8 (4), 334-355, 2010
242010
Reasoning algebraically with description logics
J Faddoul
Concordia University, 2011
132011
Optimizing algebraic tableau reasoning for SHOQ: First experimental results
J Faddoul, V Haarslev
23rd International Workshop on Description Logics DL2010, 161, 2010
102010
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
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
52015
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
32013
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
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–11