Logic and Artificial Intelligence : [34] Collection home page

Browse
Collection's Items (Sorted by Title in Ascending order): 21 to 34 of 34
Issue DateTitleAuthor(s)
1-Sep-2006Mathematical applications of inductive logic programmingColton S; Muggleton S
1-Jan-2006Negotiating socially optimal allocations of resourcesEndriss, U; Maudet, N; Sadri, F; Toni, F
6-Mar-1995On Gabbay's temporal fixed point operatorHODKINSON, I
1-Feb-2004On non-local propositional and weak monodic quantified CTLBauer, S; Hodkinson, I; Wolter, F; Zakharyaschev, M
31-Dec-2000On the Notion of Interestingness in Automated Mathematical DiscoveryColton S; Bundy A; Walsh T
5-Dec-2001Relation algebras from cylindric algebras, IHirsch, R; Hodkinson, I
5-Dec-2001Relation algebras from cylindric algebras, IIHirsch, R; Hodkinson, I
3-Feb-2000Relation algebras with n-dimensional relational basesHirsch, R; Hodkinson, I
1-Jan-2001Representability is not decidable for finite relation algebrasHirsch, R; Hodkinson, I
1-Sep-2009Strongly representable atom structures of cylindric algebrasHirsch, R; Hodkinson, I
1-Jan-2002Strongly representable atom structures of relation algebrasHirsch, R; Hodkinson, I
1-May-2012The impact of CHP (combined heat and power) planning restrictions on the efficiency of urban energy systemsKeirstead, J; Samsatli, N; Shah, N; Weber, C
1-Jun-2005Using the event calculus for tracking the normative state of contractsFarrell, ADH; Sergot, MJ; Salle, M; Bartolini, C
1-Sep-2011Weak representations of relation algebras and relational basesHirsch, R; Hodkinson, I; Maddux, RD
Collection's Items (Sorted by Title in Ascending order): 21 to 34 of 34