Stefan Schlobach

MaRDI QIDQ2060750zbMATH 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
Computing sufficient and necessary conditions in CTL: a forgetting approach Information Sciences	2024-04-11	Paper
An argumentative approach for handling inconsistency in prioritized Datalog ± ontologies AI Communications	2022-12-12	Paper
Knowledge graphs as tools for explainable machine learning: a survey Artificial Intelligence	2021-12-13	Paper
Multi-domain and Explainable Prediction of Changes in Web Vocabularies (code & data)	2021-11-18	Dataset
scientific article; zbMATH DE number 5910638 (Why is no real title available?)	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}\) Journal of Automated Reasoning	2011-04-05	Paper
Debugging incoherent terminologies Journal of Automated Reasoning	2007-12-03	Paper
Logics in Artificial Intelligence Lecture Notes in Computer Science	2006-10-25	Paper
Labelled deduction for the guarded fragment	2002-02-17	Paper
Tableau calculus for local cubic modal logic and its implementation Logic Journal of the IGPL	2000-07-05	Paper

Research outcomes over time

This page was built for person: Stefan Schlobach