Dr Renate Schmidt

Reader

Affiliations:
Email:
Phone: +44 (0) 161 275 6163
Full contact details
ORCID: 0000-0002-6673-3333
View graph of relations

Research Networks and Beacons

Related information

Publications

FAME: An Automated Tool for Semantic Forgetting in Expressive Description Logics

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

On Concept Forgetting in Description Logics with Qualified Number Restrictions

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

Automated Reasoning with Analytic Tableaux and Related Methods, the 26th International Conference, TABLEAUX 2017, Brasilia, Brazil, September 25-28, 2017, Proceedings

Research output: Other contribution

View all (81)

Activities

CADE SKolem Award Committee (External organisation)

Activity: Membership › Membership of committee

Automated Forgetting and Uniform Interpolation for Description Logics

Activity: Talk or presentation › Invited talk

Organisation Committee Dagstuhl Seminar on Deduction (External organisation)

Activity: Membership › Membership of committee

View all (14)

Student Theses

Automated Semantic Forgetting for Expressive Description Logics

UoM administered thesis: Phd

Path-Functional Dependencies and the Two-Variable Guarded Fragment with Counting

UoM administered thesis: Phd

Practical Uniform Interpolation for Expressive Description Logics

UoM administered thesis: Phd

View all (7)