Programming, Logic and Intelligent Systems

Research output

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

• 152 Article in proceedings
• 91 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

  An Efficient Integer Programming Model for Solving the Master Planning Problem of Container Vessel Stowage

  van Twiller, J., Sivertsen, A., Jensen, R. M. & Andersen, K. H., 2024, Computational Logistics - 15th International Conference, ICCL 2024, Proceedings. Garrido, A., Paternina-Arboleda, C. D. & Voß, S. (eds.). Springer Science and Business Media Deutschland GmbH, p. 236-253 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 15168 LNCS).

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

• CLEAR: Ranked Multi-Positive Contrastive Representation Learning for Robust Trajectory Similarity Computation

  Li, J., Liu, T. & Lu, H., 2024, Proceedings - 2024 25th IEEE International Conference on Mobile Data Management, MDM 2024. Institute of Electrical and Electronics Engineers Inc., p. 21-30 10 p. (Proceedings - IEEE International Conference on Mobile Data Management).

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

• Compiling Haskell for Energy Efficiency: Empirical Analysis of Individual Transformations

  Kirkeby, M. H., Santos, B., Fernandes, J. P. & Pardo, A., 8 Apr 2024, 39th Annual ACM Symposium on Applied Computing, SAC 2024. Association for Computing Machinery, p. 1104-1113 10 p. (Proceedings of the ACM Symposium on Applied Computing).

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  Open Access

  File

• Contact Tracing over Uncertain Indoor Positioning Data (Extended Abstract)

  Liu, T., Li, H., Lu, H., Cheema, M. A. & Chan, H. K. H., 2024, Proceedings - 2024 IEEE 40th International Conference on Data Engineering, ICDE 2024. IEEE Computer Society Press, p. 5711-5712 2 p. (Proceedings - International Conference on Data Engineering).

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

• Disparity of Abstract Color Representations in Convolutional Networks

  Pedersen, M. & Bulskov, H., 2024, Proceedings of 8th International Congress on Information and Communication Technology - ICICT 2023. Yang, X.-S., Sherratt, R. S., Dey, N. & Joshi, A. (eds.). Springer, p. 331-341 11 p. (Lecture Notes in Networks and Systems, Vol. 695 LNNS).

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

• Exploring the Energy Overhead of Reversible Programs Executed on Irreversible Hardware

  Vadgaard, L. B. H., Kirkeby, M. H., Larsen, K. F. & Thomsen, M. K., 2024, Reversible Computation - 16th International Conference, RC 2024, Proceedings. Mogensen, T. A. & Mikulski, L. (eds.). Springer, p. 77-93 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 14680 LNCS).

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

• First-Order Progression beyond Local-Effect and Normal Actions

  Liu, D. & Claßen, J., 2 Aug 2024, Proceedings of the 33rd International Joint Conference on Artificial Intelligence, IJCAI 2024. Larson, K. (ed.). IJCAI Organization, p. 3475-3483 9 p.

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  Open Access

  File

• Logic and Psychology: A Couple of Case Studies

  Braüner, T., 2024, FCR 2024 Formal and Cognitive Reasoning 2024: Proceedings of the 10th Workshop on Formal and Cognitive Reasoning co-located with the 47th German Conference on Artificial Intelligence. Özçep, Ö. L., Rußwinkel, N., Sauerwald, K. & Wolter, D. (eds.). CEUR-WS.org, p. 11-18 8 p. (CEUR Workshop Proceedings, Vol. 3763).

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  Open Access

  File

• Participatory Design in a Changing World: A Situated Action

  Huybrechts, L., Smith, R. C., Winschiers-Theophilus, H., Loi, D. & Simonsen, J., 11 Aug 2024, Situated Actions, Doctoral Colloquium, PDC places, Communities. D'Andrea, V., de Paula, R. A., Crompton, E., Reitsma, L., Daud, N. B., Zaini, N. A. B., Smith, R. C., Teli, M., Ghazali, M., Huybrechts, L., Tolhouk, R., de Mater O'Neill, M., Tabassum, G., Loh Chee Wyai, G., Muashekele, C., Stanley, C., Mbinge, U., Jengan, G., Del Gaudio, C., Yasuoka Jensen, M., Winschiers-Theophilus, H. & Zaman, T. (eds.). Association for Computing Machinery, p. 59-61 3 p. (ACM International Conference Proceeding Series, Vol. 3).

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

• Personalized Federated Learning for Cross-City Traffic Prediction

  Zhang, Y., Lu, H., Liu, N., Xu, Y., Li, Q. & Cui, L., 2024, Proceedings of the 33rd International Joint Conference on Artificial Intelligence, IJCAI 2024. Larson, K. (ed.). International Joint Conferences on Artificial Intelligence, p. 5526-5534 9 p. (IJCAI International Joint Conference on Artificial Intelligence).

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

