Combining heuristics for default logic reasoning systems.

Pascal Nicolas, Frdric Saubion, Igor Stphan

Browse the full ICTAI paper archive.