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.
- 8 Similar Profiles
Network
Recent external collaboration on country level. Dive into details by clicking on the dots.
Research Output at NOVA
A Syntactic Operator for Forgetting that Satisfies Strong Persistence
Berthold, M., Gonçalves, R., Knorr, M. & Leite, J., 1 Sep 2019, In : Theory and Practice of Logic Programming. 19, 5-6, p. 1038-1055 18 p.Research output: Contribution to journal › Article
Open Access
Forgetting in Answer Set Programming with Anonymous Cycles
Berthold, M., Gonçalves, R., Knorr, M. & Leite, J., 2019, Progress in Artificial Intelligence - 19th EPIA Conference on Artificial Intelligence, EPIA 2019, Proceedings. Moura Oliveira, P., Novais, P. & Reis, L. P. (eds.). Cham: Springer, p. 552-565 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11805 LNAI).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open Access
File
Forgetting in Modular Answer Set Programming
Gonçalves, R., Janhunen, T., Knorr, M., Leite, J. & Woltran, S., 2019, 33rd AAAI Conference on Artificial Intelligence / 31st Innovative Applications of Artificial Intelligence Conference / 9th AAAI Symposium on Educational Advances in Artificial Intelligence. AAAI Press, p. 2843-2850 8 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open Access
File
Telco Network Inventory Validation with NoHR
Kasalica, V., Gerochristos, I., Alferes, J. J., Gomes, A. S., Knorr, M. & Leite, J., 1 Jan 2019, Logic Programming and Nonmonotonic Reasoning - 15th International Conference, LPNMR 2019, Proceedings. Balduccini, M., Woltran, S. & Lierler, Y. (eds.). Cham: Springer Verlag, p. 18-31 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11481 LNAI).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Automated Reasoning
Knorr, M., 2018, Encyclopedia of Social Network Analysis and Mining. Alhajj, R. & Rokne, J. G. (eds.). 2nd ed. New York: SpringerResearch output: Chapter in Book/Report/Conference proceeding › Chapter
Prizes
Prémio Científico IBM Portugal 2015
Matthias Knorr (Recipient), 2016
Prize: Prize (including medals and awards)