Research output per year
Research output per year
Fingerprint
Dive into the research topics where Matthias Knorr is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Abstract Dialectical Frameworks are Boolean Networks*
Heyninck, J., Knorr, M. & Leite, J., 2024, In: CEUR Workshop Proceedings. 3835, p. 53-60 8 p.Research output: Contribution to journal › Conference article › peer-review
-
On Abstracting over the Irrelevant in Answer Set Programming
Saribatur, Z. G., Knorr, M., Gonçalves, R. & Leite, J., 2024, Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning, KR 2024. Marquis, P., Marquis, P., Ortiz, M. & Pagnucco, M. (eds.). Association for the Advancement of Artificial Intelligence, p. 654-664 11 p. (Proceedings of the International Conference on Knowledge Representation and Reasoning).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access -
Forgetting in Answer Set Programming - A Survey
Gonçalves, R., Knorr, M. & Leite, J., Jan 2023, In: Theory and Practice of Logic Programming. 23, 1, p. 111-156Research output: Contribution to journal › Article › peer-review
Open AccessFile6 Citations (Scopus)13 Downloads (Pure) -
ForgettingWeb
Berthold, M., Knorr, M. & Odekerken, D., 12 Sept 2023, In: Electronic Proceedings in Theoretical Computer Science, EPTCS. 385, p. 321-323 3 p.Research output: Contribution to journal › Conference article › peer-review
Open AccessFile21 Downloads (Pure) -
Revising Boolean Logical Models of Biological Regulatory Networks
Aleixo, F., Knorr, M. & Leite, J., 2023, Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning: KR 2023. Marquis, P., Son, T. C. & Kern-Isberner, G. (eds.). Association for the Advancement of Artificial Intelligence, p. 12-22 11 p. ( International Conference on Knowledge Representation and Reasoning).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Prizes
-
Prémio Científico IBM Portugal 2015
Knorr, Matthias (Recipient), 2016
Prize: Prize (including medals and awards)