Matthias Knorr

Available identifiers

zbMath Open knorr.matthiasWikidataQ102423407 ScholiaQ102423407MaRDI QIDQ646499

List of research outcomes

Publication	Date of Publication	Type
On combining ontologies and rules	2023-08-03	Paper
Towards provenance in heterogeneous knowledge bases	2023-04-04	Paper
On syntactic forgetting under uniform equivalence	2021-12-01	Paper
Tractable reasoning using logic programs with intensional concepts	2021-12-01	Paper
On the limits of forgetting in answer set programming	2020-11-16	Paper
A Syntactic Operator for Forgetting that Satisfies Strong Persistence	2020-05-04	Paper
Telco network inventory validation with NoHR	2019-10-10	Paper
https://portal.mardi4nfdi.de/entity/Q4619830	2019-02-07	Paper
You Can't Always Forget What You Want: On the Limits of Forgetting in Answer Set Programming	2018-07-12	Paper
Reactive multi-context systems: heterogeneous reasoning in dynamic environments	2018-05-11	Paper
When you must forget: Beyond strong persistence when forgetting in answer set programming	2017-11-08	Paper
https://portal.mardi4nfdi.de/entity/Q5282995	2017-07-18	Paper
Inconsistency Management in Reactive Multi-context Systems	2016-11-30	Paper
Forgetting in ASP: The Forgotten Properties	2016-11-30	Paper
https://portal.mardi4nfdi.de/entity/Q3457253	2015-12-11	Paper
Query-Driven Procedures for Hybrid MKNF Knowledge Bases	2015-09-17	Paper
What if no hybrid reasoner is available? Hybrid MKNF in multi-context systems	2015-01-19	Paper
Preserving Strong Equivalence while Forgetting	2015-01-14	Paper
Evolving Bridge Rules in Evolving Multi-Context Systems	2014-10-14	Paper
Forgetting under the Well-Founded Semantics	2013-10-10	Paper
Non-monotonic Temporal Goals	2013-10-10	Paper
Time Is Up! – Norms with Deadlines in Action Languages	2013-10-04	Paper
MKNF Knowledge Bases in Multi-Context Systems	2012-09-21	Paper
Local closed world reasoning with description logics under the well-founded semantics	2011-11-17	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: Matthias Knorr