Publication Date | **Title** | Author(s) |

1-Sep-2006 | **Mathematical applications of inductive logic programming** | *Colton S; Muggleton S* |

1-Jan-2006 | **Negotiating socially optimal allocations of resources** | *Endriss, U; Maudet, N; Sadri, F; Toni, F* |

6-Mar-1995 | **On Gabbay's temporal fixed point operator** | *HODKINSON, I* |

1-Feb-2004 | **On non-local propositional and weak monodic quantified CTL** | *Bauer, S; Hodkinson, I; Wolter, F; Zakharyaschev, M* |

31-Dec-2000 | **On the Notion of Interestingness in Automated Mathematical Discovery** | *Colton S; Bundy A; Walsh T* |

5-Dec-2001 | **Relation algebras from cylindric algebras, I** | *Hirsch, R; Hodkinson, I* |

5-Dec-2001 | **Relation algebras from cylindric algebras, II** | *Hirsch, R; Hodkinson, I* |

3-Feb-2000 | **Relation algebras with n-dimensional relational bases** | *Hirsch, R; Hodkinson, I* |

1-Jan-2001 | **Representability is not decidable for finite relation algebras** | *Hirsch, R; Hodkinson, I* |

1-Sep-2009 | **Strongly representable atom structures of cylindric algebras** | *Hirsch, R; Hodkinson, I* |

1-Jan-2002 | **Strongly representable atom structures of relation algebras** | *Hirsch, R; Hodkinson, I* |

1-May-2012 | **The impact of CHP (combined heat and power) planning restrictions on the efficiency of urban energy systems** | *Keirstead, J; Samsatli, N; Shah, N; Weber, C* |

1-Jun-2005 | **Using the event calculus for tracking the normative state of contracts** | *Farrell, ADH; Sergot, MJ; Salle, M; Bartolini, C* |

1-Sep-2011 | **Weak representations of relation algebras and relational bases** | *Hirsch, R; Hodkinson, I; Maddux, RD* |