BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Abdennadher:Slim

Contributed to:

ICLP TC 20152015
SAC 20152015
LOPSTR 20142014
LOPSTR 20132013
ICLP 20122012
LOPSTR 20072007
LOPSTR 20062006
LOPSTR 20032003
LOPSTR 20022002
PPDP 20012001
ALP/HOA 19971997
VS-Games 20162016

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.