Leif Harald Karlsen
Førstelektor
-
PROG Programmering

English version of this page
E-post
leifhka@ifi.uio.no
Brukernavn
Besøksadresse
Gaustadalléen 23B
0373 Oslo
Postadresse
Postboks 1080
0316 Oslo
Andre tilknytninger
Institutt for pedagogikk
(Student)
Publikasjoner
- Din, Crystal Chang; Karlsen, Leif Harald; Pene, Irina; Stahl, Oliver; Yu, Ingrid Chieh & Østerlie, Thomas (2019). Geological Multi-scenario Reasoning. NIKT: Norsk IKT-konferanse for forskning og utdanning. ISSN 1892-0713. Fulltekst i vitenarkiv.
- Karlsen, Leif Harald & Giese, Martin (2019). Qualitatively correct bintrees: an efficient representation of qualitative spatial information. Geoinformatica. ISSN 1384-6175. 23(4), s 689- 731 . doi: 10.1007/s10707-019-00348-z
- Lupp, Daniel Paul; Karlsen, Leif Harald & Skjæveland, Martin G (2018). Making a Case for Formal Relations over Ontology Patterns. CEUR Workshop Proceedings. ISSN 1613-0073. 2195, s 87- 91
- Skjæveland, Martin G; Karlsen, Leif Harald & Lupp, Daniel P. (2018). Practical Ontology Pattern Instantiation, Discovery, and Maintanence with Reasonable Ontology Templates - Demo paper. CEUR Workshop Proceedings. ISSN 1613-0073. 2180
- Skjæveland, Martin G; Lupp, Daniel P.; Karlsen, Leif Harald & Forssell, Jon Henrik (2018). Practical Ontology Pattern Instantiation, Discovery, and Maintenance with Reasonable Ontology Templates. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 11136, s 477- 494 . doi: 10.1007/978-3-030-00671-6_28 Fulltekst i vitenarkiv.
- Karlsen, Leif Harald & Giese, Martin (2017). An Efficient Representation of General Qualitative Spatial Information using Bintrees. Leibniz International Proceedings in Informatics. ISSN 1868-8969. 86, s 1- 15 . doi: 10.4230/LIPIcs.COSIT.2017.4 Fulltekst i vitenarkiv.
- Karlsen, Leif Harald & Giese, Martin (2015). A Framework for Constructing Correct Qualitative Representations of Geometries using Mereology over Bintrees, In Tomasz Lechowski; Przemysław Wałęga & Michał Zawidzki (ed.), Proceedings of the LQMR 2015 Workshop. Polskie Towarzystwo Informatyczne. ISBN 978-83-60810-78-1. Artikkel nr. 3. s 21 - 33
- Skjæveland, Martin G; Lupp, Daniel P. & Karlsen, Leif Harald (2020). Pattern-based knowledge base construction.
- Skjæveland, Martin G; Karlsen, Leif Harald & Lupp, Daniel P. (2019). IOF Workshops 2019 Tutorial: Ontology patterns in practice.
- Skjæveland, Martin G; Lupp, Daniel P.; Karlsen, Leif Harald & Hodkiewicz, M. R. (2019). Scalable Construction of Sustainable Knowledge Bases - Full day tutorial..
- Karlsen, Leif Harald & Giese, Martin (2017). An Efficient Representation of Qualitative Spatial Information using Bintrees. Conference proceedings (Universitetet i Oslo. Institutt for informatikk). 460. Fulltekst i vitenarkiv.
- Karlsen, Leif Harald & Giese, Martin (2017). Qualitatively Correct Bintrees With Roles. Conference proceedings (Universitetet i Oslo. Institutt for informatikk). 467. Fulltekst i vitenarkiv.
Publisert 22. apr. 2014 16:00
- Sist endret 9. jan. 2021 09:29