Slim Abdennadher
Slim Abdennadher
Professor of Computer Science, German University in Cairo
Verified email at guc.edu.eg - Homepage
TitleCited byYear
Essentials of constraint programming
T Frühwirth, S Abdennadher
Springer Science & Business Media, 2003
2732003
Constraint handling rules
T Frühwirth
French School on Theoretical Computer Science, 90-107, 1994
2621994
Operational semantics and confluence of constraint propagation rules
S Abdennadher
International Conference on Principles and Practice of Constraint …, 1997
1871997
Enhancing one-class support vector machines for unsupervised anomaly detection
M Amer, M Goldstein, S Abdennadher
Proceedings of the ACM SIGKDD Workshop on Outlier Detection and Description …, 2013
1492013
Constraint logic programming
T Frühwirth, A Herold, V Küchenhoff, T Le Provost, P Lim, E Monfroy, ...
Logic Programming Summer School, 3-35, 1992
1461992
Nurse scheduling using constraint logic programming
S Abdennadher, H Schlenker
AAAI/IAAI, 838-843, 1999
1311999
University course timetabling using constraint handling rules
S Abdennadher, M Marte
Applied Artificial Intelligence 14 (4), 311-325, 2000
1202000
Constraint-Programmierung: Grundlagen und Anwendungen
T Frühwirth, S Abdennadher
Springer-Verlag, 2013
1062013
Confluence and semantics of constraint simplification rules
S Abdennadher, T Frühwirth, H Meuss
Constraints 4 (2), 133-165, 1999
1051999
CHR: A flexible query language
S Abdennadher, H Schütz
International conference on Flexible Query Answering Systems, 1-14, 1998
971998
An experimental CLP platform for integrity constraints and abduction
S Abdennadher, H Christiansen
Flexible Query Answering Systems, 141-152, 2001
642001
JACK:: A Java Constraint Kit
S Abdennadher, E Krämer, M Saft, M Schmauss
Electronic Notes in Theoretical Computer Science 64, 1-17, 2002
632002
On confluence of constraint handling rules
S Abdennadher, T Frühwirth, H Meuss
International Conference on Principles and Practice of Constraint …, 1996
581996
INTERDIP–an interactive constraint based nurse scheduler
S Abdennadher, H Schlenker
Proceedings of The First International Conference and Exhibition on The …, 1999
521999
On completion of constraint handling rules
S Abdennadher, T Frühwirth
International Conference on Principles and Practice of Constraint …, 1998
361998
Operational equivalence of CHR programs and constraints
S Abdennadher, T Frühwirth
International Conference on Principles and Practice of Constraint …, 1999
351999
University timetabling using constraint handling rules.
S Abdennadher, M Marte
JFPLC, 39-50, 1998
351998
Automatic generation of rule-based constraint solvers over finite domains
S Abdennadher, C Rigotti
ACM Transactions on Computational Logic (TOCL) 5 (2), 177-205, 2004
322004
Integration and optimization of rule-based constraint solvers
S Abdennadher, T Frühwirth
International Symposium on Logic-Based Program Synthesis and Transformation …, 2003
302003
Automatic generation of propagation rules for finite domains
S Abdennadher, C Rigotti
International Conference on Principles and Practice of Constraint …, 2000
292000
The system can't perform the operation now. Try again later.
Articles 1–20