No photo of Matthias Knorr

View Scopus Profile

Matthias Knorr

Doctor

Former affiliation
 https://orcid.org/0000-0003-1826-1498

  • DI - Departamento de Informática
    Faculdade de Ciências e Tecnologia/UNL
    Edifício II
    Campus de Caparica
    2829-516 Caparica

    Portugal

Calculated based on number of publications stored in Pure and citations from Scopus
20072023

Research activity per year

Filter
Conference contribution

Search results

  • 2023

    Revising Boolean Logical Models of Biological Regulatory Networks

    Aleixo, F., Knorr, M. & Leite, J., 2023, Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning: KR 2023. Marquis, P., Son, T. C. & Kern-Isberner, G. (eds.). Association for the Advancement of Artificial Intelligence, p. 12-22 11 p. ( International Conference on Knowledge Representation and Reasoning).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • 2022

    On Combining Ontologies and Rules

    Knorr, M., 1 Feb 2022, Reasoning Web. Declarative Artificial Intelligence: 17th International Summer School 2021, Leuven, Belgium, September 8–15, 2021, Tutorial Lecture. Šimkus, M. & Varzinczak, I. (eds.). Cham: Springer, p. 22-58 37 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13100).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    1 Citation (Scopus)

  • Towards Provenance in Heterogeneous Knowledge Bases

    Knorr, M., Damásio, C. V., Gonçalves, R. & Leite, J., 2022, Logic Programming and Nonmonotonic Reasoning: 16th International Conference, LPNMR 2022, Genova, Italy, September 5–9, 2022, Proceedings. Gottlob, G., Inclezan, D. & Maratea, M. (eds.). Cham: Springer, p. 287-300 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13416).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    1 Citation (Scopus)
  • 2021

    Deep Neural Networks for Approximating Stream Reasoning with C-SPARQL

    Ferreira, R., Lopes, C., Gonçalves, R., Knorr, M., Krippahl, L. & Leite, J., 2021, Progress in Artificial Intelligence - 20th EPIA Conference on Artificial Intelligence, EPIA 2021, Proceedings. Marreiros, G., Melo, F. S., Lau, N., Lopes Cardoso, H. & Reis, L. P. (eds.). Cham: Springer, p. 338-350 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12981 LNAI).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Faster Than LASER - Towards Stream Reasoning with Deep Neural Networks

    Ferreira, J., Lavado, D., Gonçalves, R., Knorr, M., Krippahl, L. & Leite, J., 2021, Progress in Artificial Intelligence - 20th EPIA Conference on Artificial Intelligence, EPIA 2021, Proceedings. Marreiros, G., Melo, F. S., Lau, N., Lopes Cardoso, H. & Reis, L. P. (eds.). Cham: Springer, p. 363-375 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12981 LNAI).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    1 Citation (Scopus)

  • On Syntactic Forgetting Under Uniform Equivalence

    Gonçalves, R., Janhunen, T., Knorr, M. & Leite, J., 2021, Logics in Artificial Intelligence - 17th European Conference, JELIA 2021, Proceedings. Faber, W., Friedrich, G., Gebser, M. & Morak, M. (eds.). Cham: Springer, p. 297-312 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12678 LNAI).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    11 Citations (Scopus)

  • Tractable Reasoning Using Logic Programs with Intensional Concepts

    Heyninck, J., Gonçalves, R., Knorr, M. & Leite, J., 2021, Logics in Artificial Intelligence - 17th European Conference, JELIA 2021, Proceedings. Faber, W., Friedrich, G., Gebser, M. & Morak, M. (eds.). Cham: Springer, p. 329-345 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12678 LNAI).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    1 Citation (Scopus)
  • 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 proceeding › Conference contribution › peer-review

    Open Access
    File
    4 Citations (Scopus)
    70 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 proceeding › Conference contribution › peer-review

    Open Access
    File
    22 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 proceeding › Conference contribution › peer-review

    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 proceeding › Conference contribution › peer-review

    Open Access
    4 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 proceeding › Conference contribution › peer-review

    Open Access
    9 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 proceeding › Conference contribution › peer-review

    5 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 proceeding › Conference contribution › peer-review

    Open Access
    File
    3 Citations (Scopus)
    18 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 proceeding › Conference contribution › peer-review

    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 proceeding › Conference contribution › peer-review

    38 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 proceeding › Conference contribution › peer-review

    Open Access
    29 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 proceeding › Conference contribution › peer-review

    23 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 proceeding › Conference contribution › peer-review

    Open Access
    File
    28 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 proceeding › Conference contribution › peer-review

    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 proceeding › Conference contribution › peer-review

    Open Access
    8 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 proceeding › Conference contribution › peer-review

    1 Citation (Scopus)

  • 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 proceeding › Conference contribution › peer-review

    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 proceeding › Conference contribution › peer-review

    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 proceeding › Conference contribution › peer-review

    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 proceeding › Conference contribution › peer-review

  • 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 proceeding › Conference contribution › peer-review

    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 proceeding › Conference contribution › peer-review

    Open Access
    23 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 proceeding › Conference contribution › peer-review

    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 proceeding › Conference contribution › peer-review

  • 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 proceeding › Conference contribution › peer-review

    File
    29 Citations (Scopus)
    20 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 proceeding › Conference contribution › peer-review

  • 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 proceeding › Conference contribution

    Open Access
    File
    16 Citations (Scopus)
    23 Downloads (Pure)

  • Forgetting under the well-founded semantics

    Alferes, J. J., Knorr, M. & Wang, K., 2013, Logic Programming and Nonmonotonic Reasoning - 12th International Conference, LPNMR 2013, Proceedings. Cabalar, P. & Son, T. C. (eds.). Berlin, Heidelberg: Springer, p. 36-41 6 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8148 LNAI).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    12 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 proceeding › Conference contribution › peer-review

  • 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 proceeding › Conference contribution › peer-review

    1 Citation (Scopus)
  • 2012

    MKNF knowledge bases in multi-context systems

    Homola, M., Knorr, M., Leite, J. & Slota, M., 6 Sept 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 proceeding › Conference contribution › peer-review

    5 Citations (Scopus)

  • Recent advances in integrating owl and rules (Technical communication)

    Knorr, M., Martínez, D. C., Hitzler, P., Krisnadhi, A. A., Maier, F. & Wang, C., 2012, Web Reasoning and Rule Systems - 6th International Conference, RR 2012, Proceedings. Krotzsch, M. & Straccia, U. (eds.). Springer Verlag, p. 225-228 4 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7497 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    3 Citations (Scopus)

  • Reconciling OWL and non-monotonic rules for the Semantic Web

    Knorr, M., Hitzler, P. & Maier, F., 2012, ECAI 2012 - 20th European Conference on Artificial Intelligence, 27-31 August 2012, Montpellier, France - Including Prestigious Applications of Artificial Intelligence (PAIS-2012) System Demonstration. IOS Press, p. 474-479 6 p. (Frontiers in Artificial Intelligence and Applications; vol. 242).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    30 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 proceeding › Conference contribution › peer-review

    Open Access
    File
    4 Citations (Scopus)
    22 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 proceeding › Conference contribution › peer-review

    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 proceeding › Conference contribution › peer-review

    11 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 proceeding › Conference contribution › peer-review

    Open Access
    29 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 proceeding › Conference contribution › peer-review

    File
    5 Citations (Scopus)
    22 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 proceeding › Conference contribution › peer-review

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