• 302 Citations
  • 10 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

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 journalArticle

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

Prizes

Prémio Científico IBM Portugal 2015

Matthias Knorr (Recipient), 2016

Prize: Prize (including medals and awards)