-
Krzysztof R. Apt and Eric Monfroy.
Constraint programming viewed as rule-based programming.
Theory and Practice of Logic Programming,
1(6):713-750,
2001.
ISSN: 1471-0684.
[doi:10.1017/S1471068401000072]
@article{apt_monfroy_cp_viewed_as_rulebased_tplp01,
author = {Krzysztof R. Apt and Eric Monfroy},
title = {Constraint programming viewed as rule-based programming},
journal = TPLP,
volume = {1},
number = {6},
year = {2001},
issn = {1471-0684},
pages = {713--750},
doi = {10.1017/S1471068401000072},
publisher = CUP,
}
-
Thom Frühwirth and Slim Abdennadher.
The Munich Rent Advisor: A success for logic programming on the Internet.
Theory and Practice of Logic Programming,
1(3):303-319,
2001.
ISSN: 1471-0684.
[doi:10.1017/S1471068401001181]
Keyword(s): applications.
@article{fru_abd_munich_rent_advisor_tplp01,
author = {Thom Fr\"{u}hwirth and Slim Abdennadher},
title = {The {Munich} Rent Advisor: A success for logic programming on the Internet},
keywords = {applications},
journal = TPLP,
volume = {1},
number = {3},
year = {2001},
issn = {1471-0684},
pages = {303--319},
doi = {10.1017/S1471068401001181},
publisher = CUP,
}
-
Slim Abdennadher and Christophe Rigotti.
Using confluence to generate rule-based constraint solvers.
In R. De Nicola and H. Sondergaard, editors,
PPDP '01: Proc. 3rd Intl. Conf. Princ. Pract. Declarative Programming,
pages 127-135,
September 2001.
ACM Press.
ISBN: 1-58113-388-X.
Keyword(s): confluence.
@inproceedings{abd_rigotti_solver_generation_confluence_ppdp01,
author = {Slim Abdennadher and Christophe Rigotti},
title = {Using confluence to generate rule-based constraint solvers},
pages = {127--135},
keywords = {confluence},
crossref = {pppdp01}
}
-
Slim Abdennadher and Matthias Saft.
A visualization tool for Constraint Handling Rules.
In A. Kusalik, editor,
WLPE '01,
December 2001.
@inproceedings{abd_saft_jack:visualchr_wlpe01,
author = {Slim Abdennadher and Matthias Saft},
title = {A visualization tool for {C}onstraint {H}andling {R}ules},
booktitle = WLPE01,
year = 2001,
month = dec,
location = {Paphos, Cyprus},
city = {Paphos, Cyprus},
editor = {A. Kusalik},
}
-
Thom Frühwirth.
On the Number of Rule Applications in Constraint Programs.
In A. Dovier,
M. Chiara Meo,
and A. Omicini, editors,
Declarative Programming - Selected Papers from AGP 2000,
volume 48 of Electronic Notes in Theoretical Computer Science,
pages 147-166,
June 2001.
Elsevier.
Keyword(s): complexity,
termination.
@inproceedings{fru_number_entcs01,
author = {Thom Fr{\"u}hwirth},
title = {On the Number of Rule Applications in Constraint Programs},
editor = {A. Dovier and M. Chiara Meo and A. Omicini},
booktitle = {Declarative Programming - Selected Papers from AGP 2000},
keywords = {complexity, termination},
location = {La Habana, Cuba},
city = {La Habana, Cuba},
month = jun,
year = 2001,
series = ENTCS,
volume = 48,
pages = {147--166},
publisher = Elsevier,
}
-
Joost Geurts,
Jacco van Ossenbruggen,
and Lynda Hardman.
Application-Specific Constraints for Multimedia Presentation Generation.
In MMM '01: Proc. 8th Intl. Conf. on Multimedia Modeling,
pages 247-266,
November 2001.
Keyword(s): applications.
@inproceedings{geurts_vanOss_hardman_multimedia_presentation_cuypers_mm01,
author = {Joost Geurts and Jacco {van Ossenbruggen} and Lynda Hardman},
title = {Application-Specific Constraints for Multimedia Presentation Generation},
keywords = {applications},
booktitle = {MMM '01: Proc.\ 8th Intl.\ Conf.\ on Multimedia Modeling},
pages = {247--266},
year = 2001,
month = nov,
location = {Amsterdam, The Netherlands},
city = {Amsterdam, The Netherlands},
}
-
Armin Wolf.
Adaptive Constraint Handling with CHR in Java.
In T. Walsh, editor,
CP '01,
volume 2239 of Lecture Notes in Computer Science,
pages 256-270,
2001.
Springer-Verlag.
ISBN: 3-540-42863-1.
Keyword(s): Java,
extensions.
@inproceedings{wolf_adaptive_chr_java_cp01,
author = {Armin Wolf},
title = {Adaptive Constraint Handling with {CHR} in {J}ava},
booktitle = CP01,
year = {2001},
isbn = {3-540-42863-1},
pages = {256--270},
series = LNCS,
keywords = {Java, extensions},
volume = 2239,
editor = {T. Walsh},
location = {Paphos, Cyprus},
city = {Paphos, Cyprus},
publisher = SV,
}
-
Armin Wolf.
Attributed Variables for Dynamic Constraint Solving.
In Proc. 14th Intl. Conf. Applications of Prolog,
pages 211-219,
October 2001.
Prolog Association of Japan.
Keyword(s): implementation,
extensions.
@inproceedings{wolf_attr_vars_inap01,
author = {Armin Wolf},
title = {Attributed Variables for Dynamic Constraint Solving},
keywords = {implementation, extensions},
booktitle = {Proc.\ 14th Intl.\ Conf.\ Applications of Prolog},
location = {Tokyo, Japan},
city = {Tokyo, Japan},
year = 2001,
pages = {211--219},
month = oct,
publisher = {Prolog Association of Japan}
}