Programmering, logik og intelligente systemer

Publikationer

Publikationer pr. år 2004 2006 2009 2011 2012 2013 2014 2015 2018 2020 2023

• 172 Konferencebidrag i proceedings
• 89 Tidsskriftartikel
• 32 Antologi
• 30 Bidrag til bog/antologi
• 113 Mere
  • 29 Konferenceartikel
  • 23 Paper
  • 11 Ph.d.-afhandling
  • 9 Rapport
  • 8 Leder
  • 6 Encyclopædiartikel
  • 6 Konferenceabstrakt til konference
  • 4 Udgivelser på nettet - Net-publikation
  • 3 Kompendium/lecture notes
  • 2 Forord/efterskrift
  • 2 Poster
  • 2 Preprint
  • 2 Working paper
  • 1 Bog
  • 1 Doktordisputats
  • 1 Konferenceabstrakt i proceedings
  • 1 Bidrag til avis - Avisartikel
  • 1 Anmeldelse
  • 1 Review

Publikationer pr. år

Publikationer pr. år

Søgeresultater

• 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/rapport › Ph.d.-afhandling

• 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/rapport › Ph.d.-afhandling

  Åben adgang

  Fil
• 2017

  Detecting, diagnosing and fixing energy issues for mobile applications

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

  Publikation: Bog/antologi/afhandling/rapport › Ph.d.-afhandling

• 2012

  Regulatory relations represented in logics and biomedical texts

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

  Publikation: Bog/antologi/afhandling/rapport › Ph.d.-afhandling

  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/rapport › Ph.d.-afhandling

  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/rapport › Ph.d.-afhandling

• 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/rapport › Ph.d.-afhandling

• Uncovering Prepositional Senses

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

  Publikation: Bog/antologi/afhandling/rapport › Ph.d.-afhandling

• 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/rapport › Ph.d.-afhandling

• 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/rapport › Ph.d.-afhandling

  Å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/rapport › Ph.d.-afhandling

  Fil