| 2007 |
|---|
| 10 | EE | Oliver Ray,
Katsumi Inoue:
A Consequence Finding Approach for Full Clausal Abduction.
Discovery Science 2007: 173-184 |
| 9 | EE | Oliver Ray,
Katsumi Inoue:
Mode-Directed Inverse Entailment for Full Clausal Theories.
ILP 2007: 225-238 |
| 8 | EE | Yoshitaka Yamamoto,
Oliver Ray,
Katsumi Inoue:
Towards a Logical Reconstruction of CF-Induction.
JSAI 2007: 330-343 |
| 7 | EE | Oliver Ray:
Automated Abduction in Scientific Discovery.
Model-Based Reasoning in Science, Technology, and Medicine 2007: 103-116 |
| 2006 |
|---|
| 6 | | Oliver Ray,
Athos Antoniades,
Antonis C. Kakas,
Ioannis Demetriades:
Abductive Logic Programming in the Clinical Management of HIV/AIDS.
ECAI 2006: 437-441 |
| 5 | EE | Dalal Alrajeh,
Oliver Ray,
Alessandra Russo,
Sebastián Uchitel:
Extracting Requirements from Scenarios with ILP.
ILP 2006: 64-78 |
| 2005 |
|---|
| 4 | EE | Oliver Ray:
The Need for Ancestor Resolution When Answering Queries in Horn Clause Logic.
ICLP 2005: 410-411 |
| 2004 |
|---|
| 3 | EE | Oliver Ray,
Krysia Broda,
Alessandra Russo:
Generalised Kernel Sets for Inverse Entailment.
ICLP 2004: 165-179 |
| 2 | EE | Oliver Ray,
Krysia Broda,
Alessandra Russo:
A Hybrid Abductive Inductive Proof Procedure.
Logic Journal of the IGPL 12(5): 371-397 (2004) |
| 2003 |
|---|
| 1 | EE | Oliver Ray,
Krysia Broda,
Alessandra Russo:
Hybrid Abductive Inductive Learning: A Generalisation of Progol.
ILP 2003: 311-328 |
