Logic and Artificial Intelligence : [34] Collection home page

Browse
Collection's Items (Sorted by Title in Ascending order): 1 to 20 of 34
 next >
Publication DateTitleAuthor(s)
1-Nov-2012A brief history and the possible future of urban energy systemsRutter, P; Keirstead, J
Jun-2006Application of abductive ILP to learning metabolic network inhibition from temporal dataKakas, A; Tamaddoni Nezhad, A; Muggleton, S; Chaleil, R
8-Dec-1997Atom structures of cylindric algebras and relation algebrasHodkinson, I
1-May-2005Automated conjecture making in number theory using HR, Otter and MapleColton, S
1-Jan-2000Axiomatizability of reducts of algebras of relationsHodkinson, I; Mikulas, S
1-Jan-2001Axiomatizing complex algebras by gamesHodkinson, I; Mikulas, S; Venema, Y
1-Jan-2005Canonical varieties with no canonical axiomatisationHodkinson, I; Venema, Y
1-Jul-2012Capturing spatial effects, technology interactions, and uncertainty in urban energy and carbon models: Retrofitting newcastle as a case-studyKeirstead, J; Calderon, C
1-Mar-2006Complexity of monodic guarded fragments over linear and real timeHodkinson, I
1-Jul-2002Computational aspects of the FLBC frameworkDaskalopulu, A; Sergot, M
1-Feb-1996Computer support for protocol-based treatment of cancerHammond, P; Sergot, M
1-Dec-2000Decidable fragments of first-order temporal logicsHodkinson, I; Wolter, F; Zakharyaschev, M
9-Oct-2012Evaluating biomass energy strategies for a UK eco-town with an MILP optimization modelKeirstead, JE; Samsatli, NJ; Pantaleo, AM; Shah, N,
1-Jan-2014Extreme Value Theory based Integrity Monitoring of Global Navigation Satellite SystemsPanagiotakopoulos, D; Majumdar, A; Ochieng, WY
1-Oct-1994FINITE H-DIMENSION DOES NOT IMPLY EXPRESSIVE COMPLETENESSHODKINSON, I
1-May-2007Formalising workflow: A CCS-inspired characterisation of the YAWL workflow patternsFarrell, ADH; Sergot, MJ
1-Feb-1997The k-variable property is stronger than H-dimension kHodkinson, I; Simon, A
30-Jun-2005The KGP model of Agency for Decision Making in e-NegotiationStathis, K; Toni, F
1-May-1999Labelled Natural Deduction for Substructural LogicsRusso, A; Broda, K; Finger, M
1-Oct-1996A logic programming framework for modeling temporal objectsKesim, FN; Sergot, M
Collection's Items (Sorted by Title in Ascending order): 1 to 20 of 34
 next >