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
2
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
3
TITLE: On Combining Ontologies and Rules
AUTHORS: Knorr, M;
PUBLISHED: 2022, SOURCE: 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
AUTHORS: Knorr, M;
PUBLISHED: 2022, SOURCE: 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
4
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
5
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
6
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
7
TITLE: Forgetting in Answer Set Programming - A Survey
AUTHORS: Goncalves, R; Knorr, M; Leite, J;
PUBLISHED: 2021, SOURCE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 23, ISSUE: 1
AUTHORS: Goncalves, R; Knorr, M; Leite, J;
PUBLISHED: 2021, SOURCE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 23, ISSUE: 1
8
TITLE: Tractable Reasoning Using Logic Programs with Intensional Concepts
AUTHORS: Jesse Heyninck; Ricardo Gonçalves; Matthias Knorr; João Leite;
PUBLISHED: 2021, SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 12678 LNAI
AUTHORS: Jesse Heyninck; Ricardo Gonçalves; Matthias Knorr; João Leite;
PUBLISHED: 2021, SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 12678 LNAI
9
TITLE: On Syntactic Forgetting Under Uniform Equivalence
AUTHORS: Ricardo Gonçalves; Tomi Janhunen; Matthias Knorr; João Leite;
PUBLISHED: 2021, SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 12678 LNAI
AUTHORS: Ricardo Gonçalves; Tomi Janhunen; Matthias Knorr; João Leite;
PUBLISHED: 2021, SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 12678 LNAI
10
TITLE: On the limits of forgetting in Answer Set Programming Full Text
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