|
|||||||||||||||
|
In order to register data in Cristin, you must be an academic or administrative employee.
|
|||||||||||||||
|
|||||||||||||||
|
|||||||||||||||
| Showing results 1-44 of 44 |
|
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 |
|
|
|
||
| 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 |
|
|
|
||
| 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 |
|
|
|
||
| 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 |
|
|
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 |
|
|
|
||
| 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 |
|
|
|
||
| 7. | Stolpe, Audun; Kristoffersen, Thor O.. LegalTech. : Norsk Regnesentral 2022 33 p. NR-notat(DART/25/22) NR |
|
|
|
||
| 8. | Stolpe, Audun; Kristoffersen, Thor O.; Østvold, Bjarte M.. Automatisering av bærekraftsrevisjon. : Norsk Regnesentral 2022 25 p. NR-notat(DART/26/22) NR |
|
|
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 |
|
|
|
||
| 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 |
|
|
|
||
| 11. | Stolpe, Audun; Eskeland, Sigurd. Quantum Computing. Oslo: Norsk Regnesentral 2021 19 p. NR-notat(ICT RESEARCH/04/21) NR UiO |
|
|
|
||
| 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 |
|
|
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 |
|
|
|
||
| 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 |
|
|
|
||
| 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 |
|
|
2019
|
||
| 16. | Stolpe, Audun. Unsettling Preferential Semantics. Journal of Philosophical Logic 2019 FFI |
|
|
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 |
|
|
|
||
| 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 |
|
|
|
||
| 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 |
|
|
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 |
|
|
|
||
| 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 |
|
|
2015
|
||
| 22. | Stolpe, Audun. A concept approach to input/output logic. Journal of Applied Logic 2015 ;Volume 13.(3) p. 239-258 FFI |
|
|
|
||
| 23. | Stolpe, Audun; Halvorsen, Jonas; Hansen, Bjørn Jervell. Hourglass: Sound and Complete SPARQL Federation. bitbucket.org 2015 FFI |
|
|
2014
|
||
| 24. | Stolpe, Audun. A logical characterisation of SPARQL federation. Semantic Web Journal 2014 ;Volume 6.(6) p. 565-584 FFI |
|
|
|
||
| 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 |
|
|
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 |
|
|
|
||
| 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 |
|
|
|
||
| 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 |
|
|
2012
|
||
| 29. | Skjæveland, Martin G; Stolpe, Audun. Bounded RDF Data Transformations. : DUO 2012 10 p. FFI UiO |
|
|
|
||
| 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 |
|
|
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 |
|
|
|
||
| 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 |
|
|
|
||
| 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 |
|
|
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 |
|
|
|
||
| 35. | Stolpe, Audun. Norm-system revision: Theory and application. Artificial Intelligence and Law 2010 ;Volume 18.(3) p. 247-283 UiO |
|
|
|
||
| 36. | Stolpe, Audun. ORIS; med handlekurven full av åpne data. Åpne offentlige data - piloter, erfaringer og anbefalinger; 2010-12-14 - 2010-12-14 UiO |
|
|
|
||
| 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 |
|
|
|
||
| 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 |
|
|
|
||
| 39. | Stolpe, Audun. Åpn opp dine data. Ut av siloene inn i nettskyen; 2010-11-17 - 2010-11-17 UiO |
|
|
2009
|
||
| 40. | Stolpe, Audun. Norms and norm-system dynamics. Universitetet i Bergen 2009 (ISBN 978-82-308-0791-0) 235 p. UiB |
|
|
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 |
|
|
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 |
|
|
|
||
| 43. | Stolpe, Audun. PyToM emnekartbrowser. uib 2005 UiB |
|
|
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 |
|