Research Output 1981 2017

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