Programmering, logik og intelligente systemer

Publikationer 2006 2019

Filter
Ph.d.-afhandling
2019

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

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

Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandlingForskning

2018

Probabilistic program analysis

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

Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandlingForskning

Åben adgang
Fil
2017

Detecting, diagnosing and fixing energy issues for mobile applications

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

Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandlingForskning

2012

Regulatory relations represented in logics and biomedical texts

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

Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandlingForskning

Fil
2011

A logic toolbox for modeling knowledge and information in multi-agent systems and social epistemology

Hansen, J. U., 2011, Roskilde Universitet. 221 s.

Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandlingForskning

Fil

Compositionality in probabilistic logic modelling for biological sequence analysis

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

Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandlingForskning

2010

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

Banda, G., sep. 2010, Roskilde Universitet. 165 s. (Roskilde Universitet. Computer Science. Computer Science Research Report; Nr. 130).

Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandlingForskning

Uncovering Prepositional Senses

Lassen, T., sep. 2010, Roskilde Universitet. 314 s. (Datalogiske Skrifter; Nr. 131).

Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandlingForskning

2009

The combined usage of ontologies and corpus statistics in formation retrieval

Terney, T. V., 2009, Roskilde Universitet. 148 s. (Datalogiske Skrifter; Nr. 126).

Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandlingForskning

2007

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

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

Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandlingForskning

Åben adgang
Fil
2006

Ontology-based Information Retrieval

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

Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandlingForskning

Fil