Programming, Logic and Intelligent Systems

Research output

Research output per year 2004 2006 2009 2011 2012 2013 2018 2020 2023

• 166 Article in proceedings
• 93 Journal article
• 31 Anthology
• 30 Book chapter
• 117 More
  • 30 Conference article
  • 23 Paper
  • 11 Ph.D. thesis
  • 9 Report
  • 8 Editorial
  • 6 Encyclopedia chapter
  • 6 Conference abstract for conference
  • 6 Net publication - Internet publication
  • 3 Compendium/lecture notes
  • 3 Preface/postscript
  • 2 Poster
  • 2 Preprint
  • 2 Working paper
  • 1 Book
  • 1 Doctoral thesis
  • 1 Conference abstract in proceedings
  • 1 Contribution to newspaper - Newspaper article
  • 1 Literature review
  • 1 Review

Research output per year

Research output per year

Search results

• 2022

  A Vehicle Routing heuristic based on accelerated LKH-3 coupled with Set Partitioning

  Cavaliere, F., Fischetti, M. & Helsgaun, K., 2022.

  Research output: Contribution to conference › Paper › Research

• Disparity of Abstract Representations in Convolutional Networks

  Pedersen, M. & Bulskov, H., 2022, (Submitted). 5 p.

  Research output: Contribution to conference › Paper › Research › peer-review

• 2021

  Challenges and potentials in supporting modern digital fabrication in higher education

  Padfield, N. & Hobye, M., 2021. 8 p.

  Research output: Contribution to conference › Paper › Research › peer-review

• 2020

  A Natural Logic System for Large Knowledge Bases

  Andreasen, T., Bulskov, H. & Nilsson, J. F., Jun 2020, p. 119-133. 15 p.

  Research output: Contribution to conference › Paper › Research › peer-review

• 2019

  Challenging the pitfalls of traditionalist quagmire: … in between ideals of progressive teaching and learning and obscure pitfalls of traditional university practice.

  Pedersen, S. & Hobye, M., 2019.

  Research output: Contribution to conference › Paper › Research › peer-review

• 2018

  Confluence in Constraint Handling Rules: A retrospective overview. Extended abstract of an invited talk given at IWC 2018 7th International Workshop on Confluence, July 7th 2018, Oxford, United Kingdom

  Christiansen, H. & Kirkeby, M. H., 2018, p. 1-9.

  Research output: Contribution to conference › Paper › Research

• Formal semantics for the Sally-Anne tasks

  Braüner, T. & Blackburn, P. R., 2018, p. 16-27.

  Research output: Contribution to conference › Paper › Research › peer-review

  Open Access

  File
• 2017

  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 conference › Paper › Research › peer-review

  Open Access

  File
• 2016

  On the Relationship between a Computational Natural Logic and Natural Language

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

  Research output: Contribution to conference › Paper › Research › peer-review

• 2015

  A System for Conceptual Pathway Finding and Deductive Querying

  Andreasen, T., Styltsvig, H. B., Fischer Nilsson, J. & Jensen, P. A., 2015. 12 p.

  Research output: Contribution to conference › Paper › Research › peer-review

• Second-order false-beliefs, language and logic

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

  Research output: Contribution to conference › Paper › Research › peer-review

  Open Access

  File
• 2014

  Computing Pathways in Bio-Models Derived from Bio-Science Text Sources

  Andreasen, T., Styltsvig, H. B., Nilsson, J. F. & Jensen, P. A., 17 Apr 2014. 10 p.

  Research output: Contribution to conference › Paper › Research › peer-review

• 2011

  A Lexical Framework for Semantic Annotation of Positive and Negative Regulation Relations in Biomedical Pathways

  Zambach, S. & Lassen, T., 25 Oct 2011. 6 p.

  Research output: Contribution to conference › Paper › Research › peer-review

• Constraints and Global Optimization for Gene Prediction Overlap Resolution

  Have, C. T., 12 Sept 2011. 8 p.

  Research output: Contribution to conference › Paper › Research › peer-review

  File

• Extended Set Constraints and Tree Grammar Abstraction of Programs

  Rosendahl, M. & Gallagher, J. P., 2011. 12 p.

  Research output: Contribution to conference › Paper › Research

  File
• 2010

  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 conference › Paper › Research › peer-review

• 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 conference › Paper › Research › peer-review
• 2009

  Constraint-Based Abstraction of a Model Checker for Infinite State Systems

  Banda, G. & Gallagher, J. P., 2009. 16 p.

  Research output: Contribution to conference › Paper › Research › peer-review

  Open Access

  File

• Distinguish Dynamic Basic Blocks by Structural Statistical Testing

  Petit, M. & Gotlieb, A., 2009.

  Research output: Contribution to conference › Paper › Research › peer-review

  Open Access

  File

• Identifying and Indexing Text Meaning Using Lexical Resources

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

  Research output: Contribution to conference › Paper › Research › peer-review

• Towards ontology based search and knowledgesharing using domain ontologies

  Zambach, S., 2009. 8 p.

  Research output: Contribution to conference › Paper › Research
• 2008

  Optimization and evaluation of probabilistic-logic sequence models

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

  Research output: Contribution to conference › Paper › Research

• Probabilistic Abductive Logic Programming in Constraint Handling Rules

  Christiansen, H., 2008. 15 p.

  Research output: Contribution to conference › Paper › Research › peer-review