Frank van Harmelen

MaRDI QIDQ685546zbMATH OpenDBLPORCIDWikidataFDO

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
OfficeGraph	2023-12-01	Dataset
Refining neural network predictions using background knowledge Machine Learning	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
Semi-supervised learning using differentiable reasoning (available as arXiv preprint)	2022-09-28	Paper
Planning for potential: efficient safe reinforcement learning Machine Learning	2022-08-10	Paper
Analyzing differentiable fuzzy logic operators Artificial Intelligence	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 approximation. With a case study on instance retrieval	2011-04-12	Paper
Debugging incoherent terminologies Journal of Automated Reasoning	2007-12-03	Paper
Information sharing on the semantic web. Advanced Information and Knowledge Processing	2005-01-31	Paper
scientific article; zbMATH DE number 2088341 (Why is no real title available?)	2004-08-12	Paper
scientific article; zbMATH DE number 2036257 (Why is no real title available?)	2004-02-02	Paper
scientific article; zbMATH DE number 1948197 (Why is no real title available?)	2003-07-10	Paper
scientific article; zbMATH DE number 1754153 (Why is no real title available?)	2002-06-11	Paper
Rippling: A heuristic for guiding inductive proofs Artificial Intelligence	1994-05-09	Paper
scientific article; zbMATH DE number 167415 (Why is no real title available?)	1993-05-16	Paper
Experiments with proof plans for induction Journal of Automated Reasoning	1991-01-01	Paper
scientific article; zbMATH DE number 4164172 (Why is no real title available?)	1989-01-01	Paper
scientific article; zbMATH DE number 4096803 (Why is no real title available?)	1989-01-01	Paper
Explanation-based generalisation \(=\) partial evaluation Artificial Intelligence	1988-01-01	Paper

Research outcomes over time

This page was built for person: Frank van Harmelen