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
Tractable reasoning using logic programs with intensional concepts	2021-12-01	Paper
On syntactic forgetting under uniform equivalence	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

This page was built for person: Matthias Knorr