Renate A. Schmidt

3 papers · 2017–2019 · 2 conferences · across top CS/AI conferences

Achievements

🌍 Conference Polyglot (2) 🌉 Interdisciplinary Bridge 🧭 Keyword Pioneer 🐝 Cross-Pollinator (13) 🚀 Conference Pioneer 📈 Trend Setter

Conferences

AAAI (2) IJCAI (1)

Top co-authors

Yizheng Zhao (2) Hao Feng (1) Ghadah Alghamdi (1) Warren Del-Pinto (1) Mohammad Khodadadi (1) Damir Juric (1) Giorgos Stoilos (1)

Keywords

uniform interpolation (2) description logic (2) concept definition (1) abox abduction (1) role forgetting (1) ackermann approach (1) semantic preservation (1) logical difference (1) abductive reasoning (1)

Papers

ABox Abduction via Forgetting in ALC AAAI 2019

Tracking Logical Difference in Large-Scale Ontologies: A Forgetting-Based Approach AAAI 2019

Role Forgetting for ALCOQH(universal role)-Ontologies Using an Ackermann-Based Approach IJCAI 2017