• Predicting Patient No-Shows: Situated Machine Learning with Imperfect Data

  Gyldenkærne, C., Simonsen, J. G., From, G. & Hertzum, M., 22 Aug 2024, MIE2024: Proceedings of 34th Medical Informatics Europe Conference: Digital Health and Informatics Innovations for Sustainable Health Care Systems. Mantas, J., Hasman, A., Demiris, G., Saranto, K., Marschollek, M., Arvanitis, T. N., Ognjanović, I., Benis, A., Gallos, P., Zoulias, E. & Andrikopoulou, E. (eds.). IOS Press, Vol. 316. p. 1598-1602 5 p. (Studies in Health Technology and Informatics, Vol. 316).

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  Open Access

  File

• ReCTSi: Resource-efficient Correlated Time Series Imputation via Decoupled Pattern Learning and Completeness-aware Attentions

  Lai, Z., Zhang, D., Li, H., Zhang, D., Lu, H. & Jensen, C. S., 25 Aug 2024, KDD 2024 - Proceedings of the 30th ACM SIGKDD Conference on Knowledge Discovery and Data Mining. Association for Computing Machinery, p. 1474-1483 10 p. (Proceedings of the ACM SIGKDD International Conference on Knowledge Discovery and Data Mining).

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  Open Access

  File

• SPLindex: A Spatial Polygon Learned Index

  Vahedi, M. & Christiansen, H., 2024, Foundations of Intelligent Systems: 27th International Symposium, ISMIS 2024 Poitiers, France, June 17–19, 2024 Proceedings. Appice, A., Azzag, H., Hacid, M.-S., Hadjali, A. & Ras, Z. (eds.). Springer Nature, Vol. 14670. p. 271-281 11 p. (Lecture notes in artificial intelligence, Vol. 14670).

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

• This Time As Grandfather

  Blackburn, P. R., Braüner, T. & Kofod, J. L., 2024, (Accepted/In press) Exploring Negation, Modality and Proof. Springer Nature, (A Springer book series Logic In Asia: Studia Logica Library).

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

• 2023

  An Axiom System for Basic Hybrid Logic with Propositional Quantifiers

  Blackburn, P., Braüner, T. & Kofod, J. L., 2023, Logic, Language, Information, and Computation - 29th International Workshop, WoLLIC 2023, Proceedings. Hansen, H. H., Scedrov, A. & de Queiroz, R. J. G. B. (eds.). Springer, p. 118-134 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 13923 LNCS).

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  Open Access

  File

• BERMUDA: Participatory Mapping of Domain Activities to Event Data via System Interfaces

  Cosma, V. P., Hildebrandt, T. T., Gyldenkærne, C. H. & Slaats, T., 2023, Process Mining Workshops: ICPM 2022 International Workshops, Bozen-Bolzano, Italy, October 23–28, 2022, Revised Selected Papers. Montali, M., Senderovich, A. & Weidlich, M. (eds.). Springer, p. 127-139 13 p. (Lecture Notes in Business Information Processing, Vol. 468 LNBIP).

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  Open Access

  File

• DAISTIN: A Data-Driven AIS Trajectory Interpolation Method

  Magnussen, B. B., Bläser, N. & Lu, H., 23 Aug 2023, Proceedings of 18th International Symposium on Spatial and Temporal Data, SSTD 2023. Association for Computing Machinery, p. 75-84 10 p. (ACM International Conference Proceeding Series).

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

• Data Imputation for Sparse Radio Maps in Indoor Positioning

  Li, X., Li, H., Chan, H. K. H., Lu, H. & Jensen, C. S., 2023, Proceedings - 2023 IEEE 39th International Conference on Data Engineering, ICDE 2023. IEEE Computer Society Press, p. 2235-2248 14 p. (Proceedings - International Conference on Data Engineering, Vol. 2023-April).

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  File

• On Reducing Reasoning and Querying in Natural Logic to Database Querying

  Andreasen, T., Bulskov, H. & Nilsson, J. F., 2023, Flexible Query Answering Systems - 15th International Conference, FQAS 2023, Proceedings. Larsen, H. L., Martin-Bautista, M. J., Ruiz, M. D., Andreasen, T., Bordogna, G. & De Tré, G. (eds.). Springer, p. 3-14 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 14113 LNAI).

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  Open Access

  File

