Programming, Logic and Intelligent Systems

Research output

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

• 143 Article in proceedings
• 90 Journal article
• 33 Book chapter
• 30 Conference article
• 125 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
  • 4 Preprint
  • 3 Compendium/lecture notes
  • 3 Preface/postscript
  • 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
  • 1 Other contribution

Research output per year

Research output per year

Search results

• 2024

  A Complete Tableau System for Basic Hybrid Logic with Propositional Quantication

  Kofod, J. L., Blackburn, P. R. & Braüner, T., 2024, (Accepted/In press) In: Logic Journal of the IGPL.

  Research output: Contribution to journal › Journal article › Research › peer-review

• Advanced Query Functionalities in Natural Logic Knowledge Bases

  Andreasen, T., Bulskov, H. & Nilsson, J. F., 18 Apr 2024, In: International Journal of Computational Intelligence Systems. 17, 11 p., 96.

  Research output: Contribution to journal › Journal article › Research › peer-review

  Open Access

  File

• Assessing metabolic risk factors for psychiatric patients: An IT-supported task shift from physician to pharmacist

  Bech, C. F., Simonsen, J. & Hertzum, M., 2024, In: International Journal of Medical Informatics. 188, 5 p., 105483.

  Research output: Contribution to journal › Journal article › Research › peer-review

  Open Access

  File

• Constrained Local Search for Last-Mile Routing

  Cook, W., Held, S. & Helsgaun, K., 2024, In: Transportation Science. 58, 1, p. 12-26 15 p.

  Research output: Contribution to journal › Journal article › Research › peer-review

  Open Access

• Eco-Friendly Route Planning Algorithms: Taxonomies, Literature Review and Future Directions

  Fahmin, A., Cheema, M. A., Eunus Ali, M., Nadjaran Toosi, A., Lu, H., Li, H., Taniar, D., Rakha, H. A. & Shen, B., 8 Oct 2024, In: ACM Computing Surveys. 57, 1, 21.

  Research output: Contribution to journal › Journal article › Research › peer-review

• EMPNet: An extract-map-predict neural network architecture for cross-domain recommendation

  Chen, J., Zhang, F., Li, H., Lu, H., Jin, X., Liu, K., Li, H. & Wang, Y., Mar 2024, In: World Wide Web. 27, 2

  Research output: Contribution to journal › Journal article › Research › peer-review

• Innovation Tactics for Implementing an ML Application in Healthcare: A Long and Winding Road

  Gyldenkærne, C., Hansen, J. U., Hertzum, M. & Mønsted, T. S., 2024, In: International Journal of Human-Computer Studies. 181, 11 p., 103162.

  Research output: Contribution to journal › Journal article › Research › peer-review

  Open Access

  File

• LIGHTCTS⋆: Lightweight Correlated Time Series Forecasting Enhanced with Model Distillation

  Lai, Z., Zhang, D., Li, H., Jensen, C. S., Lu, H. & Zhao, Y., 2024, In: IEEE Transactions on Knowledge and Data Engineering. 36, 12, p. 8695-8710 15 p.

  Research output: Contribution to journal › Journal article › Research › peer-review

• Local elimination in the traveling salesman problem

  Cook, W., Helsgaun, K., Hougardy, S. & Schroeder, R. T., Dec 2024, In: Mathematical Programming Computation. 16, 4, p. 599-628 27 p.

  Research output: Contribution to journal › Journal article › Research › peer-review

  Open Access

  File

• MATNEC: AIS data-driven environment-adaptive maritime traffic network construction for realistic route generation

  Bläser, N., Magnussen, B. B., Fuentes, G., Lu, H. & Reinhardt, L., Dec 2024, In: Transportation Research Part C: Emerging Technologies. 169, 104853.

  Research output: Contribution to journal › Journal article › Research › peer-review

  Open Access

  File

• Modeling and Monitoring of Indoor Populations using Sparse Positioning Data

  Li, X., Li, H., Lu, H. & Jensen, C. S., 2024, In: IEEE Transactions on Knowledge and Data Engineering. Early Access

  Research output: Contribution to journal › Journal article › Research › peer-review

  Open Access

  File

