Travelled to:1 × France
1 × Spain
Collaborated with:∅ C.Blackmore K.Eder K.Broda A.Russo
Talks about:logic (2) set (2) generalis (1) approach (1) ancestor (1) softwar (1) resolut (1) program (1) predict (1) kernel (1)
Person: Oliver Ray
DBLP: Ray:Oliver
Contributed to:
201520052004Wrote 3 papers:
- ICLP-J-2015-BlackmoreRE #approach #compilation #effectiveness #embedded #logic programming #predict
- A logic programming approach to predict effective compiler settings for embedded software (CB, OR, KE), pp. 481–494.
- ICLP-2005-Ray #horn clause #logic #query
- The Need for Ancestor Resolution When Answering Queries in Horn Clause Logic (OR), pp. 410–411.
- ICLP-2004-RayBR #kernel #set
- Generalised Kernel Sets for Inverse Entailment (OR, KB, AR), pp. 165–179.