• Transforming Big-Step to Small-Step Semantics Using Interpreter Specialisation

  Gallagher, J. P., Hermenegildo, M. V., Morales, J. F. & López-García, P., 2023, Logic-Based Program Synthesis and Transformation: 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings. Glück, R. & Kafle, B. (eds.). Springer, Vol. 14330. p. 28-38 11 p. (Lecture Notes in Computer Science; No. 14330).

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  Open Access

  File
• 2022

  A Case for Exploration: Exploratory Data Analysis in Neural Networks for Renal Tumor Classification

  Pedersen, M. & Bulskov, H., 2022, Proceedings of the ICR’22 International Conference on Innovations in Computing Research. Daimi, K. & Al Sadoon, A. (eds.). Springer, p. 147-156 11 p. (Advances in Intelligent Systems and Computing, Vol. 1431).

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

• Diverse Shortest Paths in Game Maps: A Comparative User Study and Experiments

  Li, L., Cheema, M. A., Ali, M. E., Lu, H. & Li, H., 2022, Databases Theory and Applications - 33rd Australasian Database Conference, ADC 2022, Proceedings. Hua, W., Wang, H. & Li, L. (eds.). Springer, p. 76-88 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 13459 LNCS).

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

• Efficient and Error-bounded Spatiotemporal Quantile Monitoring in Edge Computing Environments

  Li, H., Yi, L., Tang, B., Lu, H. & Jensen, C. S., May 2022, Proceedings of the VLDB Endowment. Association for Computing Machinery, p. 1753-1765 13 p. (Proceedings of the VLDB Endowment; No. 9, Vol. 15).

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  Open Access

  File

• IKAROS: An Indoor Keyword-Aware Routing System

  Liu, T., Feng, Z., Li, H., Lu, H., Shou, L. & Xu, J., 2022, Proceedings - 2022 IEEE 38th International Conference on Data Engineering, ICDE 2022. IEEE Computer Society Press, p. 3182-3185 4 p. (Proceedings - International Conference on Data Engineering, Vol. 2022-May).

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  Open Access

  File

• Projection of Belief in the Presence of Nondeterministic Actions and Fallible Sensing

  Claßen, J. & Delgrande, J. P., 31 Jul 2022, Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning. Kern-Isberner, G., Lakemeyer, G. & Meyer, T. (eds.). Haifa, Israel: IJCAI Organization, p. 400-404 5 p.

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

• Spatial Data Quality in the IoT Era: Management and Exploitation

  Li, H., Tang, B., Lu, H., Cheema, M. A. & Jensen, C. S., 10 Jun 2022, SIGMOD 2022 - Proceedings of the 2022 International Conference on Management of Data. Association for Computing Machinery, p. 2474-2482 9 p. (Proceedings of the ACM SIGMOD International Conference on Management of Data).

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  Open Access

  File

• UrbanGen: Generating Combined In- and Outdoor Trajectories

  Sun, Y., Nielsen, N., Xie, X., Pedersen, T. B., Simonsen, U., Lu, H. & Ainciburu, M., 2022, Proceedings - 2022 23rd IEEE International Conference on Mobile Data Management, MDM 2022. IEEE Computer Society Press, p. 270-273 4 p. (Proceedings - IEEE International Conference on Mobile Data Management, Vol. 2022-June).

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
• 2021

  A Note on Hybrid Modal Logic with Propositional Quantiers (Work in Progress)

  Blackburn, P. R., Braüner, T. & Kofod, J. L., 2021, ICLA 2021 Proceedings: 9th Indian Conference on Logic and its Applications, March 4-7, 2021. Ghosh, S. & Ramanujam , R. (eds.). The Association for Logic in India, p. 34-39

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  Open Access

  File

• Indoor Spatial Queries: Modeling, Indexing, and Processing

  Liu, T., Li, H., Lu, H., Cheema, M. A. & Shou, L., 2021, Advances in Database Technology: EDBT 2021. 24th International Conferenceon Extending Database Technology. Nicosia, Cyprus, March 23–26, 2021. Proceedings. Velegrakis, Y., Zeinalipour, D., Chrysanthis, P. K. & Guerra, F. (eds.). OpenProceedings.org, p. 181-192 12 p.

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  Open Access

  File

• Local Search with Learned Constraints for Last Mile Routing

  Cook, W., Held, S. & Helsgaun, K., Sept 2021, Technical Proceedings of the Amazon Last Mile Routing Research Challenge. Winkenbach, M., Park, S. & Noszak, J. (eds.). Massachusetts Institute of Technology, p. 252-253 XXI.12

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research

  Open Access

