Programming, Logic and Intelligent Systems

Research Output

Paper

Identifying and Indexing Text Meaning Using Lexical Resources

Andreasen, T., Bulskov, H., Jensen, P. A. & Lassen, T., 2009.

Research output: Contribution to conferencePaperResearchpeer-review

On the design of a Natural Logic System for Knowledge Bases

Andreasen, T., Bulskov, H. & Nilsson, J. F., Aug 2020, (Accepted/In press). 8 p.

Research output: Contribution to conferencePaperResearchpeer-review

On the Relationship between a Computational Natural Logic and Natural Language

Andreasen, T., Styltsvig, H. B., Fischer Nilsson, J. & Jensen, P. A., 2016. 8 p.

Research output: Contribution to conferencePaperResearchpeer-review

Ontology-based retrieval of bio-medical information based on microarray text corpora

Hansen, K. A., Zambach, S. & Have, C. T., 2010.

Research output: Contribution to conferencePaperResearchpeer-review

Optimization and evaluation of probabilistic-logic sequence models

Christiansen, H. & Lassen, O. T., 2008. 9 p.

Research output: Contribution to conferencePaperResearch

Probabilistic Abductive Logic Programming in Constraint Handling Rules

Christiansen, H., 2008. 15 p.

Research output: Contribution to conferencePaperResearchpeer-review

Querying Natural Logic Knowledge Bases

Andreasen, T., Bulskov, H., Anker Jensen, P. & Nilsson, J. F., 24 Nov 2017, p. 294-301. 8 p.

Research output: Contribution to conferencePaperResearchpeer-review

Second-order false-beliefs, language and logic

Blackburn, P. R., Braüner, T. & Polyanskaya, I., 2015.

Research output: Contribution to conferencePaperResearchpeer-review

Open Access
File

Towards ontology based search and knowledgesharing using domain ontologies

Zambach, S., 2009. 8 p.

Research output: Contribution to conferencePaperResearch

Using Corporate Social Responsibility strategy with a climate focus for Enterprise Systems

Zambach, S., Holst, P. & Francker, Z. W., Apr 2010. 8 p.

Research output: Contribution to conferencePaperResearchpeer-review

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. thesis

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. thesis

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

Poster

Logical implications for regulatory relations represented by verbs in biomedical texts

Zambach, S., 2009. 1 p.

Research output: Contribution to conferencePosterResearch

Robot Gestalts in Staged Performances: Poster abstract

Christiansen, H., Hobye, M. & Lindelof, A. M., Mar 2019.

Research output: Contribution to conferencePosterResearchpeer-review

Open Access
Preface/postscript

Preface

Bolander, T., Braüner, T., Ghilardi, S. & Moss, L., 2012, Advances in Modal Logic. Bolander, T. (ed.). London: College Publications, Vol. 9. p. viii-x

Research output: Chapter in Book/Report/Conference proceedingPreface/postscriptResearchpeer-review

Technical Communications of the 27th International Conference on Logic Programming, ICLP 2011: Editorial

Gallagher, J. P. & Gelfond, M., Jul 2011, ICLP (Technical Communications). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Vol. 11. (Leibniz International Proceedings in Informatics).

Research output: Chapter in Book/Report/Conference proceedingPreface/postscriptResearch

Report

An Effective Implementation of K-opt Moves for the Lin-Kernighan TSP Heuristic

Helsgaun, K., 2006, Roskilde: Roskilde Universitet. 99 p. (Roskilde Universitet. Computer Science. Computer Science Research Report).

Research output: Book/ReportReportResearch

Confluence of CHR revisited: invariants and modulo equivalence [Extended version with proofs]

Christiansen, H. & Kirkeby, M. H., 3 Oct 2018, Roskilde: Roskilde Universitet. 20 p. (Roskilde Universitet. Computer Science. Computer Science Research Report, Vol. 153).

Research output: Book/ReportReportResearch

Open Access
File

Flexible Query Answering Systems: 13th International Conference, FQAS 2019, Amantea, Italy, July 2-5, 2019, Proceedings

Cuzzocrea, A. (ed.), Greco, S. (ed.), Legind Larsen, H. (ed.), Sacca, D. (ed.), Andreasen, T. (ed.) & Christiansen, H. (ed.), 2019, Springer. 414 p. (Lecture notes in artificial intelligence; No. 11529).

Research output: Book/ReportReportResearchpeer-review

Solving Arc Routing Problems Using the Lin-Kernighan-Helsgaun Algorithm

Helsgaun, K., 15 Jan 2015, Roskilde: Roskilde Universitet. 6 p.

Research output: Book/ReportReportResearch

Open Access

Solving the Bottleneck Traveling Salesman Problem Using the Lin-Kernighan-Helsgaun Algorithm

Helsgaun, K., 2014, Roskilde: Roskilde Universitet. 42 p. (Roskilde Universitet. Computer Science. Computer Science Research Report, Vol. 143).

Research output: Book/ReportReportResearch

Open Access
File

Solving the Clustered Traveling Salesman Problem Using the Lin-Kernighan-Helsgaun Algorithm

Helsgaun, K., 2014, Roskilde: Roskilde Universitet. 13 p. (Roskilde Universitet. Computer Science. Computer Science Research Report, Vol. 142).

Research output: Book/ReportReportResearch

Open Access
File

Solving the Equality Generalized Traveling Salesman Problem Using the Lin-Kernighan-Helsgaun Algorithm

Helsgaun, K., 2013, Roskilde: Roskilde Universitet. 15 p. (Roskilde Universitet. Computer Science. Computer Science Research Report, Vol. 141).

Research output: Book/ReportReportResearch

Detecting and Diagnosing Energy Issues for Mobile Applications

Li, X., Yang, Y., Liu, Y., Gallagher, J. P. & Wu, K., 2019, (Submitted) 14 p.

Research output: Working paperResearch

Introduction to Graphics Programming in Java

Rosendahl, M., 2006, Roskilde: Roskilde Universitet, 52 p.

Research output: Working paperResearch