Matthias Knorr

Matthias Knorr, Gerhard Wellein, Georg Hager, 2021, 2021 IEEE 33rd International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD).

Non-monotonic Temporal Goals

Matthias Knorr, Ricardo Gonçalves, João Leite, 2013, LPNMR.

Forgetting in Answer Set Programming - A Survey

João Leite, Matthias Knorr, Ricardo Gonccalves, 2021, Theory Pract. Log. Program..

On the limits of forgetting in Answer Set Programming

Stefan Woltran, Matthias Knorr, Ricardo Gonçalves, 2020, Artif. Intell..

A Syntactic Operator for Forgetting that Satisfies Strong Persistence

Matthias Knorr, Ricardo Gonçalves, João Leite, 2019, Theory and Practice of Logic Programming.

On Syntactic Forgetting Under Uniform Equivalence

Matthias Knorr, Ricardo Gonçalves, João Leite, 2021, JELIA.

The Ultimate Guide to Forgetting in Answer Set Programming

Matthias Knorr, Ricardo Gonçalves, João Leite, 2016, KR.

Preserving Strong Equivalence while Forgetting

José Júlio Alferes, Matthias Knorr, Matthias Knorr, 2014, JELIA.

Forgetting under the Well-Founded Semantics

José Júlio Alferes, Matthias Knorr, Kewen Wang, 2013, LPNMR.

You Can't Always Forget What You Want: On the Limits of Forgetting in Answer Set Programming

Matthias Knorr, Ricardo Gonçalves, João Leite, 2016, ECAI.

What if no hybrid reasoner is available? Hybrid MKNF in multi-context systems

Matthias Knorr, João Leite, Martin Slota, 2014, J. Log. Comput..

MKNF Knowledge Bases in Multi-Context Systems

Matthias Knorr, João Leite, Martin Slota, 2012, CLIMA.

Knowledge Bases in Multi-Context Systems

Matthias Knorr, Martin Slota, Martin Homola, 2012 .

Reactive Multi-Context Systems: Heterogeneous Reasoning in Dynamic Environments pdf

Matthias Knorr, Ricardo Gonçalves, João Leite, 2016, Artif. Intell..

Forgetting in Modular Answer Set Programming

Stefan Woltran, Matthias Knorr, Ricardo Gonçalves, 2019, AAAI.