Renate A Schmidt
Manchester University
H-index: 37
North America-United States
Top articles of Renate A Schmidt
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
International Patient Summary Terminology | Warren Del-Pinto Renate A Schmidt Yongsheng Gao Ghadah Alghamdi Alejandro Lopez Osornio | 2024 | |
Focus Set Semantic Differences | Ghadah Abdulrahman S Alghamdi Renate A Schmidt Yongsheng Gao | 2023/12/5 | |
Saturation-based Boolean conjunctive query answering and rewriting for the guarded quantification fragments | Journal of Automated Reasoning | Sen Zheng Renate A Schmidt | 2023/12 |
Saturation-Based Uniform Interpolation for Multi-Modal Logics. | Ruba Alassaf Renate A Schmidt Uli Sattler | 2022 | |
Integrated Deduction-Report from Dagstuhl Seminar 21371 | Dagstuhl Reports | Maria Paola Bonacina Philipp Rümmer Renate A Schmidt | 2022 |
Fine-Grained Forgetting for the Description Logic ALC. | Mostafa Sakr Renate A Schmidt | 2022 | |
Extracting subontologies from SNOMED CT | Warren Del-Pinto Renate A Schmidt Yongsheng Gao | 2022/5/29 | |
Semantic forgetting in expressive description logics | Mostafa Sakr Renate A Schmidt | 2021/9/1 | |
Concept description and definition extraction for the anemone system | David Toluhi Renate Schmidt Bijan Parsia | 2021/5/3 | |
Resolution-Based Uniform Interpolation for Multi-Agent Modal Logic Kn. | Ruba Alassaf Renate A Schmidt Uli Sattler | 2021 | |
Knowledge extraction for multiagent system communication | Logical Aspects in Multi-Agent Systems and Strategic Reasoning | David Toluhi Renate Schmidt | 2021 |
Upwardly abstracted definition-based subontologies | Ghadah Alghamdi Renate A Schmidt Warren Del-Pinto Yongsheng Gao | 2021/12/2 | |
Tracking Semantic Evolutionary Changes in Large-Scale Ontological Knowledge Bases | Zhao Liu Chang Lu Ghadah Alghamdi Renate A Schmidt Yizheng Zhao | 2021/10/26 | |
Deduction Beyond Satisfiability (Dagstuhl Seminar 19371) | Carsten Fuhs Philipp Rümmer Renate Schmidt Cesare Tinelli | 2020 | |
A practical approach to forgetting in description logics with nominals | Proceedings of the AAAI Conference on Artificial Intelligence | Yizheng Zhao Renate Schmidt Yuejie Wang Xuanming Zhang Hao Feng | 2020/4/3 |
Deciding the loosely guarded fragment and querying its Horn fragment using resolution | Proceedings of the AAAI Conference on Artificial Intelligence | Sen Zheng Renate Schmidt | 2020/4/3 |
Querying Guarded Fragments via Resolution | arXiv preprint arXiv:2002.02228 | Sen Zheng Renate A Schmidt | 2020/2/6 |
Blocking and other enhancements for bottom-up model generation methods | Journal of Automated Reasoning | Peter Baumgartner Renate A Schmidt | 2020/2 |
Signature-based abduction for expressive description logics | Patrick Koopmann Warren Del-Pinto Sophie Tourret Renate A Schmidt | 2020/7/9 | |
Protege-TS: An OWL Ontology Term Selection Tool. | Ian Hyland Renate A Schmidt | 2020 |