• NALMO: A Natural Language Interface for Moving Objects Databases

  Wang, X., Xu, J. & Lu, H., 23 Aug 2021, Proceedings of 17th International Symposium on Spatial and Temporal Databases, SSTD 2021. Association for Computing Machinery, p. 1-11 11 p. (ACM International Conference Proceeding Series).

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

• Perspectives and Views of Flexible Query Answering

  Andreasen, T., De Tré, G., Kacprzyk, J., Larsen, H. L., Bordogna, G. & Zadrożny, S., 2021, Flexible Query Answering Systems - 14th International Conference, FQAS 2021, Proceedings. Andreasen, T., De Tré, G., Kacprzyk, J., Legind Larsen, H., Bordogna, G. & Zadrożny, S. (eds.). Springer, p. 3-14 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 12871 LNAI).

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

• Realization of a Natural Logic in a Database System

  Andreasen, T., Bulskov, H. & Nilsson, J. F., 2021, Flexible Query Answering Systems - 14th International Conference, FQAS 2021, Proceedings. Andreasen, T., De Tré, G., Kacprzyk, J., Legind Larsen, H., Bordogna, G. & Zadrożny, S. (eds.). Springer, p. 54-66 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 12871 LNAI).

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

• Regular Path Clauses and Their Application in Solving Loops

  Kafle, B., Gallagher, J. P., Hermenegildo, M. V., Klemen, M., López-García, P. & Morales, J. F., 13 Sept 2021, Proceedings 8th Workshop on Horn Clauses for Verification and Synthesis (HCVS 2021). Hojjat, H. & Kafle , B. (eds.). EPTCS, Vol. 344. p. 22-35 14 p. (Electronic Proceedings in Theoretical Computer Science, Vol. 344).

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  Open Access

  File

• Restraints as a Mechanic for Bodily Play

  Matjeka, L. P., Hobye, M. & Larsen, H. S., 6 May 2021, CHI 2021 - Proceedings of the 2021 CHI Conference on Human Factors in Computing Systems: Making Waves, Combining Strengths. Association for Computing Machinery, p. 1-14 14 p. 441

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  File

• Time-Constrained Indoor Keyword-Aware Routing

  Chan, H. K. H., Liu, T., Li, H. & Lu, H., 23 Aug 2021, Proceedings of 17th International Symposium on Spatial and Temporal Databases, SSTD 2021. Association for Computing Machinery, p. 74-84 11 p. (ACM International Conference Proceeding Series).

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  Open Access

  File

• Tracing Conceptions of the Body in HCI: From User to More-Than-Human

  Homewood, S., Hedemyr, M., Ranten, M. F. & Kozel, S., 6 May 2021, CHI 2021 - Proceedings of the 2021 CHI Conference on Human Factors in Computing Systems: Making Waves, Combining Strengths. New York: Association for Computing Machinery, 12 p. 258

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

• Understanding responses of individuals with ASD in syllogistic and decision-making tasks: A formal study

  Braüner, T., Ghosh, A. & Ghosh, S., 2021, Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops: ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14–15, 2020, Revised Selected Papers . Cleophas, L. & Massink, M. (eds.). Springer, p. 118-128 11 p. (Lecture Notes in Computer Science; No. 12524).

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
• 2020

  A General Framework for Static Cost Analysis of Parallel Logic Programs

  Klemen, M., López-García, P., Gallagher, J. P., Morales, J. F. & Hermenegildo, M., Apr 2020, Logic-Based Program Synthesis and Transformation - 29th International Symposium: LOPSTR 2019 Revised Selected Papers. Gabbrielli, M. (ed.). Springer, Vol. 12042. p. 19-35 17 p. (Lecture Notes in Computer Science, Vol. 12042). (Theoretical Computer Science and General Issues, Vol. 12042).

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  Open Access

  File

• An Experiment Combining Specialization with Abstract Interpretation

  Gallagher, J. P. & Glück, R., 7 Aug 2020, Proceedings of VPT/HCVS@ETAPS 2020: 8th International Workshop on Verification and Program Transformation and 7th Workshop on Horn Clauses for Verification and Synthesis. Fribourg , L. & Heizmann , M. (eds.). EPTCS, Vol. 320. p. 155-158 4 p. (Electronic Proceedings in Theoretical Computer Science, Vol. 320).

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  Open Access

  File

• Continuously Monitoring Alternative Shortest Paths on Road Networks

  Li, L., Cheema, M. A., Ali, M. E., Lu, H. & Taniar, D., 1 Jul 2020, Proceedings of the VLDB Endowment. Balazinska, M. & Zhou, X. (eds.). 11 ed. Association for Computing Machinery, Vol. 13. p. 2243-2255 13 p. (Proceedings of the VLDB Endowment; No. 12, Vol. 13).

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  Open Access

  File

