Search the dblp DataBase

Publications of Author

1. Oliver Ray, Athos Antoniades, Antonis C. Kakas, Ioannis Demetriades
   Abductive Logic Programming in the Clinical Management of HIV/AIDS. [Citation Graph (0, 0)][DBLP]
   ECAI, 2006, pp:437-441 [Conf]
   
2. Oliver Ray
   The Need for Ancestor Resolution When Answering Queries in Horn Clause Logic. [Citation Graph (0, 0)][DBLP]
   ICLP, 2005, pp:410-411 [Conf]
   
3. Oliver Ray, Krysia Broda, Alessandra Russo
   Generalised Kernel Sets for Inverse Entailment. [Citation Graph (0, 0)][DBLP]
   ICLP, 2004, pp:165-179 [Conf]
   
4. Oliver Ray, Krysia Broda, Alessandra Russo
   Hybrid Abductive Inductive Learning: A Generalisation of Progol. [Citation Graph (0, 0)][DBLP]
   ILP, 2003, pp:311-328 [Conf]
   
5. Oliver Ray, Krysia Broda, Alessandra Russo
   A Hybrid Abductive Inductive Proof Procedure. [Citation Graph (0, 0)][DBLP]
   Logic Journal of the IGPL, 2004, v:12, n:5, pp:371-397 [Journal]
   
6. Oliver Ray, Katsumi Inoue
   A Consequence Finding Approach for Full Clausal Abduction. [Citation Graph (0, 0)][DBLP]
   Discovery Science, 2007, pp:173-184 [Conf]
   
7. Dalal Alrajeh, Oliver Ray, Alessandra Russo, Sebastián Uchitel
   Extracting Requirements from Scenarios with ILP. [Citation Graph (0, 0)][DBLP]
   ILP, 2006, pp:64-78 [Conf]
   
8. 
   Towards a Rational Approach for the Logical Modelling of Inhibition in Metabolic Networks. [Citation Graph (, )][DBLP]
   
   
9. 
   Learning Rules from User Behaviour. [Citation Graph (, )][DBLP]
   
   
10. 
    Mode-Directed Inverse Entailment for Full Clausal Theories. [Citation Graph (, )][DBLP]
    
    
11. 
    Automatic Revision of Metabolic Networks through Logical Analysis of Experimental Data. [Citation Graph (, )][DBLP]
    
    
12. 
    Towards a Logical Reconstruction of CF-Induction. [Citation Graph (, )][DBLP]
    
    
13. 
    Inferring the Function of Genes from Synthetic Lethal Mutations. [Citation Graph (, )][DBLP]
    
    
14. 
    A Nonmonotonic Logical Approach for Modelling and Revising Metabolic Networks. [Citation Graph (, )][DBLP]
    
    
15. 
    Logic-Based Steady-State Analysis and Revision of Metabolic Networks with Inhibition. [Citation Graph (, )][DBLP]
    
    
16. 
    SOLAR: An automated deduction system for consequence finding. [Citation Graph (, )][DBLP]