Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Acceptability of arguments as `logical uncertainty', , and . Symbolic and Quantitative Approaches to Reasoning and Uncertainty, ECSQARU'93, page 85--90. Granada, Spain, Springer-Verlag, (1993)Argumentative Logics: Reasoning with Classically Inconsistent Information., and . Data Knowl. Eng., 16 (2): 125-145 (1995)Dialectic reasoning with inconsistent information., , and . UAI, page 114-121. Morgan Kaufmann, (1993)An Extended VDM Refinement Relation., and . FME, volume 873 of Lecture Notes in Computer Science, page 175-189. Springer, (1994)A Logic of Argumentation for Reasoning under Uncertainty, , , and . Computational Intelligence, (1995)Argumentation as a General Framework for Uncertain Reasoning, , and . Proceedings of the 9th Conference on Uncertainty in Artificial Intelligence (UAI-93), page 428--434. Providence, Washington, DC, Morgan Kaufmann Publishers, (1993)A Simple Sequent Calculus for Partial Functions., and . Theor. Comput. Sci., 114 (2): 317-330 (1993)Reasoning about VDM Specifications.. VDM Europe (1), volume 551 of Lecture Notes in Computer Science, page 343-355. Springer, (1991)Classification of Refinements in VDM.. Refine, page 172-180. Springer London, (1992)A VDM Case Study in mural., and . IEEE Trans. Software Eng., 18 (4): 279-295 (1992)