Seguir
Audun Stolpe
Audun Stolpe
Norwegian Computing Center (NR)
Dirección de correo verificada de nr.no
Título
Citado por
Citado por
Año
A theory of permission based on the notion of derogation
A Stolpe
Journal of applied logic 8 (1), 97-113, 2010
642010
Normative consequence: The problem of keeping it whilst giving it up
A Stolpe
Deontic Logic in Computer Science: 9th International Conference, DEON 2008 …, 2008
252008
Norm-system revision: theory and application
A Stolpe
Artificial Intelligence and Law 18, 247-283, 2010
242010
Relevance, derogation and permission: a case for a normal form for codes of norms
A Stolpe
Deontic Logic in Computer Science: 10th International Conference, DEON 2010 …, 2010
212010
A concept approach to input/output logic
A Stolpe
Journal of Applied Logic 13 (3), 239-258, 2015
142015
Distributed query processing in the presence of blank nodes
A Stolpe, J Halvorsen
Semantic Web 8 (6), 1001-1021, 2017
82017
QMML: Quantified minimal modal logic and its applications
A Stolpe
Logic Journal of IGPL 11 (5), 557-575, 2003
62003
Using block-based programming and sunburst branching to plan and generate crisis training simulations
DK Rouwendal van Schijndel, A Stolpe, JE Hannay
HCI International 2020-Posters: 22nd International Conference, HCII 2020 …, 2020
52020
From Spreadsheets to 5-star Linked Data in the Cultural Heritage Domain: A Case Study of the Yellow List
A Stolpe, MG Skjæveland
Norsk informatikkonferanse (NIK 2011). Tapir, 13-24, 2011
42011
A logical characterisation of SPARQL federation
A Stolpe
Semantic Web 6 (6), 565-584, 2015
32015
Preserving information content in RDF using bounded homomorphisms
A Stolpe, MG Skjæveland
Extended Semantic Web Conference, 72-86, 2012
32012
Toward AI-based scenario management for cyber range training
JE Hannay, A Stolpe, MM Yamin
HCI International 2021-Late Breaking Papers: Multimodality, eXtended Reality …, 2021
22021
Toward an AI-based external scenario event controller for crisis response simulations
DK Rouwendal, A Stolpe, JE Hannay
Proceedings of the International Conference on Information Systems for …, 2021
22021
Experimenting with a big data infrastructure for multimodal stream processing
A Stolpe, BJ Hansen, J Halvorsen, EJ Opland
22020
Stordatasystemer og deres egenskaper
A Stolpe, BJ Hansen, J Halvorsen
22019
Teknologiske muligheter for tolletaten–breddestudie
T Engøy, JI Botnan, KH Løkken, TR Frømyr, M Aronsen, A Stolpe, TA Blix, ...
22017
Abstract interfaces of input/output logic
A Stolpe
David Makinson on Classical Methods for Non-Classical Problems, 225-262, 2014
22014
Quantifying means-end reasoning skills in simulation-based training: a logic-based approach
A Stolpe, JE Hannay
Simulation 98 (10), 933-957, 2022
12022
Toward an AI-based external scenario event controller for crisis response simulations.
DKR van Schijndel, A Stolpe, JE Hannay
ISCRAM, 106-117, 2021
12021
Simulation Vignette Generation from Answer Set Specifications.
DKR van Schijndel, JE Hannay, A Stolpe
ISCRAM, 110-121, 2020
12020
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20