Issue Date	Title	Author(s)
1-Nov-2012	A brief history and the possible future of urban energy systems	Rutter, P; Keirstead, J
Jun-2006	Application of abductive ILP to learning metabolic network inhibition from temporal data	Kakas, A; Tamaddoni Nezhad, A; Muggleton, S; Chaleil, R
8-Dec-1997	Atom structures of cylindric algebras and relation algebras	Hodkinson, I
1-May-2005	Automated conjecture making in number theory using HR, Otter and Maple	Colton, S
1-Jan-2000	Axiomatizability of reducts of algebras of relations	Hodkinson, I; Mikulas, S
1-Jan-2001	Axiomatizing complex algebras by games	Hodkinson, I; Mikulas, S; Venema, Y
1-Jan-2005	Canonical varieties with no canonical axiomatisation	Hodkinson, I; Venema, Y
1-Mar-2006	Complexity of monodic guarded fragments over linear and real time	Hodkinson, I
1-Jul-2002	Computational aspects of the FLBC framework	Daskalopulu, A; Sergot, M
1-Feb-1996	Computer support for protocol-based treatment of cancer	Hammond, P; Sergot, M
1-Dec-2000	Decidable fragments of first-order temporal logics	Hodkinson, I; Wolter, F; Zakharyaschev, M
9-Oct-2012	Evaluating biomass energy strategies for a UK eco-town with an MILP optimization model	Keirstead, JE; Samsatli, NJ; Pantaleo, AM; Shah, N,
1-Jan-2014	Extreme Value Theory based Integrity Monitoring of Global Navigation Satellite Systems	Panagiotakopoulos, D; Majumdar, A; Ochieng, WY
1-Oct-1994	FINITE H-DIMENSION DOES NOT IMPLY EXPRESSIVE COMPLETENESS	HODKINSON, I
1-May-2007	Formalising workflow: A CCS-inspired characterisation of the YAWL workflow patterns	Farrell, ADH; Sergot, MJ
1-Feb-1997	The k-variable property is stronger than H-dimension k	Hodkinson, I; Simon, A
30-Jun-2005	The KGP model of Agency for Decision Making in e-Negotiation	Stathis, K; Toni, F
1-May-1999	Labelled Natural Deduction for Substructural Logics	Russo, A; Broda, K; Finger, M
1-Oct-1996	A logic programming framework for modeling temporal objects	Kesim, FN; Sergot, M
1-Sep-2006	Mathematical applications of inductive logic programming	Colton S; Muggleton S