No photo of Henning Christiansen
  • Universitetsvej 1, 08.2

    DK-4000 Roskilde

    Denmark

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

Research Output 1981 2018

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