Description Logic and Rules the CHR Way
Beitrag zu einer Konferenz
Editor
Djelloul, K.Duck, G. J.
Sulzmann, M.
Faculties
Fakultät für Ingenieurwissenschaften, Informatik und PsychologieInstitutions
Institut für Programmiermethodik und CompilerbauPublished 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
Conference
23rd International Conference on Logic Programming ICLP 2007, 2007-09-08 - 2007-09-13, Porto