From post

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.

 

Другие публикации лиц с тем же именем

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