Travelled to:1 × Denmark
1 × Hungary
1 × Ireland
1 × Sweden
2 × Italy
2 × United Kingdom
3 × Spain
Collaborated with:N.Sharaf C.Rigotti T.W.Frühwirth A.Elsawy A.Zaki A.E.Bolock I.Sobhi H.Schütz G.Fakhry Sherif Ismail Wael Abouelsaadat A.Olama N.Salem A.Thabet
Talks about:constraint (8) rule (7) sourc (6) chr (5) generat (4) solver (4) transform (3) base (3) use (3) exhaust (2)
Person: Slim Abdennadher
DBLP: Abdennadher:Slim
Contributed to:
2015
2015
2014201320122007200620032002
20011997
2016Wrote 13 papers:
- ICLP-2015-ElsawyZA #execution #revisited
- CHR Exhaustive Execution — Revisited (AE, AZ, SA), pp. 153–165.
- SAC-2015-BolockA #automation #constraints #generative #towards #using
- Towards automatic poetry generation using constraint handling rules (AEB, SA), pp. 1868–1873.
- LOPSTR-2014-ElsawyZA #execution #text-to-text
- Exhaustive Execution of CHR Through Source-to-Source Transformation (AE, AZ, SA), pp. 59–73.
- LOPSTR-2014-SharafAF #animation #constraints #named
- CHRAnimation: An Animation Tool for Constraint Handling Rules (NS, SA, TWF), pp. 92–110.
- LOPSTR-2013-FakhrySA #implementation #semantics #text-to-text #towards
- Towards the Implementation of a Source-to-Source Transformation Tool for CHR Operational Semantics (GF, NS, SA), pp. 145–163.
- ICLP-2012-AbdennadherS #text-to-text #visualisation
- Visualization of CHR through Source-to-Source Transformation (SA, NS), pp. 109–118.
- LOPSTR-2007-AbdennadherS #approach #constraints #generative #rule-based #theorem proving
- Generation of Rule-Based Constraint Solvers: Combined Approach (SA, IS), pp. 106–120.
- LOPSTR-2006-AbdennadherOST #automation #mining #named
- ARM: Automatic Rule Miner (SA, AO, NS, AT), pp. 17–25.
- LOPSTR-2003-AbdennadherF #constraints #integration #optimisation #rule-based #theorem proving
- Integration and Optimization of Rule-Based Constraint Solvers (SA, TWF), pp. 198–213.
- LOPSTR-2002-AbdennadherR #constraints #logic programming #synthesis #theorem proving #using
- Constraint Solver Synthesis Using Tabled Resolution for Constraint Logic Programming (SA, CR), pp. 32–47.
- PPDP-2001-AbdennadherR #confluence #constraints #rule-based #theorem proving #using
- Using Confluence to Generate Rule-Based Constraint Solvers (SA, CR), pp. 127–135.
- ALP-1997-AbdennadherS #constraints #generative #quantifier
- Model Generation with Existentially Quantified Variables and Constraints (SA, HS), pp. 256–272.
- VS-Games-2016-IsmailAA #education #game studies
- Rules on Wheels: A Serious Game for Teaching Traffic Signs (SI, SA, WA), pp. 1–7.