| A survey of adaptable grammars H Christiansen ACM SIGPLAN Notices 25 (11), 35-44, 1990 | 90 | 1990 |
| HYPROLOG: A new logic programming language with assumptions and abduction H Christiansen, V Dahl International Conference on Logic Programming, 159-173, 2005 | 84 | 2005 |
| CHR grammars H Christiansen Theory and Practice of Logic Programming 5 (4-5), 467-501, 2005 | 77 | 2005 |
| An experimental CLP platform for integrity constraints and abduction S Abdennadher, H Christiansen Flexible Query Answering Systems: Recent Advances Proceedings of the Fourth …, 2001 | 64 | 2001 |
| On simplification of database integrity constraints H Christiansen, D Martinenghi Fundamenta Informaticae 71 (4), 371-417, 2006 | 62 | 2006 |
| Structure of endochitinase genes from sugar beets JD Mikkelsen, L Berglund, KK Nielsen, H Christiansen, K Bojsen Advances in chitin and chitosan, 344-353, 1992 | 59 | 1992 |
| Meaning in context H Christiansen, V Dahl International and Interdisciplinary Conference on Modeling and Using Context …, 2005 | 46 | 2005 |
| Integrity checking and maintenance in relational and deductive database and beyond D Martinenghi, H Christiansen, H Decker Intelligent Databases: Technologies and Applications, 238-285, 2007 | 45 | 2007 |
| Flexible query answering systems H Christiansen, G de Tré, A Yazici, S Zadrozny, T Andreasen, HL Larsen Springer US, 1997 | 43 | 1997 |
| Classification of renal tumour using convolutional neural networks to detect oncocytoma M Pedersen, MB Andersen, H Christiansen, NH Azawi European Journal of Radiology 133, 109343, 2020 | 38 | 2020 |
| Control flow treatment in a simple sematics directed compiler generator H Christiansen, ND Jones Formal description of programming concepts II: proceedings of the IFIP …, 1983 | 37 | 1983 |
| From use cases to UML class diagrams using logic grammars and constraints H Christiansen, CT Have, K Tveitane RANLP 7, 128-132, 2007 | 33 | 2007 |
| Automated reasoning with a constraint-based metainterpreter H Christiansen The Journal of Logic Programming 37 (1-3), 213-254, 1998 | 32 | 1998 |
| Assumptions and abduction in Prolog H Christiansen, V Dahl 3rd International Workshop on Multiparadigm Constraint Programming Languages …, 2004 | 27 | 2004 |
| Simplification of integrity constraints for data integration H Christiansen, D Martinenghi International Symposium on Foundations of Information and Knowledge Systems …, 2004 | 27 | 2004 |
| Executable specifications for hypothesis-based reasoning with Prolog and Constraint Handling Rules H Christiansen Journal of Applied Logic 7 (3), 341-362, 2009 | 26 | 2009 |
| Implementing probabilistic abductive logic programming with constraint handling rules H Christiansen Constraint Handling Rules: Current Research Topics, 85-118, 2008 | 26 | 2008 |
| Simplification of database integrity constraints revisited: A transformational approach H Christiansen, D Martinenghi International Symposium on Logic-Based Program Synthesis and Transformation …, 2003 | 26 | 2003 |
| Flexible query answering systems HL Larsen, T Andreasen Springer Berlin/Heidelberg., 2000 | 26 | 2000 |
| Non-discriminating arguments and their uses H Christiansen, JP Gallagher International Conference on Logic Programming, 55-69, 2009 | 24 | 2009 |
