Follow
Henning Christiansen
Henning Christiansen
Professor of Computer Science
Verified email at ruc.dk - Homepage
Title
Cited by
Cited by
Year
A survey of adaptable grammars
H Christiansen
ACM SIGPLAN Notices 25 (11), 35-44, 1990
891990
HYPROLOG: A new logic programming language with assumptions and abduction
H Christiansen, V Dahl
International Conference on Logic Programming, 159-173, 2005
812005
CHR grammars
H Christiansen
Theory and Practice of Logic Programming 5 (4-5), 467-501, 2005
772005
An experimental CLP platform for integrity constraints and abduction
S Abdennadher, H Christiansen
Flexible Query Answering Systems: Recent Advances Proceedings of the Fourth …, 2000
622000
On simplification of database integrity constraints
H Christiansen, D Martinenghi
Fundamenta Informaticae 71 (4), 371-417, 2006
612006
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
601992
Meaning in context
H Christiansen, V Dahl
International and Interdisciplinary Conference on Modeling and Using Context …, 2005
482005
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
432007
Flexible query answering systems
H Christiansen, G de Tré, A Yazici, S Zadrozny, T Andreasen, HL Larsen
Springer US, 1997
421997
From use cases to UML class diagrams using logic grammars and constraints
H Christiansen, CT Have, K Tveitane
RANLP 7, 128-132, 2007
352007
Automated reasoning with a constraint-based metainterpreter
H Christiansen
The Journal of Logic Programming 37 (1-3), 213-254, 1998
311998
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
301983
Executable specifications for hypothesis-based reasoning with Prolog and Constraint Handling Rules
H Christiansen
Journal of Applied Logic 7 (3), 341-362, 2009
272009
Flexible Query Answering Systems: 7th International Conference, FQAS 2006, Milan, Italy, June 7-10, 2006
HL Larsen
Springer Science & Business Media, 2006
272006
Assumptions and abduction in Prolog
H Christiansen, V Dahl
3rd International Workshop on Multiparadigm Constraint Programming Languages …, 2004
272004
Implementing probabilistic abductive logic programming with constraint handling rules
H Christiansen
Constraint Handling Rules: Current Research Topics, 85-118, 2008
262008
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
242020
Abductive language interpretation as bottom-up deduction
H Christiansen
Proc. NLULP, 33-47, 2002
232002
Non-discriminating arguments and their uses
H Christiansen, JP Gallagher
International Conference on Logic Programming, 55-69, 2009
222009
Logic grammars for diagnosis and repair
H Christiansen, V Dahl
International Journal on Artificial Intelligence Tools 12 (03), 227-248, 2003
212003
The system can't perform the operation now. Try again later.
Articles 1–20