Programming, Logic and Intelligent Systems
Molecular and General Physiology
Aalborg University
Biotech Research and Innovation Centre
Tokyo Institute of Technology
CLCbio Chr. Hansen A/S NABIIT

[11] Henning Christiansen. Christian Theil Have, Ole Torp Lassen, Matthieu Petit. A Constraint Model for Constrained Hidden Markov Models: a first Biological Application WCB09, Workshop on Constraint Based Methods for Bioinformatics, Associated to CP 2009. Lisbon, Portugal, September 20, 2009.

[10] Christian Theil Have. Stochastic Definite Clause Grammars. International Conference: Recent Advances in Natural Language Processing 2009 (to appear). RANLP 2009, Recent Advances in Natural Language Processing Bulgaria, September 14-17, 2009. Available as pdf.

[9] Henning Christiansen, Ole Torp Lassen, Preprocessing for Optimization of Probabilistic-Logic Models for Sequence Analysis. Logic Programming. 25th International Conference, ICLP 2009. Pasadena, California, USA, July 14-17, 2009. Lecture Notes in Computer Science 5649, pp. 70-83, Springer 2009.

[8] Henning Christiansen, John P. Gallagher. Non-discriminating Arguments and their Uses. Logic Programming. 25th International Conference, ICLP 2009. Pasadena, California, USA, July 14-17, 2009. Lecture Notes in Computer Science 5649, pp. 55-69, Springer 2009.
(Appointed the best paper of the conference)

[7] Christian Theil Have, Logic-Statistic Models with Constraints for Biological Sequence Analysis, Logic Programming. 25th International Conference, ICLP 2009 (doctoral consortium). Pasadena, California, USA, July 14-17, 2009.

[6] Matthieu Petit, Henning Christiansen. Un calcul de Viterbi pour un Modèle de Markov Caché Contraint. 5ème Journées Francophone de Programmation par Contraintes, JFPC, Orléans, France. June 3-5, 2009.
See online proceedings

[5] Yuan Zhang, HongBo Liu, Overlapping Genes Detected by HMM Model in PRISM. MSc thesis, Computer SCience, Roskilde University. 2009. Available as pdf

[4] Ole Torp Lassen, Biosequence Analysis in PRISM. Logic Programming. 24th International Conference, ICLP 2008 (doctoral consortium). Udine, Italy, December 9-13 2008. Lecture Notes in Computer Science 5366, pp. 809-810, Springer 2008.

[3] Henning Christiansen, Ole Torp Lassen, Optimization and evaluation of probabilistic-logic sequence models. Proceedings of the International Workshop on Statistical and Relational Learning in Bioinformatics, StReBio’08. Associated to ECML PKDD 2008. Antwerp, Belgium, September 19, 2008.

[2] Henning Christiansen, Logic-statistic modeling and analysis of biological sequence data: a research agenda. A. Doncescu, P. A. Flach, K. Inoue, A. C. Kakas, O. Ray (eds.), Pre-Proceedings of the 2007 International Workshop on Abduction and Induction in Artificial Intelligence (AIAI'07). pp. 42-49. (2007).

[1] Henning Christiansen, Christina Mackeprang Dahmcke, A Machine Learning Approach to Test Data Generation: A Case Study in Evaluation of Gene Finders. Proceedings of MLDM'2007, Machine Learning and Data Mining in Pattern Recognition July 18-20, 2007, Leipzig/Germany, pp. 741-755. Lecture Notes in Artificial Intelligence 4571, 2007.

Roskilde UniversityRoskilde University - Universitetsvej 1 - dk-4000 Roskilde - Denmark