The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Oliver Ray: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]


Search in 0.003secs, Finished in 0.005secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002