Abstract.WedescribeanapplicationofAbductiveLogicProgramming(ALP)totheanalysisofanimportantclassofDNAmicroarrayexperiments.WedevelopanALPtheorythatprovidesasimpleandgeneralmodelofhowgeneinteractionscancausechangesinobservableexpressionlevelsofgenes.Input