Följ
Ghada Fakhry
Ghada Fakhry
Verifierad e-postadress på guc.edu.eg - Startsida
Titel
Citeras av
Citeras av
År
Towards the implementation of a source-to-source transformation tool for CHR operational semantics
G Fakhry, N Sharaf, S Abdennadher
International Symposium on Logic-Based Program Synthesis and Transformation …, 2013
32013
Implementation of the operational semantics for CHR with user-defined rule priorities
S Abdennadher, G Fakhry, N Sharaf
Proceedings of the 10th Workshop on Constraint Handling Rules, 1-12, 2013
32013
Learning Instance-Level Constraints in Folksonomies for Semi-supervised Clustering using CHR
M Shalaby, S Abdennadher, N Sharaf, G Fakhry
29nd Workshop on (Constraint) Logic Programming (WLP 2015), 79, 2015
2015
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–3