Browsing Τμήμα Πληροφορικής / Department of Computer Science by Author "Muggleton, S."
Now showing items 1-5 of 5
-
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
Application of abductive ILP to learning metabolic network inhibition from temporal data
Tamaddoni-Nezhad, A.; Chaleil, R.; Kakas, Antonis C.; Muggleton, S. (2006)In this paper we use a logic-based representation and a combination of Abduction and Induction to model inhibition in metabolic networks. In general, the integration of abduction and induction is required when the following ...
-
Article
Modeling the effects of toxins in metabolic networks
Tamaddoni-Nezhad, A.; Chaleil, R.; Kakas, Antonis C.; Sternberg, M.; Nicholson, J.; Muggleton, S. (2007)
-
Conference Object
Modelling inhibition in metabolic pathways through abduction and induction
Tamaddoni-Nezhad, A.; Kakas, Antonis C.; Muggleton, S.; Pazos, F. (2004)In this paper, we study how a logical form of scientific modelling that integrates together abduction and induction can be used to understand the functional class of unknown enzymes or inhibitors. We show how we can model, ...
-
Article
The scientific contribution of marek sergot
Barker, S.; Jones, A. J. I.; Kakas, Antonis C.; Kowalski, R. A.; Lomuscio, A.; Miller, R.; Muggleton, S.; Sartor, G. (2012)Marek Sergot's technical contributions range over different subjects. He has developed a series of novel ideas and formal methods bridging different research domains, such as artificial intelligence, computational logic, ...