Current filters:
Start a new search
Add filters:

Use filters to refine the search results.

Results 1-10 of 21
Item hits:
Issue DateTitleAuthor(s)
1-Feb-2004On non-local propositional and weak monodic quantified CTLBauer, S; Hodkinson, I; Wolter, F; Zakharyaschev, M
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
Jun-2006Application of abductive ILP to learning metabolic network inhibition from temporal dataKakas, A; Tamaddoni Nezhad, A; Muggleton, S; Chaleil, R
1-Jan-2002Strongly representable atom structures of relation algebrasHirsch, R; Hodkinson, I
1-Jan-2001Representability is not decidable for finite relation algebrasHirsch, R; Hodkinson, I
31-Dec-2000On the Notion of Interestingness in Automated Mathematical DiscoveryColton S; Bundy A; Walsh T
1-May-2005Automated conjecture making in number theory using HR, Otter and MapleColton, S
1-Sep-2009Strongly representable atom structures of cylindric algebrasHirsch, R; Hodkinson, I
1-Jan-2001Axiomatizing complex algebras by gamesHodkinson, I; Mikulas, S; Venema, Y