Rolf Nossum

18 papers Misc 2Journal 6Unranked 9
YearRankTypeTitle / Venue / Authors
2012 — conf
Smart grid for offshore wind farms: Towards an information model based on the IEC 61400-25 standard.
ISGT
Trinh Hoang Nguyen, Andreas Prinz, Trond Friisø, Rolf Nossum
2006 J jnl
Context-dependent Abduction and Relevance.
J. Philos. Log.
Dov M. Gabbay, Rolf Nossum, John Woods
2006 J jnl
Corrigendum to "A decidable multi-modal logic of context" [Journal of Applied Logic 1 (1-2) (2003) 119-133].
J. Appl. Log.
Rolf Nossum
2005 — conf
Nesting Patterns in Fibred Logics of Context.
We Will Show Them! (2)
Rolf Nossum
2003 — conf
A Contextual Approach to the Logic of Fiction.
CONTEXT
Rolf Nossum
2003 J jnl
A decidable multi-modal logic of context.
J. Appl. Log.
Rolf Nossum
2002 Misc conf
Multicontext Logic for Semigroups of Contexts.
AISC
Rolf Nossum, Luciano Serafini
2002 J jnl
Propositional Logic for Ground Semigroups of Context.
Log. J. IGPL
Rolf Nossum
1999 J jnl
Agents in Proactive Environments.
J. Log. Comput.
Dov M. Gabbay, Rolf Nossum, Michael Thielscher
1999 — conf
Counterfactual Reasoning by Means of a Calculus of Narrative Context.
CONTEXT
Rolf Nossum, Michael Thielscher
1997 Misc conf
Agents in Proactive Environments.
KI
Dov M. Gabbay, Rolf Nossum, Michael Thielscher
1995 — conf
On Test and Choice in a High-Level Programming Language.
SCAI
Rolf Nossum
1993 — conf
Semantical Correspondence Properties of Some Modal Systems of Logic.
SCAI
Rolf Nossum, Dov M. Gabbay
1989 — conf
Belief without Omniscience.
SCAI
Rolf Nossum
1988 — ed.
Advanced Topics in Artificial Intelligence, 2nd Advanced Course, ACAI '87, Oslo, Norway, July 28 - August 7, 1987
Advanced Topics in Artificial Intelligence
Rolf Nossum
1988 — conf
Deductive Planning Revisited.
SCAI
Rolf Nossum
1988 — conf
Design Elements for a Better AI-Language.
SCAI
Rolf Nossum
1985 J jnl
Automated Theorem Proving Methods.
BIT
Rolf Nossum