Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Rolf Nossum
Observed names:
Nossum, Rolf,
R. Nossum,
Rolf T Nossum,
Rolf T. Nossum
Observed institutions:
University of Oslo,
University of Agder
OpenAlex ID:
A5063291068
Formal Aspects of Context
2000
·
Bonzon, Pierre
, Cavalcanti, Marcos
, et al.
·
Applied logic series
·
23
A decidable multi-modal logic of context
2003
·
Rolf Nossum
·
Journal of Applied Logic
·
14
Structured Contexts with Fibred Semantics
2000
·
Dov M. Gabbay
, Rolf T. Nossum
·
Applied logic series
·
9
Context-dependent Abduction and Relevance
2005
·
Dov Gabbay
, Rolf Nossum
, et al.
·
Journal of Philosophical Logic
·
4
Multicontext Logic for Semigroups of Contexts
2002
·
Rolf Nossum
, Luciano Serafini
·
Lecture notes in computer science
·
3
Automated theorem proving methods
1985
·
Rolf Nossum
·
BIT Numerical Mathematics
·
3
Mathematik in Norwegen IV: Abel, Lie, der neue Beruf des Lehrers und die Vorbereitung der Anwendungen
2022
·
Rolf Nossum
, Reinhard Siegmund-Schultze
·
Mitteilungen der Deutschen Mathematiker-Vereinigung
·
2
PDF
Propositional Logic for Ground Semigroups of Context
2002
·
R. Nossum
·
Logic Journal of IGPL
·
2
Counterfactual Reasoning by Means of a Calculus of Narrative Context
1999
·
Rolf Nossum
, Michael Thielscher
·
Lecture notes in computer science
·
2
Advanced topics in artificial intelligence: 2nd advanced course, ACAI '87, Oslo, Norway, July/Aug. 1987
1989
·
Rolf Nossum
·
Springer eBooks
·
2
A Contextual Approach to the Logic of Fiction
2007
·
Rolf Nossum
·
Springer eBooks
·
1
A uniform quantificational logic for algebraic notions ofcontext
2002
·
Rolf Nossum
·
NORA - Norwegian Open Research Archives
·
1
Agents in proactive environments
1997
·
Dov Gabbay
, Rolf Nossum
, et al.
·
Lecture notes in computer science
·
1
Semantical correspondence properties of some modal systems of logic
1993
·
Rolf Nossum
, Dov M. Gabbay
·
Scandinavian Conference on AI
·
1
Corrigendum to “A decidable multi-modal logic of context” [Journal of Applied Logic 1 (1–2) (2003) 119–133]
2005
·
Rolf Nossum
·
Journal of Applied Logic
PDF
Nesting Patterns in Fibred Logics of Context.
2005
·
Rolf Nossum
On Test and Choice in a High-Level Programming Language.
1995
·
Rolf Nossum
·
Scandinavian Conference on AI
On using logic to represent belief
1994
·
Rolf T Nossum
·
Oxford University Press eBooks
Belief without Omniscience.
1989
·
Rolf Nossum
·
Scandinavian Conference on AI
Design Elements for a Better AI-Language.
1988
·
Rolf Nossum
·
Scandinavian Conference on AI
Deductive Planning Revisited.
1988
·
Rolf Nossum
·
Scandinavian Conference on AI
Show more works
View as search
Works count:
22
Citation count:
68
H-index:
4
I10-index:
2
Year
Topic
Type
