Programming, Logic and Intelligent Systems

Research Output 2006 2018

Filter
Ph.D. thesis
2018

Probabilistic program analysis

Kirkeby, M. H. 2018 Roskilde: Roskilde Universitet. 139 p. (Roskilde Universitet. Computer Science. Computer Science Research Report, Vol. 151).

Research output: Book/ReportPh.D. thesisResearch

2017

Detecting, diagnosing and fixing energy issues for mobile applications

Li, X. 2017 Roskilde Universitet. 101 p.

Research output: Book/ReportPh.D. thesisResearch

2012

Regulatory relations represented in logics and biomedical texts

Zambach, S. 2012 Roskilde Universitet. 151 p.

Research output: Book/ReportPh.D. thesisResearch

File

Compositionality in probabilistic logic modelling for biological sequence analysis

Lassen, O. T. 2011 Roskilde: Roskilde Universitet. 151 p. (Datalogiske Skrifter; No. 135).

Research output: Book/ReportPh.D. thesisResearch

2010

Modelling and Analysis of Real Time Systems with Logic Programming and Constraints

Banda, G. Sep 2010 Roskilde Universitet. 165 p. (Roskilde Universitet. Computer Science. Computer Science Research Report; No. 130).

Research output: Book/ReportPh.D. thesisResearch

Uncovering Prepositional Senses

Lassen, T. Sep 2010 Roskilde Universitet. 314 p. (Datalogiske Skrifter; No. 131).

Research output: Book/ReportPh.D. thesisResearch

2009

The combined usage of ontologies and corpus statistics in formation retrieval

Terney, T. V. 2009 Roskilde Universitet. 148 p. (Datalogiske Skrifter; No. 126).

Research output: Book/ReportPh.D. thesisResearch

2007

A Logic Programming Based Approach to Applying Abstract Interpretation to Embedded Software

Henriksen, K. S. 2007 Roskilde: Roskilde Universitet. 201 p. (Datalogiske Skrifter; No. 117).

Research output: Book/ReportPh.D. thesisResearch

Open Access
File
2006

Ontology-based Information Retrieval

Styltsvig, H. B. 2006 Roskilde: Roskilde Universitet. 196 p. (Datalogiske Skrifter; No. 107).

Research output: Book/ReportPh.D. thesisResearch

File