Frank van Harmelen

From MaRDI portal
Person:685546

Available identifiers

zbMath Open van-harmelen.frankDBLPh/FrankvanHarmelenWikidataQ5490605 ScholiaQ5490605MaRDI QIDQ685546

List of research outcomes





PublicationDate of PublicationType
OfficeGraph2023-12-01Dataset
Refining neural network predictions using background knowledge2023-08-22Paper
Extensions to the rippling-out tactic for guiding inductive proofs2023-04-28Paper
The OYSTER-CLAM system2023-04-28Paper
Refining Large Integrated Identity Graphs using the Unique Name Assumption2023-03-24Dataset
Graphs of redirection: an examination of URIs in identity graphs2022-10-19Dataset
https://portal.mardi4nfdi.de/entity/Q58696172022-09-28Paper
Planning for potential: efficient safe reinforcement learning2022-08-10Paper
Analyzing differentiable fuzzy logic operators2021-12-13Paper
Annotated (Pseudo-)Transitive Relations of the LOD Cloud2021-03-17Dataset
Annotated Pseudo-Transitive Relations of the LOD Cloud2020-12-18Dataset
MetaLink - Closure and Error Degree of 556M owl:sameAs statements2019-04-10Dataset
Equivalence Classes of the LOD Cloud2019-01-28Dataset
sameAs.cc - Dataset of 558M owl:sameAs statements2018-06-03Dataset
A Workbench for Anytime Reasoning by Ontology ApproximationWith a case study on instance retrieval2011-04-12Paper
Debugging incoherent terminologies2007-12-03Paper
Information sharing on the semantic web.2005-01-31Paper
https://portal.mardi4nfdi.de/entity/Q47395372004-08-12Paper
https://portal.mardi4nfdi.de/entity/Q44456392004-02-02Paper
https://portal.mardi4nfdi.de/entity/Q44118652003-07-10Paper
https://portal.mardi4nfdi.de/entity/Q45347892002-06-11Paper
Rippling: A heuristic for guiding inductive proofs1994-05-09Paper
https://portal.mardi4nfdi.de/entity/Q40344071993-05-16Paper
Experiments with proof plans for induction1991-01-01Paper
https://portal.mardi4nfdi.de/entity/Q34909901989-01-01Paper
https://portal.mardi4nfdi.de/entity/Q38231571989-01-01Paper
Explanation-based generalisation \(=\) partial evaluation1988-01-01Paper

Research outcomes over time

This page was built for person: Frank van Harmelen