Zobrazeno 1 - 9
of 9
pro vyhledávání: '"Holzbaur, Christian"'
Publikováno v:
Theory and Practice of Logic Programming: 5(4-5):503-532, 2005
In this paper we discuss the optimizing compilation of Constraint Handling Rules (CHRs). CHRs are a multi-headed committed choice constraint language, commonly applied for writing incremental constraint solvers. CHRs are usually implemented as a lang
Externí odkaz:
http://arxiv.org/abs/cs/0408025
Autor:
Seewald, AlexanderK.1 (AUTHOR) alexsee@oefai.at, Holzbaur, Christian1 (AUTHOR), Widmer, Gerhard2 (AUTHOR)
Publikováno v:
Applied Artificial Intelligence. Jan2006, Vol. 20 Issue 1, p57-77. 21p. 5 Charts, 6 Graphs.
Autor:
Holzbaur, Christian, Fruhwirth, Thom
Publikováno v:
Applied Artificial Intelligence. Apr2000, Vol. 14 Issue 4, p369-388. 20p. 2 Graphs.
Publikováno v:
Proceedings of the 5th ACM SIGPLAN International Conference: Principles & Practice of Declaritive Programming; 8/27/2003, p79-90, 12p
Publikováno v:
Principles & Practice of Declarative Programming; 1999, p117-133, 17p
Autor:
Holzbaur, Christian, Fruhwirth, Thom
Publikováno v:
Applied Artificial Intelligence. Apr2000, Vol. 14 Issue 4, p309-310. 2p.
Publikováno v:
Applied Artificial Intelligence; Jan1987, Vol. 1 Issue 1, p39-52, 14p
Autor:
Mozetič, Igor, Holzbaur, Christian
Publikováno v:
Annals of Mathematics and Artificial Intelligence; March 1994, Vol. 11 Issue: 1-4 p297-314, 18p
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.