Matthias Knorr
AuthID: R-000-J55
1
TITLE: ForgettingWeb
AUTHORS: Berthold, Matti; Knorr, Matthias; Odekerken, Daphne;
PUBLISHED: 2023, SOURCE: 25th International Symposium on Practical Aspects of Declarative Languages (PADL) in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, ISSUE: 385
AUTHORS: Berthold, Matti; Knorr, Matthias; Odekerken, Daphne;
PUBLISHED: 2023, SOURCE: 25th International Symposium on Practical Aspects of Declarative Languages (PADL) in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, ISSUE: 385
INDEXED IN: 
WOS
WOS2
TITLE: Revising Boolean Logical Models of Biological Regulatory Networks
AUTHORS: Frederico Aleixo; Matthias Knorr; João Leite;
PUBLISHED: 2023, SOURCE: 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023 in Proceedings of the International Conference on Knowledge Representation and Reasoning
AUTHORS: Frederico Aleixo; Matthias Knorr; João Leite;
PUBLISHED: 2023, SOURCE: 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023 in Proceedings of the International Conference on Knowledge Representation and Reasoning
INDEXED IN: 
Scopus
Scopus3
TITLE: Towards Provenance in Heterogeneous Knowledge Bases
AUTHORS: Knorr, Matthias; Damasio, Carlos Viegas; Goncalves, Ricardo; Leite, Joao;
PUBLISHED: 2022, SOURCE: 16th International Conference on Logic Programming and Non-Monotonic Reasoning (LPNMR) in LOGIC PROGRAMMING AND NONMONOTONIC REASONING, LPNMR 2022, VOLUME: 13416
AUTHORS: Knorr, Matthias; Damasio, Carlos Viegas; Goncalves, Ricardo; Leite, Joao;
PUBLISHED: 2022, SOURCE: 16th International Conference on Logic Programming and Non-Monotonic Reasoning (LPNMR) in LOGIC PROGRAMMING AND NONMONOTONIC REASONING, LPNMR 2022, VOLUME: 13416
INDEXED IN: Scopus WOS
Scopus WOS4
TITLE: Faster Than LASER - Towards Stream Reasoning with Deep Neural Networks
AUTHORS: Ferreira, Joao; Lavado, Diogo; Goncalves, Ricardo; Knorr, Matthias; Krippahl, Ludwig; Leite, Joao;
PUBLISHED: 2021, SOURCE: 20th EPIA Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE (EPIA 2021), VOLUME: 12981
AUTHORS: Ferreira, Joao; Lavado, Diogo; Goncalves, Ricardo; Knorr, Matthias; Krippahl, Ludwig; Leite, Joao;
PUBLISHED: 2021, SOURCE: 20th EPIA Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE (EPIA 2021), VOLUME: 12981
INDEXED IN: Scopus WOS
Scopus WOS5
TITLE: Deep Neural Networks for Approximating Stream Reasoning with C-SPARQL
AUTHORS: Ferreira, Ricardo; Lopes, Carolina; Goncalves, Ricardo; Knorr, Matthias; Krippahl, Ludwig; Leite, Joao;
PUBLISHED: 2021, SOURCE: 20th EPIA Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE (EPIA 2021), VOLUME: 12981
AUTHORS: Ferreira, Ricardo; Lopes, Carolina; Goncalves, Ricardo; Knorr, Matthias; Krippahl, Ludwig; Leite, Joao;
PUBLISHED: 2021, SOURCE: 20th EPIA Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE (EPIA 2021), VOLUME: 12981
INDEXED IN: Scopus WOS
Scopus WOS6
TITLE: Forgetting in Answer Set Programming - A Survey
AUTHORS: Goncalves, R; Knorr, M; Leite, J;
PUBLISHED: 2021, SOURCE: THEORY AND PRACTICE OF LOGIC PROGRAMMING
AUTHORS: Goncalves, R; Knorr, M; Leite, J;
PUBLISHED: 2021, SOURCE: THEORY AND PRACTICE OF LOGIC PROGRAMMING
INDEXED IN: WOS
WOS7
TITLE: On the limits of forgetting in Answer Set Programming
AUTHORS: Gonçalves, R; Knorr, M; Leite, J; Woltran, S;
PUBLISHED: 2020, SOURCE: Artificial Intelligence, VOLUME: 286
AUTHORS: Gonçalves, R; Knorr, M; Leite, J; Woltran, S;
PUBLISHED: 2020, SOURCE: Artificial Intelligence, VOLUME: 286
INDEXED IN: Scopus
Scopus8
TITLE: On the limits of forgetting in Answer Set Programming Full Text
AUTHORS: Ricardo Goncalves; Matthias Knorr; Joao Leite; Stefan Woltran;
PUBLISHED: 2020, SOURCE: ARTIFICIAL INTELLIGENCE, VOLUME: 286
AUTHORS: Ricardo Goncalves; Matthias Knorr; Joao Leite; Stefan Woltran;
PUBLISHED: 2020, SOURCE: ARTIFICIAL INTELLIGENCE, VOLUME: 286
INDEXED IN: WOS
WOS9
TITLE: NoHR: An Overview Reasoning with Ontologies and Nonmonotonic Rules
AUTHORS: Vedran Kasalica; Matthias Knorr; Joao Leite; Carlos Lopes;
PUBLISHED: 2020, SOURCE: KUNSTLICHE INTELLIGENZ, VOLUME: 34, ISSUE: 4
AUTHORS: Vedran Kasalica; Matthias Knorr; Joao Leite; Carlos Lopes;
PUBLISHED: 2020, SOURCE: KUNSTLICHE INTELLIGENZ, VOLUME: 34, ISSUE: 4
INDEXED IN: Scopus WOS
Scopus WOS10
TITLE: Forgetting in Modular Answer Set Programming
AUTHORS: Ricardo Goncalves; Tomi Janhunen; Matthias Knorr; Joao Leite; Stefan Woltran;
PUBLISHED: 2019, SOURCE: 33rd AAAI Conference on Artificial Intelligence / 31st Innovative Applications of Artificial Intelligence Conference / 9th AAAI Symposium on Educational Advances in Artificial Intelligence in THIRTY-THIRD AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE / THIRTY-FIRST INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE / NINTH AAAI SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE
AUTHORS: Ricardo Goncalves; Tomi Janhunen; Matthias Knorr; Joao Leite; Stefan Woltran;
PUBLISHED: 2019, SOURCE: 33rd AAAI Conference on Artificial Intelligence / 31st Innovative Applications of Artificial Intelligence Conference / 9th AAAI Symposium on Educational Advances in Artificial Intelligence in THIRTY-THIRD AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE / THIRTY-FIRST INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE / NINTH AAAI SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE
INDEXED IN: WOS
WOS