• 272 Citations
  • 9 h-Index
20072019
If you made any changes in Pure these will be visible here soon.

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 proceedingConference 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: Springer

Research output: Chapter in Book/Report/Conference proceedingChapter

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 journalArticle

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 conferenceAbstract

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 proceedingConference 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)