Login / Signup
Feature Model Debugging based on Description Logic Reasoning.
Mahdi Noorian
Alireza Ensan
Ebrahim Bagheri
Harold Boley
Yevgen Biletskiy
Published in:
DMS (2011)
Keyphrases
</>
description logics
reasoning mechanism
knowledge base
computational properties
artificial intelligence
knowledge representation and reasoning
knowledge representation
computational complexity
integrity constraints
reasoning systems
exptime complete
expressive description logics