Oliver Ray

From MaRDI portal
Person:2460296

Available identifiers

zbMath Open ray.oliverMaRDI QIDQ2460296

List of research outcomes





PublicationDate of PublicationType
A logic programming approach to predict effective compiler settings for embedded software2017-11-09Paper
Analyzing Pathways Using ASP-Based Approaches2012-06-08Paper
SOLAR: An automated deduction system for consequence finding2010-06-17Paper
Inductive Logic Programming2010-02-23Paper
Nonmonotonic abductive inductive learning2009-08-14Paper
Using abduction and induction for operational requirements elaboration2009-08-14Paper
Mode-Directed Inverse Entailment for Full Clausal Theories2008-03-28Paper
Extracting Requirements from Scenarios with ILP2007-11-15Paper
Abductive reasoning in neural-symbolic systems2007-11-14Paper
Logic Programming2006-06-27Paper
Logic Programming2005-08-26Paper
A Hybrid Abductive Inductive Proof Procedure2005-04-05Paper

Research outcomes over time

This page was built for person: Oliver Ray

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:2460296&oldid=11002790"
Powered by MediaWiki