Complexity Results for Default Reasoning from Conditional Knowledge Bases

Thomas Eiter, Thomas Lukasiewicz