Bilal Said
Title
Cited by
Cited by
Year
Kripke’s worlds: An introduction to modal logics via tableaux
O Gasquet, A Herzig, B Said, F Schwarzentruber
Springer Science & Business Media, 2013
202013
Graph rewriting for model construction in modal logic
B Said
Université de Toulouse I - Paul Sabatier, 2010
6*2010
Knowledge engineering for competence assessment on serious games based on semantic web
L Cheniti-Belcadhi, GA El Khayat, B Said
2019 IEEE Second International Conference on Artificial Intelligence and …, 2019
32019
Cognitive Architecture For Embodied Conversational Agent: Application On Virtual Learning Environment
B Nakhal, E Bevacqua, B Said, R Querrec
International Conference on Education and New Learning Technologies (EDULEARN), 2016
32016
Modèles ontologiques pour un ePortfolio d’évaluation des compétences à travers les jeux sérieux
A Ghedir, B Said, L Cheniti-Belcadhi, G El Khayat
theme is: Humanitarian ICT., 67, 2018
22018
Personnalisation de l’évaluation dans les jeux sérieux
N Salhi, B Said, L Cheniti-Belcadhi, G El Khayat
theme is: Humanitarian ICT., 75, 2018
22018
Modeling and code generation of serious games for assessment
F Hamieh, B Said
ICT in our Lives, Alexandria, Egypt, 8, 2018
22018
A semantics for an event based generic tableau prover
O Gasquet, B Said, F Schwarzentruber
International Conference on Automated Reasoning with Analytic Tableaux and …, 2009
22009
An ontology for personalization in serious games for assessment
B Said, L Cheniti-Belcadhi, G El Khayat
2019 IEEE Second International Conference on Artificial Intelligence and …, 2019
12019
Modèles Ontologiques Pour des Scénarios D’évaluation des Compétences à L'aide de Jeux Sérieux
G Testouri, B Said, L Cheniti-Belcadhi, G El Khayat
theme is: Humanitarian ICT., 84, 2018
12018
Efficient Graph Rewriting System Using Local Event-driven Pattern Matching⋆
B Said, O Gasquet
Graph Computation Models, 28, 2008
12008
Tableaux with dynamic filtration for layered modal logics
O Gasquet, B Said
International Conference on Automated Reasoning with Analytic Tableaux and …, 2007
12007
Assessing modelling readiness in a games environment
EM Mosalam, GA El Khayat, S Lazem, L Cheniti-Belcadhi, B Said
2019 7th International conference on ICT & Accessibility (ICTA), 1-6, 2019
2019
A Framework for the Development of Serious Games for Assessment
F Hamiye, B Said, B Serhan
International Conference on Games and Learning Alliance, 407-416, 2019
2019
Question Answering System to Support University Students’ Orientation, Recruitment and Retention
WA Elnozahy, GA El Khayat, L Cheniti-Belcadhi, B Said
Procedia Computer Science 164, 56-63, 2019
2019
Modal Logics with Transitive Closure
O Gasquet, A Herzig, B Said, F Schwarzentruber
Kripke’s Worlds, 157-189, 2014
2014
Model Checking
O Gasquet, A Herzig, B Said, F Schwarzentruber
Kripke’s Worlds, 147-156, 2014
2014
Talking About Graphs
O Gasquet, A Herzig, B Said, F Schwarzentruber
Kripke’s Worlds, 23-51, 2014
2014
Modelling with Graphs
O Gasquet, A Herzig, B Said, F Schwarzentruber
Kripke’s Worlds, 1-21, 2014
2014
The Basics of the Model Construction Method
O Gasquet, A Herzig, B Said, F Schwarzentruber
Kripke’s Worlds, 53-85, 2014
2014
The system can't perform the operation now. Try again later.
Articles 1–20