Automated Theorem Proving Methods. - Rolf Nossum (BIT, 1985)

Design Elements for a Better AI-Language. - Rolf Nossum (SCAI, 1988)

Deductive Planning Revisited. - Rolf Nossum (SCAI, 1988)

Belief without Omniscience. - Rolf Nossum (SCAI, 1989)

Semantical Correspondence Properties of Some Modal Systems of Logic. - Rolf Nossum; Dov M. Gabbay (SCAI, 1993)

On Test and Choice in a High-Level Programming Language. - Rolf Nossum (SCAI, 1995)

Counterfactual Reasoning by Means of a Calculus of Narrative Context. - Rolf Nossum; Michael Thielscher (CONTEXT, 1999)

Agents in Proactive Environments. - Dov M. Gabbay; Rolf Nossum; Michael Thielscher (J. Log. Comput., 1999)

Multicontext Logic for Semigroups of Contexts. - Rolf Nossum; Luciano Serafini (AISC, 2002)

Propositional Logic for Ground Semigroups of Context. - Rolf Nossum (Log. J. IGPL, 2002)

A Contextual Approach to the Logic of Fiction. - Rolf Nossum (CONTEXT, 2003)

A decidable multi-modal logic of context. - Rolf Nossum (J. Appl. Log., 2003)

Nesting Patterns in Fibred Logics of Context. - Rolf Nossum (We Will Show Them! (2), 2005)

Corrigendum to "A decidable multi-modal logic of context" [Journal of Applied Logic 1 (1-2) (2003) 119-133]. - Rolf Nossum (J. Appl. Log., 2006)

Context-dependent Abduction and Relevance. - Dov M. Gabbay; Rolf Nossum; John Woods 001 (J. Philos. Log., 2006)

Smart grid for offshore wind farms: Towards an information model based on the IEC 61400-25 standard. - Trinh Hoang Nguyen; Andreas Prinz 001; Trond Friisø; Rolf Nossum (ISGT, 2012)