Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Claudia Calabrese
Maria Concetta Palumbo
Jhonathan Pinzon
Giovanni Venturelli
Chen Ma
Kun Qian
Radu Timofte
Kuanrui Yin
Nnamdi O. Madichie
Hasmik Badikyan
Home
/
Author
/
OLIVER RAY
Author Info
Open Visualization
Name
Affiliation
Papers
OLIVER RAY
University of Bristol, Bristol, United Kingdom
24
Collaborators
Citations
PageRank
23
171
13.02
Referers
Referees
References
228
333
268
Search Limit
100
333
Publications (24 rows)
Collaborators (23 rows)
Referers (100 rows)
Referees (100 rows)
Title
Citations
PageRank
Year
Learning and Revising Dynamic Temporal Theories in the Full Discrete Event Calculus
0
0.34
2021
Using Agreement Statements to Identify Majority Opinion in UKHL Case Law.
0
0.34
2018
From Case Law to Ratio Decidendi.
0
0.34
2017
Automatically Tuning the GCC Compiler to Optimize the Performance of Applications Running on the ARM Cortex-M3.
1
0.34
2017
A logic programming approach to predict effective compiler settings for embedded software
3
0.38
2015
Logical Modelling of Inhibition and Competition in Biochemical Networks
0
0.34
2014
Analyzing pathways using ASP-based approaches
6
0.49
2010
Logic-Based Steady-State Analysis and Revision of Metabolic Networks with Inhibition
12
0.58
2010
SOLAR: An automated deduction system for consequence finding
23
1.10
2010
Nonmonotonic abductive inductive learning
60
2.09
2009
A Nonmonotonic Logical Approach For Modelling And Revising Metabolic Networks
3
0.43
2009
A Neural Network Approach for First-Order Abductive Inference
0
0.34
2009
Towards a Rational Approach for the Logical Modelling of Inhibition in Metabolic Networks
1
0.35
2009
Automatic revision of metabolic networks through logical analysis of experimental data
5
0.45
2009
Inferring the Function of Genes from Synthetic Lethal Mutations
5
0.49
2008
Towards a logical reconstruction of CF-induction
4
0.45
2007
A consequence finding approach for full clausal abduction
8
0.56
2007
Mode-directed inverse entailment for full clausal theories
6
0.49
2007
Abductive Logic Programming in the Clinical Management of HIV/AIDS
1
0.36
2006
Extracting Requirements from Scenarios with ILP
11
0.70
2006
The need for ancestor resolution when answering queries in horn clause logic
0
0.34
2005
A Hybrid Abductive Inductive Proof Procedure
7
0.53
2004
Generalised Kernel Sets for Inverse Entailment
3
0.43
2004
Hybrid Abductive Inductive Learning: A Generalisation of Progol
12
0.77
2003
1