2023
|
1. |
Kristoffersen, Thor O.; Rummelhoff, Ivar; Stolpe, Audun; Østvold, Bjarte M.. Regelverk, digitalisering og automatisering. : Norsk Regnesentral 2023 18 p. NR-notat(DART/10/23) NR
Untitled
|
|
2. |
Kristoffersen, Thor O.; Stolpe, Audun; Østvold, Bjarte M.. Sustainability: Regulation, processes, and technology. : Norsk Regnesentral 2023 30 p. NR-notat(DART/04/23) NTNU NR
Untitled
|
|
3. |
Stolpe, Audun; Kristoffersen, Thor O.; Østvold, Bjarte M.. R2030: Digitaliseringsvennlig regelverk. Metoder for regelverksforenkling, med eksempler fra bruksforskriften. : Norsk Regnesentral 2023 48 p. NR-notat(DART/07/23) NR
Untitled
|
|
4. |
Stolpe, Audun; Rummelhoff, Ivar; Hannay, Jo Erskine. A logic-based event controller for means-end reasoning in simulation environments. Simulation (San Diego, Calif.) 2023 ;Volume 99.(8) p. - NR
Untitled
|
2022
|
5. |
Kristoffersen, Thor O.; Stolpe, Audun; Østvold, Bjarte M.. Automatiserte prosesser innen regnskap, revisjon og finans. : Norsk Regnesentral 2022 22 p. NR-notat(DART/01/22) NR
Untitled
|
|
6. |
Stolpe, Audun; Hannay, Jo Erskine. Quantifying means-end reasoning skills in simulation-based training: a logic-based approach. Simulation (San Diego, Calif.) 2022 ;Volume 98.(10) NR
Untitled
|
|
7. |
Stolpe, Audun; Kristoffersen, Thor O.. LegalTech. : Norsk Regnesentral 2022 33 p. NR-notat(DART/25/22) NR
Untitled
|
|
8. |
Stolpe, Audun; Kristoffersen, Thor O.; Østvold, Bjarte M.. Automatisering av bærekraftsrevisjon. : Norsk Regnesentral 2022 25 p. NR-notat(DART/26/22) NR
Untitled
|
2021
|
9. |
Hannay, Jo Erskine; Stolpe, Audun; Yamin, Muhammad Mudassar. Toward AI-Based Scenario Management for Cyber Range Training. I: HCI International 2021 - Late Breaking Papers: Multimodality, eXtended Reality, and Artificial Intelligence 23rd HCI International Conference, HCII 2021, Virtual Event, July 24–29, 2021, Proceedings. Springer Nature 2021 ISBN 978-3-030-90963-5. p. 423-436 NTNU NR
Untitled
|
|
10. |
Rouwendal, Dashley Kevin; Stolpe, Audun; Hannay, Jo Erskine. Toward an AI-based external scenario event controller for crisis response simulations. Proceedings of the International ISCRAM Conference 2021 p. 106-117 NR UiO
Untitled
|
|
11. |
Stolpe, Audun; Eskeland, Sigurd. Quantum Computing. Oslo: Norsk Regnesentral 2021 19 p. NR-notat(ICT RESEARCH/04/21) NR UiO
Untitled
|
|
12. |
Stolpe, Audun; Hannay, Jo Erskine. On the adaptive delegation and sequencing of actions. Proceedings of the International ISCRAM Conference 2021 p. 28-39 NR
Untitled
|
2020
|
13. |
Leister, Wolfgang; Schulz, Trenton Wade; Hannay, Jo Erskine; Simon-Liedtke, Joschua Thomas; Tjøstheim, Ingvar; Fuglerud, Kristin Skeide; Halbach, Till; Boudko, Svetlana; Stolpe, Audun. Aspects of Digitalisation. Oslo: Norsk Regnesentral 2020 72 p. NR-notat(DART/06/2020) NR
Untitled
|
|
14. |
Rouwendal, Dashley Kevin; Hannay, Jo Erskine; Stolpe, Audun. Simulation Vignette Generation from Answer Set Specifications. Proceedings of the International ISCRAM Conference 2020 p. 110-121 UiO NR
Untitled
|
|
15. |
Rouwendal, Dashley Kevin; Stolpe, Audun; Hannay, Jo Erskine. Using Block-Based Programming and Sunburst Branching to Plan and Generate Crisis Training Simulations. Communications in Computer and Information Science (CCIS) 2020 ;Volume 1226. p. 463-471 UiO NR
Untitled
|
2019
|
16. |
Stolpe, Audun. Unsettling Preferential Semantics. Journal of Philosophical Logic 2019 FFI
Untitled
|
2018
|
17. |
Halvorsen, Jonas; Stolpe, Audun. On the size of intermediate results in the federated processing of SPARQL BGPs. Journal of Web Semantics 2018 ;Volume 51. p. 20-38 FFI UiO
Untitled
|
|
18. |
Halvorsen, Jonas; Stolpe, Audun. Towards practical federation of BGPs in the presence of blank nodes. WIMS 2018; 2018-06-25 - 2018-06-27 FFI UiO
Untitled
|
|
19. |
Halvorsen, Jonas; Stolpe, Audun. Towards practical federation of BGPs in the presence of blank nodes. I: WIMS '18 Proceedings of the 8th International Conference on Web Intelligence, Mining and Semantics, Novi Sad, Serbia — June 25 - 27, 2018. Association for Computing Machinery (ACM) 2018 ISBN 978-1-4503-5489-9. p. - FFI UiO
Untitled
|
2017
|
20. |
Marthinussen, Elin; Stolpe, Audun; Halvorsen, Jonas; Hansen, Bjørn Jervell; Hennum, Alf Christian; Eggereide, Bård. Norwegian contribution to international operations - an analytical tool. The 5th Nordic Military Operational Analysis Conference; 2017-09-06 - 2017-09-07 FFI
Untitled
|
|
21. |
Stolpe, Audun; Halvorsen, Jonas. Distributed query processing in the presence of blank nodes. Semantic Web Journal 2017 ;Volume 8.(6) p. 1001-1021 UiO FFI
Untitled
|
2015
|
22. |
Stolpe, Audun. A concept approach to input/output logic. Journal of Applied Logic 2015 ;Volume 13.(3) p. 239-258 FFI
Untitled
|
|
23. |
Stolpe, Audun; Halvorsen, Jonas; Hansen, Bjørn Jervell. Hourglass: Sound and Complete SPARQL Federation. bitbucket.org 2015 FFI
Untitled
|
2014
|
24. |
Stolpe, Audun. A logical characterisation of SPARQL federation. Semantic Web Journal 2014 ;Volume 6.(6) p. 565-584 FFI
Untitled
|
|
25. |
Stolpe, Audun. Abstract Interfaces of Input/Output Logic. I: David Makinson on Classical Methods for Non-Classical problems. Springer Science+Business Media B.V. 2014 ISBN 978-94-007-7759-0. p. 225-262 FFI
Untitled
|
2013
|
26. |
Hansen, Bjørn Jervell; Stolpe, Audun; Halvorsen, Jonas. Supporting evacuation missions with ontology-based SPARQL federation. Semantic Technology for Intelligence Defense and Security; 2013-11-12 - 2013-11-15 FFI
Untitled
|
|
27. |
Skjæveland, Martin G; Stolpe, Audun. Bounds: Expressing Reservations about Incoming Data. RDF Validation Workshop—Practical Assurances for Quality RDF Data; 2013-09-10 - 2013-09-11 FFI UiO
Untitled
|
|
28. |
Skjæveland, Martin G; Stolpe, Audun. Bounds: Expressing Reservations about Incoming Data. Fourth International Workshop on Consuming Linked Data (COLD2013) co-located with the 12th International Semantic Web Conference (ISWC 2013); 2013-10-22 FFI UiO
Untitled
|
2012
|
29. |
Skjæveland, Martin G; Stolpe, Audun. Bounded RDF Data Transformations. : DUO 2012 10 p. FFI UiO
Untitled
|
|
30. |
Stolpe, Audun; Skjæveland, Martin G. Preserving Information Content in RDF using Bounded Homomorphisms. I: The Semantic Web: Research and Applications. Springer 2012 ISBN 978-3-642-30283-1. p. 72-86 UiO
Untitled
|
2011
|
31. |
Stolpe, Audun; Skjæveland, Martin G. Conservative repurposing of public sector data. A first foray. Semantic Days 2011; 2011-06-07 - 2011-06-09 UiB UiO
Untitled
|
|
32. |
Stolpe, Audun; Skjæveland, Martin G. Conservative Repurposing of RDF Data. The 10th International Semantic Web Conference; 2011-10-23 - 2011-10-27 UiB UiO
Untitled
|
|
33. |
Stolpe, Audun; Skjæveland, Martin G. From Spreadsheets to 5-star Linked Data in the Cultural Heritage Domain: A Case Study of the Yellow List. I: Norsk Informatikkonferanse NIK 2011. Tapir Akademisk Forlag 2011 ISBN 978-82-519-2843-4. p. 13-24 UiO
Untitled
|
2010
|
34. |
Stolpe, Audun. A theory of permission based on the notion of derogation. Journal of Applied Logic 2010 ;Volume 8.(1) p. 97-113 UiO
Untitled
|
|
35. |
Stolpe, Audun. Norm-system revision: Theory and application. Artificial Intelligence and Law 2010 ;Volume 18.(3) p. 247-283 UiO
Untitled
|
|
36. |
Stolpe, Audun. ORIS; med handlekurven full av åpne data. Åpne offentlige data - piloter, erfaringer og anbefalinger; 2010-12-14 - 2010-12-14 UiO
Untitled
|
|
37. |
Stolpe, Audun. Relevance, Derogation and Permission A Case for a Normal Form for Codes of Norms. Lecture Notes in Computer Science (LNCS) 2010 ;Volume 6181. p. 98-115 UiO
Untitled
|
|
38. |
Stolpe, Audun. Relevance, derogation and permission: a case for a normal form for codes of norms. I: DEON'10 Proceedings of the 10th international conference on Deontic logic in computer science. Springer 2010 ISBN 978-3-642-14182-9. UiO
Untitled
|
|
39. |
Stolpe, Audun. Åpn opp dine data. Ut av siloene inn i nettskyen; 2010-11-17 - 2010-11-17 UiO
Untitled
|
2009
|
40. |
Stolpe, Audun. Norms and norm-system dynamics. Universitetet i Bergen 2009 (ISBN 978-82-308-0791-0) 235 p. UiB
Untitled
|
2008
|
41. |
Stolpe, Audun. Normative consequence: The problem of keeping it whilst giving it up. Lecture Notes in Computer Science (LNCS) 2008 ;Volume 5076. p. 174-188 UiO
Untitled
|
2005
|
42. |
Bergsvik, Knut Andreas; Elgesem, Dag; Stolpe, Audun. Det vestnorske hellerprosjektet. [Artistic or museum-related presentation] Utgravning av hellere på Vestlandet. Universitetet i Bergen; Bergen. 2005-06-15 - 2005-12-31 UiB
Untitled
|
|
43. |
Stolpe, Audun. PyToM emnekartbrowser. uib 2005 UiB
Untitled
|
2003
|
44. |
Stolpe, Audun. QMML: Quantified Minimal Modal Logic, and its Applications. Logic Journal of the IGPL 2003 ;Volume 11.(5) p. 557-575 UiB
Untitled
|