Volgen
Bilal Said
Bilal Said
Researcher & Project Manager at Softeam Docaposte
Geverifieerd e-mailadres voor ul.edu.lb - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
Kripke’s worlds: An introduction to modal logics via tableaux
O Gasquet, A Herzig, B Said, F Schwarzentruber
Springer Science & Business Media, 2013
232013
Graph rewriting for model construction in modal logic
B Said
Université de Toulouse I - Paul Sabatier, 2010
7*2010
A blockchain model for secure communications in internet of vehicles
K Mershad, B Said
2020 IEEE/ACS 17th International Conference on Computer Systems and …, 2020
62020
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
52016
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
42019
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
42019
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
42019
What do you mean by learning lab?
E Sanchez, E Paukovics, L Cheniti-Belcadhi, G El Khayat, B Said, ...
Education and Information Technologies, 1-20, 2021
32021
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
32019
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
32018
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
32018
Modeling and code generation of serious games for assessment
F Hamieh, L Cheniti-Belcadhi, B Said, G El Khayat
theme is: Humanitarian ICT., 94, 2018
32018
Utilizing Roadside Units and Software Defined Networking to Route Packets Efficiently in Internet of Vehicles
K Mershad, B Said
2020 IEEE/ACS 17th International Conference on Computer Systems and …, 2020
22020
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
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
PERSONALIZATION IN SERIOUS GAMES FOR ASSESSMENT
B Serhan, B Said, L Cheniti, G El Khayat
12018
Modal logics with transitive closure
O Gasquet, A Herzig, B Said, F Schwarzentruber
Kripke’s Worlds, 157-189, 2014
12014
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
DIAMOND: A tool for monitoring the participation of students in online lectures
K Mershad, B Said
Education and Information Technologies, 1-31, 2022
2022
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20