Renate Schmidt

Joined

July 2019

Names

Renate Schmidt

Emails

****@manchester.ac.uk (Confirmed)

Personal Links

Career & Education History

Full Professor

Computer Science, University of Manchester (manchester.ac.uk)

2009 – 2025

Advisors, Relations & Conflicts

No relations added

Expertise

knowledge representation and reasoning

1991 – 2025

Publications

Tracking Logical Difference in Large-Scale Ontologies: A Forgetting-Based Approach.
Yizheng Zhao, Ghadah Alghamdi, Renate A. Schmidt, Hao Feng, Giorgos Stoilos, Damir Juric, Mohammad Khodadadi
- 2019 (modified: 30 Oct 2024)
- AAAI2019
- Readers: Everyone
ABox Abduction via Forgetting in ALC.
Warren Del-Pinto, Renate A. Schmidt
- 2019 (modified: 10 Nov 2022)
- AAAI2019
- Readers: Everyone
On Concept Forgetting in Description Logics with Qualified Number Restrictions
Yizheng Zhao, Renate A. Schmidt
- 2018 (modified: 10 Nov 2022)
- IJCAI 2018
- Readers: Everyone
Role Forgetting for ALCOQH(universal role)-Ontologies Using an Ackermann-Based Approach
Yizheng Zhao, Renate A. Schmidt
- 2017 (modified: 10 Nov 2022)
- IJCAI 2017
- Readers: Everyone
Forgetting Concept and Role Symbols in ALCOIHµ
Yizheng Zhao, Renate A. Schmidt
- 2016 (modified: 16 Jul 2019)
- IJCAI 2016
- Readers: Everyone
Uniform Interpolation and Forgetting for ALC Ontologies with ABoxes
Patrick Koopmann, Renate A. Schmidt
- 2015 (modified: 02 Mar 2020)
- AAAI 2015
- Readers: Everyone
On the Relation of Resolution and Tableaux Proof Systems for Description Logics
Ullrich Hustadt, Renate A. Schmidt
- 1999 (modified: 16 Jul 2019)
- IJCAI 1999
- Readers: Everyone
On Evaluating Decision Procedures for Modal Logic
Ullrich Hustadt, Renate A. Schmidt
- 1997 (modified: 16 Jul 2019)
- IJCAI (1) 1997
- Readers: Everyone

Co-Authors