Audun Stolpe

21 papers B 1Journal 10Unranked 10
YearRankTypeTitle / Venue / Authors
2023 J jnl
A logic-based event controller for means-end reasoning in simulation environments.
Simul.
Audun Stolpe, Ivar Rummelhoff, Jo Erskine Hannay
2022 J jnl
Quantifying means-end reasoning skills in simulation-based training: a logic-based approach.
Simul.
Audun Stolpe, Jo Erskine Hannay
2021 — conf
On the Adaptive Delegation and Sequencing of Actions.
ISCRAM
Audun Stolpe, Jo E. Hannay
2021 — conf
Toward AI-Based Scenario Management for Cyber Range Training.
HCI (41)
Jo Erskine Hannay, Audun Stolpe, Muhammad Mudassar Yamin
2021 — conf
Toward an AI-based external scenario event controller for crisis response simulations.
ISCRAM
Dashley K. Rouwendal van Schijndel, Audun Stolpe, Jo Erskine Hannay
2020 — conf
Simulation Vignette Generation from Answer Set Specifications.
ISCRAM
Dashley K. Rouwendal van Schijndel, Jo E. Hannay, Audun Stolpe
2020 J jnl
Unsettling Preferential Semantics.
J. Philos. Log.
Audun Stolpe
2020 — conf
Using Block-Based Programming and Sunburst Branching to Plan and Generate Crisis Training Simulations.
HCI (40)
Dashley K. Rouwendal van Schijndel, Audun Stolpe, Jo E. Hannay
2018 J jnl
On the size of intermediate results in the federated processing of SPARQL BGPs.
J. Web Semant.
Jonas Halvorsen, Audun Stolpe
2018 — conf
Towards practical federation of BGPs in the presence of blank nodes.
WIMS
Jonas Halvorsen, Audun Stolpe
2017 J jnl
Distributed query processing in the presence of blank nodes.
Semantic Web
Audun Stolpe, Jonas Halvorsen
2015 J jnl
A concept approach to input/output logic.
J. Appl. Log.
Audun Stolpe
2015 J jnl
A logical characterisation of SPARQL federation.
Semantic Web
Audun Stolpe
2013 — conf
Bounds: Expressing Reservations about Incoming Data.
COLD
Martin G. Skjæveland, Audun Stolpe
2013 — conf
Supporting Evacuation Missions with Ontology-Based SPARQL Federation.
STIDS
Audun Stolpe, Jonas Halvorsen, Bjørn Jervell Hansen
2012 B conf
Preserving Information Content in RDF Using Bounded Homomorphisms.
ESWC
Audun Stolpe, Martin G. Skjæveland
2010 J jnl
A theory of permission based on the notion of derogation.
J. Appl. Log.
Audun Stolpe
2010 J jnl
Norm-system revision: theory and application.
Artif. Intell. Law
Audun Stolpe
2010 — conf
Relevance, Derogation and Permission.
DEON
Audun Stolpe
2008 — conf
Normative Consequence: The Problem of Keeping It Whilst Giving It up.
DEON
Audun Stolpe
2003 J jnl
QMML: Quantified Minimal Modal Logic and Its Applications.
Log. J. IGPL
Audun Stolpe