Show simple item record

dc.contributor.authorTamaddoni-Nezhad, A.en
dc.contributor.authorKakas, Antonis C.en
dc.contributor.authorMuggleton, S.en
dc.contributor.authorPazos, F.en
dc.contributor.editorCamacho, Ricardo J.en
dc.contributor.editorKing R.en
dc.contributor.editorSrinivasan A.en
dc.creatorTamaddoni-Nezhad, A.en
dc.creatorKakas, Antonis C.en
dc.creatorMuggleton, S.en
dc.creatorPazos, F.en
dc.date.accessioned2019-11-13T10:42:27Z
dc.date.available2019-11-13T10:42:27Z
dc.date.issued2004
dc.identifier.urihttp://gnosis.library.ucy.ac.cy/handle/7/55052
dc.description.abstractIn 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, within Abductive Logic Programming (ALP), inhibition in metabolic pathways and use abduction to generate facts about inhibition of enzymes by a particular toxin (e.g. Hydrazine) given the underlying metabolic pathway and observations about the concentration of metabolites. These ground facts, together with biochemical background information, can then be generalised by ILP to generate rules about the inhibition by Hydrazine thus enriching further our model. In particular, using Progol 5.0 where the processes of abduction and inductive generalization are integrated enables us to learn such general rules. Experimental results on modelling in this way the effect of Hydrazine in a real metabolic pathway are presented. © Springer-Verlag Berlin Heidelberg 2004.en
dc.sourceLecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)en
dc.source14th International Conference ILP 2004: Inductive Logic Programmingen
dc.source.urihttps://www.scopus.com/inward/record.uri?eid=2-s2.0-22944452109&partnerID=40&md5=4fc1cc359aa6f856c66623b7a05afcb0
dc.subjectReaction kineticsen
dc.subjectEnzyme inhibitionen
dc.subjectMedical computingen
dc.subjectNuclear magnetic resonanceen
dc.subjectEnzymesen
dc.subjectMetabolic pathwaysen
dc.subjectMetabolismen
dc.subjectHydrazineen
dc.subjectLogic programmingen
dc.subjectAbductionen
dc.subjectAbductive logic programmingen
dc.subjectInductive logic programming (ILP)en
dc.subjectLiving systems studiesen
dc.subjectAbductive logic programming (ALP)en
dc.subjectBackground informationen
dc.subjectFunctional classen
dc.subjectInductionen
dc.subjectLogical formsen
dc.titleModelling inhibition in metabolic pathways through abduction and inductionen
dc.typeinfo:eu-repo/semantics/conferenceObject
dc.description.volume3194
dc.description.startingpage305
dc.description.endingpage322
dc.author.faculty002 Σχολή Θετικών και Εφαρμοσμένων Επιστημών / Faculty of Pure and Applied Sciences
dc.author.departmentΤμήμα Πληροφορικής / Department of Computer Science
dc.type.uhtypeConference Objecten
dc.description.notes<p>Sponsors: Fundacao para a Ciencia e a Tecnologia, FCT, Portugalen
dc.description.notesDEEC (FEUP), Portugalen
dc.description.notesFEUP, Portugalen
dc.description.notesConference code: 65301en
dc.description.notesCited By :11</p>en
dc.contributor.orcidKakas, Antonis C. [0000-0001-6773-3944]
dc.gnosis.orcid0000-0001-6773-3944


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record