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.
- 16 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 Access1 Citation (Scopus) -
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 AccessFile -
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 AccessFile -
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
1 Citation (Scopus) -
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
Knorr, Matthias (Recipient), 2016
Prize: Prize (including medals and awards)