Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Slim Abdennadher
2010 – today
- 2013
[c34]Jörn Hees, Mohamed Khamis, Ralf Biedert, Slim Abdennadher, Andreas Dengel: Collecting Links between Entities Ranked by Human Association Strengths. ESWC 2013: 517-531- 2012
- [c33]Amr Hussein, Carmen Gervet, Slim Abdennadher: Multi-agent Planning for the RoboCup Rescue Simulation - Applying Clustering into Task Allocation and Coordination. ICAART (2) 2012: 339-342
- [c32]Slim Abdennadher, Nada Sharaf: Visualization of CHR through Source-to-Source Transformation. ICLP (Technical Communications) 2012: 109-118
- 2011
- [c31]Mohamed Elmahdy, Rainer Gruhn, Slim Abdennadher, Wolfgang Minker: Rapid phonetic transcription using everyday life natural Chat Alphabet orthography for dialectal Arabic speech recognition. ICASSP 2011: 4936-4939
- [i3]Islam Abdelraouf, Slim Abdennadher, Carmen Gervet: A Visual Entity-Relationship Model for Constraint-Based University Timetabling. CoRR abs/1109.6112 (2011)
- 2010
- [c30]Aya Saad, Carmen Gervet, Slim Abdennadher: Constraint Reasoning with Uncertain Data Using CDF-Intervals. CPAIOR 2010: 292-306
- [c29]Mohamed Elmahdy, Rainer Gruhn, Wolfgang Minker, Slim Abdennadher: Cross-lingual acoustic modeling for dialectal Arabic speech recognition. INTERSPEECH 2010: 873-876
2000 – 2009
- 2008
- [p1]Ingi Sobhi, Slim Abdennadher, Hariolf Betz: Constructing Rule-Based Solvers for Intentionally-Defined Constraints. Constraint Handling Rules 2008: 70-84
- 2007
- [c28]Slim Abdennadher, Mohamed Aly, Dirk Bühler, Wolfgang Minker, Johannes Pittermann: BECAM tool - a semi-automatic tool for bootstrapping emotion corpus annotation and management. INTERSPEECH 2007: 946-949
- [c27]Slim Abdennadher, Ingi Sobhi: Generation of Rule-Based Constraint Solvers: Combined Approach. LOPSTR 2007: 106-120
- [c26]Slim Abdennadher, Mohamed Aly, Marlien Edward: Constraint-Based Timetabling System for the German University in Cairo. INAP/WLP 2007: 69-81
- 2006
- [c25]Slim Abdennadher, Abdellatif Olama, Noha Salem, Amira Thabet: ARM: Automatic Rule Miner. LOPSTR 2006: 17-25
- 2005
- [j10]Slim Abdennadher, Christophe Ringeissen: Preface. Electr. Notes Theor. Comput. Sci. 124(1): 1-2 (2005)
- [j9]Slim Abdennadher, Thom W. Frühwirth, Christian Holzbaur: Introduction to the Special Issue on Constraint Handling Rules. TPLP 5(4-5): 401-402 (2005)
- [j8]Slim Abdennadher, Christophe Rigotti: Automatic generation of CHR constraint solvers. TPLP 5(4-5): 403-418 (2005)
- 2004
- [j7]Slim Abdennadher, Christophe Rigotti: Automatic generation of rule-based constraint solvers over finite domains. ACM Trans. Comput. Log. 5(2): 177-205 (2004)
- [i2]Thom W. Frühwirth, Slim Abdennadher: The Munich Rent Advisor: A Success for Logic Programming on the Internet. CoRR cs.AI/0402019 (2004)
- [i1]Slim Abdennadher, Christophe Rigotti: Automatic Generation of CHR Constraint Solvers. CoRR cs.LO/0409030 (2004)
- 2003
- [b3]Thom W. Frühwirth, Slim Abdennadher: Essentials of constraint programming. Cognitive Technologies, Springer 2003, ISBN 978-3-540-67623-2, pp. I-IX, 1-144
- [c24]Slim Abdennadher, Thom W. Frühwirth: Integration and Optimization of Rule-Based Constraint Solvers. LOPSTR 2003: 198-213
- 2002
- [j6]Slim Abdennadher, Ekkerhard Krämer, Matthias Saft, Matthias Schmauss: JACK: A Java Constraint Kit. Electr. Notes Theor. Comput. Sci. 64: 1-17 (2002)
- [j5]Slim Abdennadher, Christophe Rigotti: Automatic Generation of Rule-Based Solvers for Intentionally Defined Constraints. International Journal on Artificial Intelligence Tools 11(2): 283-302 (2002)
- [c23]Thom W. Frühwirth, Slim Abdennadher: Tutorial: Reasoning with, about and for Constraint Handling Rules. FroCoS 2002: 192
- [c22]Slim Abdennadher, Thom W. Frühwirth: Using Program Analysis for Integration and Optimization of Rule-based Constraint Solvers. JFPLC 2002: 257-
- [c21]Slim Abdennadher, Christophe Rigotti: Constraint Solver Synthesis Using Tabled Resolution for Constraint Logic Programming. LOPSTR 2002: 32-47
- 2001
- [j4]Thom W. Frühwirth, Slim Abdennadher: The Munich Rent Advisor: A Success for Logic Programming on the Internet. TPLP 1(3): 303-319 (2001)
- [c20]
- [c19]Slim Abdennadher, Christophe Rigotti: Generation of Propagation Rules for Intentionally Defined Constraints. ICTAI 2001: 236-
- [c18]
- [c17]Slim Abdennadher, Christophe Rigotti: Using Confluence to Generate Rule-Based Constraint Solvers. PPDP 2001: 127-135
- 2000
- [j3]Slim Abdennadher, Michael Marte: University Course Timetabling Using Constraint Handling Rules. Applied Artificial Intelligence 14(4): 311-325 (2000)
- [c16]Slim Abdennadher, Christophe Rigotti: Automatic Generation of Propagation Rules for Finite Domains. CP 2000: 18-34
- [c15]Slim Abdennadher, Henning Christiansen: An Experimental CLP Platform for Integrity Constraints and Abduction. FQAS 2000: 141-152
- [c14]Slim Abdennadher, Thom W. Frühwirth: Definition von angepaßten Constraint-Solvern mit Constraint-Handling-Rules. WLP 2000: 15
- [c13]Slim Abdennadher, Matthias Saft, Sebastian Will: Constraintbasierte Raumplanung für Universitäten. WLP 2000: 229-230
1990 – 1999
- 1999
- [j2]Slim Abdennadher, Thom W. Frühwirth, Holger Meuss: Confluence and Semantics of Constraint Simplification Rules. Constraints 4(2): 133-165 (1999)
- [c12]Slim Abdennadher, Hans Schlenker: Nurse Scheduling using Constraint Logic Programming. AAAI/IAAI 1999: 838-843
- [c11]Slim Abdennadher, Thom W. Frühwirth: Operational Equivalence of CHR Programs and Constraints. CP 1999: 43-57
- [c10]Luis Mandel, Marcelo Campo, Analía Amandi, Thom W. Frühwirth, Bernd Meyer, Slim Abdennadher, Bernhard Bauer: JACK - Java Constraint Kit. German-Argentinian Workshop on Information Technology 1999: 47-58
- 1998
- [b2]Slim Abdennadher: Analyse von regelbasierten Constraintlösern. Utz 1998, ISBN 978-3-89675-362-5, pp. I-X, 1-131
- [c9]
- [c8]
- [c7]Slim Abdennadher, Michael Marte: University timetabling using constraint handling rules. JFPLC 1998: 39-50
- 1997
- [b1]Thom W. Frühwirth, Slim Abdennadher: Constraint-Programmierung - Grundlagen und Anwendungen. Springer 1997, ISBN 978-3-540-60670-3, pp. I-IX, 1-165
- [j1]Thom W. Frühwirth, Slim Abdennadher: Der Mietspiegel im Internet: Ein Fall für Constraint-Logikprogrammierung. KI 11(1): 33-36 (1997)
- [c6]Slim Abdennadher, Heribert Schütz: Model Generation with Existentially Quantified Variables and Constraints. ALP/HOA 1997: 256-272
- [c5]Slim Abdennadher: Operational Semantics and Confluence of Constraint Propagation Rules. CP 1997: 252-266
- [c4]Thom W. Frühwirth, Slim Abdennadher: Anwendungen Constraintbasierter Programmierung. GI Jahrestagung 1997: 317-326
- [c3]Slim Abdennadher, Hans Schlenker: INTERDIP - Ein Interaktiver Constraint-basierter Dienstplaner für Krankenstationen. WLP 1997: 0-
- 1996
- [c2]Slim Abdennadher, Thom W. Frühwirth, Holger Meuss: On Confluence of Constraint Handling Rules. CP 1996: 1-15
- 1995
- [c1]Slim Abdennadher, François Bry, Norbert Eisinger, Tim Geisler: The theorem prover SATCHMO : strategies, heuristics and applications. JFPLC 1995: 349-
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 10:55 CEST by the dblp team