A Sequent Calculus for Skeptical Reasoning in Predicate Default Logic (Extended Abstract).

Robert Saxon Milnikel

Browse the full ECSQARU paper archive.