• Conference Object  

      Abduction and induction for learning models of inhibition in metabolic networks 

      Tamaddoni-Nezhad, A.; Chaleil, R.; Kakas, Antonis C.; Muggleton, S. (2005)
      This paper describes the use of a mixture of abduction and induction for the temporal modelling of the effects of toxins in metabolic networks. Background knowledge is used which describes network topology and functional ...
    • Article  

      Declarative agent control 

      Kakas, Antonis C.; Mancarella, P.; Sadri, F.; Stathis, Kostas; Toni, F. (2005)
      In this work, we extend the architecture of agents (and robots) based upon fixed, one-size-fits-all cycles of operation, by providing a framework of declarative specification of agent control. Control is given in terms of ...