The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Slim Abdennadher: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Slim Abdennadher, Hans Schlenker
    Nurse Scheduling using Constraint Logic Programming. [Citation Graph (0, 0)][DBLP]
    AAAI/IAAI, 1999, pp:838-843 [Conf]
  2. Slim Abdennadher, Heribert Schütz
    Model Generation with Existentially Quantified Variables and Constraints. [Citation Graph (0, 0)][DBLP]
    ALP/HOA, 1997, pp:256-272 [Conf]
  3. Slim Abdennadher
    Operational Semantics and Confluence of Constraint Propagation Rules. [Citation Graph (0, 0)][DBLP]
    CP, 1997, pp:252-266 [Conf]
  4. Slim Abdennadher, Thom W. Frühwirth
    On Completion of Constraint Handling Rules. [Citation Graph (0, 0)][DBLP]
    CP, 1998, pp:25-39 [Conf]
  5. Slim Abdennadher, Thom W. Frühwirth
    Operational Equivalence of CHR Programs and Constraints. [Citation Graph (0, 0)][DBLP]
    CP, 1999, pp:43-57 [Conf]
  6. Slim Abdennadher, Thom W. Frühwirth, Holger Meuss
    On Confluence of Constraint Handling Rules. [Citation Graph (0, 0)][DBLP]
    CP, 1996, pp:1-15 [Conf]
  7. Slim Abdennadher, Christophe Rigotti
    Automatic Generation of Propagation Rules for Finite Domains. [Citation Graph (0, 0)][DBLP]
    CP, 2000, pp:18-34 [Conf]
  8. Slim Abdennadher, Christophe Rigotti
    Towards Inductive Constraint Solving. [Citation Graph (0, 0)][DBLP]
    CP, 2001, pp:31-45 [Conf]
  9. Slim Abdennadher, Henning Christiansen
    An Experimental CLP Platform for Integrity Constraints and Abduction. [Citation Graph (0, 0)][DBLP]
    FQAS, 2000, pp:141-152 [Conf]
  10. Slim Abdennadher, Heribert Schütz
    CHRv: A Flexible Query Language. [Citation Graph (0, 0)][DBLP]
    FQAS, 1998, pp:1-14 [Conf]
  11. Thom W. Frühwirth, Slim Abdennadher
    Tutorial: Reasoning with, about and for Constraint Handling Rules. [Citation Graph (0, 0)][DBLP]
    FroCos, 2002, pp:192- [Conf]
  12. Luis Mandel, Marcelo Campo, Analía Amandi, Thom W. Frühwirth, Bernd Meyer, Slim Abdennadher, Bernhard Bauer
    JACK - Java Constraint Kit. [Citation Graph (0, 0)][DBLP]
    German-Argentinian Workshop on Information Technology, 1999, pp:47-58 [Conf]
  13. Thom W. Frühwirth, Slim Abdennadher
    Anwendungen Constraintbasierter Programmierung. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1997, pp:317-326 [Conf]
  14. Slim Abdennadher, Christophe Rigotti
    Generation of Propagation Rules for Intentionally Defined Constraints. [Citation Graph (0, 0)][DBLP]
    ICTAI, 2001, pp:236-0 [Conf]
  15. Slim Abdennadher, François Bry, Norbert Eisinger, Tim Geisler
    The theorem prover SATCHMO : strategies, heuristics and applications. [Citation Graph (0, 0)][DBLP]
    JFPLC, 1995, pp:349-0 [Conf]
  16. Slim Abdennadher, Thom W. Frühwirth
    Using Program Analysis for Integration and Optimization of Rule-based Constraint Solvers. [Citation Graph (0, 0)][DBLP]
    JFPLC, 2002, pp:257-0 [Conf]
  17. Slim Abdennadher, Michael Marte
    University timetabling using constraint handling rules. [Citation Graph (0, 0)][DBLP]
    JFPLC, 1998, pp:39-50 [Conf]
  18. Slim Abdennadher, Thom W. Frühwirth
    Integration and Optimization of Rule-Based Constraint Solvers. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 2003, pp:198-213 [Conf]
  19. Slim Abdennadher, Christophe Rigotti
    Constraint Solver Synthesis Using Tabled Resolution for Constraint Logic Programming. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 2002, pp:32-47 [Conf]
  20. Slim Abdennadher, Abdellatif Olama, Noha Salem, Amira Thabet
    ARM: Automatic Rule Miner. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 2006, pp:17-25 [Conf]
  21. Slim Abdennadher, Matthias Saft
    A Visualization Tool for Constraint Handling Rules. [Citation Graph (0, 0)][DBLP]
    WLPE, 2001, pp:- [Conf]
  22. Slim Abdennadher, Christophe Rigotti
    Using Confluence to Generate Rule-Based Constraint Solvers. [Citation Graph (0, 0)][DBLP]
    PPDP, 2001, pp:127-135 [Conf]
  23. Slim Abdennadher, Thom W. Frühwirth
    Definition von angepaßten Constraint-Solvern mit Constraint-Handling-Rules. [Citation Graph (0, 0)][DBLP]
    WLP, 2000, pp:15- [Conf]
  24. Slim Abdennadher, Hans Schlenker
    INTERDIP - Ein Interaktiver Constraint-basierter Dienstplaner für Krankenstationen. [Citation Graph (0, 0)][DBLP]
    WLP, 1997, pp:0-0 [Conf]
  25. Slim Abdennadher, Matthias Saft, Sebastian Will
    Constraintbasierte Raumplanung für Universitäten. [Citation Graph (0, 0)][DBLP]
    WLP, 2000, pp:229-230 [Conf]
  26. Slim Abdennadher, Michael Marte
    University Course Timetabling Using Constraint Handling Rules. [Citation Graph (0, 0)][DBLP]
    Applied Artificial Intelligence, 2000, v:14, n:4, pp:311-325 [Journal]
  27. Slim Abdennadher, Thom W. Frühwirth, Holger Meuss
    Confluence and Semantics of Constraint Simplification Rules. [Citation Graph (0, 0)][DBLP]
    Constraints, 1999, v:4, n:2, pp:133-165 [Journal]
  28. Thom W. Frühwirth, Slim Abdennadher
    The Munich Rent Advisor: A Success for Logic Programming on the Internet [Citation Graph (0, 0)][DBLP]
    CoRR, 2004, v:0, n:, pp:- [Journal]
  29. Slim Abdennadher, Christophe Rigotti
    Automatic Generation of CHR Constraint Solvers [Citation Graph (0, 0)][DBLP]
    CoRR, 2004, v:0, n:, pp:- [Journal]
  30. Slim Abdennadher, Ekkerhard Krämer, Matthias Saft, Matthias Schmauss
    JACK: A Java Constraint Kit. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:64, n:, pp:- [Journal]
  31. Slim Abdennadher, Christophe Ringeissen
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:124, n:1, pp:1-2 [Journal]
  32. Slim Abdennadher, Christophe Rigotti
    Automatic Generation of Rule-Based Solvers for Intentionally Defined Constraints. [Citation Graph (0, 0)][DBLP]
    International Journal on Artificial Intelligence Tools, 2002, v:11, n:2, pp:283-302 [Journal]
  33. Thom W. Frühwirth, Slim Abdennadher
    Der Mietspiegel im Internet: Ein Fall für Constraint-Logikprogrammierung. [Citation Graph (0, 0)][DBLP]
    KI, 1997, v:11, n:1, pp:33-36 [Journal]
  34. Slim Abdennadher, Christophe Rigotti
    Automatic generation of rule-based constraint solvers over finite domains. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Comput. Log., 2004, v:5, n:2, pp:177-205 [Journal]
  35. Slim Abdennadher, Thom W. Frühwirth, Christian Holzbaur
    Introduction to the Special Issue on Constraint Handling Rules. [Citation Graph (0, 0)][DBLP]
    TPLP, 2005, v:5, n:4-5, pp:401-402 [Journal]
  36. Slim Abdennadher, Christophe Rigotti
    Automatic generation of CHR constraint solvers. [Citation Graph (0, 0)][DBLP]
    TPLP, 2005, v:5, n:4-5, pp:403-418 [Journal]
  37. Thom W. Frühwirth, Slim Abdennadher
    The Munich Rent Advisor: A Success for Logic Programming on the Internet. [Citation Graph (0, 0)][DBLP]
    TPLP, 2001, v:1, n:3, pp:303-319 [Journal]

  38. Constraint Reasoning with Uncertain Data Using CDF-Intervals. [Citation Graph (, )][DBLP]


  39. Generation of Rule-Based Constraint Solvers: Combined Approach. [Citation Graph (, )][DBLP]


  40. Constraint-Based Timetabling System for the German University in Cairo. [Citation Graph (, )][DBLP]


Search in 0.004secs, Finished in 0.007secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002