Folgen
Audun Stolpe
Audun Stolpe
Norwegian Defense Research Establishment (FFI)
Bestätigte E-Mail-Adresse bei ffi.no
Titel
Zitiert von
Zitiert von
Jahr
A theory of permission based on the notion of derogation
A Stolpe
Journal of applied logic 8 (1), 97-113, 2010
622010
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
222010
Relevance, Derogation and Permission.
A Stolpe
DEON 6181, 98-115, 2010
212010
A concept approach to input/output logic
A Stolpe
Journal of Applied Logic 13 (3), 239-258, 2015
112015
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
72003
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
42020
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
The Semantic Web: Research and Applications: 9th Extended Semantic Web …, 2012
32012
Experimenting with a big data infrastructure for multimodal stream processing
A Stolpe, BJ Hansen, J Halvorsen, EJ Opland
22020
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
Toward an AI-based external scenario event controller for crisis response simulations
DKR Van Schijndel, A Stolpe, JE Hannay
Proceedings of the 18th international conference on information systems for …, 2021
12021
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
12021
Simulation vignette generation from Answer Set specifications
DKR Van Schijndel, JE Hannay, A Stolpe
Proceedings of the 17th international conference on information systems for …, 2020
12020
Stordatasystemer og deres egenskaper
A Stolpe, BJ Hansen, J Halvorsen
12019
Sluttrapport for FFI-prosjekt Tjenesteorientering og semantisk interoperabilitet i INI
R Rasmussen, TH Bloebaum, E Gjørven, J Halvorsen, BJ Hansen, ...
12013
Supporting Evacuation Missions with Ontology-Based SPARQL Federation.
A Stolpe, J Halvorsen, BJ Hansen
STIDS, 141-148, 2013
12013
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20