Research Output 1981 2017

Filter
Conference article
2012

Efficient tabling of structured data using indexing and program transformation

Have, C. T. & Christiansen, H. 23 Jan 2012 In : Lecture Notes in Computer Science. 7149, p. 93-107 15 p.

Research output: Contribution to journalConference articleResearchpeer-review

File
2009

Abductive Logic Grammars

Christiansen, H. & Dahl, V. 2009 In : Lecture Notes in Computer Science. p. 170-181

Research output: Contribution to journalConference articleResearchpeer-review

Adaptable Grammars for Non-Context-Free Languages

Christiansen, H. 2009 In : Lecture Notes in Computer Science. 5517, p. 488-503

Research output: Contribution to journalConference articleResearchpeer-review

Non-Discriminating Arguments and Their Uses

Christiansen, H. & Gallagher, J. P. 2009 In : Lecture Notes in Computer Science. 5649, p. 55-69 15 p.

Research output: Contribution to journalConference articleResearchpeer-review

Open Access
File

Preprocessing for Optimization of Probabilistic-Logic Models for Sequence Analysis

Christiansen, H. & Lassen, O. T. 2009 In : Lecture Notes in Computer Science. p. 70-83 14 p.

Research output: Contribution to journalConference articleResearchpeer-review

2008

Introduction to Constraints and Language Processing

Christiansen, H. 2008 In : Roskilde Universitetscenter. Datalogisk Afdeling. Datalogiske Skrifter. 122, p. 3-4 2 p.

Research output: Contribution to journalConference articleResearch