No photo of Matthias Knorr

Matthias Knorr

Doctor

  • Source: Scopus
  • Calculated based on no. of publications stored in Pure and citations from Scopus
20072019

Research activity per year

If you made any changes in Pure these will be visible here soon.
Filter
Conference contribution

Search results

  • 2019

    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

    Open Access
    File
    2 Downloads (Pure)
  • 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 proceedingConference contribution

    Open Access
    File
    4 Downloads (Pure)
  • 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

    1 Citation (Scopus)
  • 2017

    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
    3 Citations (Scopus)
  • NoHR: Integrating XSB prolog with the OWL 2 profiles and beyond

    Lopes, C., Leite, J. & Knorr, M., 2017, Logic Programming and Nonmonotonic Reasoning - 14th International Conference, LPNMR 2017, Proceedings. Springer Verlag, Vol. 10377 LNAI. p. 236-249 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10377 LNAI).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    6 Citations (Scopus)
  • 2016

    Forgetting in ASP: The Forgotten Properties

    Goncalves, R., Knorr, M. & Leite, J., 2016, LOGICS IN ARTIFICIAL INTELLIGENCE, (JELIA 2016). Michael, L. & Kakas, A. (eds.). Cham: Springer International Publishing, p. 543-550 (Lecture Notes in Computer Science; vol. 10021).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    4 Citations (Scopus)
  • Inconsistency Management in Reactive Multi-context Systems

    Brewka, G., Ellmauthaler, S., Gonçalves, R., Knorr, M., Leite, J. & Puehrer, J., 2016, LOGICS IN ARTIFICIAL INTELLIGENCE, (JELIA 2016). Michael, L. & Kakas, A. (eds.). Cham: Springer International Publishing, p. 529-535 7 p. (Lecture Notes in Computer Science; vol. 10021).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
    3 Citations (Scopus)
    3 Downloads (Pure)
  • On Some Properties of Forgetting in ASP

    Gonçalves, R., Knorr, M. & Leite, J., 2016, Proceedings of the International Workshop on Defeasible and Ampliative Reasoning (DARe-16). CEUR-WS.org, Vol. 1626.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
  • The ultimate guide to forgetting in answer set programming

    Gonçalves, R., Knorr, M. & Leite, J., 2016, Principles of Knowledge Representation and Reasoning: Proceedings of the 15th International Conference, KR 2016. Delgrande, J., Baral, C. & Wolter, F. (eds.). AAAI Press, p. 135-144 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    17 Citations (Scopus)
  • You Can't Always Forget What You Want: On the Limits of Forgetting in Answer Set Programming

    Goncalves, R., Knorr, M. & Leite, J., 2016, 22nd European Conference on Artificial Intelligence (ECAI 2016). Kaminka, G. A., Fox, M., Bouquet, P., Hullermeier, E., Dignum, V., Dignum, F. & VanHarmelen, F. (eds.). Amsterdam: IOS Press, p. 957-965 9 p. (Frontiers in Artificial Intelligence and Applications; vol. 285).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    13 Citations (Scopus)
  • 2015

    Efficient paraconsistent reasoning with ontologies and rules

    Kaminski, T., Knorr, M. & Leite, J., 2015, Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI 2015). International Joint Conferences on Artificial Intelligence, Vol. 2015-January. p. 3098-3105 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    19 Citations (Scopus)
  • Extending NoHR for OWL 2 QL

    Costa, N., Knorr, M. & Leite, J., 2015, Joint Ontology Workshops 2015, JOWO 2015 - Episode 1: The Argentine Winter of Ontology. Garcia, L., Meyer, T., Borgo, S., Benferhat, S., Ferme, E., Porello, D., Baclawski, K., Krisnadhi, A., Klinov, P., Hahmann, T., Papini, O., Mugnier, M., Wassermann, R. & Kutz, O. (eds.). CEUR-WS, (CEUR Workshop Proceedings; vol. 1517).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
    15 Downloads (Pure)
  • Minimal change in evolving multi-context systems

    Gonçalves, R., Knorr, M. & Leite, J., 2015, EPIA 2015: Progress in Artificial Intelligence. Pereira, F., Machado, P., Costa, E. & Cardoso, A. (eds.). Cham: Springer-Verlag, p. 611-623 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9273).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    1 Citation (Scopus)
  • Next step for NoHR: OWL 2 QL

    Costa, N., Knorr, M. & Leite, J., 2015, The Semantic Web – ISWC 2015 - 14th International Semantic Web Conference, Proceedings. Springer-Verlag, Vol. 9366. p. 569-586 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9366).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    7 Citations (Scopus)
  • Nonmonotonic Nominal Schemas Revisited

    Knorr, M., 2015, Proceedings of the 28th International Workshop on Description Logics, Athens,Greece, June 7-10, 2015.. Calvanese, D. & Konev, B. (eds.). CEUR-WS.org, Vol. 1350. (CEUR Workshop Proceedings).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Querying LUBM with non-monotonic features in protégé using NoHR

    Costa, N., Knorr, M. & Leite, J., 2015, Proceedings of the ISWC 2015 Posters and Demonstrations Track co-located with the 14th International Semantic Web Conference (ISWC 2015). Pan, J. Z., Villata, S. & Dragoni, M. (eds.). CEUR-WS, 104. (CEUR Workshop Proceedings; vol. 1486).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    1 Citation (Scopus)
  • Reasoning efficiently with ontologies and rules in the presence of inconsistencies

    Kaminski, T., Knorr, M. & Leite, J., 2015, Proceedings of the 28th International Workshop on Description Logics (DL 2015). Calvanese, D. & Konev, B. (eds.). CEUR-WS.org, p. 1-5 5 p. (CEUR Workshop Proceedings; vol. 1350).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
  • Reasoning over ontologies and non-monotonic rules

    Ivanov, V., Knorr, M. & Leite, J., 2015, Progress in Artificial Intelligence - 17th Portuguese Conference on Artificial Intelligence, EPIA 2015, Proceedings. Springer-Verlag, Vol. 9273. p. 388-401 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9273).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    2 Citations (Scopus)
  • Well-founded paraconsistent semantics for hybrid theories composed of rules and ontologies

    Kaminski, T., Knorr, M. & Leite, J., 2015, Proceedings of the Joint Ontology Workshops 2015 (JOWO 2015) - Episode 1: The Argentine Winter of Ontology co-located with the 24th International Joint Conference on Artificial Intelligence (IJCAI 2015). Garcia, L., Meyer, T., Borgo, S., Benferhat, S., Ferme, E., Porello, D., Baclawski, K., Krisnadhi, A., Klinov, P., Hahmann, T., Papini, O., Mugnier, M., Wassermann, R. & Kutz, O. (eds.). CEUR-WS.org, (CEUR Workshop Proceedings; vol. 1517).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 2014

    Evolving Bridge Rules in Evolving Multi-Context Systems

    Gonçalves, R., Knorr, M. & Leite, J. A. C. P., 1 Jan 2014, Lecture Notes in Computer Science. Bulling, N., van, D. T. LWN., Villata, S., Jamroga, W. & Vasconcelos, W. (eds.). Springer, Vol. 8624. p. 52-69

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    10 Citations (Scopus)
  • Evolving Multi-Context Systems

    Gonçalves, R., Knorr, M. & Leite, J. A. C. P., 1 Jan 2014, Frontiers in Artificial Intelligence and Applications. Schaub, T., Friedrich, G. & O'Sullivan, B. (eds.). {IOS} Press, Vol. 263. p. 375--380

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    21 Citations (Scopus)
  • On Efficient Evolving Multi-Context Systems

    Knorr, M., Gonçalves, R. & Leite, J. A. C. P., 2014, PRICAI 2014: Trends in Artificial Intelligence: 13th Pacific Rim International Conference on Artificial Intelligence, Gold Coast, QLD, Australia, December 1-5, 2014. Proceedings. Pham, DN. & Park, S. (eds.). Springer International Publishing, p. 284-296 (Lecture Notes in Artificial Intelligence; vol. 8862).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    2 Citations (Scopus)
  • On Minimal Change in Evolving Multi-Context Systems (Preliminary Report)

    Gonçalves, R., Knorr, M. & Leite, J. A. C. P., 2014, Proceedings of the International Workshop on Reactive Concepts in Knowledge Representation (ReactKnow 2014). Ellmauthaler, S. & Pührer, J. (eds.). Universitat Leipzig, p. 47-53

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Preserving strong equivalence while forgetting

    Knorr, M. & Alferes, J. J., 2014, LOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2014. Vol. 8761. p. 412-425 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8761).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    File
    15 Citations (Scopus)
    7 Downloads (Pure)
  • Towards Efficient Evolving Multi-Context Systems (Preliminary Report)

    Knorr, M., Gonçalves, R. & Leite, J. A. C. P., 2014, Proceedings of the International Workshop on Reactive Concepts in Knowledge Representation (ReactKnow 2014). Ellmauthaler, S. & Pührer, J. (eds.). Universitat Leipzig, p. 39-45

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 2013

    A Query Tool for EL with Non-monotonic Rules

    Ivanov, V., Knorr, M. & Leite, J. A. C. P., 2013, The Semantic Web: ISWC 2013: 12th International Semantic Web Conference, Sydney, NSW, Australia, October 21-25, 2013, Proceedings, Part I. Alani, H., Kagal, L., Fokoue, A., Groth, PT., Biemann, C., Parreira, JX., Aroyo, L., Noy, NF., Welty, C. & Janowicz, K. (eds.). Heidelberg: Springer Berlin Heidelberg, p. 216-231 (Lecture Notes in Computer Science; no. 8218).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
    15 Citations (Scopus)
    8 Downloads (Pure)
  • Forgetting under the Well-Founded Semantics

    Alferes, J. J. A. & Knorr, M., 1 Jan 2013, Lecture Notes in Computer Science. p. 36-41

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    10 Citations (Scopus)
  • NoHR: Querying EL with Non-monotonic Rules

    Knorr, M. & Leite, J. A. C. P., 1 Jan 2013, CEUR Workshop Proceedings. Blomqvist, E. & Groza, T. (eds.). CEUR-WS.org, Vol. 1035. p. 17-20

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Time is up! - Norms with deadlines in action languages

    Knorr, M., Gabaldon, A., Gonçalves, R., Leite, J. & Slota, M., 30 Oct 2013, Computational Logic in Multi-Agent Systems - 14th International Workshop, CLIMA 2013, Proceedings. Leite, J., Son, T. C., Torroni, P., van der Torre, L. & Woltran, S. (eds.). Berlin, Heidelberg: Springer Verlag, p. 223-238 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8143 LNAI).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    1 Citation (Scopus)
  • 2012

    MKNF knowledge bases in multi-context systems

    Homola, M., Knorr, M., Leite, J. & Slota, M., 6 Sep 2012, Computational Logic in Multi-Agent Systems - 13th International Workshop, CLIMA XIII, Proceedings. Fisher, M., van der Torre, L., Dastani, M. & Governatori, G. (eds.). Berlin, Heidelberg: Springer-Verlag, p. 146-162 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7486 LNAI).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    5 Citations (Scopus)
  • 2011

    Querying OWL 2 QL and non-monotonic rules

    Knorr, M. & Alferes, J. J., 2 Nov 2011, The Semantic Web, ISWC 2011 - 10th International Semantic Web Conference, Proceedings. Aroyo, L., Welty, C., Alani, H., Taylor, J., Bernstein, A., Kagal, L., Noy, N. & Blomqvist, E. (eds.). PART 1 ed. Berlin, Heidelberg: Springer-Verlag, p. 338-353 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7031 LNCS, no. PART 1).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
    4 Citations (Scopus)
    3 Downloads (Pure)
  • 2010

    Querying in ℰℒ+ with nonmonotonic rules

    Knorr, M. & Alferes, J. J., 1 Jan 2010, ECAI 2010 - 19th European Conference on Artificial Intelligence. Coelho, H., Studer, R. & Wooldridge, M. (eds.). {IOS} Press, p. 1079-1080 2 p. (Frontiers in Artificial Intelligence and Applications; vol. 215).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    4 Citations (Scopus)
  • 2009

    Queries to hybrid MKNF knowledge bases through oracular tabling

    Alferes, J. J., Knorr, M. & Swift, T., 1 Dec 2009, The Semantic Web, ISWC 2009 - 8th International Semantic Web Conference, ISWC 2009, Proceedings. Bernstein, A., Karger, D. R., Heath, T., Feigenbaum, L., Maynard, D., Motta, E. & Thirunarayan, K. (eds.). Berlin, Heidelberg: Springer-Verlag, p. 1-16 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5823 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    10 Citations (Scopus)
  • 2008

    A Coherent Well-founded Model for Hybrid MKNF Knowledge Bases

    Knorr, M., Alferes, J. J. A. & Hitzler, P., Jun 2008, Frontiers in Artificial Intelligence and Applications. Vol. 178. p. 99-103 5 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    26 Citations (Scopus)
  • 2007

    A Well-founded Semantics for Hybrid MKNF Knowledge Bases

    Knorr, M., Alferes, J. J. A. & Hitzler, P., 1 Jan 2007, CEUR Workshop Proceedings. Vol. 250. p. 347-354 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    File
    5 Citations (Scopus)
    2 Downloads (Pure)
  • Towards tractable local closed world reasoning for the semantic web

    Knorr, M., Alferes, J. J. & Hitzler, P., 1 Dec 2007, Progress in Artificial Intelligence - 13th Portuguese Conference on Artificial Intelligence, EPIA 2007 Workshops: GAIW, AIASTS, ALEA, AMITA, BAOSW BI, CMBSB, IROBOT, MASTA, STCS, and TEMA, Proceedings. Neves, J., Santos, M. F. & Machado, J. M. (eds.). Springer-Verlag, p. 3-14 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4874 LNAI).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    3 Citations (Scopus)
Your message has successfully been sent.
Your message was not sent due to an error.