![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Oliver Ray
Person information
Refine list
![note](https://dblp1.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Books and Theses
- 2005
- [b1]Oliver Ray:
Hybrid abductive inductive learning. Imperial College London, UK, 2005
Journal Articles
- 2021
- [j6]Grant Stevens
, Sotiria Fotopoulou
, Malcolm N. Bremer, Oliver Ray:
AstronomicAL: an interactive dashboard for visualisation, integration and classification of data with Active Learning. J. Open Source Softw. 6(65): 3635 (2021) - 2015
- [j5]Craig Blackmore, Oliver Ray, Kerstin Eder:
A logic programming approach to predict effective compiler settings for embedded software. Theory Pract. Log. Program. 15(4-5): 481-494 (2015) - 2010
- [j4]Hidetomo Nabeshima, Koji Iwanuma, Katsumi Inoue
, Oliver Ray:
SOLAR: An automated deduction system for consequence finding. AI Commun. 23(2-3): 183-203 (2010) - 2009
- [j3]Dalal Alrajeh, Oliver Ray, Alessandra Russo
, Sebastián Uchitel
:
Using abduction and induction for operational requirements elaboration. J. Appl. Log. 7(3): 275-288 (2009) - [j2]Oliver Ray:
Nonmonotonic abductive inductive learning. J. Appl. Log. 7(3): 329-340 (2009) - 2004
- [j1]Oliver Ray, Krysia Broda, Alessandra Russo:
A Hybrid Abductive Inductive Proof Procedure. Log. J. IGPL 12(5): 371-397 (2004)
Conference and Workshop Papers
- 2023
- [c27]Andreasa Morris-Martin, Marina De Vos, Julian A. Padget, Oliver Ray:
Agent-directed Runtime Norm Synthesis. AAMAS 2023: 2271-2279 - [c26]Oliver Deane
, Oliver Ray
:
Interactive Model Refinement in Relational Domains with Inductive Logic Programming. IUI Companion 2023: 127-129 - 2021
- [c25]Oliver Ray:
Learning and Revising Dynamic Temporal Theories in the Full Discrete Event Calculus. ILP 2021: 219-233 - [c24]Oliver Ray, Steve Moyle:
Towards expert-guided elucidation of cyber attacks through interactive inductive logic programming. KSE 2021: 1-7 - 2020
- [c23]Oliver Ray, Amy Conroy
, Rozano Imansyah:
Summarisation with Majority Opinion. JURIX 2020: 247-250 - 2018
- [c22]Josef Valvoda, Oliver Ray, Ken Satoh:
Using Agreement Statements to Identify Majority Opinion in UKHL Case Law. JURIX 2018: 141-150 - 2017
- [c21]Josef Valvoda, Oliver Ray:
From Case Law to Ratio Decidendi. JSAI-isAI Workshops 2017: 20-34 - 2016
- [c20]Oliver Ray, Samuel Hicks, Steve Moyle:
Using ILP to Analyse Ransomware Attacks. ILP (Short Papers) 2016: 54-59 - 2015
- [c19]Robert Rozanski, Stefano Bragaglia, Oliver Ray, Ross D. King:
Automating the Development of Metabolic Network Models. CMSB 2015: 145-156 - 2014
- [c18]Oliver Ray, Robert Rozanski:
Logical Modelling of Inhibition and Competition in Biochemical Networks. CISIS 2014: 525-530 - [c17]Stefano Bragaglia, Oliver Ray:
Nonmonotonic Learning in Large Biological Networks. ILP 2014: 33-48 - 2010
- [c16]Oliver Ray, Takehide Soh, Katsumi Inoue
:
Analyzing Pathways Using ASP-Based Approaches. ANB 2010: 167-183 - [c15]Oliver Ray, Ken E. Whelan, Ross D. King
:
Logic-Based Steady-State Analysis and Revision of Metabolic Networks with Inhibition. CISIS 2010: 661-666 - 2009
- [c14]Oliver Ray:
Towards a Rational Approach for the Logical Modelling of Inhibition in Metabolic Networks. AINA Workshops 2009: 918-923 - [c13]Oliver Ray, Ken E. Whelan, Ross D. King
:
A Nonmonotonic Logical Approach for Modelling and Revising Metabolic Networks. CISIS 2009: 825-829 - [c12]Domenico Corapi, Oliver Ray, Alessandra Russo
, Arosha K. Bandara
, Emil C. Lupu
:
Learning Rules from User Behaviour. AIAI 2009: 459-468 - [c11]Oliver Ray, Ken E. Whelan, Ross D. King
:
Automatic Revision of Metabolic Networks through Logical Analysis of Experimental Data. ILP 2009: 194-201 - [c10]Oliver Ray, Bruno Golénia:
A Neural Network Approach for First-Order Abductive Inference. NeSy 2009 - 2008
- [c9]Oliver Ray, Christopher H. Bryant
:
Inferring the Function of Genes from Synthetic Lethal Mutations. CISIS 2008: 667-671 - 2007
- [c8]Oliver Ray, Katsumi Inoue:
A Consequence Finding Approach for Full Clausal Abduction. Discovery Science 2007: 173-184 - [c7]Oliver Ray, Katsumi Inoue
:
Mode-Directed Inverse Entailment for Full Clausal Theories. ILP 2007: 225-238 - [c6]Yoshitaka Yamamoto, Oliver Ray, Katsumi Inoue
:
Towards a Logical Reconstruction of CF-Induction. JSAI 2007: 330-343 - 2006
- [c5]Oliver Ray, Athos Antoniades, Antonis C. Kakas, Ioannis Demetriades:
Abductive Logic Programming in the Clinical Management of HIV/AIDS. ECAI 2006: 437-441 - [c4]Dalal Alrajeh, Oliver Ray, Alessandra Russo
, Sebastián Uchitel:
Extracting Requirements from Scenarios with ILP. ILP 2006: 64-78 - 2005
- [c3]Oliver Ray:
The Need for Ancestor Resolution When Answering Queries in Horn Clause Logic. ICLP 2005: 410-411 - 2004
- [c2]Oliver Ray, Krysia Broda, Alessandra Russo
:
Generalised Kernel Sets for Inverse Entailment. ICLP 2004: 165-179 - 2003
- [c1]Oliver Ray, Krysia Broda, Alessandra Russo
:
Hybrid Abductive Inductive Learning: A Generalisation of Progol. ILP 2003: 311-328
Parts in Books or Collections
- 2007
- [p1]Oliver Ray:
Automated Abduction in Scientific Discovery. Model-Based Reasoning in Science, Technology, and Medicine 2007: 103-116
Informal and Other Publications
- 2021
- [i3]Grant Stevens, Sotiria Fotopoulou, Malcolm N. Bremer, Oliver Ray:
AstronomicAL: An interactive dashboard for visualisation, integration and classification of data using Active Learning. CoRR abs/2109.05207 (2021) - 2017
- [i2]Craig Blackmore, Oliver Ray, Kerstin Eder:
Automatically Tuning the GCC Compiler to Optimize the Performance of Applications Running on the ARM Cortex-M3. CoRR abs/1703.08228 (2017) - 2011
- [i1]Katsuhisa Horimoto, Katsumi Inoue, Oliver Ray:
International Symposium on Symbolic Systems Biology (NII Shonan Meeting 2011-7). NII Shonan Meet. Rep. 2011 (2011)
Coauthor Index
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 22:59 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint