Oliver Ray

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
A logic programming approach to predict effective compiler settings for embedded software Theory and Practice of Logic Programming	2017-11-09	Paper
Analyzing pathways using ASP-based approaches Algebraic and Numeric Biology	2012-06-08	Paper
SOLAR: An automated deduction system for consequence finding AI Communications	2010-06-17	Paper
Inductive Logic Programming Lecture Notes in Computer Science	2010-02-23	Paper
Nonmonotonic abductive inductive learning Journal of Applied Logic	2009-08-14	Paper
Using abduction and induction for operational requirements elaboration Journal of Applied Logic	2009-08-14	Paper
Mode-Directed Inverse Entailment for Full Clausal Theories Inductive Logic Programming	2008-03-28	Paper
Extracting Requirements from Scenarios with ILP Inductive Logic Programming	2007-11-15	Paper
Abductive reasoning in neural-symbolic systems Topoi	2007-11-14	Paper
Logic Programming Lecture Notes in Computer Science	2006-06-27	Paper
Logic Programming Lecture Notes in Computer Science	2005-08-26	Paper
A Hybrid Abductive Inductive Proof Procedure Logic Journal of the IGPL	2005-04-05	Paper

Research outcomes over time

This page was built for person: Oliver Ray