Audun Stolpe

English version of this page
Brukernavn
Besøksadresse Gunnar Randers vei 19 None 2007 KJELLER
Postadresse Postboks 70 2027 KJELLER

Publikasjoner

  • Rouwendal, Dashley Kevin; Hannay, Jo Erskine & Stolpe, Audun (2020). Simulation Vignette Generation from Answer Set Specifications. Proceedings of the International Conference on Information Systems for Crisis Response and Management.  ISSN 2411-3387. Vis sammendrag
  • Rouwendal, Dashley Kevin; Stolpe, Audun & Hannay, Jo Erskine (2020). Using Block-Based Programming and Sunburst Branching to Plan and Generate Crisis Training Simulations. Communications in Computer and Information Science.  ISSN 1865-0929.  1226 . doi: https://doi.org/10.1007/978-3-030-50732-9_60 Vis sammendrag
  • Stolpe, Audun (2019). Unsettling Preferential Semantics. Journal of Philosophical Logic.  ISSN 0022-3611. . doi: 10.1007/s10992-019-09521-z
  • Halvorsen, Jonas & Stolpe, Audun (2018). On the size of intermediate results in the federated processing of SPARQL BGPs. Journal of Web Semantics.  ISSN 1570-8268.  51, s 20- 38 . doi: 10.1016/j.websem.2018.06.001
  • Halvorsen, Jonas & Stolpe, Audun (2018). Towards practical federation of BGPs in the presence of blank nodes, In Rajendra Akerkar (ed.),  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).  ISBN 978-1-4503-5489-9.  KAPITTEL.
  • Stolpe, Audun & Halvorsen, Jonas (2017). Distributed query processing in the presence of blank nodes. Semantic Web Journal.  ISSN 1570-0844.  8(6), s 1001- 1021 . doi: 10.3233/SW-160250
  • Stolpe, Audun (2015). A concept approach to input/output logic. Journal of Applied Logic.  ISSN 1570-8683.  13(3), s 239- 258 . doi: 10.1016/j.jal.2015.04.002
  • Stolpe, Audun (2014). A logical characterisation of SPARQL federation. Semantic Web Journal.  ISSN 1570-0844.  6(6), s 565- 584 . doi: 10.3233/SW-140160
  • Stolpe, Audun (2014). Abstract Interfaces of Input/Output Logic, In Sven Ove Hansson (ed.),  David Makinson on Classical Methods for Non-Classical problems.  Springer Science+Business Media B.V..  ISBN 978-94-007-7759-0.  Kapittel.  s 225 - 262
  • Stolpe, Audun & Skjæveland, Martin G (2012). Preserving Information Content in RDF using Bounded Homomorphisms, In Elena Simperl; Philipp Cimiano; Axel Polleres; Oscar Corcho & Valentina Presutti (ed.),  The Semantic Web: Research and Applications.  Springer.  ISBN 978-3-642-30283-1.  KAPITTEL.  s 72 - 86
  • Stolpe, Audun & Skjæveland, Martin G (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.  Tapir Akademisk Forlag.  ISBN 978-82-519-2843-4.  Artikkel 2.  s 13 - 24
  • Stolpe, Audun (2010). A theory of permission based on the notion of derogation. Journal of Applied Logic.  ISSN 1570-8683.  8(1), s 97- 113 . doi: 10.1016/j.jal.2010.01.001
  • Stolpe, Audun (2010). Norm-system revision: Theory and application. Artificial Intelligence and Law.  ISSN 0924-8463.  18(3), s 247- 283
  • Stolpe, Audun (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, s 98- 115
  • Stolpe, Audun (2010). Relevance, derogation and permission: a case for a normal form for codes of norms, In Guido Governatori & Giovanni Sartor (ed.),  DEON'10 Proceedings of the 10th international conference on Deontic logic in computer science.  Springer.  ISBN 978-3-642-14182-9.  Kapittel.
  • Stolpe, Audun (2008). Normative consequence: The problem of keeping it whilst giving it up. Lecture Notes in Computer Science (LNCS).  ISSN 0302-9743.  5076, s 174- 188
  • Stolpe, Audun (2003). QMML: Quantified Minimal Modal Logic, and its Applications. Logic Journal of the IGPL.  ISSN 1367-0751.  11(5), s 557- 575

Se alle arbeider i Cristin

  • Halvorsen, Jonas & Stolpe, Audun (2018). Towards practical federation of BGPs in the presence of blank nodes.
  • Marthinussen, Elin; Stolpe, Audun; Halvorsen, Jonas; Hansen, Bjørn Jervell; Hennum, Alf Christian & Eggereide, Bård (2017). Norwegian contribution to international operations - an analytical tool.
  • Stolpe, Audun; Halvorsen, Jonas & Hansen, Bjørn Jervell (2015). Hourglass: Sound and Complete SPARQL Federation. [www ].
  • Hansen, Bjørn Jervell; Stolpe, Audun & Halvorsen, Jonas (2013). Supporting evacuation missions with ontology-based SPARQL federation.
  • Skjæveland, Martin G & Stolpe, Audun (2013). Bounds: Expressing Reservations about Incoming Data.
  • Skjæveland, Martin G & Stolpe, Audun (2013). Bounds: Expressing Reservations about Incoming Data.
  • Skjæveland, Martin G & Stolpe, Audun (2012). Bounded RDF Data Transformations. Fulltekst i vitenarkiv.
  • Stolpe, Audun & Skjæveland, Martin G (2011). Conservative Repurposing of RDF Data.
  • Stolpe, Audun & Skjæveland, Martin G (2011). Conservative repurposing of public sector data. A first foray.
  • Stolpe, Audun (2010). ORIS; med handlekurven full av åpne data.
  • Stolpe, Audun (2010). Åpn opp dine data.
  • Stolpe, Audun (2009). Norms and norm-system dynamics. Vis sammendrag
  • Bergsvik, Knut Andreas; Elgesem, Dag & Stolpe, Audun (2005). Det vestnorske hellerprosjektet.
  • Stolpe, Audun (2005). PyToM emnekartbrowser. [www ].

Se alle arbeider i Cristin

Publisert 4. mars 2020 13:43 - Sist endret 4. mars 2020 13:43