Programming, Logic and Intelligent Systems

Research output

Research output per year 2004 2006 2007 2008 2009 2011 2017 2018 2020 2021 2023 2024 2024

• 149 Article in proceedings
• 89 Journal article
• 32 Book chapter
• 30 Conference article
• 123 More
  • 29 Anthology
  • 24 Paper
  • 12 Ph.D. thesis
  • 9 Report
  • 8 Editorial
  • 8 Net publication - Internet publication
  • 7 Conference abstract for conference
  • 6 Encyclopedia chapter
  • 3 Compendium/lecture notes
  • 3 Preface/postscript
  • 3 Preprint
  • 2 Poster
  • 2 Review
  • 2 Working paper
  • 1 Book
  • 1 Doctoral thesis
  • 1 Conference abstract in proceedings
  • 1 Contribution to newspaper - Newspaper article
  • 1 Literature review

Research output per year

Research output per year

Search results

• 2024

  Renal Convolutional Models: Feasibility, Data Representation, and CT Imaging in Renal Cancer Diagnosis

  Pedersen, M., 2024, Roskilde: Roskilde Universitet.

  Research output: Book/Report › Ph.D. thesis

• 2019

  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/Report › 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/Report › Ph.D. thesis

  Open Access

  File
• 2017

  Detecting, diagnosing and fixing energy issues for mobile applications

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

  Research output: Book/Report › Ph.D. thesis

• 2012

  Regulatory relations represented in logics and biomedical texts

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

  Research output: Book/Report › Ph.D. thesis

  File
• 2011

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

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

  Research output: Book/Report › Ph.D. thesis

  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/Report › Ph.D. thesis

• 2010

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

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

  Research output: Book/Report › Ph.D. thesis

• Uncovering Prepositional Senses

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

  Research output: Book/Report › Ph.D. thesis

• 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/Report › Ph.D. thesis

• 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/Report › Ph.D. thesis

  Open Access

  File
• 2006

  Ontology-based Information Retrieval

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

  Research output: Book/Report › Ph.D. thesis

  File