Folgen
Patrick Koopmann
Patrick Koopmann
Researcher, TU Dresden
Bestätigte E-Mail-Adresse bei tu-dresden.de - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Uniform interpolation and forgetting for ALC ontologies with ABoxes
P Koopmann, RA Schmidt
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence …, 2015
582015
Count and Forget: Uniform Interpolation of SHQ-Ontologies
P Koopmann, RA Schmidt
Automated Reasoning, 434-448, 2014
532014
Uniform Interpolation of ALC-Ontologies Using Fixpoints
P Koopmann, RA Schmidt
Frontiers of Combining Systems, 87-102, 2013
532013
Forgetting Concept and Role Symbols in ALCH-Ontologies
P Koopmann, RA Schmidt
Logic in Programming, Artificial Intelligence and Reasoning, 2013
512013
Metric Temporal Description Logics with Interval-Rigid Names
F Baader, S Borgwardt, P Koopmann, A Ozaki, V Thost
ACM Transactions on Computational Logic (TOCL) 21 (4), 1-46, 2020
462020
Metric temporal description logics with interval-rigid names
F Baader, S Borgwardt, P Koopmann, A Ozaki, V Thost
International Symposium on Frontiers of Combining Systems, 60-76, 2017
462017
Finding Small Proofs for Description Logic Entailments: Theory and Practice (Extended Technical Report)
C Alrabbaa, F Baader, S Borgwardt, P Koopmann, A Kovtunova
arXiv preprint arXiv:2004.08311, 2020
382020
Finding Good Proofs for Description Logic Entailments using Recursive Quality Measures.
C Alrabbaa, F Baader, S Borgwardt, P Koopmann, A Kovtunova
CADE 28, 291-308, 2021
242021
LETHE: Saturation-Based Reasoning for Non-Standard Reasoning Tasks
P Koopmann, RA Schmidt
Proceedings of ORE'15, 2015
242015
Practical Uniform Interpolation for Expressive Description Logics
P Koopmann
University of Manchester, 2015
222015
Signature-Based Abduction for Expressive Description Logics
P Koopmann, W Del-Pinto, S Tourret, RA Schmidt
17th International Conference on Principles of Knowledge Representation and …, 2020
212020
Ontology-based query answering for probabilistic temporal data
P Koopmann
Proceedings of the AAAI Conference on Artificial Intelligence 33 (01), 2903-2910, 2019
172019
Using ontologies to query probabilistic numerical data
F Baader, P Koopmann, AY Turhan
International Symposium on Frontiers of Combining Systems, 77-94, 2017
172017
Implementation and Evaluation of Forgetting In ALC-Ontologies
P Koopmann, RA Schmidt
Workshop on Modular Ontologies (WoMO) 2013, 37-49, 2013
172013
Signature-Based Abduction with Fresh Individuals and Complex Concepts for Description Logics
P Koopmann
Proceedings of IJCAI 2021, 2021
162021
Visualizing Proofs and the Modular Structure of Ontologies to Support Ontology Repair
C Alrabbaa, F Baader, R Dachselt, T Flemisch, P Koopmann
Description Logic Workshop, 2020
162020
Ontology-based realtime activity monitoring using beam search
W Bohlken, B Neumann, L Hotz, P Koopmann
Computer Vision Systems: 8th International Conference, ICVS 2011, Sophia …, 2011
162011
Computing Optimal Repairs of Quantified ABoxes wrt Static EL TBoxes
F Baader, P Koopmann, F Kriegel, A Nuradiansyah
Proceedings of CADE, 2021
142021
On the Complexity of Finding Good Proofs for Description Logic Entailments
C Alrabbaa, F Baader, S Borgwardt, P Koopmann, A Kovtunova
Description Logic Workshop, 2020
142020
Ontology-mediated probabilistic model checking
C Dubslaff, P Koopmann, AY Turhan
Integrated Formal Methods: 15th International Conference, IFM 2019, Bergen …, 2019
132019
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20