QMML: Quantified Minimal Modal Logic and Its Applications. - Audun Stolpe (Log. J. IGPL, 2003)

Normative Consequence: The Problem of Keeping It Whilst Giving It up. - Audun Stolpe (DEON, 2008)

Relevance, Derogation and Permission. - Audun Stolpe (DEON, 2010)

Norm-system revision: theory and application. - Audun Stolpe (Artif. Intell. Law, 2010)

A theory of permission based on the notion of derogation. - Audun Stolpe (J. Appl. Log., 2010)

Preserving Information Content in RDF Using Bounded Homomorphisms. - Audun Stolpe; Martin G. Skjæveland (ESWC, 2012)

Bounds: Expressing Reservations about Incoming Data. - Martin G. Skjæveland; Audun Stolpe (COLD, 2013)

Supporting Evacuation Missions with Ontology-Based SPARQL Federation. - Audun Stolpe; Jonas Halvorsen; Bjørn Jervell Hansen (STIDS, 2013)

A concept approach to input/output logic. - Audun Stolpe (J. Appl. Log., 2015)

A logical characterisation of SPARQL federation. - Audun Stolpe (Semantic Web, 2015)

Distributed query processing in the presence of blank nodes. - Audun Stolpe; Jonas Halvorsen (Semantic Web, 2017)

Towards practical federation of BGPs in the presence of blank nodes. - Jonas Halvorsen; Audun Stolpe (WIMS, 2018)

On the size of intermediate results in the federated processing of SPARQL BGPs. - Jonas Halvorsen; Audun Stolpe (J. Web Semant., 2018)

Using Block-Based Programming and Sunburst Branching to Plan and Generate Crisis Training Simulations. - Dashley K. Rouwendal van Schijndel; Audun Stolpe; Jo E. Hannay (HCI (40), 2020)

Simulation Vignette Generation from Answer Set Specifications. - Dashley K. Rouwendal van Schijndel; Jo E. Hannay; Audun Stolpe (ISCRAM, 2020)

Unsettling Preferential Semantics. - Audun Stolpe (J. Philos. Log., 2020)

Toward AI-Based Scenario Management for Cyber Range Training. - Jo Erskine Hannay; Audun Stolpe; Muhammad Mudassar Yamin (HCI (41), 2021)

Toward an AI-based external scenario event controller for crisis response simulations. - Dashley K. Rouwendal van Schijndel; Audun Stolpe; Jo Erskine Hannay (ISCRAM, 2021)

On the Adaptive Delegation and Sequencing of Actions. - Audun Stolpe; Jo E. Hannay (ISCRAM, 2021)

Quantifying means-end reasoning skills in simulation-based training: a logic-based approach. - Audun Stolpe; Jo Erskine Hannay (Simul., 2022)

A logic-based event controller for means-end reasoning in simulation environments. - Audun Stolpe; Ivar Rummelhoff; Jo Erskine Hannay (Simul., 2023)