Henning Christiansen

Learn More
The contribution of an alpha-adrenoceptor-mediated component to the final inotropic response to noradrenaline in the absence and presence of muscarinic acetylcholine receptor stimulation (which exerts a 'functional' antagonism of effects mediated through beta-adrenoceptors but not through alpha-adrenoceptors) was evaluated by recording contraction and(More)
A grammar formalism based upon CHR is proposed analogously to the way Definite Clause Grammars are defined and implemented on top of Prolog. These grammars execute as robust bottom-up parsers with an inherent treatment of ambiguity and a high flexibility to model various linguistic phenomena. The formalism extends previous logic programming based grammars(More)
The alpha- and beta-adrenoceptor mediated inotropic effects of noradrenaline were determined in rat heart papillary muscle. The pure alpha-adrenergic inotropic effect, obtained in the presence of the beta-blocker timolol, was about half the pure beta-adrenergic inotropic effect, obtained in the presence of the alpha-blocker prazosin. The maximal inotropic(More)
Techniques for doing abduction in a combination of Prolog and Constraint Handling Rules (CHR) are reviewed, and the possible extension to combine with induction is considered. While the indicated implementation for abduction is very efficient, the ideas for induction are at a much more experimental stage. However, experimentation within CHR indicates a(More)
A new grammar formalism, CHR Grammars (CHRG), is proposed that provides a constraint-solving approach to language analysis, built on top of the programming language of Constraint Handling Rules in the same way as Definite Clause Grammars (DCG) on Prolog. CHRG works bottom-up and adds the following features when compared with DCG: – An inherent treatment of(More)
The programming language of Constraint Handling Rules (CHR) is gaining more and more popularity and this has motivated the development of new optimization techniques to be applied in implementations of CHR. As for other logic programming languages, a program written CHR can be understood declaratively as a logical formula and as a procedural specification,(More)