Audun Stolpe

According to our database, Audun Stolpe authored at least 21 papers between 2003 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2023

A logic-based event controller for means-end reasoning in simulation environments.

Audun Stolpe, Ivar Rummelhoff, Jo Erskine Hannay

Simul., August, 2023

2022

Quantifying means-end reasoning skills in simulation-based training: a logic-based approach.

Audun Stolpe, Jo Erskine Hannay

Simul., 2022

2021

On the Adaptive Delegation and Sequencing of Actions.

Audun Stolpe, Jo E. Hannay

Proceedings of the 18th International Conference on Information Systems for Crisis Response and Management, 2021

Toward an AI-based external scenario event controller for crisis response simulations.

Dashley K. Rouwendal van Schijndel, Audun Stolpe, Jo Erskine Hannay

Proceedings of the 18th International Conference on Information Systems for Crisis Response and Management, 2021

Toward AI-Based Scenario Management for Cyber Range Training.

Jo Erskine Hannay, Audun Stolpe, Muhammad Mudassar Yamin

Proceedings of the HCI International 2021 - Late Breaking Papers: Multimodality, eXtended Reality, and Artificial Intelligence, 2021

2020

Unsettling Preferential Semantics.

Audun Stolpe

J. Philos. Log., 2020

Simulation Vignette Generation from Answer Set Specifications.

Dashley K. Rouwendal van Schijndel, Jo E. Hannay, Audun Stolpe

Proceedings of the 17th International Conference on Information Systems for Crisis Response and Management, 2020

Using Block-Based Programming and Sunburst Branching to Plan and Generate Crisis Training Simulations.

Dashley K. Rouwendal van Schijndel, Audun Stolpe, Jo E. Hannay

Proceedings of the HCI International 2020 - Posters - 22nd International Conference, 2020

2018

On the size of intermediate results in the federated processing of SPARQL BGPs.

Jonas Halvorsen, Audun Stolpe

J. Web Semant., 2018

Towards practical federation of BGPs in the presence of blank nodes.

Jonas Halvorsen, Audun Stolpe

Proceedings of the 8th International Conference on Web Intelligence, Mining and Semantics, 2018

2017

Distributed query processing in the presence of blank nodes.

Audun Stolpe, Jonas Halvorsen

Semantic Web, 2017

2015

A logical characterisation of SPARQL federation.

Audun Stolpe

Semantic Web, 2015

A concept approach to input/output logic.

Audun Stolpe

J. Appl. Log., 2015

2013

Supporting Evacuation Missions with Ontology-Based SPARQL Federation.

Audun Stolpe, Jonas Halvorsen, Bjørn Jervell Hansen

Proceedings of the Eighth Conference on Semantic Technologies for Intelligence, 2013

Bounds: Expressing Reservations about Incoming Data.

Martin G. Skjæveland, Audun Stolpe

Proceedings of the Fourth International Workshop on Consuming Linked Data, 2013

2012

Preserving Information Content in RDF Using Bounded Homomorphisms.

Audun Stolpe, Martin G. Skjæveland

Proceedings of the Semantic Web: Research and Applications, 2012

2010

A theory of permission based on the notion of derogation.

Audun Stolpe

J. Appl. Log., 2010

Norm-system revision: theory and application.

Audun Stolpe

Artif. Intell. Law, 2010

Relevance, Derogation and Permission.

Audun Stolpe

Proceedings of the Deontic Logic in Computer Science, 10th International Conference, 2010

2008

Normative Consequence: The Problem of Keeping It Whilst Giving It up.

Audun Stolpe

Proceedings of the Deontic Logic in Computer Science, 9th International Conference, 2008

2003

QMML: Quantified Minimal Modal Logic and Its Applications.

Audun Stolpe

Log. J. IGPL, 2003