Rolf Nossum - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 17 from 17

2012

Smart grid for offshore wind farms: Towards an information model based on the IEC 61400-25 standardTrinh Hoang Nguyen, Andreas Prinz, Trond Friiso, Rolf Nossum. isgt 2012: 1-6 [doi]

2006

Context-dependent Abduction and RelevanceDov M. Gabbay, Rolf Nossum, John Woods. jphil, 35(1):65-81, 2006. [doi]

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

2005

Nesting Patterns in Fibred Logics of ContextRolf Nossum. BIRTHDAY 2005: 441-452

2003

A Contextual Approach to the Logic of FictionRolf Nossum. context 2003: 233-244 [doi]

A decidable multi-modal logic of contextRolf Nossum. japll, 1(1-2):119-133, 2003. [doi]

2002

Propositional Logic for Ground Semigroups of ContextRolf Nossum. igpl, 10(3):273-297, 2002. [doi]

Multicontext Logic for Semigroups of ContextsRolf Nossum, Luciano Serafini. AISC 2002: 90-101 [doi]

1999

Agents in Proactive EnvironmentsDov M. Gabbay, Rolf Nossum, Michael Thielscher. logcom, 9(1):25-45, 1999. [doi]

Counterfactual Reasoning by Means of a Calculus of Narrative ContextRolf Nossum, Michael Thielscher. context 1999: 495-498 [doi]

1997

Agents in Proactive EnvironmentsDov M. Gabbay, Rolf Nossum, Michael Thielscher. ki 1997: 389-392

1995

On Test and Choice in a High-Level Programming LanguageRolf Nossum. scai 1995: 317-321

1993

Semantical Correspondence Properties of Some Modal Systems of LogicRolf Nossum, Dov M. Gabbay. scai 1993: 10-19

1989

Belief without OmniscienceRolf Nossum. scai 1989: 912-917

1988

Design Elements for a Better AI-LanguageRolf Nossum. scai 1988: 237-239

Deductive Planning RevisitedRolf Nossum. scai 1988: 373-381

1985

Automated Theorem Proving MethodsRolf Nossum. bit, 25(1):51-64, 1985.

Sign in or sign up to see more results.

runs on WebDSL