Page 65 - Sirius_Annual_Report_2021

Entailment Regimes. CEUR Workshop Proceedings 2021 ;Volum2954 UiO
Kamburjan, Eduard; Schlatte, Rudolf; Johnsen, Einar Broch; Tapia Tarifa, Silvia Lizeth. Designing Distributed Control with Hybrid Active Objects. I: Leveraging Applications of Formal Methods, Verification and Validation: Tools and- Trends - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020,Proceedings, Part IV. Springer 2021 ISBN 978-3-030-83722-8. s.88-108 UiO
Kindermann, Christian; Lupp, Daniel P.; Skjæveland, Martin G; Karlsen, Leif Harald. Formal Relations over Ontology Patterns in Templating Frameworks. I: Advances in Pattern-Based Ontology Engineering. IOS Press 2021 ISBN978-1-64368-174-0. s.120-133 UiO
Koopmann, Patrick; Chen, Jieying. Deductive Module Extraction for Expressive Description Logics. In Proceedings of the 29th International Joint Conference on Artificial Intelligence(IJCAI 2020); 2021-01-01 - 2021-01-30 UiO
Mikalsen, Marius; Monteiro, Eric. Acting with inherently uncertain data: practices of data-centric knowing. Journal of the AIS 2021 ;Volum 22.(6) s.1-21 SINTEF NTNU
Nolano, Gennaro; Elahi, Mohammad Fazleh; De Buono, Maria Pia; Ell, Basil; Cimiano, Philipp. An Italian Question Answering System based on grammars automatically generated from ontology lexica. Aachen, Germany: Technical Universityof Aachen 2021 0 s. CEUR Workshop Proceedings(0) UiO
Otten, Jens. The nanoCoP 2.0 Connection Provers for Classical, Intuitionistic and Modal Logics. Lecture Notes in Computer Science (LNCS) 2021 ;Volum12842. s.236-249 UiO
Schlatte, Rudolf; Johnsen, Einar Broch; Kamburjan, Eduard; Tapia Tarifa, Silvia Lizeth. Modeling and Analyzing Resource-Sensitive Actors: A Tutorial Introduction. Lecture Notes in Computer Science (LNCS) 2021 UiO
Skjæveland, Martin G. The Core OTTR Template Library. I: Advances in Pattern-Based Ontology Engineering. IOS Press 2021 ISBN 978-1-64368-174-0. s.378-393 UiO
Tena Cucala, David; Cuenca grau, Bernardo; Horrocks, Ian.
Pay-as-you-go consequence-based reasoning for the description logic SROIQ. Artificial Intelligence 2021 ;Volum 298
Thapa, Ratan Bahadur; Giese, Martin. A Source-to-Target Constraint Rewriting for Direct Mapping. I: The Semantic Web – ISWC 2021. 20th International Semantic Web Conference,ISWC 2021, Virtual Event, October 24–28, 2021, Proceedings. Springer Nature 2021 ISBN 978-3- 030-88361-4. s.21-38 UiO
Zhou, Baifan; Zhou, Dongzhuoran; Chen, Jieying; Svetashova, Yulia; Cheng, Gong; Kharlamov, Evgeny. Scaling Usability of ML Analytics with Knowledge Graphs: Exemplified with A BoschWelding Case. The 10th Interna- tional Joint Conference onKnowledge Graphs (IJCKG’21); 2021-12-06 - 2021-12-08 UiO
Zhou, Dongzhuoran; Zhou, Baifan; Chen, Jieying; Cheng, Gong; Kostylev, Egor; Kharlamov, Evgeny. Towards Ontology Reshaping for KG Generation with User-in-the- Loop: Applied to Bosch Welding. The 10th International Joint Conference onKnowledge Graphs (IJCKG’21); 2021-12-06
- 2021-12-08 UiO
SIRIUS ANNUAL REPORT 2019
| 65