Morten Elvang-Gøransson

Anthony Hunter

Data Knowl. Eng., 1995

A Logic of Argumentation for Reasoning under Uncertainty.

[BibT_eX]

[DOI]

Simon Ambler

Comput. Intell., 1995

1994

An Extended VDM Refinement Relation.

[BibT_eX]

[DOI]

Robert E. Fields

Proceedings of the FME '94: Industrial Benefit of Formal Methods, 1994

1993

A Simple Sequent Calculus for Partial Functions.

[BibT_eX]

[DOI]

Olaf Owe

Theor. Comput. Sci., 1993

Argumentation as a General Framework for Uncertain Reasoning.

[BibT_eX]

[DOI]

Proceedings of the UAI '93: Proceedings of the Ninth Annual Conference on Uncertainty in Artificial Intelligence, 1993

Dialectic reasoning with inconsistent information.

[BibT_eX]

[DOI]

Proceedings of the UAI '93: Proceedings of the Ninth Annual Conference on Uncertainty in Artificial Intelligence, 1993

Acceptability of arguments as 'logical uncertainty'.

[BibT_eX]

[DOI]

Proceedings of the Symbolic and Quantitative Approaches to Reasoning and Uncertainty, 1993

1992

A VDM Case Study in <i>mural</i>.

[BibT_eX]

[DOI]

Robert E. Fields

IEEE Trans. Software Eng., 1992

Classification of Refinements in VDM.

[BibT_eX]

[DOI]

Proceedings of the 5th Refinement Workshop, 1992

1991

Reasoning about VDM Specifications.

[BibT_eX]

[DOI]