Reasoning-Supported Interactive Revision of Knowledge Bases
Aus International Center for Computational Logic
Reasoning-Supported Interactive Revision of Knowledge Bases
Nadeschda NikitinaNadeschda Nikitina, Sebastian RudolphSebastian Rudolph, Birte GlimmBirte Glimm
![Reasoning-Supported Interactive Revision of Knowledge Bases Reasoning-Supported Interactive Revision of Knowledge Bases](/w/images/thumb/e/e2/Missing_document_icon.png/150px-Missing_document_icon.png)
Nadeschda Nikitina, Sebastian Rudolph, Birte Glimm
Reasoning-Supported Interactive Revision of Knowledge Bases
Proceedings of the 24th International Workshop on Description Logics (DL2011), 2011. CEUR Workshop Proceedings
Reasoning-Supported Interactive Revision of Knowledge Bases
Proceedings of the 24th International Workshop on Description Logics (DL2011), 2011. CEUR Workshop Proceedings
- Forschungsgruppe:Research Group: Computational LogicComputational Logic
@inproceedings{NRG2011,
author = {Nadeschda Nikitina and Sebastian Rudolph and Birte Glimm},
title = {Reasoning-Supported Interactive Revision of Knowledge Bases},
booktitle = {Proceedings of the 24th International Workshop on Description
Logics (DL2011)},
publisher = {CEUR Workshop Proceedings},
year = {2011}
}