Stefan Schlobach

Available identifiers

zbMath Open schlobach.stefanWikidataQ57235666 ScholiaQ57235666MaRDI QIDQ2060750

List of research outcomes

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
https://portal.mardi4nfdi.de/entity/Q3007243	2011-06-21	Paper
A Workbench for Anytime Reasoning by Ontology ApproximationWith 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
https://portal.mardi4nfdi.de/entity/Q2701985	2002-02-17	Paper
Tableau calculus for local cubic modal logic and its implementation	2000-07-05	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Stefan Schlobach