Matthias Knorr
AuthID: R-000-J55
1
TÃTULO: Abstract Dialectical Frameworks are Boolean Networks
AUTORES: Jesse Heyninck; Matthias Knorr; João Leite;
PUBLICAÇÃO: 2025, FONTE: 17th International Conference on Logic Programming and Non-monotonic Reasoning, LPNMR 2024 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 15245 LNAI
AUTORES: Jesse Heyninck; Matthias Knorr; João Leite;
PUBLICAÇÃO: 2025, FONTE: 17th International Conference on Logic Programming and Non-monotonic Reasoning, LPNMR 2024 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 15245 LNAI
2
TÃTULO: ForgettingWeb
AUTORES: Berthold, Matti; Knorr, Matthias; Odekerken, Daphne;
PUBLICAÇÃO: 2023, FONTE: 25th International Symposium on Practical Aspects of Declarative Languages (PADL) in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, NÚMERO: 385
AUTORES: Berthold, Matti; Knorr, Matthias; Odekerken, Daphne;
PUBLICAÇÃO: 2023, FONTE: 25th International Symposium on Practical Aspects of Declarative Languages (PADL) in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, NÚMERO: 385
INDEXADO EM: 
WOS
WOS3
TÃTULO: Revising Boolean Logical Models of Biological Regulatory Networks
AUTORES: Frederico Aleixo; Matthias Knorr; João Leite;
PUBLICAÇÃO: 2023, FONTE: 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023 in Proceedings of the International Conference on Knowledge Representation and Reasoning
AUTORES: Frederico Aleixo; Matthias Knorr; João Leite;
PUBLICAÇÃO: 2023, FONTE: 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023 in Proceedings of the International Conference on Knowledge Representation and Reasoning
4
TÃTULO: On Combining Ontologies and Rules
AUTORES: Knorr, M;
PUBLICAÇÃO: 2022, FONTE: 17th Reasoning Web International Summer School, Reasoning Web 2021 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 13100 LNCS
AUTORES: Knorr, M;
PUBLICAÇÃO: 2022, FONTE: 17th Reasoning Web International Summer School, Reasoning Web 2021 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 13100 LNCS
5
TÃTULO: Towards Provenance in Heterogeneous Knowledge Bases
AUTORES: Knorr, Matthias; Damasio, Carlos Viegas; Goncalves, Ricardo; Leite, Joao;
PUBLICAÇÃO: 2022, FONTE: 16th International Conference on Logic Programming and Non-Monotonic Reasoning (LPNMR) in LOGIC PROGRAMMING AND NONMONOTONIC REASONING, LPNMR 2022, VOLUME: 13416
AUTORES: Knorr, Matthias; Damasio, Carlos Viegas; Goncalves, Ricardo; Leite, Joao;
PUBLICAÇÃO: 2022, FONTE: 16th International Conference on Logic Programming and Non-Monotonic Reasoning (LPNMR) in LOGIC PROGRAMMING AND NONMONOTONIC REASONING, LPNMR 2022, VOLUME: 13416
6
TÃTULO: Faster Than LASER - Towards Stream Reasoning with Deep Neural Networks
AUTORES: Ferreira, Joao; Lavado, Diogo; Goncalves, Ricardo; Knorr, Matthias; Krippahl, Ludwig; Leite, Joao;
PUBLICAÇÃO: 2021, FONTE: 20th EPIA Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE (EPIA 2021), VOLUME: 12981
AUTORES: Ferreira, Joao; Lavado, Diogo; Goncalves, Ricardo; Knorr, Matthias; Krippahl, Ludwig; Leite, Joao;
PUBLICAÇÃO: 2021, FONTE: 20th EPIA Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE (EPIA 2021), VOLUME: 12981
7
TÃTULO: Deep Neural Networks for Approximating Stream Reasoning with C-SPARQL
AUTORES: Ferreira, Ricardo; Lopes, Carolina; Goncalves, Ricardo; Knorr, Matthias; Krippahl, Ludwig; Leite, Joao;
PUBLICAÇÃO: 2021, FONTE: 20th EPIA Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE (EPIA 2021), VOLUME: 12981
AUTORES: Ferreira, Ricardo; Lopes, Carolina; Goncalves, Ricardo; Knorr, Matthias; Krippahl, Ludwig; Leite, Joao;
PUBLICAÇÃO: 2021, FONTE: 20th EPIA Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE (EPIA 2021), VOLUME: 12981
8
TÃTULO: Forgetting in Answer Set Programming - A Survey
AUTORES: Goncalves, R; Knorr, M; Leite, J;
PUBLICAÇÃO: 2021, FONTE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 23, NÚMERO: 1
AUTORES: Goncalves, R; Knorr, M; Leite, J;
PUBLICAÇÃO: 2021, FONTE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 23, NÚMERO: 1
9
TÃTULO: Tractable Reasoning Using Logic Programs with Intensional Concepts
AUTORES: Jesse Heyninck; Ricardo Gonçalves; Matthias Knorr; João Leite;
PUBLICAÇÃO: 2021, FONTE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 12678 LNAI
AUTORES: Jesse Heyninck; Ricardo Gonçalves; Matthias Knorr; João Leite;
PUBLICAÇÃO: 2021, FONTE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 12678 LNAI
10
TÃTULO: On Syntactic Forgetting Under Uniform Equivalence
AUTORES: Ricardo Gonçalves; Tomi Janhunen; Matthias Knorr; João Leite;
PUBLICAÇÃO: 2021, FONTE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 12678 LNAI
AUTORES: Ricardo Gonçalves; Tomi Janhunen; Matthias Knorr; João Leite;
PUBLICAÇÃO: 2021, FONTE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 12678 LNAI
