Andreas Nakkerud

Image of Andreas Nakkerud
Norwegian version of this page
Room 804
Username
Visiting address Moltke Moes vei 35 Niels Henrik Abels hus 0851 Oslo

Teaching

No current assignments.

Prior

INF1080: Logical Methods for Computer Science

INF2080: Logic and Computation

INF3170: Logic

INF4171: Logic

Tags: Statistics, Optimization, Innovation, Big Data, Logic, Mathematical Logic, Data Science, OBDA, Knowledge Representation

Publications

  • Mannino, Carlo; Nakkerud, Andreas & Sartor, Giorgio (2020). Air Traffic Flow Management with Layered Workload Constraints. Computers & Operations Research. ISSN 0305-0548. 127. doi: 10.1016/j.cor.2020.105159. Full text in Research Archive
  • Mannino, Carlo; Nakkerud, Andreas; Sartor, Giorgio & Schittekat, Patrick (2018). Hotspot Resolution with Sliding Window Capacity Constraints using the Path&Cycle Algorithm. SESAR Innovation Days. ISSN 0770-1268. Full text in Research Archive
  • Nakkerud, Andreas & Thorstensen, Evgenij (2015). Heuristics for Applying Cached OBDA Rewritings. CEUR Workshop Proceedings. ISSN 1613-0073. 1350(58), p. 493–503.
  • Amundsen, David Skålid; Kirkemo, Camilla Nestande; Nakkerud, Andreas; Trømborg, Jørgen & Vistnes, Arnt Inge (2009). The rainbow as a student project involving numerical calculations. American Journal of Physics (AJP). ISSN 0002-9505. 77(9), p. 795–798. doi: 10.1119/1.3152991. Full text in Research Archive

View all works in Cristin

View all works in Cristin

Published Dec. 6, 2016 2:02 PM - Last modified Nov. 6, 2018 2:02 PM

Research groups