A survey of adaptable grammars H Christiansen ACM SIGPLAN Notices 25 (11), 35-44, 1990 | 89 | 1990 |
HYPROLOG: A new logic programming language with assumptions and abduction H Christiansen, V Dahl International Conference on Logic Programming, 159-173, 2005 | 81 | 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 …, 2000 | 62 | 2000 |
On simplification of database integrity constraints H Christiansen, D Martinenghi Fundamenta Informaticae 71 (4), 371-417, 2006 | 61 | 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 | 60 | 1992 |
Meaning in context H Christiansen, V Dahl International and Interdisciplinary Conference on Modeling and Using Context …, 2005 | 48 | 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 | 43 | 2007 |
Flexible query answering systems H Christiansen, G de Tré, A Yazici, S Zadrozny, T Andreasen, HL Larsen Springer US, 1997 | 42 | 1997 |
From use cases to UML class diagrams using logic grammars and constraints H Christiansen, CT Have, K Tveitane RANLP 7, 128-132, 2007 | 35 | 2007 |
Automated reasoning with a constraint-based metainterpreter H Christiansen The Journal of Logic Programming 37 (1-3), 213-254, 1998 | 31 | 1998 |
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 | 30 | 1983 |
Executable specifications for hypothesis-based reasoning with Prolog and Constraint Handling Rules H Christiansen Journal of Applied Logic 7 (3), 341-362, 2009 | 27 | 2009 |
Flexible Query Answering Systems: 7th International Conference, FQAS 2006, Milan, Italy, June 7-10, 2006 HL Larsen Springer Science & Business Media, 2006 | 27 | 2006 |
Assumptions and abduction in Prolog H Christiansen, V Dahl 3rd International Workshop on Multiparadigm Constraint Programming Languages …, 2004 | 27 | 2004 |
Implementing probabilistic abductive logic programming with constraint handling rules H Christiansen Constraint Handling Rules: Current Research Topics, 85-118, 2008 | 26 | 2008 |
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 | 24 | 2020 |
Abductive language interpretation as bottom-up deduction H Christiansen Proc. NLULP, 33-47, 2002 | 23 | 2002 |
Non-discriminating arguments and their uses H Christiansen, JP Gallagher International Conference on Logic Programming, 55-69, 2009 | 22 | 2009 |
Logic grammars for diagnosis and repair H Christiansen, V Dahl International Journal on Artificial Intelligence Tools 12 (03), 227-248, 2003 | 21 | 2003 |