Publication | Open Access

Bounded treewidth as a key to tractability of knowledge representation and reasoning

Computational LogicTree LanguageKnowledge RepresentationEngineeringAutomated ReasoningDescription LogicFormal MethodsComputer ScienceKnowledge-based ReasoningSemantic WebKnowledge CompilationSemantics