Szymon Klarman

semantic web linked data knowledge management api rdf sparql graphql data provenance semantic web verification computational science discovery data abductive reasoning abduction description logics computational social choice judgment aggregation description logic contexts prediction explanation query languages description logic temporal data description logic query languages description logic learning theory ontologies artificial intelligence data mining machine learning