Person:2460296

Available identifiers

zbMath Open ray.oliverMaRDI QIDQ2460296

List of research outcomes

Publication	Date of Publication	Type
A logic programming approach to predict effective compiler settings for embedded software	2017-11-09	Paper
Analyzing Pathways Using ASP-Based Approaches	2012-06-08	Paper
SOLAR: An automated deduction system for consequence finding	2010-06-17	Paper
Inductive Logic Programming	2010-02-23	Paper
Using abduction and induction for operational requirements elaboration	2009-08-14	Paper
Nonmonotonic abductive inductive learning	2009-08-14	Paper
Mode-Directed Inverse Entailment for Full Clausal Theories	2008-03-28	Paper
Extracting Requirements from Scenarios with ILP	2007-11-15	Paper
Abductive reasoning in neural-symbolic systems	2007-11-14	Paper
Logic Programming	2006-06-27	Paper
Logic Programming	2005-08-26	Paper
A Hybrid Abductive Inductive Proof Procedure	2005-04-05	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Oliver Ray