• Prior's Ideal Language

  Blackburn, P. R., Braüner, T. & Kofod, J. L., 2024, (Accepted/In press) In: Mathematical Structures in Computer Science.

  Research output: Contribution to journal › Journal article › Research › peer-review

• Understanding responses of people with ASD in diverse reasoning tasks: A formal study

  Braüner, T., Ghosh, A. & Ghosh, S., 2024, In: Cognitive Processing. Online first

  Research output: Contribution to journal › Journal article › Research › peer-review

  Open Access

  File
• 2023

  A Framework to Support Continuous Range Queries over Multi-Attribute Trajectories

  Xu, J., Bao, Z. & Lu, H., 1 Feb 2023, In: IEEE Transactions on Knowledge and Data Engineering. 35, 2, p. 1119 - 1133 15 p.

  Research output: Contribution to journal › Journal article › Research › peer-review

  File

• Combatting Energy Issues for Mobile Applications

  Li, X., Chen, J., Liu, Y., Wu, K. & Gallagher, J. P., 13 Feb 2023, In: ACM Transactions on Software Engineering and Methodology. 32, 1, 44 p., 3527851.

  Research output: Contribution to journal › Journal article › Research › peer-review

  Open Access

  File

• Contact Tracing over Uncertain Indoor Positioning Data

  Liu, T., Li, H., Lu, H., Cheema, M. A. & Chan, H. K. H., 1 Oct 2023, In: IEEE Transactions on Knowledge and Data Engineering. 35, 10, p. 10324-10338 14 p.

  Research output: Contribution to journal › Journal article › Research › peer-review

• Efficiently computing alternative paths in game maps

  Li, L., Cheema, M. A., Ali, M. E., Lu, H. & Li, H., Sept 2023, In: World Wide Web. 26, 5, p. 3321-3345 25 p.

  Research output: Contribution to journal › Journal article › Research › peer-review

  Open Access

  File

• Fraction-Score: A Generalized Support Measure for Weighted and Maximal Co-location Pattern Mining

  Chan, H. K. H., Long, C., Yan, D., Wong, R. C. W. & Lu, H., 2023, In: IEEE Transactions on Knowledge and Data Engineering. 36, 4, p. 1582-1596 15 p.

  Research output: Contribution to journal › Journal article › Research › peer-review

• HealthNet: A Health Progression Network via Heterogeneous Medical Information Fusion

  Yu, F., Cui, L., Chen, H., Cao, Y., Liu, N., Huang, W., Xu, Y. & Lu, H., 1 Oct 2023, In: IEEE Transactions on Neural Networks and Learning Systems. 34, 10, p. 6940-6954 15 p.

  Research output: Contribution to journal › Journal article › Research › peer-review

• LightCTS: A Lightweight Framework for Correlated Time Series Forecasting

  Lai, Z., Zhang, D., Li, H., Jensen, C. S., Lu, H. & Zhao, Y., 20 Jun 2023, In: Proceedings of the ACM on Management of Data. 1, 2, p. 1–26 26 p., 125.

  Research output: Contribution to journal › Journal article › Research › peer-review

  Open Access

• NALMO: Transforming Queries in Natural Language for Moving Objects Databases

  Wang, X., Liu, M., Xu, J. & Lu, H., Jul 2023, In: Geoinformatica. 27, 3, p. 427-460 34 p.

  Research output: Contribution to journal › Journal article › Research › peer-review

• Student and teacher performance during COVID-19 lockdown: An investigation of associated features and complex interactions using multiple data sources

  Hansen, J. U. & Zambach, S., 25 Oct 2023, In: PLOS ONE. 18, 10 October, p. 1-29 e0291689.

  Research output: Contribution to journal › Journal article › Research › peer-review

  Open Access

  File

• The importance of expert knowledge in big data and machine learning

  Hansen, J. U. & Quinon, P., Feb 2023, In: Synthese. 201, 35, 35.

  Research output: Contribution to journal › Journal article › Research › peer-review

  Open Access

  File

• The True Futures

  Braüner, T., Nov 2023, In: Synthese. 202, 5, 162.

  Research output: Contribution to journal › Journal article › Research › peer-review

  Open Access

  File

