Knorr, Matthias

2 publications

AAAI 2019 Forgetting in Modular Answer Set Programming Ricardo Gonçalves, Tomi Janhunen, Matthias Knorr, João Leite, Stefan Woltran

IJCAI 2015 Efficient Paraconsistent Reasoning with Ontologies and Rules Tobias Kaminski, Matthias Knorr, João Leite