|
Search the dblp DataBase
Rolf Nossum:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Rolf Nossum, Luciano Serafini
Multicontext Logic for Semigroups of Contexts. [Citation Graph (0, 0)][DBLP] AISC, 2002, pp:90-101 [Conf]
- Rolf Nossum
Nesting Patterns in Fibred Logics of Context. [Citation Graph (0, 0)][DBLP] We Will Show Them! (2), 2005, pp:441-452 [Conf]
- Rolf Nossum
A Contextual Approach to the Logic of Fiction. [Citation Graph (0, 0)][DBLP] CONTEXT, 2003, pp:233-244 [Conf]
- Rolf Nossum, Michael Thielscher
Counterfactual Reasoning by Means of a Calculus of Narrative Context. [Citation Graph (0, 0)][DBLP] CONTEXT, 1999, pp:495-498 [Conf]
- Dov M. Gabbay, Rolf Nossum, Michael Thielscher
Agents in Proactive Environments. [Citation Graph (0, 0)][DBLP] KI, 1997, pp:389-392 [Conf]
- Rolf Nossum
Design Elements for a Better AI-Language. [Citation Graph (0, 0)][DBLP] SCAI, 1988, pp:237-239 [Conf]
- Rolf Nossum
Deductive Planning Revisited. [Citation Graph (0, 0)][DBLP] SCAI, 1988, pp:373-381 [Conf]
- Rolf Nossum
Belief without Omniscience. [Citation Graph (0, 0)][DBLP] SCAI, 1989, pp:912-917 [Conf]
- Rolf Nossum
On Test and Choice in a High-Level Programming Language. [Citation Graph (0, 0)][DBLP] SCAI, 1995, pp:317-321 [Conf]
- Rolf Nossum, Dov M. Gabbay
Semantical Correspondence Properties of Some Modal Systems of Logic. [Citation Graph (0, 0)][DBLP] SCAI, 1993, pp:10-19 [Conf]
- Rolf Nossum
Automated Theorem Proving Methods. [Citation Graph (0, 0)][DBLP] BIT, 1985, v:25, n:1, pp:51-64 [Journal]
- Rolf Nossum
Propositional Logic for Ground Semigroups of Context. [Citation Graph (0, 0)][DBLP] Logic Journal of the IGPL, 2002, v:10, n:3, pp:273-297 [Journal]
- Rolf Nossum
A decidable multi-modal logic of context. [Citation Graph (0, 0)][DBLP] J. Applied Logic, 2003, v:1, n:1-2, pp:119-133 [Journal]
- Rolf Nossum
Corrigendum to "A decidable multi-modal logic of context" [Journal of Applied Logic 1 (1-2) (2003) 119-133]. [Citation Graph (0, 0)][DBLP] J. Applied Logic, 2006, v:4, n:1, pp:115- [Journal]
- Dov M. Gabbay, Rolf Nossum, Michael Thielscher
Agents in Proactive Environments. [Citation Graph (0, 0)][DBLP] J. Log. Comput., 1999, v:9, n:1, pp:25-45 [Journal]
Search in 0.002secs, Finished in 0.003secs
|