Research Output 1981 2017

Filter
Journal article
2017

Interactive Installations for Spatial Access to Artistic Sketchbooks

Christiansen, H. & Laursen, B. 2017 In : EAI Endrosed Trasactions on Creative Technologies. 4, 12, 8 p., e3

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access

On proving confluence modulo equivalence for Constraint Handling Rules

Christiansen, H. & Kirkeby, M. H. 2017 In : Formal Aspects of Computing. 29, 1, p. 57-95

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
2013

Effects of using coding potential, sequence conservation and mRNA structure conservation for predicting pyrroly-sine containing genes

Have, C. T., Zambach, S. & Christiansen, H. 2013 In : B M C Bioinformatics. 14, 1, 12 p.

Research output: Contribution to journalJournal articleResearchpeer-review

2010

Inference with constrained hidden Markov models in PRISM

Christiansen, H., Have, C. T., Lassen, O. T. & Petit, M. 2010 In : Theory and Practice of Logic Programming. 10, 4-6, p. 449-464 15 p.

Research output: Contribution to journalJournal articleResearchpeer-review

2009

Executable specifications for hypothesis-based reasoning with Prolog and Constraint Handling Rules

Christiansen, H. 2009 In : Journal of Applied Logic. 7, 3, p. 341-362

Research output: Contribution to journalJournal articleResearchpeer-review

2008

Implementing Probabilistic Abductive Logic Programming with Constraint Handling Rules

Christiansen, H. 2008 In : Lecture Notes in Computer Science. 5388, p. 85-118

Research output: Contribution to journalJournal articleResearchpeer-review

2006

Introduction

Christiansen, H. & Hacid, M-S. 2006 In : Journal of Intelligent Information Systems. 26, 1, p. 5-6 2 p.

Research output: Contribution to journalJournal articleResearchpeer-review

On Simplification of Database Integrity Constraints

Christiansen, H. & Martinenghi, D. 2006 In : Fundamenta Informaticae. 71, p. 1-47 47 p.

Research output: Contribution to journalJournal articleResearchpeer-review

2005

CHR grammars

Christiansen, H. 2005 In : Theory and Practice of Logic Programming. 4 & 5, p. 467-501

Research output: Contribution to journalJournal articleResearchpeer-review

2004

Teaching Computer Languages and Elementary Theory for Mixed Audiences at University Level

Christiansen, H. 2004 In : Computer Science Education. 14, 3, p. 205-234

Research output: Contribution to journalJournal articleResearchpeer-review

2003

Logic grammars for diagnosis and repair

Christiansen, H. 2003 In : International Journal on Artificial Intelligence Tools. 2, 3, p. 227-248

Research output: Contribution to journalJournal articleResearchpeer-review

2000

Symbolic constraints for meta-logic programming

Christiansen, H. & Martinenghi, D. 2000 In : Applied Artificial Intelligence. 14, 4, p. 345-367

Research output: Contribution to journalJournal articleResearchpeer-review

1998

Automated reasoning with a constraint-based metainterpreter

Christiansen, H. 1998 In : Journal of Logic and Algebraic Programming. 37, 1-3, p. 213-253

Research output: Contribution to journalJournal articleResearch

1997

Intelligent informationssøgning

Christiansen, H. 1997 In : RUC Nyt. 11

Research output: Contribution to journalJournal articleResearch

1992

Even non-recursive calls of binary demo may loop

Christiansen, H. 1992 In : Logic Programming. 5, 4, p. s. 16-17

Research output: Contribution to journalJournal articleResearch

1990

A survey of adaptable grammars

Christiansen, H. 1990 In : A C M / S I G P L A N Notices. 25, 11, p. s. 35-44

Research output: Contribution to journalJournal articleResearch

1989

Structure sharing in incremental systems

Christiansen, H. 1989 In : Structured programming. 10, 4, p. s. 169-186

Research output: Contribution to journalJournal articleResearch