2 Search Results for "Battle, Steve"

Document

Research

Semantically Reflected Programs

Authors: Eduard Kamburjan, Vidar Norstein Klungre, Yuanwei Qu, Rudolf Schlatte, Egor V. Kostylev, Martin Giese, and Einar Broch Johnsen

Published in: TGDK, Volume 4, Issue 1 (2026). Transactions on Graph Data and Knowledge, Volume 4, Issue 1

Abstract

This paper addresses the dichotomy between the formalization of structural and the formalization of executable behavioral knowledge by means of semantically lifted programs, which explore an intuitive connection between imperative programs and knowledge graphs. While knowledge graphs and ontologies are eminently useful to represent formal knowledge about a system’s individuals and universals, programming languages are designed to describe the system’s evolution. To address this dichotomy, we introduce a semantic lifting of the program states of an executing progam into a knowledge graph, for an object-oriented programming language. The resulting graph is exposed as a semantic reflection layer within the programming language, allowing programmers to leverage knowledge of the application domain in their programs during execution. In this paper, we formalize semantic lifting and semantic reflection for a small imperative programming language, SMOL, explain the operational aspects of the language, and consider type correctness and virtualization for runtime program queries through the semantic reflection layer. We illustrate semantic lifting and semantic reflection through a case study of geological modeling and discuss different applications of the technique. The language implementation is open source and available online.

Cite as

Eduard Kamburjan, Vidar Norstein Klungre, Yuanwei Qu, Rudolf Schlatte, Egor V. Kostylev, Martin Giese, and Einar Broch Johnsen. Semantically Reflected Programs. In Transactions on Graph Data and Knowledge (TGDK), Volume 4, Issue 1, pp. 3:1-3:52, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)

Copy BibTex To Clipboard

@Article{kamburjan_et_al:TGDK.4.1.3,
  author =	{Kamburjan, Eduard and Klungre, Vidar Norstein and Qu, Yuanwei and Schlatte, Rudolf and Kostylev, Egor V. and Giese, Martin and Johnsen, Einar Broch},
  title =	{{Semantically Reflected Programs}},
  journal =	{Transactions on Graph Data and Knowledge},
  pages =	{3:1--3:52},
  ISSN =	{2942-7517},
  year =	{2026},
  volume =	{4},
  number =	{1},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/TGDK.4.1.3},
  URN =		{urn:nbn:de:0030-drops-256884},
  doi =		{10.4230/TGDK.4.1.3},
  annote =	{Keywords: Knowledge Graphs, Ontologies, Object-Oriented Modelling, Imperative Programming Languages, Reflection, Type Safety}
}

Document

DOI: 10.4230/OASIcs.CMN.2015.142

Governing Narrative Events With Institutional Norms

Authors: Matt Thompson, Julian Padget, and Steve Battle

Published in: OASIcs, Volume 45, 6th Workshop on Computational Models of Narrative (CMN 2015)

Abstract

A narrative world can be viewed as a form of society in which characters follow a set of social norms whose collective function is to guide the characters through (the creation of) a story arc and reach some conclusion. By modelling the rules of a narrative using norms, we can govern the actions of agents that act out the characters in a story. Agents are given sets of permitted actions and obligations to fulfil based on their and the story’s current situation. However, the decision to conform to these expectations is ultimately left to the agent. This means that the characters have control over fine-grained elements of the story, resulting in a more flexible and dynamic narrative experience. This would allow the creator of an interactive narrative to specify only the general structure of a story, leaving the details to the agents. We illustrate a particular realisation of this vision using a formalization of Propp’s morphology in a normative social framework, with belief-desire-intention agents playing the characters.

Cite as

Matt Thompson, Julian Padget, and Steve Battle. Governing Narrative Events With Institutional Norms. In 6th Workshop on Computational Models of Narrative (CMN 2015). Open Access Series in Informatics (OASIcs), Volume 45, pp. 142-151, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)

Copy BibTex To Clipboard

@InProceedings{thompson_et_al:OASIcs.CMN.2015.142,
  author =	{Thompson, Matt and Padget, Julian and Battle, Steve},
  title =	{{Governing Narrative Events With Institutional Norms}},
  booktitle =	{6th Workshop on Computational Models of Narrative (CMN 2015)},
  pages =	{142--151},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-939897-93-4},
  ISSN =	{2190-6807},
  year =	{2015},
  volume =	{45},
  editor =	{Finlayson, Mark A. and Miller, Ben and Lieto, Antonio and Ronfard, Remi},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.CMN.2015.142},
  URN =		{urn:nbn:de:0030-drops-52889},
  doi =		{10.4230/OASIcs.CMN.2015.142},
  annote =	{Keywords: institutions, norms, narrative, agents}
}

Refine by Type
2 Document/PDF

Refine by Publication Year
1 2026
1 2015

Refine by Author
1 Battle, Steve
1 Giese, Martin
1 Johnsen, Einar Broch
1 Kamburjan, Eduard
1 Klungre, Vidar Norstein
Show More...

Refine by Series/Journal
1 OASIcs
1 TGDK

Refine by Classification
1 Computing methodologies → Knowledge representation and reasoning
1 Computing methodologies → Modeling and simulation
1 Software and its engineering → Object oriented languages

Refine by Keyword
1 Imperative Programming Languages
1 Knowledge Graphs
1 Object-Oriented Modelling
1 Ontologies
1 Reflection
Show More...

2 Search Results for "Battle, Steve"

Semantically Reflected Programs

Abstract

Cite as

Governing Narrative Events With Institutional Norms

Abstract

Cite as

Thanks for your feedback!

Could not send message