Publication profile
Publication profile
Audun Stolpe
Name:
Audun Stolpe
Title:
Seniorforsker / Senior Research Scientist
Phone:
(+47) +47 22 85 25 54
Email:
auduns [at] nr [dot] no
Scientific areas:
Bigdata, Semantic Web, Knowledge representation and logic
Add to contacts (vCard) Show publications
Academic article
2023
. A logic based event controller for means-end reasoning in simulation environments. Simulation (San Diego, Calif.) (ISSN 0037-5497). doi: 10.1177/00375497231157384. 2023.
2022
. Quantifying means-end reasoning skills in simulation-based training: a logic-based approach. Simulation (San Diego, Calif.) (ISSN 0037-5497). 98(10) doi: 10.1177/00375497221095070. 2022. Arkiv
2021
. On the adaptive delegation and sequencing of actions. Proceedings of the International ISCRAM Conference (ISSN 2411-3387). pp 28-39. 2021. Fulltekst
. Toward an AI-based external scenario event controller for crisis response simulations. Proceedings of the International ISCRAM Conference (ISSN 2411-3387). pp 106-117. 2021. Fulltekst Arkiv
2020
. Simulation Vignette Generation from Answer Set Specifications. Proceedings of the International ISCRAM Conference (ISSN 2411-3387). pp 110-121. 2020. Fulltekst
. Using Block-Based Programming and Sunburst Branching to Plan and Generate Crisis Training Simulations. Communications in Computer and Information Science (ISSN 1865-0929). 1226 pp 463-471. doi: 10.1007/978-3-030-50732-9_60. 2020. Arkiv
2019
. Unsettling Preferential Semantics. Journal of Philosophical Logic (ISSN 0022-3611). doi: 10.1007/s10992-019-09521-z. 2019.
2018
. On the size of intermediate results in the federated processing of SPARQL BGPs. Journal of Web Semantics (ISSN 1570-8268). 51 pp 20-38. doi: 10.1016/j.websem.2018.06.001. 2018.
2017
. Distributed query processing in the presence of blank nodes. Semantic Web Journal (ISSN 1570-0844). 8(6) pp 1001-1021. doi: 10.3233/SW-160250. 2017.
2015
. A concept approach to input/output logic. Journal of Applied Logic (ISSN 1570-8683). 13(3) pp 239-258. doi: 10.1016/j.jal.2015.04.002. 2015.
2014
. A logical characterisation of SPARQL federation. Semantic Web Journal (ISSN 1570-0844). 6(6) pp 565-584. doi: 10.3233/SW-140160. 2014. Fulltekst
2010
. Relevance, Derogation and Permission A Case for a Normal Form for Codes of Norms. Lecture Notes in Computer Science (LNCS) (ISSN 0302-9743). 6181 pp 98-115. 2010.
. A theory of permission based on the notion of derogation. Journal of Applied Logic (ISSN 1570-8683). 8(1) pp 97-113. doi: 10.1016/j.jal.2010.01.001. 2010.
. Norm-system revision: Theory and application. Artificial Intelligence and Law (ISSN 0924-8463). 18(3) pp 247-283. 2010. Omtale
2008
. Normative consequence: The problem of keeping it whilst giving it up. Lecture Notes in Computer Science (LNCS) (ISSN 0302-9743). 5076 pp 174-188. 2008.
2003
. QMML: Quantified Minimal Modal Logic, and its Applications. Logic Journal of the IGPL (ISSN 1367-0751). 11(5) pp 557-575. 2003.
Academic chapter/article/Conference paper
2021
. Toward AI-Based Scenario Management for Cyber Range Training. In: 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. (ISBN 978-3-030-90963-5). pp 423-436. doi: 10.1007/978-3-030-90963-5_32. 2021. Arkiv Omtale
2018
. Towards practical federation of BGPs in the presence of blank nodes. In: WIMS '18 Proceedings of the 8th International Conference on Web Intelligence, Mining and Semantics, Novi Sad, Serbia — June 25 - 27, 2018. (ISBN 978-1-4503-5489-9). doi: 10.1145/3227609.3227644. 2018.
2014
. Abstract Interfaces of Input/Output Logic. In: David Makinson on Classical Methods for Non-Classical problems. (ISBN 978-94-007-7759-0). pp 225-262. doi: 10.1007/978-94-007-7759-0_12. 2014.
2012
. Preserving Information Content in RDF using Bounded Homomorphisms. In: The Semantic Web: Research and Applications. (ISBN 978-3-642-30283-1). pp 72-86. doi: 10.1007/978-3-642-30284-8_12. 2012.
2011
. From Spreadsheets to 5-star Linked Data in the Cultural Heritage Domain: A Case Study of the Yellow List. In: Norsk Informatikkonferanse NIK 2011. (ISBN 978-82-519-2843-4). pp 13-24. 2011. Omtale Fulltekst
2010
. Relevance, derogation and permission: a case for a normal form for codes of norms. In: DEON'10 Proceedings of the 10th international conference on Deontic logic in computer science. (ISBN 978-3-642-14182-9). 2010. Omtale
Academic lecture
2018
. Towards practical federation of BGPs in the presence of blank nodes. WIMS 2018, 6/25/2018 - 6/27/2018.
2017
. Norwegian contribution to international operations - an analytical tool. The 5th Nordic Military Operational Analysis Conference, 9/6/2017 - 9/7/2017.
2013
. Supporting evacuation missions with ontology-based SPARQL federation. Semantic Technology for Intelligence Defense and Security; George Mason University, Fairfax, Virginia, 11/12/2013 - 11/15/2013.
. 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); Sydney, 10/22/2013.
. Bounds: Expressing Reservations about Incoming Data. RDF Validation Workshop—Practical Assurances for Quality RDF Data; Cambridge, 9/10/2013 - 9/11/2013.
2011
. Conservative repurposing of public sector data. A first foray. Semantic Days 2011; Oslo, 6/7/2011 - 6/9/2011.
Poster
2011
. Conservative Repurposing of RDF Data. The 10th International Semantic Web Conference, 10/23/2011 - 10/27/2011. Fulltekst
Doctoral dissertation
2009
Report
2022
. LegalTech. Norsk Regnesentral. NR-notat DART/25/22. pp 33. 2022.
. Automatiserte prosesser innen regnskap, revisjon og finans. Norsk Regnesentral. NR-notat DART/01/22. pp 22. 2022.
. Automatisering av bærekraftsrevisjon. Norsk Regnesentral. NR-notat DART/26/22. pp 25. 2022.
2021
. Quantum Computing. Norsk Regnesentral. NR-notat ICT RESEARCH/04/21. pp 19. 2021.
2020
. Aspects of Digitalisation. Norsk Regnesentral. NR-notat DART/06/2020. pp 72. 2020.
2012
Popular scientific lecture
2010
. ORIS; med handlekurven full av åpne data. Åpne offentlige data - piloter, erfaringer og anbefalinger; Den Norske Dataforeningen, Oslo, 12/14/2010.
. Åpn opp dine data. Ut av siloene inn i nettskyen; Dataforeningen, Kolbotn, 11/17/2010.
| Name: | Audun Stolpe |
| Title: | Seniorforsker / Senior Research Scientist |
| Phone: | (+47) +47 22 85 25 54 |
| Email: | auduns [at] nr [dot] no |
| Scientific areas: | Bigdata, Semantic Web, Knowledge representation and logic |
| Add to contacts (vCard) |
| Show publications |
Academic article
2023
. A logic based event controller for means-end reasoning in simulation environments. Simulation (San Diego, Calif.) (ISSN 0037-5497). doi: 10.1177/00375497231157384. 2023.
2022
. Quantifying means-end reasoning skills in simulation-based training: a logic-based approach. Simulation (San Diego, Calif.) (ISSN 0037-5497). 98(10) doi: 10.1177/00375497221095070. 2022. Arkiv
2021
. On the adaptive delegation and sequencing of actions. Proceedings of the International ISCRAM Conference (ISSN 2411-3387). pp 28-39. 2021. Fulltekst
. Toward an AI-based external scenario event controller for crisis response simulations. Proceedings of the International ISCRAM Conference (ISSN 2411-3387). pp 106-117. 2021. Fulltekst Arkiv
2020
. Simulation Vignette Generation from Answer Set Specifications. Proceedings of the International ISCRAM Conference (ISSN 2411-3387). pp 110-121. 2020. Fulltekst
. Using Block-Based Programming and Sunburst Branching to Plan and Generate Crisis Training Simulations. Communications in Computer and Information Science (ISSN 1865-0929). 1226 pp 463-471. doi: 10.1007/978-3-030-50732-9_60. 2020. Arkiv
2019
. Unsettling Preferential Semantics. Journal of Philosophical Logic (ISSN 0022-3611). doi: 10.1007/s10992-019-09521-z. 2019.
2018
. On the size of intermediate results in the federated processing of SPARQL BGPs. Journal of Web Semantics (ISSN 1570-8268). 51 pp 20-38. doi: 10.1016/j.websem.2018.06.001. 2018.
2017
. Distributed query processing in the presence of blank nodes. Semantic Web Journal (ISSN 1570-0844). 8(6) pp 1001-1021. doi: 10.3233/SW-160250. 2017.
2015
. A concept approach to input/output logic. Journal of Applied Logic (ISSN 1570-8683). 13(3) pp 239-258. doi: 10.1016/j.jal.2015.04.002. 2015.
2014
. A logical characterisation of SPARQL federation. Semantic Web Journal (ISSN 1570-0844). 6(6) pp 565-584. doi: 10.3233/SW-140160. 2014. Fulltekst
2010
. Relevance, Derogation and Permission A Case for a Normal Form for Codes of Norms. Lecture Notes in Computer Science (LNCS) (ISSN 0302-9743). 6181 pp 98-115. 2010.
. A theory of permission based on the notion of derogation. Journal of Applied Logic (ISSN 1570-8683). 8(1) pp 97-113. doi: 10.1016/j.jal.2010.01.001. 2010.
. Norm-system revision: Theory and application. Artificial Intelligence and Law (ISSN 0924-8463). 18(3) pp 247-283. 2010. Omtale
2008
. Normative consequence: The problem of keeping it whilst giving it up. Lecture Notes in Computer Science (LNCS) (ISSN 0302-9743). 5076 pp 174-188. 2008.
2003
. QMML: Quantified Minimal Modal Logic, and its Applications. Logic Journal of the IGPL (ISSN 1367-0751). 11(5) pp 557-575. 2003.
Academic chapter/article/Conference paper
2021
. Toward AI-Based Scenario Management for Cyber Range Training. In: 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. (ISBN 978-3-030-90963-5). pp 423-436. doi: 10.1007/978-3-030-90963-5_32. 2021. Arkiv Omtale
2018
. Towards practical federation of BGPs in the presence of blank nodes. In: WIMS '18 Proceedings of the 8th International Conference on Web Intelligence, Mining and Semantics, Novi Sad, Serbia — June 25 - 27, 2018. (ISBN 978-1-4503-5489-9). doi: 10.1145/3227609.3227644. 2018.
2014
. Abstract Interfaces of Input/Output Logic. In: David Makinson on Classical Methods for Non-Classical problems. (ISBN 978-94-007-7759-0). pp 225-262. doi: 10.1007/978-94-007-7759-0_12. 2014.
2012
. Preserving Information Content in RDF using Bounded Homomorphisms. In: The Semantic Web: Research and Applications. (ISBN 978-3-642-30283-1). pp 72-86. doi: 10.1007/978-3-642-30284-8_12. 2012.
2011
. From Spreadsheets to 5-star Linked Data in the Cultural Heritage Domain: A Case Study of the Yellow List. In: Norsk Informatikkonferanse NIK 2011. (ISBN 978-82-519-2843-4). pp 13-24. 2011. Omtale Fulltekst
2010
. Relevance, derogation and permission: a case for a normal form for codes of norms. In: DEON'10 Proceedings of the 10th international conference on Deontic logic in computer science. (ISBN 978-3-642-14182-9). 2010. Omtale
Academic lecture
2018
. Towards practical federation of BGPs in the presence of blank nodes. WIMS 2018, 6/25/2018 - 6/27/2018.
2017
. Norwegian contribution to international operations - an analytical tool. The 5th Nordic Military Operational Analysis Conference, 9/6/2017 - 9/7/2017.
2013
. Supporting evacuation missions with ontology-based SPARQL federation. Semantic Technology for Intelligence Defense and Security; George Mason University, Fairfax, Virginia, 11/12/2013 - 11/15/2013.
. 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); Sydney, 10/22/2013.
. Bounds: Expressing Reservations about Incoming Data. RDF Validation Workshop—Practical Assurances for Quality RDF Data; Cambridge, 9/10/2013 - 9/11/2013.
2011
. Conservative repurposing of public sector data. A first foray. Semantic Days 2011; Oslo, 6/7/2011 - 6/9/2011.
Poster
2011
. Conservative Repurposing of RDF Data. The 10th International Semantic Web Conference, 10/23/2011 - 10/27/2011. Fulltekst
Doctoral dissertation
2009
Report
2022
. LegalTech. Norsk Regnesentral. NR-notat DART/25/22. pp 33. 2022.
. Automatiserte prosesser innen regnskap, revisjon og finans. Norsk Regnesentral. NR-notat DART/01/22. pp 22. 2022.
. Automatisering av bærekraftsrevisjon. Norsk Regnesentral. NR-notat DART/26/22. pp 25. 2022.
2021
. Quantum Computing. Norsk Regnesentral. NR-notat ICT RESEARCH/04/21. pp 19. 2021.
2020
. Aspects of Digitalisation. Norsk Regnesentral. NR-notat DART/06/2020. pp 72. 2020.
2012
Popular scientific lecture
2010
. ORIS; med handlekurven full av åpne data. Åpne offentlige data - piloter, erfaringer og anbefalinger; Den Norske Dataforeningen, Oslo, 12/14/2010.
. Åpn opp dine data. Ut av siloene inn i nettskyen; Dataforeningen, Kolbotn, 11/17/2010.
How to get to NR
Share on social media
Privacy policy