• Detecting and Diagnosing Energy Issues for Mobile Applications

  Li, X., Yang, Y., Liu, Y., Gallagher, J. P. & Wu, K., 18 Jul 2020, 29th ACM SIGSOFT International Symposium on Software Testing and Analysis: ISSTA '20. Khurshid, S. & Pasareanu, C. S. (eds.). Association for Computing Machinery, p. 115-127 13 p.

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  Open Access

• Efficient and Precise Classification of CT Scannings of Renal Tumors Using Convolutional Neural Networks

  Pedersen, M., Christiansen, H. & Asawi, N. H., 2020, Foundations of Intelligent Systems: 25th International Symposium, ISMIS 2020, Graz, Austria, September 23-25, 2020, Proceedings. Helic, D., Stettinger, M., Felfernig, A., Leitner, G. & Ras, Z. W. (eds.). Springer, p. 440-447 8 p. (Lecture Notes in Computer Science, Vol. 12117).

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

• From Big-Step to Small-Step Semantics and Back with Interpreter Specialisation

  Gallagher, J. P., Hermenegildo, M. V., Kafle, B., Klemen, M., López-García, P. & Morales, J. F., 7 Aug 2020, Proceedings of VPT/HCVS@ETAPS 2020: 8th International Workshop on Verification and Program Transformation and 7th Workshop on Horn Clauses for Verification and Synthesis. Fribourg, L. & Heizmann , M. (eds.). EPTCS, Vol. 320. p. 50-64 15 p. (Electronic Proceedings in Theoretical Computer Science, Vol. 320).

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  Open Access

  File

• Inversion Framework: Reasoning about Inversion by Conditional Term Rewriting Systems

  Kirkeby, M. H. & Glück, R., 1 Sept 2020, Proceedings of the 22nd International Symposium on Principles and Practice of Declarative Programming, PPDP 2020 - Part of BOPL 2020 - Bologna Federated Conference on Programming Languages 2020. New York: Association for Computing Machinery, p. 1-14 14 p. 3414089

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

• LISA: A Learned Index Structure for Spatial Data

  Li, P., Lu, H., Zheng, Q., Yang, L. & Pan, G., 14 Jun 2020, SIGMOD' 20: Proceedings of the 2020 International Conference on Management of Data, SIGMOD Conference 2020, online conference [Portland, OR, USA], June 14-19, 2020. Maier, D., Pottinger, R., Doan, A., Tan, W.-C., Alawini, A. & Ngo, H. Q. (eds.). New York: Association for Computing Machinery, p. 2119-2133 15 p.

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

• On the design of a Natural Logic System for Knowledge Bases

  Andreasen, T., Bulskov, H. & Nilsson, J. F., 2020, Foundations of Intelligent Systems - 25th International Symposium, ISMIS 2020, Proceedings: 25th International Symposium, ISMIS 2020, Graz, Austria, September 23–25, 2020, Proceedings. Helic, D., Stettinger, M., Felfernig, A., Leitner, G. & Ras, Z. W. (eds.). Springer, p. 413-421 8 p. (Lecture Notes in Computer Science; No. 12117, Vol. LNAI ).

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  Open Access

  File

• Probabilistic Output Analyses for Deterministic Programs: Reusing Existing Non-probabilistic Analyses

  Kirkeby, M. H., 20 Jan 2020, Proceedings 16th Workshop on Quantitative Aspects of Programming Languages and Systems Prague, Czech Republic, 7th April 2019. Aldini, A. & Wiklicky , H. (eds.). Open Publishing Association, Vol. 312. p. 43-57 15 p. (Electronic Proceedings in Theoretical Computer Science; No. 312).

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  Open Access

• Semi-inversion of Conditional Constructor Term Rewriting Systems

  Kirkeby, M. H. & Glück, R., 1 Apr 2020, Logic-Based Program Synthesis and Transformation - 29th International Symposium, LOPSTR 2019, Revised Selected Papers: 29th International Symposium, LOPSTR 2019, Porto, Portugal, October 8–10, 2019, Revised Selected Papers. Gabbrielli, M. (ed.). Cham: Springer, p. 243-259 17 p. (Lecture Notes in Computer Science; No. 12042). (Theoretical Computer Science and General Issues; No. 12042).

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

• Sound as Material for Eco-technogenesis

  Hines, M., Kadish, D. & Ranten, M. F., May 2020, Proceedings of RE:SOUND 2019. British Computer Society, p. 195-201 (Electronic Workshops in Computing).

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  Open Access

  File