Algorithms, Logic and Graphs

  • Postal addressShow on map

    Richard Petersens Plads, Building 324

    DK-2800 Kgs. Lyngby

    Denmark

Filter
Conference abstract in proceedings

Search results

  • 2023

    Amortised Analysis of Dynamic Data Structures

    Rotenberg, E., 2023, Proceedings of 40th International Symposium on Theoretical Aspects of Computer Science. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Vol. 254. 2 p. 2

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

    Open Access
    File
    73 Downloads (Orbit)
  • 2021

    On Dynamic Graphs

    Rotenberg, E., 2021, Proceedings of 46th International Symposium on Mathematical Foundations of Computer Science (MFCS 2021). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Vol. 202. 1 p. 4

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

    Open Access
    File
    16 Downloads (Orbit)
  • 2016

    A Framework for Organization-Aware Agents: JAAMAS Extended Abstract

    Jensen, A. S., Dignum, V. & Villadsen, J., 2016, Proceedings of the 15th International Conference on Autonomous Agents & Multiagent Systems (AAMAS 2016). Association for Computing Machinery, p. 1133-1134

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

    Open Access
    File
    276 Downloads (Orbit)
  • 2015

    Formalization of Algorithms and Logical Inference Systems in Proof Assistants

    Schlichtkrull, A., 2015, Proceedings of the 13th Scandinavian Conference on Artificial Intelligence (SCAI 2015). Nowaczyk, S. (ed.). IOS Press, p. 188-190 (Frontiers in Artificial Intelligence and Applications, Vol. 278).

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

    Open Access
    File
    534 Downloads (Orbit)

  • Nature-Inspired and Energy Efficient Route Planning

    Schlichtkrull, A., Christensen, J. B. S., Feld, T. & Hansen, T. B., 2015, Grøn Dyst - Green Challenge: Student conference on sustainability, the environment and climate technology. Technical University of Denmark, p. 70 1 p. 37

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

    Open Access
    File
    264 Downloads (Orbit)
  • 2014

    AORTA: Adding Organizational Reasoning to Agents: Extended abstract

    Jensen, A. S. & Dignum, V., 2014, Proceedings of the 13th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2014). Lomuscio, A., Scerri, P., Bazzan, A. & Huhns, M. (eds.). Association for Computing Machinery, p. 1493-1494

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