Description Logic and Rules the CHR Way
Beitrag zu einer Konferenz
Herausgeber
Djelloul, K.Duck, G. J.
Sulzmann, M.
Fakultäten
Fakultät für Ingenieurwissenschaften, Informatik und PsychologieInstitutionen
Institut für Programmiermethodik und CompilerbauErschienen in
Proceedings of the 4th Workshop on Constraint Handling Rules, CHR 2007 / Dahl, Verónica ; Niemelä, Ilkka (Hrsg.). - Berlin ; Heidelberg : Springer, 2007. - (Programming and Software Engineering ; 4670). - S. 49-61. - ISBN 978-3-540-74610-2
Konferenz
23rd International Conference on Logic Programming ICLP 2007, 2007-09-08 - 2007-09-13, Porto