Search the dblp DataBase

Publications of Author

1. Morten Elvang-Gøransson, Paul Krause, John Fox
   Acceptability of arguments as `logical uncertainty'. [Citation Graph (0, 0)][DBLP]
   ECSQARU, 1993, pp:85-90 [Conf]
   
2. Morten Elvang-Gøransson
   Reasoning about VDM Specifications. [Citation Graph (0, 0)][DBLP]
   VDM Europe (1), 1991, pp:343-355 [Conf]
   
3. Morten Elvang-Gøransson, Robert E. Fields
   An Extended VDM Refinement Relation. [Citation Graph (0, 0)][DBLP]
   FME, 1994, pp:175-189 [Conf]
   
4. Morten Elvang-Gøransson, Paul Krause, John Fox
   Dialectic reasoning with inconsistent information. [Citation Graph (0, 0)][DBLP]
   UAI, 1993, pp:114-121 [Conf]
   
5. John Fox, Paul Krause, Morten Elvang-Gøransson
   Argumentation as a General Framework for Uncertain Reasoning. [Citation Graph (0, 0)][DBLP]
   UAI, 1993, pp:428-434 [Conf]
   
6. Paul Krause, Simon Ambler, Morten Elvang-Gøransson, John Fox
   A Logic of Argumentation for Reasoning under Uncertainty. [Citation Graph (0, 0)][DBLP]
   Computational Intelligence, 1995, v:11, n:, pp:113-131 [Journal]
   
7. Morten Elvang-Gøransson, Anthony Hunter
   Argumentative Logics: Reasoning with Classically Inconsistent Information. [Citation Graph (0, 0)][DBLP]
   Data Knowl. Eng., 1995, v:16, n:2, pp:125-145 [Journal]
   
8. Morten Elvang-Gøransson, Olaf Owe
   A Simple Sequent Calculus for Partial Functions. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1993, v:114, n:2, pp:317-330 [Journal]
   
9. Robert E. Fields, Morten Elvang-Gøransson
   A VDM Case Study in mural. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1992, v:18, n:4, pp:279-295 [Journal]