On Bottom-Up Pre-processing Techniques for Automated Default Reasoning.

Thomas Linke, Torsten Schaub

Browse the full ECSQARU paper archive.