Frank van Harmelen

Available identifiers

Publication	Date of Publication	Type
Refining neural network predictions using background knowledge	2023-08-22	Paper
Extensions to the rippling-out tactic for guiding inductive proofs	2023-04-28	Paper
The OYSTER-CLAM system	2023-04-28	Paper
https://portal.mardi4nfdi.de/entity/Q5869617	2022-09-28	Paper
Planning for potential: efficient safe reinforcement learning	2022-08-10	Paper
Analyzing differentiable fuzzy logic operators	2021-12-13	Paper
A Workbench for Anytime Reasoning by Ontology ApproximationWith a case study on instance retrieval	2011-04-12	Paper
Debugging incoherent terminologies	2007-12-03	Paper
Information sharing on the semantic web.	2005-01-31	Paper
https://portal.mardi4nfdi.de/entity/Q4739537	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q4445639	2004-02-02	Paper
https://portal.mardi4nfdi.de/entity/Q4411865	2003-07-10	Paper
https://portal.mardi4nfdi.de/entity/Q4534789	2002-06-11	Paper
Rippling: A heuristic for guiding inductive proofs	1994-05-09	Paper
https://portal.mardi4nfdi.de/entity/Q4034407	1993-05-16	Paper
Experiments with proof plans for induction	1991-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3490990	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3823157	1989-01-01	Paper
Explanation-based generalisation \(=\) partial evaluation	1988-01-01	Paper

No records found.

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Frank van Harmelen