Leif Harald Karlsen

Førstelektor
ved Analytiske systemer og resonnering ved Universitetet i Oslo

Resultater Resultater

A simple, General and Efficient Representation of Qualitative Spatial Information; An Approach Based on Bintrees.

Karlsen, Leif Harald. 2018, UIODoktorgradsavhandling

Lore: Educational Deductive Database System.

Karlsen, Leif Harald. 2023, Lecture Notes in Computer Science (LNCS). UIOVitenskapelig artikkel

Subsurface Evaluation Through Multi-scenario Reasoning.

Yu, Ingrid Chieh; Pene, Irina; Din, Crystal Chang; Karlsen, Leif Harald; Nguyen, Chi Mai; Stahl, Oliver; Latif, Adnan. 2022, Springer Nature. UIOVitenskapelig Kapittel/Artikkel/Konferanseartikkel

OTTR: Formal Templates for Pattern-Based Ontology Engineering.

Skjæveland, Martin G; Lupp, Daniel P.; Karlsen, Leif Harald; Kluwer, Johan Wilhelm. 2021, IOS Press. UIO, DNVVitenskapelig Kapittel/Artikkel/Konferanseartikkel

Formal Relations over Ontology Patterns in Templating Frameworks.

Kindermann, Christian; Lupp, Daniel P.; Skjæveland, Martin G; Karlsen, Leif Harald. 2021, IOS Press. STORBRITAN, UIOVitenskapelig Kapittel/Artikkel/Konferanseartikkel

1 - 5 av 17 | Neste | Siste »