conftrace_

Renate A. Schmidt

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

Achievements

Jump to papers ↓

+1 more ↓

🌍 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