Rolf Nossum

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

Dov M. Gabbay, Rolf Nossum, John Woods: Context-dependent Abduction and Relevance. J. Philosophical Logic 35(1): 65-81 (2006)

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

Rolf Nossum: A decidable multi-modal logic of context. J. Applied Logic 1(1-2): 119-133 (2003)

Rolf Nossum: A Contextual Approach to the Logic of Fiction. CONTEXT 2003: 233-244

Rolf Nossum: Propositional Logic for Ground Semigroups of Context. Logic Journal of the IGPL 10(3): 273-297 (2002)

Rolf Nossum, Luciano Serafini: Multicontext Logic for Semigroups of Contexts. AISC 2002: 90-101

Dov M. Gabbay, Rolf Nossum, Michael Thielscher: Agents in Proactive Environments. J. Log. Comput. 9(1): 25-45 (1999)

Rolf Nossum, Michael Thielscher: Counterfactual Reasoning by Means of a Calculus of Narrative Context. CONTEXT 1999: 495-498

Dov M. Gabbay, Rolf Nossum, Michael Thielscher: Agents in Proactive Environments. KI 1997: 389-392

Rolf Nossum: On Test and Choice in a High-Level Programming Language. SCAI 1995: 317-321

Rolf Nossum, Dov M. Gabbay: Semantical Correspondence Properties of Some Modal Systems of Logic. SCAI 1993: 10-19

Rolf Nossum: Belief without Omniscience. SCAI 1989: 912-917

Rolf Nossum: Design Elements for a Better AI-Language. SCAI 1988: 237-239

Rolf Nossum: Deductive Planning Revisited. SCAI 1988: 373-381

Rolf Nossum (Ed.): Advanced Topics in Artificial Intelligence, 2nd Advanced Course, ACAI '87, Oslo, Norway, July 28 - August 7, 1987. Lecture Notes in Computer Science 345, Springer 1988, isbn 3-540-50676-4

Rolf Nossum: Automated Theorem Proving Methods. BIT 25(1): 51-64 (1985)