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
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
Variable Elimination for DLP-Functions
Gonçalves, R., Janhunen, T., Knorr, M., Leite, J. & Woltran, S., 2018, p. 643-644. 2 p.Research output: Contribution to conference › Abstract
persistence
programme
2
Citations
(Scopus)
Iterative variable elimination in ASP
Knorr, M., Gonçalves, R. & Leite, J., 2017, Progress in Artificial Intelligence - 18th EPIA Conference on Artificial Intelligence, EPIA 2017, Proceedings. Springer Verlag, Vol. 10423 LNAI. p. 643-656 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10423 LNAI).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open Access
Answer Set Programming
Invariance
Elimination
Atoms
Operator
Prizes
Prémio Científico IBM Portugal 2015
Matthias Knorr (Recipient), 2016
Prize: Prize (including medals and awards)