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
Ontology
Engineering & Materials Science
Semantics
Engineering & Materials Science
Logic programming
Engineering & Materials Science
Answer Set Programming
Mathematics
Knowledge Base
Mathematics
Semantic Web
Engineering & Materials Science
Reasoning
Mathematics
Persistence
Mathematics
Network
Recent external collaboration on country level. Dive into details by clicking on the dots.
Research Output at NOVA 2007 2019
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
Syntactics
Persistence
Concretes
Operator
Answer Set Programming
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
Answer Set Programming
Persistence
Cycle
Atoms
Concretes
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
Telecommunication
Telecommunications
Data storage equipment
Reasoning
Change Management
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
4
Citations
(Scopus)
Reactive multi-context systems: Heterogeneous reasoning in dynamic environments
Brewka, G., Ellmauthaler, S., Gonçalves, R., Knorr, M., Leite, J. & Pührer, J., 1 Mar 2018, In : Artificial Intelligence. 256, p. 68-104 37 p.Research output: Contribution to journal › Article
Knowledge representation
Computational complexity
Semantics
knowledge
semantics
Prizes
Prémio Científico IBM Portugal 2015
Matthias Knorr (Recipient), 2016
Prize: Prize (including medals and awards)