Rolf Nossum

According to our database, Rolf Nossum authored at least 16 papers between 1985 and 2012.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2012

Smart grid for offshore wind farms: Towards an information model based on the IEC 61400-25 standard.

Trinh Hoang Nguyen, Andreas Prinz, Trond Friisø, Rolf Nossum

Proceedings of the IEEE PES Innovative Smart Grid Technologies Conference, 2012

2006

Context-dependent Abduction and Relevance.

Dov M. Gabbay, Rolf Nossum, John Woods

J. Philos. Log., 2006

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

2005

Nesting Patterns in Fibred Logics of Context.

Rolf Nossum

Proceedings of the We Will Show Them! Essays in Honour of Dov Gabbay, Volume Two, 2005

2003

A decidable multi-modal logic of context.

Rolf Nossum

J. Appl. Log., 2003

A Contextual Approach to the Logic of Fiction.

Rolf Nossum

Proceedings of the Modeling and Using Context, 2003

2002

Propositional Logic for Ground Semigroups of Context.

Rolf Nossum

Log. J. IGPL, 2002

Multicontext Logic for Semigroups of Contexts.

Rolf Nossum, Luciano Serafini

Proceedings of the Artificial Intelligence, 2002

1999

Agents in Proactive Environments.

Dov M. Gabbay, Rolf Nossum, Michael Thielscher

J. Log. Comput., 1999

Counterfactual Reasoning by Means of a Calculus of Narrative Context.

Rolf Nossum, Michael Thielscher

Proceedings of the Modeling and Using Context, 1999

1995

On Test and Choice in a High-Level Programming Language.

Rolf Nossum

Proceedings of the Fifth Scandinavian Conference on Artificial Intelligence, 1995

1993

Semantical Correspondence Properties of Some Modal Systems of Logic.

Rolf Nossum, Dov M. Gabbay

Proceedings of the Fourth Scandinavian Conference on Artificial Intelligence, 1993

1989

Belief without Omniscience.

Rolf Nossum

Proceedings of the Second Scandinavian Conference on Artificial Intelligence 1989, 1989

1988

Deductive Planning Revisited.

Rolf Nossum

Proceedings of the First Scandinavian Conference on Artificial Intelligence 1988, 1988

Design Elements for a Better AI-Language.

Rolf Nossum

Proceedings of the First Scandinavian Conference on Artificial Intelligence 1988, 1988

1985

Automated Theorem Proving Methods.

Rolf Nossum

BIT, 1985