 | 2006 |
|---|
| 16 |       | 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) |
| 2005 |
|---|
| 15 |  | Rolf Nossum:
Nesting Patterns in Fibred Logics of Context.
We Will Show Them! (2) 2005: 441-452 |
| 2003 |
|---|
| 14 | | Rolf Nossum:
A Contextual Approach to the Logic of Fiction.
CONTEXT 2003: 233-244 |
| 13 | | Rolf Nossum:
A decidable multi-modal logic of context.
J. Applied Logic 1(1-2): 119-133 (2003) |
| 2002 |
|---|
| 12 | | Rolf Nossum,
Luciano Serafini:
Multicontext Logic for Semigroups of Contexts.
AISC 2002: 90-101 |
| 11 | | Rolf Nossum:
Propositional Logic for Ground Semigroups of Context.
Logic Journal of the IGPL 10(3): 273-297 (2002) |
| 1999 |
|---|
| 10 | | Rolf Nossum,
Michael Thielscher:
Counterfactual Reasoning by Means of a Calculus of Narrative Context.
CONTEXT 1999: 495-498 |
| 9 | | Dov M. Gabbay,
Rolf Nossum,
Michael Thielscher:
Agents in Proactive Environments.
J. Log. Comput. 9(1): 25-45 (1999) |
| 1997 |
|---|
| 8 | | Dov M. Gabbay,
Rolf Nossum,
Michael Thielscher:
Agents in Proactive Environments.
KI 1997: 389-392 |
| 1995 |
|---|
| 7 | | Rolf Nossum:
On Test and Choice in a High-Level Programming Language.
SCAI 1995: 317-321 |
| 1993 |
|---|
| 6 | | Rolf Nossum,
Dov M. Gabbay:
Semantical Correspondence Properties of Some Modal Systems of Logic.
SCAI 1993: 10-19 |
| 1989 |
|---|
| 5 | | Rolf Nossum:
Belief without Omniscience.
SCAI 1989: 912-917 |
| 1988 |
|---|
| 4 | | Rolf Nossum:
Advanced Topics in Artificial Intelligence, 2nd Advanced Course, ACAI '87, Oslo, Norway, July 28 - August 7, 1987
Springer 1988 |
| 3 | | Rolf Nossum:
Design Elements for a Better AI-Language.
SCAI 1988: 237-239 |
| 2 | | Rolf Nossum:
Deductive Planning Revisited.
SCAI 1988: 373-381 |
| 1985 |
|---|
| 1 | | Rolf Nossum:
Automated Theorem Proving Methods.
BIT 25(1): 51-64 (1985) |
