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