Now showing items 1-3 of 3

  • Dynamics in Formal Argumentation 

    Carbogim, Daniela Vasconcelos (University of Edinburgh. College of Science and Engineering. School of Informatics., 2000-07)
    In this thesis we are concerned with the role of formal argumentation in artificial intelligence, in particular in the field of knowledge engineering. The intuition behind argumentation is that one can reason with imperfect ...
  • Model Learning in Iconic Vision 

    Gomes, Herman M (University of Edinburgh. College of Science and Engineering. School of Informatics., 2002-07)
    Generally, object recognition research falls into three main categories: (a) geometric, symbolic or structure based recognition, which is usually associated with CAD-based vision and 3-D object recognition; (b) property, ...
  • Testing from Structured Algebraic Specifications: The Oracle Problem 

    Machado, Patricia D L (University of Edinburgh. College of Science and Engineering. School of Informatics., 2000-07)
    Work in the area of specification-based testing has pointed out that testing can be effectively used to verify programs against formal specifications. The aim is to derive test information from formal specifications so ...