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

• 2025

  Modeling and Monitoring of Indoor Populations using Sparse Positioning Data

  Li, X., Li, H., Lu, H. & Jensen, C. S., 2025, I: IEEE Transactions on Knowledge and Data Engineering. 37, 2, s. 794-809 16 s.

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

  Åben adgang

  Fil

• NALSpatial: A Natural Language Interface for Spatial Databases

  Liu, M., Wang, X., Xu, J., Lu, H. & Tong, Y., 2025, I: IEEE Transactions on Knowledge and Data Engineering. 37, 4, s. 2056 - 2070

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

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

  Braüner, T., Ghosh, A. & Ghosh, S., 2025, I: Cognitive Processing. 26, s. 201-218

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

  Åben adgang

  Fil
• 2024

  A Complete Tableau System for Basic Hybrid Logic with Propositional Quantication

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

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

• Advanced Query Functionalities in Natural Logic Knowledge Bases

  Andreasen, T., Bulskov, H. & Nilsson, J. F., 18 apr. 2024, I: International Journal of Computational Intelligence Systems. 17, 11 s., 96.

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

  Åben adgang

  Fil

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

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

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

  Åben adgang

  Fil

• Constrained Local Search for Last-Mile Routing

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

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

  Åben adgang

• 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 okt. 2024, I: ACM Computing Surveys. 57, 1, 21.

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › 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, I: World Wide Web. 27, 2

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › 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, I: International Journal of Human-Computer Studies. 181, 11 s., 103162.

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

  Åben adgang

  Fil

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

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

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

• Local elimination in the traveling salesman problem

  Cook, W., Helsgaun, K., Hougardy, S. & Schroeder, R. T., dec. 2024, I: Mathematical Programming Computation. 16, 4, s. 599-628 27 s.

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

  Åben adgang

  Fil

• 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, I: Transportation Research Part C: Emerging Technologies. 169, 104853.

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

  Åben adgang

  Fil

• Prior's Ideal Language

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

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

• 2023

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

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

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

  Fil

• Combatting Energy Issues for Mobile Applications

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

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

  Åben adgang

  Fil

• Contact Tracing over Uncertain Indoor Positioning Data

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

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

  Åben adgang

  Fil

• Efficiently computing alternative paths in game maps

  Li, L., Cheema, M. A., Ali, M. E., Lu, H. & Li, H., sep. 2023, I: World Wide Web. 26, 5, s. 3321-3345 25 s.

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

  Åben adgang

  Fil

• 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, I: IEEE Transactions on Knowledge and Data Engineering. 36, 4, s. 1582-1596 15 s.

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › 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 okt. 2023, I: IEEE Transactions on Neural Networks and Learning Systems. 34, 10, s. 6940-6954 15 s.

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › 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, I: Proceedings of the ACM on Management of Data. 1, 2, s. 1–26 26 s., 125.

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

  Åben adgang

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

  Wang, X., Liu, M., Xu, J. & Lu, H., jul. 2023, I: Geoinformatica. 27, 3, s. 427-460 34 s.

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › 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 okt. 2023, I: PLOS ONE. 18, 10 October, s. 1-29 e0291689.

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

  Åben adgang

  Fil

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

  Hansen, J. U. & Quinon, P., feb. 2023, I: Synthese. 201, 35, 35.

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

  Åben adgang

  Fil

• The True Futures

  Braüner, T., nov. 2023, I: Synthese. 202, 5, 162.

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

  Åben adgang

  Fil

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

  Chan, H. K. H., Liu, T., Li, H. & Lu, H., jul. 2023, I: Geoinformatica. 27, 3, s. 375-426 52 s.

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

  Åben adgang

  Fil

• Towards Indoor Temporal-variation aware Shortest Path Query

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

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

  Åben adgang
• 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, I: Theory and Practice of Logic Programming. 22, 6, s. 974-1042 69 s.

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

  Åben adgang

  Fil

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

  Braüner, T., jun. 2022, I: Bulletin of the Section of Logic. 51, 2, s. 143-162 20 s.

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

  Åben adgang

  Fil

• 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, I: IEEE Transactions on Knowledge and Data Engineering. 34, 11, s. 5552-5557 6 s.

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

  Åben adgang

  Fil

• Contentious expertise: Hacking mobile phones, changing mobile technology

  Jørgensen, N., 7 mar. 2022, I: First Monday. 27, 3

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

  Åben adgang

  Fil

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

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

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

  Fil

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

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

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
• 2020

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

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

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › 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, I: European Journal of Radiology. 133, 109343, 5 s., 109343.

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

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

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

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

  Åben adgang

  Fil

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

  Braüner, T., sep. 2020, I: Logic and Logical Philosophy. 29, 3, s. 415-445 31 s.

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

  Åben adgang

  Fil

• Natural Logic Knowledge Bases and their Graph Form

  Andreasen, T., Bulskov, H., Anker Jensen, P. & Nilsson, J. F., sep. 2020, I: Data & Knowledge Engineering. 129, 35 s., 101848.

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

• Preface

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

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning

  Åben adgang

• Robots on stage

  Bidragets oversatte titel: Robotter på scenenChristiansen, H. & Lindelof, A. M., 18 dec. 2020, I: EAI Endorsed Transactions on Creative Technologies. 7, 25, 13 s.

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

  Åben adgang

  Fil

• Simulation-Based Rolling Horizon Scheduling for Operating Theatres

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

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

  Åben adgang

  Fil

• Speed optimizations for liner networks with business constraints

  Bidragets oversatte titel: Speed optimizations for liner networks with business constraintsReinhardt, L., Pisinger, D., Sigurd, M. & Ahmt, J., 16 sep. 2020, I: European Journal of Operational Research. 285, 3, s. 1127-1140 14 s.

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

  Åben adgang

  Fil

• 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, I: PARtake: The Journal of Performance as Research. 3, 1

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

  Åben adgang

  Fil
• 2019

  Behavioral Complexity as a Computational Material Strategy

  Hobye, M. & Ranten, M. F., aug. 2019, I: International Journal of Design. 13, 2, s. 39-53 35 s.

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

  Åben adgang

  Fil

• Confluence and convergence modulo equivalence in probabilistically terminating reduction systems

  Kirkeby, M. H. & Christiansen, H., feb. 2019, I: International Journal of Approximate Reasoning. 105, s. 217-228 12 s.

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

  Fil

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

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

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

• POPMUSIC for the Travelling Salesman Problem

  Taillard, E. & Helsgaun, K., 16 jan. 2019, I: European Journal of Operational Research. 272, 2, s. 420-429 10 s.

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

  Åben adgang

  Fil

• Udviser sociale chatbots empati?

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

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Formidling

  Åben adgang

  Fil
• 2018

  Many-Valued Hybrid Logic

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

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

  Åben adgang

  Fil

• Optimised determinisation and completion of finite tree automata

  Gallagher, J. P., Ajspur, M. & Kafle, B., feb. 2018, I: Journal of Logic and Algebraic Programming. 95, s. 1-16 16 s.

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review