Frank van Harmelen

Available identifiers

zbMath Open van-harmelen.frankDBLPh/FrankvanHarmelenWikidataQ5490605 ScholiaQ5490605MaRDI QIDQ685546

List of research outcomes

Publication	Date of Publication	Type
OfficeGraph	2023-12-01	Dataset
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
Refining Large Integrated Identity Graphs using the Unique Name Assumption	2023-03-24	Dataset
Graphs of redirection: an examination of URIs in identity graphs	2022-10-19	Dataset
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
Annotated (Pseudo-)Transitive Relations of the LOD Cloud	2021-03-17	Dataset
Annotated Pseudo-Transitive Relations of the LOD Cloud	2020-12-18	Dataset
MetaLink - Closure and Error Degree of 556M owl:sameAs statements	2019-04-10	Dataset
Equivalence Classes of the LOD Cloud	2019-01-28	Dataset
sameAs.cc - Dataset of 558M owl:sameAs statements	2018-06-03	Dataset
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

Research outcomes over time

This page was built for person: Frank van Harmelen