Skip to contents

Frühwirth, Thom [Author]; Abdennadher, Slim [Author]

Essentials of constraint programming : with 27 figures

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2003

Published in: Cognitive technologies
Frühwirth, Thom [Author]; Abdennadher, Slim [Author]

Constraint-Programmierung : Grundlagen und Anwendungen

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 1997

Published in: Springer-Lehrbuch
Abdennadher, Slim [Author] ; Association for Computing Machinery-Digital Library

Proceedings of the 17th International Conference on Mobile and Ubiquitous Multimedia

View online
Schließen

Access

... to E-book via ACM Digital Library

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

New York, NY: ACM, 2018

Published in: ACM Digital Library- ACM Other conferences
El Bolock, Alia [Author] ; Herbert, Cornelia [Contributor]; Abdennadher, Slim [Contributor]

A Psychologically Driven Ontology-based Model of Character-based Behavior

View online
Schließen

Links

... to thesis via DOI

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Universität Ulm, 2022-10-14T13:56:05Z
Sharaf, Nada [Author] ; Frühwirth, Thom [Contributor]; Abdennadher, Slim [Contributor]

CHRvis: an animation extension for animating constraint handling rules

View online
Schließen

Links

... to thesis via DOI

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Universität Ulm, 2019-07-16T15:30:39Z
Abdennadher, Slim [Other]; Ringeissen, Christophe [Other] ; International Workshop on Rule Based Programming 5 2004 Aachen

RULE 2004 : fifth International Workshop on Rule-Based Programming ; proceedings

View online
Schließen

Access

... to E-book (Volltext ; PDF document ; freely accessible)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Aachen: RWTH, 2004

Published in: Aachener Informatik-Berichte ; 2004,4
Abdennadher, Slim [Author]; Sharaf, Nada [Author] ; Slim Abdennadher and Nada Sharaf [Contributor]

Visualization of CHR through Source-to-Source Transformation

View online
Schließen

Links

... to article via DOI

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2012
Gall, Daniel [Author] ; Frühwirth, Thom [Contributor]; Abdennadher, Slim [Contributor]; Gabbrielli, Maurizio [Contributor]

Analysis of cognitive models in constraint handling rules

View online
Schließen

Links

... to thesis via DOI

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Universität Ulm, 2021-08-18T14:17:58Z
Hamed, Injy [Author]; Vu, Ngoc Thang [Author]; Abdennadher, Slim [Author]

ArzEn: A Speech Corpus for Code-switched Egyptian Arabic-English

View online
Schließen

Access

... to article (Volltext ; freely accessible)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

2020

Published in: International Conference on Language Resources and Evaluation (12. : 2020 : Marseille): LREC 2020 Marseille ; (2020), Seite 4237-4246
Sharaf, Nada [Author]; Abdennadher, Slim [Author]; Frühwirth, Thom [Author] ; Nada Sharaf and Slim Abdennadher and Thom Frühwirth [Contributor]

CHR^vis: Syntax and Semantics

View online
Schließen

Links

... to article via DOI

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2018
Abdennadher, Slim [Author]; Ismail, Haythem [Author]; Khoury, Frederick [Author] ; Gesellschaft für Logische Programmierung e.V. [Contributor]

Transforming imperative algorithms to constraint handling rules

View online
Schließen

Links

... to conference proceeding

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

University of Potsdam: publish.UP, 2010-03-04
Balabel, Mohamed [Author]; Hamed, Injy [Author]; Abdennadher, Slim [Author]; Vu, Ngoc Thang [Author]; Çetinoğlu, Özlem [Author]

Cairo Student Code-Switch (CSCS) Corpus: An Annotated Egyptian Arabic-English Corpus

View online
Schließen

Access

... to article (Volltext ; freely accessible)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

2020

Published in: International Conference on Language Resources and Evaluation (12. : 2020 : Marseille): LREC 2020 Marseille ; (2020), Seite 3973-3977
Abdennadher, Slim

Principles and Practice of Constraint Programming-CP97: Operational semantics and confluence of constraint propagation rules

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 1997

Published in: Principles and Practice of Constraint Programming-CP97 (1997), Seite 252-266
Abdennadher, Slim; Sobhi, Ingi

Logic-Based Program Synthesis and Transformation: Generation of Rule-Based Constraint Solvers: Combined Approach

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 2008

Published in: Logic-Based Program Synthesis and Transformation (2008), Seite 106-120
ABDENNADHER, SLIM; RIGOTTI, CHRISTOPHE

Automatic generation of CHR constraint solvers

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Cambridge University Press (CUP), 2005

Published in: Theory and Practice of Logic Programming, 5 (2005) 4-5, Seite 403-418
Abdennadher, Slim; Ringeissen, Christophe

Preface

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Elsevier BV, 2005

Published in: Electronic Notes in Theoretical Computer Science, 124 (2005) 1, Seite 1-2
Abdennadher, Slim; Rigotti, Christophe

Automatic generation of rule-based constraint solvers over finite domains

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Association for Computing Machinery (ACM), 2004

Published in: ACM Transactions on Computational Logic, 5 (2004) 2, Seite 177-205
Abdennadher, Slim; Rigotti, Christophe

Logic Based Program Synthesis and Transformation: Constraint Solver Synthesis Using Tabled Resolution for Constraint Logic Programming

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 2003

Published in: Logic Based Program Synthesis and Transformation (2003), Seite 32-47
Abdennadher, Slim; Frühwirth, Thom

Logic Based Program Synthesis and Transformation: Integration and Optimization of Rule-Based Constraint Solvers

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 2004

Published in: Logic Based Program Synthesis and Transformation (2004), Seite 198-213
Fruehwirth, Thom; Abdennadher, Slim

Frontiers of Combining Systems: Tutorial: Reasoning with, about and for Constraint Handling Rules

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 2002

Published in: Frontiers of Combining Systems (2002), Seite 192-192

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication