Programmering, logik og intelligente systemer

Publikationer

Publikationer pr. år 2006 2006 2009 2011 2017 2018 2020 2021 2023 2024 2025

• 142 Konferencebidrag i proceedings
• 91 Tidsskriftartikel
• 37 Bidrag til bog/antologi
• 31 Konferenceartikel
• 127 Mere
  • 30 Antologi
  • 25 Paper
  • 12 Ph.d.-afhandling
  • 9 Rapport
  • 8 Leder
  • 8 Udgivelser på nettet - Net-publikation
  • 7 Konferenceabstrakt til konference
  • 6 Encyclopædiartikel
  • 4 Preprint
  • 3 Kompendium/lecture notes
  • 3 Forord/efterskrift
  • 2 Poster
  • 2 Review
  • 2 Working paper
  • 1 Bog
  • 1 Doktordisputats
  • 1 Konferenceabstrakt i proceedings
  • 1 Bidrag til avis - Avisartikel
  • 1 Anmeldelse
  • 1 Andet bidrag

Publikationer pr. år

Publikationer pr. år

Søgeresultater

• 2024

  Type-Based Uncurrying for Unknown Function Calls

  Rhiger, M., 2024. 12 s.

  Publikation: Konferencebidrag › Paper › Forskning › peer review
• 2022

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

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

  Publikation: Konferencebidrag › Paper › Forskning

• Disparity of Abstract Representations in Convolutional Networks

  Pedersen, M. & Bulskov, H., 2022, (Afsendt). 5 s.

  Publikation: Konferencebidrag › Paper › Forskning › peer review

• 2021

  Challenges and potentials in supporting modern digital fabrication in higher education

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

  Publikation: Konferencebidrag › Paper › Forskning › peer review

• 2020

  A Natural Logic System for Large Knowledge Bases

  Andreasen, T., Bulskov, H. & Nilsson, J. F., jun. 2020, s. 119-133. 15 s.

  Publikation: Konferencebidrag › Paper › Forskning › 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.

  Publikation: Konferencebidrag › Paper › Forskning › peer review

• Implications for Successful Implementation of Predictive Modelling in a Healthcare Setting

  Gyldenkærne, C., Simonsen, J. & From, G., 11 aug. 2019, s. 1-12. 12 s.

  Publikation: Konferencebidrag › Paper › Forskning › peer review

  Åben adgang

  Fil
• 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, s. 1-9.

  Publikation: Konferencebidrag › Paper › Forskning

• Formal semantics for the Sally-Anne tasks

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

  Publikation: Konferencebidrag › Paper › Forskning › peer review

  Åben adgang

  Fil
• 2017

  Querying Natural Logic Knowledge Bases

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

  Publikation: Konferencebidrag › Paper › Forskning › peer review

  Åben adgang

  Fil
• 2016

  On the Relationship between a Computational Natural Logic and Natural Language

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

  Publikation: Konferencebidrag › Paper › Forskning › 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 s.

  Publikation: Konferencebidrag › Paper › Forskning › peer review

• Second-order false-beliefs, language and logic

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

  Publikation: Konferencebidrag › Paper › Forskning › peer review

  Åben adgang

  Fil
• 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 s.

  Publikation: Konferencebidrag › Paper › Forskning › peer review

• 2011

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

  Zambach, S. & Lassen, T., 25 okt. 2011. 6 s.

  Publikation: Konferencebidrag › Paper › Forskning › peer review

• Constraints and Global Optimization for Gene Prediction Overlap Resolution

  Have, C. T., 12 sep. 2011. 8 s.

  Publikation: Konferencebidrag › Paper › Forskning › peer review

  Fil

• Extended Set Constraints and Tree Grammar Abstraction of Programs

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

  Publikation: Konferencebidrag › Paper › Forskning

  Fil
• 2010

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

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

  Publikation: Konferencebidrag › Paper › Forskning › peer review

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

  Zambach, S., Holst, P. & Francker, Z. W., apr. 2010. 8 s.

  Publikation: Konferencebidrag › Paper › Forskning › peer review
• 2009

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

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

  Publikation: Konferencebidrag › Paper › Forskning › peer review

  Åben adgang

  Fil

• Distinguish Dynamic Basic Blocks by Structural Statistical Testing

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

  Publikation: Konferencebidrag › Paper › Forskning › peer review

  Åben adgang

  Fil

• Identifying and Indexing Text Meaning Using Lexical Resources

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

  Publikation: Konferencebidrag › Paper › Forskning › peer review

• Towards ontology based search and knowledgesharing using domain ontologies

  Zambach, S., 2009. 8 s.

  Publikation: Konferencebidrag › Paper › Forskning
• 2008

  Optimization and evaluation of probabilistic-logic sequence models

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

  Publikation: Konferencebidrag › Paper › Forskning

• Probabilistic Abductive Logic Programming in Constraint Handling Rules

  Christiansen, H., 2008. 15 s.

  Publikation: Konferencebidrag › Paper › Forskning › peer review