2017

Conference

2017


Spatio-Tempo-Socio-Semantic-Aware Model For Destination Prediction

  • Nardine Basta, Amal ElNahas, Hans Peter Grossmann, and Slim Abdennadher : Spatio-Tempo-Socio-Semantic-Aware Model For Destination Prediction , International Conference on Computing, Networking and Communications (ICNC 2017), 2017.


2016

Conference

2016


Human Activity Recognition Using Sensor Data of Smartphones and Smartwatches

  • Bishoy Sefen, Andreas Dengel and Slim Abdennadher : Human Activity Recognition Using Sensor Data of Smartphones and Smartwatches , The 8th International Conference on Agents and Artificial Intelligence, ICAART 2016 , 2016.

Conference

2016


Harnessing Supervised Learning Techniques for the Task Planning of Ambulance Rescue Agents

  • Fadwa Sakr and Slim Abdennadher : Harnessing Supervised Learning Techniques for the Task Planning of Ambulance Rescue Agents , The 8th International Conference on Agents and Artificial Intelligence (ICAART2016), 2016.

Conference

2016


A Rule-based Approach for Animating Java Algorithms

  • Nada Sharaf, Slim Abdennadher and Thom Frühwirth : A Rule-based Approach for Animating Java Algorithms , 20th International Conference Information Visualisation (iV2016), Lisbon, Portugal, 2016.

Conference

2016


Super Alpha - Arabic Alphabet Learning Serious Game for Children with Learning Disabilities

  • Jailan Salah, Slim Abdennadher, Caroline Sabty and Yomna Abdelrahman : Super Alpha - Arabic Alphabet Learning Serious Game for Children with Learning Disabilities , The international Joint Conference on Serious Games, JCSG 2016, 2016.

Conference

2016


A Rule Based Approach to teach Mathematics using Animation

  • Nada Sharaf, Slim Abdennadher and Thom Frühwirth : A Rule Based Approach to teach Mathematics using Animation , RuleML 2016 Challenge of the 10th International Web Rule Symposium (RuleML 2016), New York, USA, 2016.

Conference

2016


A Customizable Learning Platform For Computer Science Education

  • Amr Draz, Slim Abdennadher and Yomna Abdelrahman : A Customizable Learning Platform For Computer Science Education , The Eleventh European Conference on Technology Enhanced Learning (EC-TEL 2016), 2016.

Conference

2016


Gamified Collection of Arabic Named Entity Recognition Data

  • Caroline Sabty, Mirna Yacout, Mohamed Sameh and Slim Abdennadher : Gamified Collection of Arabic Named Entity Recognition Data , 2nd International Conference on Arabic Computational Linguistics (ACLing 2016), 2016.

Conference

2016


TashkeelWAP: A Game With A Purpose For Digitizing Arabic Diacritics

  • Lin Kassem, Caroline Sabty, Nada Sharaf, Menna Bakry and Slim Abdennadher : TashkeelWAP: A Game With A Purpose For Digitizing Arabic Diacritics , 2nd International Conference on Arabic Computational Linguistics (ACLing 2016), 2016.

Workshop

2016


