`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:

### Wrote 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.