•  6
    Hoare Logic-Based Genetic Programming
    with Pei He, LiShan Kang, and Shi Ying
    Science China Information Sciences 54 (3): 623-637. 2011.
    Almost all existing genetic programming systems deal with fitness evaluation solely by testing. In this paper, by contrast, we present an original approach that combines genetic programming with Hoare logic with the aid of model checking and finite state automata, henceby proposing a brand new verification-focused formal genetic programming system that makes it possible to evolve reliable programs with mathematicallyverified properties.
  •  19
    Precipitous Ideals on Singular Cardinals
    Mathematical Logic Quarterly 32 (25-30): 461-465. 1986.
  •  38
    Complex Systems in Aesthetics and Arts
    with Juan Romero and Jon McCormack
    Complexity 2019 1-2. 2019.
    The arts are one of the most complex of human endeavours, and so it is fitting that a special issue on Complex Systems in Aesthetics and Arts is being published. As the editors of this special issue, we would like to thank the reviewers of the submitted papers for their hard work in making this issue possible, as well as the authors who submitted their work and were very responsive to the comments of the reviewers and editors.
  •  36
    A hybrid rule-induction/likelihood-ratio based approach for predicting protein-protein interactions
    with Mudassar Iqbal and Alex A. Freitas
    In L. Magnani (ed.), Computational Intelligence, . pp. 623--637. 2009.
    We propose a new hybrid data mining method for predicting protein-protein interactions combining Likelihood-Ratio with rule induction algorithms. In essence, the new method consists of using a rule induction algorithm to discover rules representing partitions of the data, and then the discovered rules are interpreted as “bins” which are used to compute likelihood ratios. This new method is applied to the prediction of protein-protein interactions in the Saccharomyces Cerevisiae genome, using pre…Read more