Patrick Koopmann

View Scopus Profile

dr. Patrick Koopmann

 https://orcid.org/0000-0001-5999-2583

Personal profile

Ancillary activities

No ancillary activities

Ancillary activities are updated daily

Keywords

  • QA75 Electronic computers. Computer science

User created Keywords

  • Description Logics
  • Ontologies
  • Logics
  • Artificial Intelligence
  • Knowledge Representation
  • Automated Reasoning

Fingerprint

Dive into the research topics where Patrick Koopmann is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles
View full fingerprint

Collaborations and top research areas from the last five years

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Explore network further

  • Lean Formalization of Completeness Proof for Coalition Logic with Common Knowledge

    Obendrauf, K., Baanen, A., Koopmann, P. & Stebletsova, V., Sept 2024, 15th International Conference on Interactive Theorem Proving (ITP 2024) : [Proceedings]. Bertot, Y., Kutsia, T. & Norrish, M. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 1-18 18 p. 28. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 309).

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

    Open Access

  • Planning with OWL-DL Ontologies (Extended Version)

    John, T. & Koopmann, P., 14 Aug 2024, arXiv, 10 p.

    Research output: Working paper / Preprint › Preprint › Academic

    Open Access

  • The Precise Complexity of Reasoning in omega-Admissible Concrete Domains (Extended Version)

    Borgwardt, S., Bortoli, F. D. & Koopmann, P., 29 May 2024, arXiv, 17 p.

    Research output: Working paper / Preprint › Preprint › Academic

    Open Access

  • Explaining Reasoning Results for OWL Ontologies with EVEE

    Alrabbaa, C., Borgwardt, S., Friese, T., Hirsch, A., Knieriemen, N., Koopmann, P., Kovtunova, A., Krüger, A., Popovič, A. & Siahaan, I., 2024, Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning: Hanoi, Vietnam. November 2-8, 2024. Marquis, P., Marquis, P., Ortiz, M. & Pagnucco, M. (eds.). Association for the Advancement of Artificial Intelligence, p. 709-719 11 p. (Proceedings of the International Conference on Knowledge Representation and Reasoning).

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

  • Planning with OWL-DL Ontologies

    John, T. & Koopmann, P., 2024, 27th European Conference on Artificial Intelligence, 19–24 October 2024, Santiago de Compostela, Spain – Including 13th Conference on Prestigious Applications of Intelligent Systems (PAIS 2024): [Proceedings]. Endriss, U., Melo, F. S., Bach, K., Bugarin-Diz, A., Alonso-Moral, J. M., Barro, S. & Heintz, F. (eds.). IOS Press BV, p. 4165-4172 8 p. (Frontiers in Artificial Intelligence and Applications; vol. 392).

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

    Open Access
View all 69 research outputs