• Time-constrained indoor keyword-aware routing: foundations and extensions

  Chan, H. K. H., Liu, T., Li, H. & Lu, H., Jul 2023, In: Geoinformatica. 27, 3, p. 375-426 52 p.

  Research output: Contribution to journal › Journal article › Research › peer-review

• Towards Indoor Temporal-variation aware Shortest Path Query

  Liu, T., Feng, Z., Li, H., Lu, H., Cheema, M. A., Cheng, H. & Xu, J., 2023, In: IEEE Transactions on Knowledge and Data Engineering. 35, 1, p. 998-1012 15 p.

  Research output: Contribution to journal › Journal article › Research › peer-review
• 2022

  Analysis and Transformation of Constrained Horn Clauses for Program Verification

  De Angelis, E., Fioravanti, F., Gallagher, J. P., Hermenegildo, M. V., Pettorossi, A. & Proietti, M., 2022, In: Theory and Practice of Logic Programming. 22, 6, p. 974-1042 69 p.

  Research output: Contribution to journal › Journal article › Research › peer-review

  Open Access

  File

• Analytic Non-Labelled Proof-Systems for Hybrid Logic: Overview and a couple of striking facts

  Braüner, T., Jun 2022, In: Bulletin of the Section of Logic. 51, 2, p. 143-162 20 p.

  Research output: Contribution to journal › Journal article › Research › peer-review

  Open Access

  File

• Comparing Alternative Route Planning Techniques: A Comparative User Study on Melbourne, Dhaka and Copenhagen Road Networks

  Li, L., Cheema, M. A., Lu, H., Ali, M. E. & Toosi, A. N., 1 Nov 2022, In: IEEE Transactions on Knowledge and Data Engineering. 34, 11, p. 5552-5557 6 p.

  Research output: Contribution to journal › Journal article › Research › peer-review

  Open Access

  File

• Contentious expertise: Hacking mobile phones, changing mobile technology

  Jørgensen, N., 7 Mar 2022, In: First Monday. 27, 3

  Research output: Contribution to journal › Journal article › Research › peer-review

  Open Access

  File

• Optimal dual cycling operations in roll-on roll-off terminals

  Jia, B., Tierney, K., Reinhardt, L. B. & Pahl, J., Mar 2022, In: Transportation Research Part E: Logistics and Transportation Review. 159, 102646.

  Research output: Contribution to journal › Journal article › Research › peer-review

  File

• Second-order false beliefs and linguistic recursion in autism spectrum disorder

  Polyanskaya, I., Eigsti, I.-M., Braüner, T. & Blackburn, P. R., Sept 2022, In: Journal of Autism and Developmental Disorders. 52, 9, p. 3991-4006 16 p.

  Research output: Contribution to journal › Journal article › Research › peer-review
• 2020

  Being Deceived: Information Asymmetry in Second-Order False Belief Tasks

  Braüner, T., Blackburn, P. R. & Polyanskaya, I., 1 Apr 2020, In: Topics in Cognitive Science. 12, 2, p. 504-534 31 p.

  Research output: Contribution to journal › Journal article › Research › peer-review

• Classification of renal tumour using convolutional neural networks to detect oncocytoma

  Pedersen, M., Andersen, M. B., Christiansen, H. & Asawi, N. H., Dec 2020, In: European Journal of Radiology. 133, 109343, 5 p., 109343.

  Research output: Contribution to journal › Journal article › Research › peer-review

• Implications of Assessing Student-Driven Projects: A Case Study of Possible Challenges and an Argument for Reflexivity

  Pedersen, S. & Hobye, M., 2020, In: Education Sciences. 10, 1, 19.

  Research output: Contribution to journal › Journal article › Research › peer-review

  Open Access

  File

• Incorrect Responses in First-Order False-Belief Tests: A Hybrid-Logical Formalization

  Braüner, T., Sept 2020, In: Logic and Logical Philosophy. 29, 3, p. 415-445 31 p.

  Research output: Contribution to journal › Journal article › Research › peer-review

  Open Access

  File

