Matthias Knorr

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
On combining ontologies and rules Reasoning Web. Declarative Artificial Intelligence	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 Artificial Intelligence	2020-11-16	Paper
A syntactic operator for forgetting that satisfies strong persistence Theory and Practice of Logic Programming	2020-05-04	Paper
Telco network inventory validation with NoHR	2019-10-10	Paper
scientific article; zbMATH DE number 7015123 (Why is no real title available?)	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 Artificial Intelligence	2018-05-11	Paper
When you must forget: Beyond strong persistence when forgetting in answer set programming Theory and Practice of Logic Programming	2017-11-08	Paper
scientific article; zbMATH DE number 6747919 (Why is no real title available?)	2017-07-18	Paper
Inconsistency Management in Reactive Multi-context Systems Logics in Artificial Intelligence	2016-11-30	Paper
Forgetting in ASP: the forgotten properties Logics in Artificial Intelligence	2016-11-30	Paper
Reconciling OWL and non-monotonic rules for the semantic web	2015-12-11	Paper
Query-driven procedures for hybrid MKNF knowledge bases ACM Transactions on Computational Logic	2015-09-17	Paper
What if no hybrid reasoner is available? Hybrid MKNF in multi-context systems Journal Of Logic And Computation	2015-01-19	Paper
Preserving strong equivalence while forgetting Logics in Artificial Intelligence	2015-01-14	Paper
Evolving bridge rules in evolving multi-context systems Lecture Notes in Computer Science	2014-10-14	Paper
Forgetting under the well-founded semantics Logic Programming and Nonmonotonic Reasoning	2013-10-10	Paper
Non-monotonic temporal goals Logic Programming and Nonmonotonic Reasoning	2013-10-10	Paper
Time is up! -- Norms with deadlines in action languages Lecture Notes in Computer Science	2013-10-04	Paper
MKNF knowledge bases in multi-context systems Lecture Notes in Computer Science	2012-09-21	Paper
Local closed world reasoning with description logics under the well-founded semantics Artificial Intelligence	2011-11-17	Paper

Research outcomes over time

This page was built for person: Matthias Knorr