Jocelyne Faddoul

Publication Activity (10 Years)

Years Active: 2008-2015
Publications (10 Years): 0

Top Topics

Knowledge Representation Languages

Reasoning Services

Top Venues

IPDPS Workshops

Int. J. Netw. Comput.

Publications

Jocelyne Faddoul, Wendy MacCaull
Handling Non-determinism with Description Logics using a Fork/Join Approach. Int. J. Netw. Comput. 5 (1) (2015)
Jocelyne Faddoul, Wendy MacCaull
A Parallel Framework for Handling Non-determinism with Expressive Description Logics. IPDPS Workshops (2014)
Jocelyne Faddoul, Wendy MacCaull
Parallelizing Algebraic Reasoning for the Description Logic SHOQ. CSWS (2013)
Jocelyne Faddoul, Volker Haarslev
Optimizing Algebraic Tableau Reasoning for SHOQ: First Experimental Results. Description Logics (2010)
Jocelyne Faddoul, Volker Haarslev
Algebraic tableau reasoning for the description logic SHOQ. J. Appl. Log. 8 (4) (2010)
Jocelyne Faddoul, Volker Haarslev, Ralf Möller
Algebraic Tableau Algorithm for ALCOQ. Description Logics (2009)
Jocelyne Faddoul, Nasim Farsinia, Volker Haarslev, Ralf Möller
A Hybrid Tableau Algorithm for [Ascr ][Lscr ][Cscr ][Qscr ]. ECAI (2008)
Jocelyne Faddoul, Nasim Farsinia, Volker Haarslev, Ralf Möller
A Hybrid Tableau Algorithm for ALCQ. Description Logics (2008)