• Natural Logic Knowledge Bases and their Graph Form

  Andreasen, T., Bulskov, H., Anker Jensen, P. & Nilsson, J. F., Sept 2020, In: Data & Knowledge Engineering. 129, 35 p., 101848.

  Research output: Contribution to journal › Journal article › Research › peer-review

• Preface

  Fioravanti, F., Gallagher, J. P. & Proietti, M., 2020, In: Fundamenta Informaticae. 173, 4, p. i-ii

  Research output: Contribution to journal › Journal article › Research

  Open Access

• Robots on stage

  Christiansen, H. & Lindelof, A. M., 18 Dec 2020, In: EAI Endorsed Transactions on Creative Technologies. 7, 25, 13 p.

  Research output: Contribution to journal › Journal article › Research › peer-review

  Open Access

  File

• Simulation-Based Rolling Horizon Scheduling for Operating Theatres

  Andersen, A. R., Stidsen, T. J. R. & Reinhardt, L., 27 Mar 2020, In: SN Operations Research Forum. 1, 2, 9.

  Research output: Contribution to journal › Journal article › Research › peer-review

  Open Access

  File

• Speed optimizations for liner networks with business constraints

  Reinhardt, L., Pisinger, D., Sigurd, M. & Ahmt, J., 16 Sept 2020, In: European Journal of Operational Research. 285, 3, p. 1127-1140 14 p.

  Research output: Contribution to journal › Journal article › Research › peer-review

  Open Access

  File

• The Implications of Using Interactive Artifacts to Bridge the Divide Between Audience and Stage in a Conventional Hall Setting

  Ranten, M. F., Hobye, M. & Gram, N., 2020, In: PARtake: The Journal of Performance as Research. 3, 1

  Research output: Contribution to journal › Journal article › Research › peer-review

  Open Access

  File
• 2019

  Behavioral Complexity as a Computational Material Strategy

  Hobye, M. & Ranten, M. F., Aug 2019, In: International Journal of Design. 13, 2, p. 39-53 35 p.

  Research output: Contribution to journal › Journal article › Research › peer-review

  Open Access

  File

• Confluence and convergence modulo equivalence in probabilistically terminating reduction systems

  Kirkeby, M. H. & Christiansen, H., Feb 2019, In: International Journal of Approximate Reasoning. 105, p. 217-228 12 p.

  Research output: Contribution to journal › Journal article › Research › peer-review

  File

• Control-Flow Refinement by Partial Evaluation, and its Application to Termination and Cost Analysis

  Doménech, J., Gallagher, J. P. & Genaim, S., 1 Sept 2019, In: Theory and Practice of Logic Programming. 19, 5-6, p. 990–1005 16 p.

  Research output: Contribution to journal › Journal article › Research › peer-review

• POPMUSIC for the Travelling Salesman Problem

  Taillard, E. & Helsgaun, K., 16 Jan 2019, In: European Journal of Operational Research. 272, 2, p. 420-429 10 p.

  Research output: Contribution to journal › Journal article › Research › peer-review

  Open Access

  File

• Udviser sociale chatbots empati?

  Lynge, J., Andersen, K. G. & Braüner, T., 2019, In: Aktuel Naturvidenskab. 2019, 5, p. 35-37

  Research output: Contribution to journal › Journal article › Communication

  Open Access

  File
• 2018

  Many-Valued Hybrid Logic

  Hansen, J. U., Bolander, T. & Braüner, T., 20 Jul 2018, In: Journal of Logic and Computation. 28, 5, p. 883-908 26 p.

  Research output: Contribution to journal › Journal article › Research › peer-review

  Open Access

  File

• Optimised determinisation and completion of finite tree automata

  Gallagher, J. P., Ajspur, M. & Kafle, B., Feb 2018, In: Journal of Logic and Algebraic Programming. 95, p. 1-16 16 p.

  Research output: Contribution to journal › Journal article › Research › peer-review

• Tree dimension in verification of constrained Horn clauses

  Kafle, B., Gallagher, J. P. & Ganty, P., 2018, In: Theory and Practice of Logic Programming. 18, 2, p. 224-251 28 p.

  Research output: Contribution to journal › Journal article › Research › peer-review

  Open Access