Browse by Supervisor "Hubbers, E.M.G.M."

Sort by: Order: Results:

  • Closed Access
    Kruger, L. (2020-07-09)
    Artificial Intelligence
    In this thesis, we construct a formalization of natural semantics of imperative programming languages in Coq. Speci cally to use in the course Semantics and Correctness. We use already existing formalizations, like ...
  • Closed Access
    van den Broek, B. J. (2020-07-10)
    Artificial Intelligence
    Lunar Lockout is a puzzle game, similar to a sliding puzzle. The aim of the game is to get a particular playing piece to the middle of the board. Completing this goal can be very easy, but also very di cult. Generally, ...
  • Closed Access
    Nijboer, T. J. (2020-07-10)
    Artificial Intelligence
    Linear Temporal Logic is a language often used to model planning problems. The application of Natural Deduction to these planning problems is a novel, but interesting idea. The Natural Deduction calculus developed by ...
  • Bennink, Bibian (2020-07-10)
    Artificial Intelligence
    The research presented in this thesis elaborates on whether modal logic has an advantage over models without modal logic in constructing models for legal cases. There are several kinds of logics that could be used to ...