Programming, Logic and Intelligent Systems

Research Output 2006 2020

Filter
Ph.D. thesis
Ph.D. thesis

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

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

Detecting, diagnosing and fixing energy issues for mobile applications

Li, X., 2017, Roskilde Universitet. 101 p.

Research output: Book/ReportPh.D. thesisResearch

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

Ontology-based Information Retrieval

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

Research output: Book/ReportPh.D. thesisResearch

File

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

Open Access
File

Regulatory relations represented in logics and biomedical texts

Zambach, S., 2012, Roskilde Universitet. 151 p.

Research output: Book/ReportPh.D. thesisResearch

File

Second-order false belief reasoning by children with autism: a correlation and training study

Polyanskaya, I., 2019, Roskilde: Roskilde Universitet. 243 p.

Research output: Book/ReportPh.D. thesisResearch

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

Uncovering Prepositional Senses

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

Research output: Book/ReportPh.D. thesisResearch