Generic Geo-Social Mobility Model for VANET Network

  • Nardine Basta, Amal ElNahas, Hans Peter Grossmann and Slim Abdennadher : Generic Geo-Social Mobility Model for VANET Network , IEEE Vehicular Technology Conference: VTC2016-Fall Workshops (VISIT '16 Workshop), 2016.

Conference

2016


Animating Cognitive Models and Architectures: A Rule-Based Approach

  • Nada Sharaf, Slim Abdennadher, Thom Fruehwirth and Daniel Gall : Animating Cognitive Models and Architectures: A Rule-Based Approach , 2nd Global Conference on Artificial Intelligence, 2016.

Conference

2016


Greenie - Alternative Transportation Means for a More Sustainable Environment through a Serious Game

  • Lydia Sidhom, Slim Abdennadher and Fatema Gabr : Greenie - Alternative Transportation Means for a More Sustainable Environment through a Serious Game , International Conference on Meaningful Play, 2016.

Conference

2016


Towards a Human Machine Interface Concept for Performance Improvement of Cycling

  • Menah El Bastawisy, Dirk Reichardt and Slim Abdennadher : Towards a Human Machine Interface Concept for Performance Improvement of Cycling , Games and Learning Alliance conference (GALA 2016), 2016.


2015

Conference

2015


Walk Like An Egyptian: A Serious, Pervasive Mobile Game for Tourism

  • Fatema Gabr and Slim Abdennadher : Walk Like An Egyptian: A Serious, Pervasive Mobile Game for Tourism , 11th Conference on Mobile Learning, 2015, Portugal., 2015.

Conference

2015


Towards Automatic Poetry Generation using Constraint Handling Rules

  • Alia el Bolock and Slim Abdennadher : Towards Automatic Poetry Generation using Constraint Handling Rules , The 30th ACM/SIGAPP Symposium On Applied Computing (SAC 2015), 2015.

Conference

2015


Satisfying Poetry Properties Using Constraint Handling Rules

  • Alia El Bolock, Slim Abdennadher : Satisfying Poetry Properties Using Constraint Handling Rules , 16th International Conference, CICLing, 2015.

Conference

2015


Kalema: Digitizing Arabic Content for Accessibility Purposes Using Crowdsourcing

  • Gasser Akila, Mohamed El-Menisy, Omar Khaled, Nada Sharaf, Nada Tarhony, Slim Abdennadher : Kalema: Digitizing Arabic Content for Accessibility Purposes Using Crowdsourcing , 16th International Conference, CICLing, 2015.

Conference

2015


Combining Forward and Backward Propagation

  • Amira Zaki, Slim Abdennadher, Thom Frühwirth : Combining Forward and Backward Propagation , 10th International Symposium on Frontiers of Combining Systems (FroCoS'15), Wroclaw, Poland, 2015.

Conference

2015


Building a Corpus for Arabic Dialects using Games With A Purpose

  • Maya Osman, Caroline Sabty, Nada Sharaf, and Slim Abdennadher : Building a Corpus for Arabic Dialects using Games With A Purpose , ACLing 2015, 1st International Arabic Computational Linguistics Conference, 2015.

Workshop

2015


Learning Instance-Level Constraints in Folksonomies for Semi-supervised Clustering using CHR

  • Maged Shalaby, Slim Abdennadher, Nada Sharaf, Ghada Fakhry : Learning Instance-Level Constraints in Folksonomies for Semi-supervised Clustering using CHR , 29nd Workshop on (Constraint) Logic Programming (WLP 2015), 2015.

Conference

2015


DiagrammaticCHR: A Diagrammatic Representation of CHR Programs

  • Nada Sharaf, Slim Abdennadher and Thom Frühwirth : DiagrammaticCHR: A Diagrammatic Representation of CHR Programs , 19th International Conference Information Visualisation (iV2015), Barcelona, Spain, 2015.

Conference

2015


CHR in Action

  • Arwa Ismail, Nada Sharaf and Slim Abdennadher : CHR in Action , 25th International Symposium, LOPSTR 2015, 2015.

Conference

2015


CHR Exhaustive Execution - Revisited

  • Ahmed Elsawy, Amira Zaki and Slim Abdennadher : CHR Exhaustive Execution - Revisited , Technical Communications of the 31st International Conference on Logic Programming (ICLP 2015), 2015.

Conference

2015


iPlayAStory: A Language Learning Platform for Interactive Story-telling

  • Abdelrahman Sakr, Injy Hamed and Slim Abdennadher : iPlayAStory: A Language Learning Platform for Interactive Story-telling , The Games and Learning Alliance conference (GALA 2015) , 2015.


2014

Workshop

2014


AreCAPTCHA: Outsourcing Arabic Text Digitization to Native Speaker

  • Menna Bakry, Mohamed Khamis and Slim Abdennadher : AreCAPTCHA: Outsourcing Arabic Text Digitization to Native Speaker , The 11thIAPR Workshop on Document Analysis Systems , 2014.

Conference

2014


An Aggressive Feature Selection Technique for Rule-based Text Categorization

  • Salma Tayel, Stefan Agne, Andreas Dengel , Slim Abdennadher : An Aggressive Feature Selection Technique for Rule-based Text Categorization , The 6th International Conference on Agents and Artificial Intelligence, 2014.

Journal

2014


Geo-Social Mobility Model for VANET Simulation

  • Nardine Basta, Amal El-Nahas, Hans-Peter Grossmann, Slim Abdennadher : Geo-Social Mobility Model for VANET Simulation , Journal of Mobil Multimedia, Vol.10 No.1&2, 2014.

Conference

2014


Visualization of Constraint Handling Rules

  • Nada Sharaf, Slim Abdennadher, Thom Fruehwirth : Visualization of Constraint Handling Rules , Doctoral Consortium of the 30th International Conference on Logic Programming (ICLP 2014), 2014.

Conference

2014


Exhaustive Execution of CHR through Source-to-Source Transformation

  • Ahmed Nagah, Amira Zaki and Slim Abdennadher : Exhaustive Execution of CHR through Source-to-Source Transformation , 24th International Symposium on Logic-Based Program Synthesis and Transformation LOPSTR 2014, 2014.

Conference

2014


A Visualization Tool for Constraint Handling Rules

  • Nada Sharaf, Slim Abdennadher and Thom Frühwirth : A Visualization Tool for Constraint Handling Rules , 24th International Symposium on Logic-Based Program Synthesis and Transformation LOPSTR 2014, 2014.

Conference

2014


Building a Corpus to Categorize Arabic Short Text using Games With A Purpose

  • Slim Abdennadher, Heba Ayman, Caroline Sabty, Reem Salem, Nada Tarhony and Sara Zohny : Building a Corpus to Categorize Arabic Short Text using Games With A Purpose , 13th International Conference WWW/Internet 2014 (ICWI 2014), 2014.

Conference

2014


Game with a Purpose for Tagging Emotions in Dialect Arabic Speech.

  • Miriam Rizkallah, Omar Abdulaal, Menah El Bastawisy, Injy Hamed, Slim Abdennadher : Game with a Purpose for Tagging Emotions in Dialect Arabic Speech. , Tenth International Conference on Signal-Image Technology and Internet-Based Systems, SITIS , 2014.

Workshop

2014


Collecting Data for Automatic Speech Recognition Systems in Dialectal Arabic Using Games with a Purpose

  • Dayna El-Sakhawy, Slim Abdennadher, Injy Hamed : Collecting Data for Automatic Speech Recognition Systems in Dialectal Arabic Using Games with a Purpose , Multimodal Analyses enabling Artificial Agents in Human-Machine Interaction - Second International Workshop, MA3HMI, 2014.


2013

Conference

2013


Collecting Links between Entities Ranked by Human Association Strengths

  • Jörn Hees, Mohamed Khamis, Ralf Biedert, Slim Abdennadher, Andreas Dengel : Collecting Links between Entities Ranked by Human Association Strengths , The Semantic Web: Semantics and Big Data, 10th International Conference, ESWC 2013, 2013.

Workshop

2013


Socio-Aware VANET Mobility Models: an Overview

  • Nardine Basta, Amal El-Nahas, Hans Peter Grossmann and Slim Abdennadher : Socio-Aware VANET Mobility Models: an Overview , First International Workshop on Vehicular Networks and Telematics, 2013.

Conference

2013


GeoEvents - An Interactive Tool to Analyze and Visualize Spatial Information from the Social Web

  • Caroline Sabty, Martin Memmel, Slim Abdennadher : GeoEvents - An Interactive Tool to Analyze and Visualize Spatial Information from the Social Web , International Conference on Social Computing, 2013.

Workshop

2013


Collecting Arabic Dialect Variations using Games With A Purpose: A Case Study Targeting the Egyptian Dialect

  • Sara Nasser, Nada Sharaf, Mohamed Khamis, Slim Abdennadher, Caroline Sabty : Collecting Arabic Dialect Variations using Games With A Purpose: A Case Study Targeting the Egyptian Dialect , The 2nd Workshop on Games and NLP , 2013.

Workshop

2013


Implementation of the Operational Semantics for CHR with User-defined Rule Priorities

  • Slim Abdennadher, Ghada Fakhry, and Nada Sharaf : Implementation of the Operational Semantics for CHR with User-defined Rule Priorities , 10th Workshop on Constraint Handling Rules, pages 1-12, July 2013. K.U.Leuven, Department of Computer Science, Technical report CW 641, 2013.

Workshop

2013


CHR Meets MapReduce

  • Amr Osman, Amira Zaki, and Slim Abdennadher : CHR Meets MapReduce , 10th Workshop on Constraint Handling Rules, pages 61-69, July 2013. K.U.Leuven, Department of Computer Science, Technical report CW 641, 2013.

Workshop

2013


Tagging Reasoning System using CHR

  • Nada Sharaf, Injy Hamed, and Slim Abdennadher : Tagging Reasoning System using CHR , 10th Workshop on Constraint Handling Rules, pages 61-69, July 2013. K.U.Leuven, Department of Computer Science, Technical report CW 641, 2013.

Journal

2013


Towards Inverse Execution of Constraint Handling Rules

  • Amira Zaki, Thom W. Frühwirth, and Slim Abdennadher : Towards Inverse Execution of Constraint Handling Rules , Technical Communications of the 29th Intl. Conf. on Logic Programming, volume 13(4–5), Online Supplement of Theory and Practice of Logic Programming. Cambridge University Press, 2013.

Conference

2013


Clustering and Planning for Rescue Agent Simulation

  • Ahmed Abouraya, Dina Helal, Fadwa Sakr, Noha Khater, Salma Osama, Slim Abdennadher : Clustering and Planning for Rescue Agent Simulation , RoboCup 2013, 2013.

Enhancing One-class Support Vector Machines for Unsupervised Anomaly Detection

  • Mennatallah Amer, Markus Goldstein, Slim Abdennadher : Enhancing One-class Support Vector Machines for Unsupervised Anomaly Detection , Proceedings of the ACM SIGKDD Workshop on Outlier Detection and Description (ODD) International Conference on Knowledge Discovery and Data Mining (KDD-2013), August 11-14, Chicago,, IL, USA, 8-15, ACM, New York, NY, USA, 2013 , 2013.


2012

Conference

2012


Multi-Agent Planning for the Robocup Rescue Simulation

  • A. Hussein, C. Gervet, S. Abdennadher : Multi-Agent Planning for the Robocup Rescue Simulation , ICAART, 2012. , 2012.

Conference

2012


Visualization of CHR through Source-to-Source Transformation

  • Slim Abdennadher and Nada Sharaf : Visualization of CHR through Source-to-Source Transformation , Technical Communications of the 28th International Conference on Logic Programming, ICLP 2012, 2012.

Workshop

2012


CHR meets Google Docs

  • Slim Abdennadher and Mahitab Sharawy : CHR meets Google Docs , The 26th Workshop on Logic Programming, WLP 2012, 2012.


2011

Conference

2011


Rapid phonetic transcription using everyday life natural Chat Alphabet orthography for dialectal Arabic speech recognition

  • Mohamed Elmahdy, Rainer Gruhn, Slim Abdennadher, Wolfgang Minker : Rapid phonetic transcription using everyday life natural Chat Alphabet orthography for dialectal Arabic speech recognition , IEEE International Conference on Acoustics, Speech, and Signal Processing, ICASSP 2011, 2011.

Conference

2011


A visual Entity-Relationship Model for Constraint-Based University Timetabling

  • Islam Abdelraouf, Slim Abdennadher, Carmen Gervet : A visual Entity-Relationship Model for Constraint-Based University Timetabling , International Conference on Applications of Declarative Programming and Knowledge Management, 2011.


2010

Conference

2010


Constraint Reasoning with Uncertain Data using CDF-Intervals

  • Aya Saad, Carmen Gervet and Slim Abdennadher : Constraint Reasoning with Uncertain Data using CDF-Intervals , International conference on the integration of AI and OR techniques in CP, CP AIOR 2010, 2010.
Feb. 2010, Springer Verlag

Conference

2010


Cross-Lingual Acoustic modeling for Dialectal Arabic Speech Recognition

  • Mohamed Elmahdy, Rainer Gruhn, Wolfgang Minker and Slim Abdennadher : Cross-Lingual Acoustic modeling for Dialectal Arabic Speech Recognition , INTERSPEECH 2010, 2010.


2009

Conference

2009


Effect of Gaussian Densities and Amount of Training Data on Grapheme-Based Acoustic Modeling for Arabic

  • Mohamed Elmahdy, Rainer Gruhn, Wolfgang Minker, and Slim Abdennadher : Effect of Gaussian Densities and Amount of Training Data on Grapheme-Based Acoustic Modeling for Arabic , IEEE International Conference on Natural Language Processing and Knowledge Engineering (IEEE NLP-KE), 2009.

Conference

2009


Modern Standard Arabic Based Multilingual Approach for Dialectal Arabic Speech Recognition

  • Mohamed Elmahdy, Rainer Gruhn, Wolfgang Minker, and Slim Abdennadher : Modern Standard Arabic Based Multilingual Approach for Dialectal Arabic Speech Recognition , The Eighth International Symposium on Natural Language Processing (SNLP 2009), 2009.

Conference

2009


Survey on common Arabic language forms from a speech recognition point of view

  • Mohamed Elmahdy, Rainer Gruhn, Wolfgang Minker, and Slim Abdennadher : Survey on common Arabic language forms from a speech recognition point of view , International conference on Acoustics (NAG-DAGA), 2009.


2008

Journal

2008


Constructing Rule-based Solvers for Intentionally-defined Constraints

  • Ingi Sobhi, Slim Abdennadher, Hariolf Betz : Constructing Rule-based Solvers for Intentionally-defined Constraints , Special Issue on Recent Advances in Constraint Handling Rules, LNAI, 2008.

Workshop

2008


JCHRIDE: An Integrated Development Environment for JCHR

  • Slim Abdennadher, Shehab Fawzy : JCHRIDE: An Integrated Development Environment for JCHR , 22nd Workshop on (Constraint) Logic Programming, Dresden, Germany, 2008.


2007

Workshop

2007


Constraint-Based Examination Timetabling for the German University in Cairo

  • Slim Abdennadher and Marlien Edward : Constraint-Based Examination Timetabling for the German University in Cairo , 21st Workshop on (Constraint) Logic Programming, Würzburg, Germany, 2007.

Workshop

2007


Constraint-Based University Timetabling for the German University in Cairo

  • Slim Abdennadher and Mohamed Aly : Constraint-Based University Timetabling for the German University in Cairo , 21st Workshop on (Constraint) Logic Programming, Würzburg, Germany, 2007.

Conference

2007


BECAM Tool - A Semi-automatic Tool for Bootstrapping Emotion Corpus Annotation and Management

  • Slim Abdennadher, M. Aly, D. Buehler, W. Minker, J. Pittermann : BECAM Tool - A Semi-automatic Tool for Bootstrapping Emotion Corpus Annotation and Management , Interspeech 2007, 2007.

Conference

2007


Generation of Rule-based Constraint Solvers: Combined Approach

  • Slim Abdennadher and Ingi Sobhi : Generation of Rule-based Constraint Solvers: Combined Approach , The 17th International Symposium on Logic-Based Program Synthesis and Transformation, Revised Selected Papers, LNCS , 2007.


2006

Conference

2006


ARM: Automatic Rule Miner

  • Slim Abdennadher, Abdelatif Olama, Noha Salem, Amira Thabet : ARM: Automatic Rule Miner , The 16th International Symposium on Logic-based Program Synthesis and Transformation, Revised Selected Papers, LNCS 4407, 2006.

Journal

2006


Constraint Systems and Solvers for Constraint Programming

  • Thom Frühwirth and Slim Abdennadher : Constraint Systems and Solvers for Constraint Programming , Special Issue of Archives of Control Sciences (ACS) on Constraint Programming for Decision and Control, R. Bartak, Ed., Silesian University of Technology, Gliwice, Poland, 2006.


2005

Journal

2005


Automatic Generation of CHR Constraint Solvers

  • Slim Abdennadher and C. Rigotti : Automatic Generation of CHR Constraint Solvers , Journal of Theory and Practice of Logic Programming (TPLP), 5(4-5): 403-418, 2005.

Workshop

2005


Proceedings of the 5th International Workshop on Rule-Based Programming

  • Slim Abdennadher, C. Ringeissen (Eds) : Proceedings of the 5th International Workshop on Rule-Based Programming , Volume 124, Number 1, 2005.

Journal

2005


Special Issue on Constraint Handling Rules

  • Slim Abdennadher, T. Frühwirth and C. Holzbaur (Eds) : Special Issue on Constraint Handling Rules , Journal on Theory and Practice of Logic Programming, 2005.


2004

Journal

2004


Automatic generation of rule-based constraint solvers over finite domains

  • Slim Abdennadher and Christophe Rigotti : Automatic generation of rule-based constraint solvers over finite domains , Journal of Theory and Practice of Logic Programming (TPLP), 5(4-5): 403-418 , 2004.

Conference

2004


Integration and Optimization of Rule-based Constraint Solvers

  • Slim Abdennadher and Thom Frühwirth : Integration and Optimization of Rule-based Constraint Solvers , International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2003), Selected papers, Springer LNCS, 2004.


2003

Book

2003


Essentials of Constraint Programming

  • Thom Frühwirth and Slim Abdennadher : Essentials of Constraint Programming , Textbook, Springer Verlag, 2003.

Conference

2003


Constraint Solver Synthesis using Tabled Resolution for Constraint Logic Programming

  • Slim Abdennadher, Christophe Rigotti : Constraint Solver Synthesis using Tabled Resolution for Constraint Logic Programming , International Symposium Logic Based Program Development and Transformation (LOPSTR'02), Selected Papers, Springer LNCS, 2003.


2002

Journal

2002


Automatic Generation of Rule-Based Solvers for Intentionally Defined Constraints

  • 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.

Journal

2002


JACK: A Java Constraint Kit

  • S. Abdennadher, E. Krämer, M. Saft and M. Schmauss : JACK: A Java Constraint Kit , Electronic Notes in Theoretical Computer Science Volume 64, 2002.

Workshop

2002


Using Program Analysis for Integration and Optimi zation of Rule-based Constraint Solvers

  • Slim Abdennadher, Thom Frühwirth : Using Program Analysis for Integration and Optimi zation of Rule-based Constraint Solvers , Onzièmes Journées Francophones de Programmation Logique et Programmation par Contraintes (JFPLC'2002), Nice, France, 2002.


2001

Conference

2001


Towards Inductive Constraint Solving

  • Slim Abdennadher and Christophe Rigotti : Towards Inductive Constraint Solving , Seventh International Conference on Principles and Practice of Constraint Programming, CP'2001, Paphos, Cyprus, 2001.

Conference

2001


Generation of Propagation Rules for Intentionally Defined Constraints

  • S. Abdennadher and C. Rigotti : Generation of Propagation Rules for Intentionally Defined Constraints , The Thirteenth IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2001), Dallas, Texas, 2001.

Workshop

2001


A Visualization Tool for Constraint Handling Rules

  • Slim Abdennadher, Mathias Saft : A Visualization Tool for Constraint Handling Rules , The 11th Workshop on Logic Programming Environments, Paphos, Cyprus, 2001.

Workshop

2001


JACK: A Java Constraint Kit

  • S. Abdennadher, E. Krämer, M. Saft and M. Schmauss : JACK: A Java Constraint Kit , International Workshop on Functional and (Constraint) Logic Programming (WFLP 2001), Kiel, 2001.

Conference

2001


Using Confluence to Generate Rule-based Constraint Solvers

  • Slim Abdennadher and Christophe Rigotti : Using Confluence to Generate Rule-based Constraint Solvers , Third International Conference on Principles and Practice of Declarative Programming (PPDP01), Florence, Italy, 2001.

Journal

2001


The Munich Rent Advisor: A success for Logic Programming on the Internet

  • Thom Frühwirth and Slim Abdennadher : The Munich Rent Advisor: A success for Logic Programming on the Internet , Special Issue on Logic Programming and the Internet (M. Hermenegildo, L. Naish and L. Sterling, Eds.), Journal of Theory and Practice of Logic Programming, Vol 1, Part 3, 2001.

Technical Report

2001


Rule-based Constraint Programming: Theory and Practice

  • Slim Abdennadher : Rule-based Constraint Programming: Theory and Practice , Habilitation, Institut für Informatik, Ludwig-Maximilians-Universität München, 2001.


2000

Workshop

2000


15th Workshop on Logic Programming and Constraint Systems (WLP2000)

  • Slim Abdennadher, Ulrich Geske, and Dietmar Seipel (Eds.) : 15th Workshop on Logic Programming and Constraint Systems (WLP2000) , Berlin, 2000.

Conference

2000


An Experimental CLP Platform for Integrity Constraints and Abduction

  • Slim Abdennadher and Henning Christiansen : An Experimental CLP Platform for Integrity Constraints and Abduction , Fourth International Conference on Flexible Query Answering Systems, FQAS 2000, Warsaw, Poland, 2000.

Conference

2000


Automatic Generation of Propagation Rules for Finite Domains

  • S. Abdennadher and C. Rigotti : Automatic Generation of Propagation Rules for Finite Domains , Sixth International Conference on Principles and Practice of Constraint Programming, CP 2000, 2000.

Conference

2000


Classroom Assignment using Constraint Logic Programming

  • S. Abdennadher, M. Saft and S. Will : Classroom Assignment using Constraint Logic Programming , The Second International Conference and Exhibition on The Practical Application of Constraint Technologies and Logic Programming, PACLP 2000, 2000.

Journal

2000


University Course Timetabling using Constraint Handling Rules

  • Slim Abdennadher and Michael Marte : University Course Timetabling using Constraint Handling Rules , Journal of Applied Artificial Intelligence, Special Issue on Constraint Handling Rules (C. Holzbaur and T. Frühwirth, Eds.), Taylor & Francis, 2000.

Workshop

2000


A Language for Experimenting with Declarative Paradigms

  • Slim Abdennadher : A Language for Experimenting with Declarative Paradigms , Second Workshop on Rule-Based Constraint Reasoning and Programming, Singapore, 2000.


1999

Conference

1999


Operational Equivalence of CHR Programs And Constraints

  • Slim Abdennadher and Thom Frühwirth : Operational Equivalence of CHR Programs And Constraints , Conference on Principles and Practice of Constraint Programming, CP'99, Alexandra, Virginia, USA, Springer LNCS, 1999.

Workshop

1999


Constraint Handling Rules: Applications and Extensions (Invited Talk)

  • Slim Abdennadher : Constraint Handling Rules: Applications and Extensions (Invited Talk) , 2nd International Workshop on Optimization and Simulation of Complex Industrial Systems. Extensions and Applications of Constraint-Logic Programming and 7th International Workshop on Deductive Databases and Logic Programming, Tokyo, Japan, in conjunction with the 12th International Conference on Applications of Prolog, INAP'99, 1999.

Conference

1999


Nurse Scheduling using Constraint Logic Programming

  • Slim Abdennadher and Hans Schlenker : Nurse Scheduling using Constraint Logic Programming , Eleventh Annual Conference on Innovative Applications of Artificial Intelligence, IAAI-99, Orlando, Florida, 1999.

Workshop

1999


The Functional Rent Advisor

  • Slim Abdennadher, Tim Geisler and Sven Panne : The Functional Rent Advisor , 8th International Workshop on Functional and Logic Programming, WFLP'99, Grenoble, France, 1999.

Conference

1999


INTERDIP - An Interactive Constraint Based Nurse Scheduler

  • Slim Abdennadher and Hans Schlenker : INTERDIP - An Interactive Constraint Based Nurse Scheduler , The First International Conference and Exhibition on The Practical Application of Constraint Technologies and Logic Programming, PACLP99, London, 1999.

Workshop

1999


Constraint-Based Heuristics for Grammar School Timetabling

  • Slim Abdennadher and Michael Marte : Constraint-Based Heuristics for Grammar School Timetabling , Workshop on Integration of AI and OR techniques in Constraint Programming for Combinatorial Optimization Problems, CP-AI-OR'99, Ferrara, Italy, 1999.

Journal

1999


Confluence and Semantics of Constraint Simplification Rules

  • Slim Abdennadher and Thom Frühwirth and Holger Meuss : Confluence and Semantics of Constraint Simplification Rules , Journal Constraints, Volume 4, Issue 2, Kluwer Academic Publishers, 1999.


1998

Technical Report

1998


Analyse von regelbasierten Constraintlösern (in German)

  • Slim Abdennadher : Analyse von regelbasierten Constraintlösern (in German) , PhD Thesis, Ludwig-Maximilians-Universität München, 1998.

Conference

1998


CHRv: A Flexible Query Language

  • Slim Abdennadher and Heribert Schütz : CHRv: A Flexible Query Language , International conference on Flexible Query Answering Systems, FQAS'98, Springer LNCS, 1998.

Workshop

1998


Constraintbasierte Stundenplanung für Universitäten (in German)

  • Slim Abdennadher and Michael Marte : Constraintbasierte Stundenplanung für Universitäten (in German) , 12. Workshop Planen und Konfigurieren, 1998.


1997

Book

1997


Constraint Programmierung (in German)

  • Thom Frühwirth and Slim Abdennadher : Constraint Programmierung (in German) , Textbook, Springer, 1997.

Conference

1997


Operational Semantics and Confluence of Constraint Propagation Rules

  • Slim Abdennadher : Operational Semantics and Confluence of Constraint Propagation Rules , Third International Conference on Principles and Practice of Constraint Programming (CP97), 1997.

Workshop

1997


INTERDIP - Ein Interaktiver Constraint-basierter Dienstplaner für Krankenstationen

  • Slim Abdennadher and Hans Schlenker : INTERDIP - Ein Interaktiver Constraint-basierter Dienstplaner für Krankenstationen , 12. Workshop logische Programmierung, Munich, Germany, 1997.

Conference

1997


Model Generation with Existentially Quantified Variables and Constraints

  • Slim Abdennadher and Heribert Schütz : Model Generation with Existentially Quantified Variables and Constraints , Sixth International Conference on Algebraic and Logic Programming (ALP), Southampton, LNCS 1298, 1997.


1996

Conference

1996


On Confluence of Constraint Handling Rules.

  • Slim Abdennadher, Thom Frühwirth, and Holger Meuss : On Confluence of Constraint Handling Rules. , Second International Conference on Principles and Practice of Constraint Programming (CP'96), Cambridge (Massachusetts), USA, LNCS 1118, 1996.


RenewSession