Algorithms, Logic and Graphs

  • Postal addressShow on map

    Richard Petersens Plads, Building 324

    DK-2800 Kgs. Lyngby

    Denmark

Filter
Book chapter

Search results

  • 2022

    Interactive Theorem Proving for Logic and Information

    Villadsen, J., From, A. H., Jensen, A. B. & Schlichtkrull, A., 2022, Natural Language Processing in Artificial Intelligence. Springer, Vol. 999. p. 25-48 (Studies in Computational Intelligence, Vol. 999).

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

    Open Access
    File
    182 Downloads (Pure)
  • 2021

    Formalized Soundness and Completeness of Epistemic Logic

    From, A. H., 2021, Logic, Language, Information, and Computation. Springer, p. 1-15 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 13038).

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

  • The 15th Edition of the Multi-Agent Programming Contest - The GOAL-DTU Team

    Jensen, A. B., Villadsen, J., Weile, J. & Gylling, E. K., 2021, Multi-Agent Progamming Contest. Springer, p. 46-81 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 12947).

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

    Open Access
    File
    47 Downloads (Pure)
  • 2020

    Kompetencer - forskning og uddannelse: SIRI-Kommissionens bud på, hvordan Danmark bedst udnytter mulighederne i AI og digitalisering

    Bolander, T., 2020, Hvad skal vi med AI? : SIRI-Kommissionens bud på, hvordan Danmark bedst udnytter mulighederne i AI og digitalisering. IDA for Siri Kommissionen, p. 7-12

    Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Communication

    Open Access
    File
    34 Downloads (Pure)

  • Parameterized Complexity of Dynamic Belief Updates

    Bolander, T. & Lequen, A., 2020, Dynamic Logic. New Trends and Applications . Springer, p. 87-102 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 12569).

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

  • Theory of estimation-of-distribution algorithms

    Krejca, M. S. & Witt, C., 1 Jan 2020, Natural Computing Series. Doerr, B. & Neumann, F. (eds.). Springer, p. 405-442 (Natural Computing Series).

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

  • 2019

    A Process Calculus for Design and Modeling of Retro-Synthesis

    Broholm, G., Hammeken, M., Hansen, M. S., Juhl, A., Larsen, M. S., Nilsson, J. F., Pethick, T. & Sørensen, M. G., 2019, Information Modelling and Knowledge Bases XXX. IOS Press, p. 20 - 31 (Frontiers in Artificial Intelligence and Applications, Vol. 312).

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

    Open Access

  • Diskret matematik

    Bolander, T., 2019, Teknisk Matematik. Nyt Teknisk Forlag, Vol. 3. p. 169-214

    Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Education

  • 2018

    Agent Programming Languages and Logics in Agent-Based Simulation

    Larsen, J. B., 2018, Modern Approaches for Intelligent Information and Database Systems. Springer, Vol. 769. p. 517-526 (Modern Approaches for Intelligent Information and Database Systems, Vol. 769).

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

  • Seeing Is Believing: Formalising False-Belief Tasks in Dynamic Epistemic Logic

    Bolander, T., 2018, Jaakko Hintikka on Knowledge and Game-Theoretical Semantics. Springer, Vol. 12. p. 207-236 (Outstanding Contributions to Logic, Vol. 12).

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

  • 2017

    A Natural Logic for Natural-language Knowledge Bases

    Andreasen, T., Bulskov, H., Jensen, P. A. & Nilsson, J. F., 2017, Partiality and Underspecification in Information, Languages, and Knowledge. Christiansen, H., Jiménez López, M. D., Loukanova, R. & Moss, L. (eds.). Cambridge Scholars Press, p. 1-26 (Partiality and Underspecification in Information, Languages, and Knowledge).

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

  • Formalization of Many-Valued Logics

    Villadsen, J. & Schlichtkrull, A., 2017, Partiality and Underspecification in Information, Languages, and Knowledge. Christiansen, H., Jiménez-López, M. D., Loukanova, R. & Moss, L. (eds.). Cambridge Scholars Press, p. 219-256

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

  • 2016

    Selskabet for Naturlærens Udbredelse - naturvidenskabsformidling gennem 191 år

    Olesen, D., 2016, Københavns Universitets almanak 2016. Nyt Nordisk Forlag Arnold Busck, p. 92-100

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

  • 2015

    Kursusudvikling gennem systematisk evaluering

    Bolander, T., 2015, Universitetspædagogiske praksisser. Jørgensen, P. S. & Rienecker, L. (eds.). Samfundslitteratur, p. 283-300

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

  • Part E: Evolutionary Computation

    Neumann, F. (ed.), Witt, C. (ed.), Merz, P. (ed.), Coello Coello, C. A. (ed.), Bartz-Beielstein, T. (ed.), Schütze, O. (ed.), Mehnen, J. (ed.) & Raidl, G. (ed.), 2015, Springer Handbook of Computational Intelligence. Kacprzyk, J. & Pedrycz, W. (eds.). Springer, p. 823-1288

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

  • UNI C - A True Internet Pioneer, the Danish Computing Centre for Research and Education

    Olesen, D., 2015, History of Nordic Computing 4: Revised Selected Papers of the 4th IFIP WG 9.7 Conference on the History of IT in the Nordic Countries (HiNC4 2014). Gram, C., Rasmussen, P. & Østergaard, S. D. (eds.). Springer, p. 116-124 (IFIP AICT - Advances in Information and Communication technology, Vol. 447).

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

    Open Access
    File
    510 Downloads (Pure)
  • 2014

    Constraints in (Computational) Linguistics

    Blache, P. & Villadsen, J., 2014, Constraints and Language. Blache, P., Christiansen, H., Dahl, V., Duchier, D. & Villadsen, J. (eds.). Cambridge Scholars Press, p. 3-20

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

  • IS-A diversified

    Nilsson, J. F., 2014, Information Modelling and Knowledge Bases XXV. IOS Press, p. 17-24 (Frontiers in Artificial Intelligence and Applications, Vol. 260).

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

  • Multi-dimensional Type Theory: Rules, Categories and Combinators for Syntax and Semantics

    Villadsen, J., 2014, Constraints and Language. Blache, P., Christiansen, H., Dahl, V., Duchier, D. & Villadsen, J. (eds.). Cambridge Scholars Press, p. 167-189

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

  • 2013

    Diagrammatic Reasoning with Classes and Relationships

    Nilsson, J. F., 2013, Visual Reasoning with Diagrams. Moktefi, A. & Shin, S-J. (eds.). Springer, p. 83-100 (Studies in Universal Logic).

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