1997 …2025

Research activity per year

Filter
Article in proceedings

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., Garrido, A. (Editor), Paternina, C. (Editor) & Voß, S. (Editor), Aug 2024, Computational Logistics. Springer, Vol. 15168. p. 236-253 17 p. (Lecture Notes in Computer Science, Vol. 15168).

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

    Open Access
    File
  • 2023

    Towards a Deep Reinforcement Learning Model of Master Bay Stowage Planning

    van Twiller, J., Grbic, D. & Jensen, R. M., 7 Sept 2023, ICCL 2023: Computational Logistics. Daduna, J. R., Liedtke, G., Shi, X. & Voß, S. (eds.). Berlin: Springer, Vol. 14239. p. 105-121 17 p. 6. (Lecture Notes in Computer Science, Vol. 14239).

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

    Open Access
    File
  • 2022

    A Linear Time Algorithm for Optimal Quay Crane Scheduling

    Herup, M. O., Thiesgaard, G. C. W., van Twiller, J. & Jensen, R. M., 14 Sept 2022, International Conference on Computational Logistics: Lecture Notes in Computer Science. Springer, Vol. 13557. p. 60–73 13 p.

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

    Open Access
    File
  • 2021

    Destination Prediction of Oil Tankers Using Graph Abstractions and Recurrent Neural Networks

    Magnussen, B. B., Bläser, N., Jensen, R. M. & Ylänen, K., 27 Sept 2021, Computational Logistics: 12th International Conference, ICCL 2021 Enschede, The Netherlands, September 27–29, 2021 Proceedings. Springer, Vol. 13004. p. 51-65 15 p. (Lecture Notes in Computer Science).

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

    Open Access
    File
  • 2019

    A Decision Support Tool for Energy-Optimising Railway Timetables Based on Behavioural Data

    Madsen, M. B., Als, M. V. H., Jensen, R. M. & Edinger Gram, S., 30 Sept 2019, Proceedings of the 10th International Conference on Computational Logistics (ICCL19). Springer, p. 397-412 16 p. (Lecture Notes in Computer Science, Vol. 11756).

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

    Open Access
    File
  • A Decomposed Fourier-Motzkin Elimination Framework to Derive Vessel Capacity Models

    Ajspur, M. L., Jensen, R. M. & Andersen, K. H., 30 Sept 2019, Proceedings of the 10th International Conference on Computational Logistics (ICCL19). Springer, p. 85-100 16 p. (Lecture Notes in Computer Science, Vol. 11756).

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

    Open Access
    File
  • 2018

    The Standard Capacity Model: Towards a polyhedron representation of container vessel capacity

    Jensen, R. M. & Ajspur, M. L., 2018, Computational Logistics: 9th International conference, ICCL 2018. Cerulli, R., Raiconi, A. & Voss, S. (eds.). Springer, p. 175-190 (Lecture Notes in Computer Science, Vol. 11184).

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

    Open Access
    File
  • 2013

    A Placement Heuristic for a Commercial Decision Support System for Container Vessel Stowage

    Delgado-Ortegon, A., Jensen, R. M. & Guilbert, N., 4 Feb 2013, Informatica (CLEI), 2012 XXXVIII Conferencia Latinoamericana En. IEEE, p. 1-9 9 p.

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

  • 2012

    Automated Planning for Liner Shipping Fleet Repositioning.

    Tierney, K., Jensen, R. M., Kroer, C., Britt, A., Coles, A. & Coles, A., 2012, ICAPS 2012, the 22nd International Conference on Automated Planning and Scheduling . AAAI Press, p. 279-287 8 p.

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

  • Constraint-based local search for container stowage slot planning

    Pacino, D., Jensen, R. M. & Bebbington, T., 2012, IMECS 2012: Proceedings of the International MultiConference of Engineers and Computer Scientists. IAENG, Vol. 1. 6 p.

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

  • 2011

    Fast Generation of Near-Optimal Plans for Eco-Efficient Stowage of Large Container Vessels

    Pacino, D., Jensen, R. M., Delgado-Ortegon, A. & Bebbington, T., 19 Sept 2011, ICCL (2011). Proceedings of the International Conference on Computer Languages. Springer, p. 286-301 15 p.

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

  • Phase Recognition during Surgical Procedures using Embedded and Body-worn Sensors

    Bardram, J. E., Doryab, A., Jensen, R. M., Lange, P., Torp, S. & Nielsen, K., 2011, Pervasive Computing and Communications (PerCom), 2011. Proceedings of. IEEE

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

  • 2009

    Combining Binary Decision Diagrams and Backtracking Search for Scalable Backtrack-Free Interactive Product Configuration

    Nørgaard, A. H., Boysen, M. R., Jensen, R. M. & Tiedemann, P., 2009, Proceedings of the 21st International Joint Conferences on Artificial Intelligence (IJCAI-09) Workshop on Configuration. AAAI Press

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

    File
  • 2007

    Learning Non-Deterministic Multi-Agent Planning Domains

    Jensen, R. M., 2007, Proceedings of the Seventeenth International Conference on Automated Planning and Scheduling (ICAPS-07) Workshop on Artificial Intelligence Planning and Learning.

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

    File
  • 2006

    Memory-Efficient Symbolic Heuristic Search

    Jensen, R. M., Hansen, E. A., Richards, S. & Zhou, R., 2006, Proceedings of the Sixteenth International Conference on Automated Planning and Scheduling (ICAPS-06). AAAI Press, p. 304-313 10 p.

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

    Open Access
    File
  • 2005

    ASET: a Multi-Agent Planning Language with Nondeterministic Durative Tasks for BDD-Based Fault Tolerant Planning

    Jensen, R. M. & Veloso, M. M., 2005, ICAPS 05 WS4: Workshop on Multiagent Planning and Scheduling. Clement, B. (ed.). p. 58-66 9 p.

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

    Open Access
    File
  • 2004

    CLab: a C++ Library for Fast Backtrack-Free Interactive Product Configuration

    Jensen, R. M., 2004, Principles and Practice of Constraint Programming - CP 2004: 10th International Conference, CP 2004. Springer, p. 816 1 p.

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

    Open Access
    File
  • Comparing two implementations of a Complete and Backtrack-free Interactive Configurator

    Subbarayan, S., Jensen, R. M., Hadzic, T., Andersen, H. R., Hulgaard, H. & Møller, J., 2004, Proceedings of the Tenth International Conference on Principles and Practice of Constraint Programming (CP-04) Workshop on CSP Techniques with Immediate Application. p. 97-111 15 p.

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

    Open Access
    File
  • Fast Backtrack-Free Product Configuration using a Precompiled Solution Space Representation

    Hadzic, T., Subbarayan, S., Jensen, R. M., Andersen, H. R., Møller, J. & Hulgaard, H., 2004, Proceedings from the International Conference on Economic, Technical and Organisational aspects of Product Configuration Systems. Technical University of Denmark, p. 133-140 8 p.

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

    Open Access
    File
  • Fault Tolerant Planning: Toward Probabilistic Uncertainty Models in Symbolic Non-Deterministic Planning

    Jensen, R. M., Veloso, M. M. & Bryant, R. E., 2004, Proceedings of the Fourteenth International Conference on Automated Planning and Scheduling (ICAPS-04). AAAI Press, p. 335-344 10 p.

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

    Open Access
    File
  • 2003

    Guided Symbolic Universal Planning

    Jensen, R. M., Veloso, M. M. & Bryant, R. E., 2003, Proceedings of the 13th International Conference on Automated Planning and Scheduling (ICAPS-03). AAAI Press, p. 123-132 10 p.

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

    Open Access
    File
  • Synthesis of Fault Tolerant Plans for Non-Deterministic Domains

    Jensen, R. M., Veloso, M. M. & Bryant, R. E., 2003, Proceedings of the 13th International Conference on Automated Planning and Scheduling (ICAPS-03) Workshop on Planning under Uncertainty and Incomplete Information. AAAI Press, Vol. https://icaps03.icaps-conference.org/satellite_events/workshops/workshops_2.htm. p. 64-73 10 p.

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

    Open Access
    File
  • UMOP 1.2 Software Demonstration

    Jensen, R. M. & Veloso, M. M., 2003, Printed Notes of ICAPS-03 System Demos. AAAI Press

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

    Open Access
    File
  • 2002

    A formalization of equilibria for multiagent planning

    Bowling, M. H., Jensen, R. M. & Veloso, M. M., 2002, Eighteenth National Conference on Artificial Intelligence (AAAI-02) Workshop on Planning with and for Multiagent Systems. https://aaai.org/Press/Reports/Workshops/ws-02-12.php ed. AAAI Press

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

    Open Access
    File
  • An Efficient BDD-based A* Algorithm

    Jensen, R. M., 2002, Proceedings of the International Conference on Artificial Intelligence Planning Systems (AIPS-02) Workshop on Planning via Model Checking. AAAI Press, p. 72-80 9 p.

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

    Open Access
    File
  • SetA*: An efficient BDD-Based Heuristic Search Algorithm

    Jensen, R. M., Veloso, M. M. & Bryant, R. E., 2002, Proceedings of Eighteenth National Conference on Artificial Intelligence (AAAI'02). AAAI Press, p. 668-673 6 p.

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

    Open Access
    File
  • 2001

    OBDD-Based Optimistic and Strong Cyclic Adversarial Planning

    Jensen, R. M., Veloso, M. M. & Bowling, M. H., 2001, Proceedings of the Sixth European Conference on Planning (ECP-01). AAAI Press, p. 265-276 14 p.

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

  • 2000

    OBDD-based Deterministic Planning using the UMOP Planning Framework

    Jensen, R. M., 2000, Proceedings of AIPS-00 Workshop on Model-Theoretic Approaches to Planning. 6 p.

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

    Open Access
    File
  • OBDD-based Universal Planning for Multiple Synchronized Agents in Non-Deterministic Domains,

    Jensen, R. M. & Veloso, M. M., 2000, Proceedings of the 5th International Conference on Artificial Intelligence Planning Systems (AIPS-00). AAAI Press, p. 167-176 10 p.

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

    Open Access
    File
  • 1998

    Specification and Verification of Complex Robotics Tasks

    Jensen, R. M., 1998, Proceeedings of ESSLLI'98 Workshop on Duration Calculus: A Logical Approach to Real-Time Systems. p. 79-90 13 p.

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

    Open Access
    File