Morten Elvang-Gøransson

12 papers A 2C 1Journal 6Unranked 3
YearRankTypeTitle / Venue / Authors
2013 J jnl
Argumentation as a General Framework for Uncertain Reasoning
CoRR
John Fox, Paul J. Krause, Morten Elvang-Gøransson
2013 J jnl
Dialectic Reasoning with Inconsistent Information
CoRR
Morten Elvang-Gøransson, Paul J. Krause, John Fox
1995 J jnl
A Logic of Argumentation for Reasoning under Uncertainty.
Comput. Intell.
Paul J. Krause, Simon Ambler, Morten Elvang-Gøransson, John Fox
1995 J jnl
Argumentative Logics: Reasoning with Classically Inconsistent Information.
Data Knowl. Eng.
Morten Elvang-Gøransson, Anthony Hunter
1994 — conf
An Extended VDM Refinement Relation.
FME
Morten Elvang-Gøransson, Robert E. Fields
1993 J jnl
A Simple Sequent Calculus for Partial Functions.
Theor. Comput. Sci.
Morten Elvang-Gøransson, Olaf Owe
1993 C conf
Acceptability of arguments as 'logical uncertainty'.
ECSQARU
Morten Elvang-Gøransson, Paul J. Krause, John Fox
1993 A conf
Argumentation as a General Framework for Uncertain Reasoning.
UAI
John Fox, Paul J. Krause, Morten Elvang-Gøransson
1993 A conf
Dialectic reasoning with inconsistent information.
UAI
Morten Elvang-Gøransson, Paul J. Krause, John Fox
1992 J jnl
A VDM Case Study in
IEEE Trans. Software Eng.
Robert E. Fields, Morten Elvang-Gøransson
1992 — conf
Classification of Refinements in VDM.
Refine
Morten Elvang-Gøransson
1991 — conf
Reasoning about VDM Specifications.
VDM Europe (1)
Morten Elvang-Gøransson