20032020

Research output per year

If you made any changes in Pure these will be visible here soon.

Research Output

Filter
Article (Academic Journal)
Article (Academic Journal)

Abductive reasoning in neural-symbolic systems

d'Avila Garcez, AS., Gabbay, DM., Ray, O. & Woods, JH., Mar 2007, In : Topoi. 26 (1), p. 37 - 49 13 p.

Research output: Contribution to journalArticle (Academic Journal)

15 Citations (Scopus)

A Hybrid Abductive Inductive Proof Procedure

Ray, O., Broda, K. & Russo, A., Sep 2004, In : Logic Journal of the IGPL. 12 (5), p. 371 - 397 27 p., 371-397.

Research output: Contribution to journalArticle (Academic Journal)

Computer-aided whole-cell design: taking a holistic approach by integrating synthetic with systems biology

Marucci, L., Barberis, M., Karr, J., Ray, O., Race, P. R., de Souza Andrade, M., Grierson, C. S., Hoffmann, S. A., Landon, S., Rech, E., Rees-Garbutt, J. P., Seabrook, R., Shaw, W. & Woods, C. J., 7 Aug 2020, In : Frontiers in Bioengineering and Biotechnology. 8, 11 p., 942.

Research output: Contribution to journalArticle (Academic Journal)

Open Access
File
9 Downloads (Pure)

Extracting Requirements from Scenarios with ILP

Alrajeh, D., Ray, O., Russo, A. & Uchitel, S., Jul 2007, In : Lecture Notes in Computer Science . p. 64 - 78 15 p.

Research output: Contribution to journalArticle (Academic Journal)

10 Citations (Scopus)

Nonmonotonic abductive inductive learning

Ray, O., Sep 2009, In : Journal of Applied Logic. 7, 3, 329-340.

Research output: Contribution to journalArticle (Academic Journal)

79 Citations (Scopus)

SOLAR: An automated deduction system for consequence finding

Nabeshima, H., Iwanuma, K., Inoue, K. & Ray, O., 2010, In : AI Communications. 23, 2-3, 183-203.

Research output: Contribution to journalArticle (Academic Journal)

38 Citations (Scopus)

Using abduction and induction for operational requirements elaboration

Alrajeh, D., Ray, O., Russo, A. & Uchitel, S., 2009, In : Journal of Applied Logic. 7(3), 275-288.

Research output: Contribution to journalArticle (Academic Journal)

13 Citations (Scopus)