Current Research Information SysTem In Norway
 
 

 English version


 
Hovedside
Forskningsresultater/NVI
Forskere
Prosjekter
Forskningsenheter
Logg inn
Om Cristin
 
 
   
Eksporter til


Viser treff 1-31 av 31

2020
1 Rouwendal, Dashley Kevin; Hannay, Jo Erskine; Stolpe, Audun.
Simulation Vignette Generation from Answer Set Specifications. Proceedings of the International Conference on Information Systems for Crisis Response and Management 2020
NR UiO Untitled
 
2 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 2020 ;Volum 1226.
NR UiO Untitled
 
2019
3 Stolpe, Audun.
Unsettling Preferential Semantics. Journal of Philosophical Logic 2019
FFI Untitled
 
2018
4 Halvorsen, Jonas; Stolpe, Audun.
On the size of intermediate results in the federated processing of SPARQL BGPs. Journal of Web Semantics 2018 ;Volum 51. s. 20-38
FFI UiO Untitled
 
5 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
 
6 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. s. -
FFI UiO Untitled
 
2017
7 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
 
8 Stolpe, Audun; Halvorsen, Jonas.
Distributed query processing in the presence of blank nodes. Semantic Web Journal 2017 ;Volum 8.(6) s. 1001-1021
FFI UiO Untitled
 
2015
9 Stolpe, Audun.
A concept approach to input/output logic. Journal of Applied Logic 2015 ;Volum 13.(3) s. 239-258
FFI Untitled
 
10 Stolpe, Audun; Halvorsen, Jonas; Hansen, Bjørn Jervell.
Hourglass: Sound and Complete SPARQL Federation. bitbucket.org 2015
FFI Untitled
 
2014
11 Stolpe, Audun.
A logical characterisation of SPARQL federation. Semantic Web Journal 2014 ;Volum 6.(6) s. 565-584
FFI Untitled
 
12 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. s. 225-262
FFI Untitled
 
2013
13 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
 
14 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
 
15 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
16 Skjæveland, Martin G; Stolpe, Audun.
Bounded RDF Data Transformations. : DUO 2012 10 s.
FFI UiO Untitled
 
17 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. s. 72-86
UiO Untitled
 
2011
18 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
 
19 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
 
20 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. s. 13-24
UiO Untitled
 
2010
21 Stolpe, Audun.
A theory of permission based on the notion of derogation. Journal of Applied Logic 2010 ;Volum 8.(1) s. 97-113
UiO Untitled
 
22 Stolpe, Audun.
Norm-system revision: Theory and application. Artificial Intelligence and Law 2010 ;Volum 18.(3) s. 247-283
UiO Untitled
 
23 Stolpe, Audun.
ORIS; med handlekurven full av åpne data. Åpne offentlige data - piloter, erfaringer og anbefalinger; 2010-12-14 - 2010-12-14
UiO Untitled
 
24 Stolpe, Audun.
Relevance, Derogation and Permission A Case for a Normal Form for Codes of Norms. Lecture Notes in Computer Science (LNCS) 2010 ;Volum 6181. s. 98-115
UiO Untitled
 
25 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
 
26 Stolpe, Audun.
Åpn opp dine data. Ut av siloene inn i nettskyen; 2010-11-17 - 2010-11-17
UiO Untitled
 
2009
27 Stolpe, Audun.
Norms and norm-system dynamics. Universitetet i Bergen 2009 (ISBN 978-82-308-0791-0) 235 s.
UiB Untitled
 
2008
28 Stolpe, Audun.
Normative consequence: The problem of keeping it whilst giving it up. Lecture Notes in Computer Science (LNCS) 2008 ;Volum 5076. s. 174-188
UiO Untitled
 
2005
29 Bergsvik, Knut Andreas; Elgesem, Dag; Stolpe, Audun.
Det vestnorske hellerprosjektet. [Kunstnerisk og museal presentasjon] Utgravning av hellere på Vestlandet. Universitetet i Bergen; Bergen. 2005-06-15 - 2005-12-31
UiB Untitled
 
30 Stolpe, Audun.
PyToM emnekartbrowser. uib 2005
UiB Untitled
 
2003
31 Stolpe, Audun.
QMML: Quantified Minimal Modal Logic, and its Applications. Logic Journal of the IGPL 2003 ;Volum 11.(5) s. 557-575
UiB Untitled