Stefan Schlobach

Available identifiers

Publication	Date of Publication	Type
Computing sufficient and necessary conditions in CTL: a forgetting approach	2024-04-11	Paper
An argumentative approach for handling inconsistency in prioritized Datalog ± ontologies	2022-12-12	Paper
Knowledge graphs as tools for explainable machine learning: a survey	2021-12-13	Paper
Multi-domain and Explainable Prediction of Changes in Web Vocabularies (code & data)	2021-11-18	Dataset
https://portal.mardi4nfdi.de/entity/Q3007243	2011-06-21	Paper
A workbench for anytime reasoning by ontology approximation. With a case study on instance retrieval	2011-04-12	Paper
ABox abduction in the description logic \(\mathcal{ALC}\)	2011-04-05	Paper
Debugging incoherent terminologies	2007-12-03	Paper
Logics in Artificial Intelligence	2006-10-25	Paper
Labelled deduction for the guarded fragment	2002-02-17	Paper
Tableau calculus for local cubic modal logic and its implementation	2000-07-05	Paper

This page was built for person: Stefan Schlobach