No photo of Henning Christiansen
  • Universitetsvej 1, 10.2

    DK-4000 Roskilde

    Denmark

1981 …2021

Research output per year

If you made any changes in Pure these will be visible here soon.

Research Output

Filter
Paper
2008

Optimization and evaluation of probabilistic-logic sequence models

Christiansen, H. & Lassen, O. T., 2008. 9 p.

Research output: Contribution to conferencePaperResearch

Probabilistic Abductive Logic Programming in Constraint Handling Rules

Christiansen, H., 2008. 15 p.

Research output: Contribution to conferencePaperResearchpeer-review

2004

Prolog as description and implementation language in computer science teaching

Christiansen, H., 2004.

Research output: Contribution to conferencePaperResearchpeer-review

1997

Deriving declarations from programs: extended abstract

Christiansen, H., 1997.

Research output: Contribution to conferencePaperResearchpeer-review

Implicit program synthesis by a reversible metainterpreter

Christiansen, H., 1997.

Research output: Contribution to conferencePaperResearchpeer-review